Introduccin al anlisis matemtico:
-Numerabilidad:
Definicin: Sea nN se dice que un conjunto de A tiene n elementos si existe una aplicacin biyectiva entre el conjunto de Nn={1,2,3n} y A. Se dice que un conjunto de A es finito si A tiene n elementos para algn nN o bien A=. Se dice que un conjunto A es infinito si es no finito. Teorema: Sea A un subconjunto de B se verifica entonces: (1) Si B es un conjunto finito entonces A tambin es finito. (2) Si A es un conjunto infinito entonces B tambin es infinito. Definicin: Un conjunto A se dice que es numerable si existe una biyeccion entre el conjunto N de los nmeros naturales y el conjunto A Se dice que un conjunto A es a lo sumo numerable si es finito o numerable.
Ejemplo: Z es un conjunto numerable, N es un conjunto numerable por la unin respectivamente de Z={Z+}+{0}+{Z-} y N={N+}+{0}+{N-}.
Nota: Conjunto numerable+ conjunto numerable = conjunto numerable Teorema: Se A es un conjunto numerable y BA entonces B es a lo sumo numerable.
El conjunto Q de los nmeros racionales es numerable: Sea F={m/n, mN ,nN} F={1/1,1/2,2/1,1/3,2/2,3/1}
Si F es un conjunto numerable y denotamos como Q+, el conjunto de los nmeros racionales positivos Q+ F. Por tanto por el teorema anterior Q+ es a lo sumo numerable
y como no es finito, Q+ es numerable y por tanto Q- tambin. Como Q={Q+}+{0}+{Q-} , Q es un conjunto numerable.
Propiedad: Se puede demostrar que si An es numerable para cada nN entonces el conjunto unin tambin es numerable. Axioma: Todo conjunto infinito contiene un conjunto numerable.
Introduccin al anlisis matemtico:
Se denota por R el conjunto de los nmeros reales. En el conjunto R de los nmeros reales se definen dos operaciones llamadas suma o alicion y producto o multiplicacin que se van a denotar, respectivamente por los smbolos + y , que cumplen las propiedades siguientes:
(1) a+(b+c)=(a+b)+c (propiedad asociativa de la suma)(cuales quieran que sean a y b en R) (2) a+b=b+a (propiedad conmutativa de la suma) (cuales quieran que sean a y b en R) (3) Existe un elemento denotado 0 en R tal que a+0=0, cualquiera que sea a en R (elemento neutro) (4) Para cada a en R existe (-a) en R tal que a+(-a)=0 (Existencia de elemento opuesto) (5) a(bc)= (ab)c (cualquiera que sea a,b y c en R) (propiedad asociativa de producto) (6) ab=ab, (cualesquiera que sean a y b en R ) (propiedad conmutativa del producto) (7) Existe un elemento 1 en R, 10 tal que a1=a para cada a de R (existencia del elemento unidad) (8) Si aR y a 0 existe un nmero real 1/a tal que a1/a=1 (existencia del elemento inverso o reciproco) (9) Si a,b y c son elementos de R entonces a(b+c)=(ab)+(bc) (propiedad distributiva del producto respecto a la suma.
Nota: Mas teoremas y propiedades en el libro {2,12,2,13 2,16} (saber utilizar)
(Diferencia de a y b = a - b= a + (-b), si b0 cociente de a y b= a/b =a * (1/b))
Notaciones: a = a a a3= a2 a an+1=an a
2
a0 a =1, a-1=0 Si nN a-n=(1/a)n a =a
1
Introduccin al anlisis matemtico:
NR (relacin existente) n 1+ 1+1+1 (nveces 1) N C R (si se cumple la relacin anterior) 0 Z, 0=0 R nN , -nZ, -n= (-1)+(-1)++(-1)(n veces -1) R NCZCR
Si sR , s =a/b, aZ, bZ , b0 entonces s es un numero racional (Q). Si sR\Q (pero no existe en Q) entonces es un numero irracional. Nota: Q (ya que tiene suma y producto) es un cuerpo conmutativo. NCZCQCR n N es par si n=2k para algn kN n N es impar si es de la forma n=2k+1 para kN
Teorema: No existe ningn numero racional que al cuadrado sea 2 (r Q que r2=2) En el conjunto R de los nmeros reales existe un subconjunto no vacio P llamado conjunto de los nmeros reales positivos y que cumple las propiedades siguientes: 1. Si a y b , aP y bP entonces a+b P. 2. Si aP y bP entonces abP 3. Si aR entonces se cumple una de estas afirmaciones: a-P, a=0, aP. (propiedad de tripotomia).
Por tanto R = R+ U {0} U RDefinicin: Si aR, tal que aP entonces a es un nmero real positivo y se escribe a>0 y si aP se dice que a es un nmero real negativo a<0. Si aP U {0} se dice que a es un nmero real no negativo a 0. Si aP{0} se dice que a es un nmero real no positivo a0.
Introduccin al anlisis matemtico:
