Qu es un nmero natural: El cardinal de un conjunto finito no vaco Por qu el cero no es tomado como un nmero natural Porque el vaco no tiene

elementos y es importante que el conjunto sea no vaco (||=0)

Si el conjunto (N U {o})2 se define la relacin binaria a travs de: (a,b)~(a,b) si y solo si a+b=b+a se tiene una relacin de equivalencia Nota: Relacion binaria (N U {o})2 G (m,n) (p,q)

(N U {o})2

(m,n) ~ (p,q) <=> m+q=n+p En efecto, Propiedad reflexiva: Sea (m,n)G quiero probar que (m,n)~(m,n) ((m,n),(m,n))G Luego, como m+n=n+m (por propiedad conmutativa de la operacin suma de cardinales). Por tanto, (m,n) ~(m,n) par todo (m,n) en (N U{0})2 Propiedad simtrica: Si (x,y),(m,n) pertenecena G y (x,y)~(m,n) quiero probar que (m,n) ~(x,y). Por hiptesis tenemos (x,y)~(m,n), lo que quiere decir; x+n=y+m )(*) Se tiene que m+y=n+x (por propiedad conmutativa de la operacin suma de cardinales) Por tanto, (m,n)~(x,y). Propiedad Transitiva: Supongamos que (x,y)~(p,q) y (p,q)~(m,n) donde (x,y), (p,q) y (m,n)(NU{0})2 , quiero probar que (x,y)~(m,n). en otras palabras que x+n=y+m Veamos: como (x,y)~(p,q) y (p,q) ~ (m,n) entonces tenemos x+q=y+p (1) p+n=q+m (2) Sumando (1) y (2) trmino a trmino tenemos: x+q+p+n=y+p+q+m (x+n)(q+p)=(y+m)+(p+q) (Por propiedad conmutativa y asociativa de la suma de cardinales) x+n=y+m (**)(Por ley de cancelacin) Como (**)=(*) en consecuencia, (x,y)~(m,n). Por consiguiente la relacin ~ es de equvalencia. Por tanto, existe el conjunto cociente: (es el conjunto de clases de equivalencia [x]){yA:x~y}) En nuestro caso el conjunto cociente (NU{0})2/~ se le llama el conjunto de los nmeros enteros Z=(NU{0})2/~ ={[(m,n)]|m,n N U{0}}

Donde, [(m,n)]={(x,y)(NU{0})2: (m,n)~(x,y)}

Grfica de Z
4-1 3 2 1
0 1 2 3 4

NU{0}

NU{0}

0=[(0,0)]={(0,0),(1,1),(2,2),(3,3),} 1=[(1,0)]={(1,0),(2,1),(3,2),(4,3),} -1=[(0,1)]={(0,1),(1,2),(2,3),(3,4),} Proposicin: Cada numero entero tiene una representacin cannica, es decir; donde al menos unas de las componentes es cero (0) Prueba: Sea Z un nmero entero arbitrario, entonces Z se expresa como: Z=[(m,n)] para algn m,n en N U{0}. Ahora bien, surgen tres casos: Caso 1 m=n Es decir m+0=n+0, entonces por definicin se tiene: (m,n)~(0,0). Lo que quiere decir Z=[(0,0)] Caso 2 m<n Entonces existe un numero natural p tal que m+p=n y por tanto, (m,n)(0,p) y por ende Z=[(m,n)]=[(0,p)] Caso 3 n<m Entonces existe un nmero natural q tal que n+q=m, es decir, m=n+q y en consecuencia, Z =[(m,n)]=[(q,0)]

Definicin: Decimos que el nmero entero Z=[(m,n)] es positivo si m>n. si m<n entonces es negativo. El conjunto de todos los nmeros enteros positivos se denota Z+ y los negativos como ZProposicin: La ~ es compatible con la suma y el producto de pares ordenados (es decir, si (m,n) ~ (m,n) y (p,q) ~ (p,q) entonces (m+p,n+q) y (m,n)(p,q) ~ (m,n)(p,q) ~ (m,n)(p,q). Donde (m,n)+(p,q)= (m + p, n + q) y (m,n)(p,q)=(mp+np,mq+nq) Prueba: Como (m,n) ~ (m,n) y (p,q) ~ (p,q)=> m+n=n+m (1) p+q=q+p (2) Sumando (1) y (2) nos queda: m+n+p+q=n+m+q+p entonces por definicin m+p+n+q=n+q+m+p (por propiedad conmutativa de suma de cardinales). Por tanto, (m+p,n+q) ~ (m+p,n+q)

Definicin: Decimos que a b, donde a, b Z cuando a=b a<b Se dice que a < b si b-a Z Proposicin: Z+ es cerrado respecto a la suma y el producto. Prueba: Sean a, b en Z+, a=[(m,o)] y b=[(n,o)], las representaciones cannica de a y b respectivamente. Luego, a+b = [(m,o)]+[(n,o)] = [(m+n,o)] Z+ ab=[(m,o)][(n,o)] = [(mn+o,m(o)_o(n))] = [(mn,o)] Z+ Proposicin: La relacin ~en el conjunto Zx(Z\{0}) definida como: (a,b) ~ (a,b) <=>ab=ba es de equivalencia Prueba: Reflexiva: Sea (a,b) Zx(Z\{0}) quiero probar que (a,b)~(a,b). Asi, como ab=ba se tiene que (a,b)~(a,b) Simtrica: Sean (a,b) y (a,b) en Zx(Z\{0}) quiero probar que si (a,b)~(a,b) entonces (a,b)~(a,b). Por hiptesis tenemos ab=ba. Luego por propiedad conmutativa de cardinales se tiene que ab=ba, de aqu tenemos que (a,b)~(a,b) Transitiva: Sean (a,b), (a,b) y (c,h) en Zx(Z\{0}) tal que (a,b)~(a,b) y (a,b) ~(c,h) quiero probar (a,b)~(c,h). Por tanto, por hiptesis tenemos ab=ba(1) y ah=bc(2), Multiplicando por h a ambos miembros de (1) y b a ambos miembros de (2) se tiene: abh=bah ahb=bcb. Aplicando propiedad conmutativa del producto de enteros: ahb=bha bha=bcb por ende, ahb=bcb=>ah=bc (Por ley de cancelacin). En consecuencia (a,b)~(c,h). Por consiguiente, ~ es una relacin de equivalencia.

Asi pues, el conjunto cociente Zx(Z\{0}/~ ={(a,b):a,bZ,b0}=Q se le llama el conjunto de los nmeros racionales Z\{0} l2 l1

4 3 2 1

y=1
-1 . 0 -1 -2 1 2 3 4

1=[(1,1)]={(1,1),(2,2),(3,3),} l1 =[(1,2)]={(1,2),(2,4),(3,6),}l2 Proposicin: Q es un conjunto totalmente ordenado con la relacin , a b<=> b-a Q+U{0} Prueba: Probemos que Q es ordenado Propiedad reflexiva: Sea aQ arbitrario, luego a-a=0 Q+U{0} por tanto a a Propiedad transitiva: Supongamos que a b y b c. quiero probar que a c. por hiptesis tenemos b-a y c-b Q+U{0}. Luego c-a=(c-b)+(b-a) Q+U{0} por tanto a c Propiedad antisimtrica: Supongamos que xy, x e y en Q tal que x y e y x. Luego, y-x Q+U{0} x-y=-(y-x) Q+U{0} pero es imposible, ya que por la ley de tricotoma y-x o bien (y-x) debe pertenecer a Q+, no ambos. En consecuencia x=y Definicin: Sea a un nmero natural, se define el valor absoluto de a como |a|: = a si a 0 -a si a < 0 Proposicin: Si b > 0 entonces |x| b <=> -b x b Prueba: (=>)Por hiptesis tenemos |x| b, luego b |x| x |x| b Por ende b x b (<=)Supongamos que b x b Si x 0, x = |x| b si x < 0. Por hiptesis b x es decir x b en otras palabras |x| b Teorema: Como -|x| x |x| -|y| y |y| es vlido para cualquier x e y en Q entonces, -(|x|+|y|) x+y |x|+| y| por la proposicin anterior tenemos |x+y| |x|+|y|

Corolario: Si a y b son racionales entonces |x|-|y| |x-y| Prueba: x= x-y +y |x|= |x-y+y| |x-y| + |y| por tanto, |x| -|y| |x-y|