AXIOMATIZACION A LA TEORIA DE NUMEROS REALES Es importante destacar que las siguientes propiedades se cumplen cuando estn alrededor de las

operaciones + y que denotan la suma y multiplicacin de nmeros reales, respectivamente; la suma la definimos como la adicin de una distancia x a una un punto que se encentra a una distancia y de 0 y la multiplicacin la definimos como la suma x-veces de un nmero y. Ahora no debemos dejarnos confundir por los trminos que denotaremos en este texto, por ejemplo hay que diferenciar entre definicin, axioma, lema y teorema para no desviar el sentido e la forma como demostraremos propiedades de los reales. La definicin se refiere a las caractersticas que identifican un elemento en particular; los axiomas son proposiciones que se refieren a propiedades intrnsecas de los elementos, que para poder hablar de propiedades hay que conocer las caractersticas implicando el uso de las definiciones requeridas, por ejemplo para hablar de ley conmutativa en la suma de reales hay que saber que son los reales, que es suma y que es una ley conmutativa; finalmente los teoremas son proposiciones las cuales deben ser demostradas para probar su grado de certeza, diferentes a los axiomas que no requieren demostracin aceptndose siempre como verdades absolutas. AXIOMAS EN R

(A1) La suma y la multiplicacin o multiplicacin de dos nmeros reales x e y da como resultado un real. x+y es un real, xy es un real (A2) Los reales cumplen la ley conmutativa con la suma y el producto. x+y=y+x

xy=yx

(A3) Los reales cumplen la ley asociativa con la suma y el producto. x+(y+z)=(x+y)+z x(yz)=(xy)z

(A4) Los reales cumplen la ley distributiva con la suma y el producto. x(y+z)=xy+xz (x+y)z=xz+yz

(A5) Para toda x real, existe un elemento 0 real llamado neutro aditivo tal que: x+0=0+x=x (A6) Para cada x real, existe un inverso aditivo (-x) real tal que. x+(-x)=(-x)+x=0 (A7) Para toda x real diferente de cero, existe un elemento real 1 llamado neutro multiplicativo tal que: x1 = 1x = x (A8) Para cada real x diferente de cero, existe un inverso multiplicativo real (1/x) tal que:

x(1/x)=(1/x)x=1 AXIOMAS DE ORDEN

(A9) Para x, y postivos se tiene que z= x+y es positivo. (A10) Para x, y postivos se tiene que z= x+y es positivo. (A11) si x 0 se tiene que x es positivo o que x es negativo pero no los dos simultaneamente. (A12) Si x es negativo entonces (-x) es positivo. nota: Aqu damos por hecho que 0,1,x,y,z son nmeros reales. DEFINICION 1. x es positivo si y solo si x>0. DEFINICION 2. x es negativo si y solo si 0>x (-x)>0. DEFINICION 3. x-y es positivo si y solo si x-y>0, lo que implica que x>y. DEFINICION 4. La igualdad (=) es una relacin de equivalencia, es decir, 1. a=a (reflexiva) 2. si a=b entonces b=a (simtrica) 3. si a=b y b=c entonces a=c. (transitiva). DEFINICION 5 Para toda x,y reales con y0 tenemos que: x(1/y) = (x/y). ALGUNOS TEOREMAS DE LOS NMEROS REALES

A partir de los axiomas de R, los axiomas de orden y de las definiciones mostraremos algunas de las propiedades de los reales demostrndolas como teoremas que nos servirn para entender la naturaleza y comportamiento de este conjunto de nmeros. TEOREMA 1 En los nmeros reales se cumplen las leyes cancelativas y uniforme con la suma, es decir: i) Si x+y=x+z entonces y=z. ii) Si y=z entonces x+y=x+z. Demostracin/: i) y = 0+y y = ((-x)+x)+y y = (-x)+(x+y) y=(-x)+(x+z) y =(-x)+(x+z) y=((-x)+x)+z y= =0+z y==z la anterior demostracin se justifica usando el axioma 4, el axioma 5, ley asociativa, la hiptesis, ley asociativa, el axioma 5 y el axioma 4 respectivamente. ii)Por ley reflexiva x+z=x+z pero como z=y entonces por ley transitiva x+z= x+y. TEOREMA 2 Los neutros e inversos aditivos y multiplicativos son nicos. Demostracin/: Supongamos que existen 01 y 02 dos neutros aditivos, entonces 01 + 02 = 01 y 02 +01 = 02 luego por ley transitiva y conmutativa 01= 01 + 02=02 +01 = 02.luego estos neutros aditivos son el mismo. (Anlogamente se demuestra para el neutro multiplicativo). Ahora supongamos que para x hay dos inversos aditivos x1 y x2 tal que x+ x1 = 0 y x+ x2 = 0 por ley transitiva tenemos que x+ x1 = x+ x2 luego por ley

cancelativa x1 = x2. Luego los inversos aditivos para x real son el mismo. (Anlogamente se demuestra para el inverso multiplicativo teniendo en cuenta que x0).

TEOREMA 3 En los nmeros reales distintos de cero se cumplen las leyes cancelativas y uniforme con la multiplicacin, es decir: i) Si xy=xz entonces y=z. ii) Si y=z entonces xy=xz. Demostracin/: La demostacion es analoga a la del Teorema1. TEOREMA 4 -0=0. Demostracin/: Tenemos que 0+(-0) = 0 y 0+0 = 0 luego por ley transitiva 0+(-0) = 0+0, finalmente por ley cancelativa 0 = -0. TEOREMA 5 Para x real se cumple: -(-x)= x. Demostracin/: (-x) = 0+((-x))=(x+(-x))+ ((-x))= x+((-x)+ ((-x)))= x+0=x.Podemos ver que usamos los axiomas 4 y 5 y el hecho de que ((-x)) es el inverso aditivo de (x). LEMA Para toda x real se cumple: x0=0x=0. Demostracin/: x0=x (0+0) = x0+x0, luego x0 = x0+x0 y por ley cancelativa 0 = x0 x0=0, de la misma forma demostramos que 0x=0, por lo que concluimos que x0=0x=0.

TEOREMA 6 Para x, y reales se cumple: (-x) y= x(-y) = -(xy). Demostracin/: Por lema 0=0y=(x+(-x)) 0y = xy+(-x) y, entonces 0= xy+(-x)y y por ley uniforme se puede sumar -(xy) y tenemos que -(xy) = (-(xy))+xy+(-x)y luego (xy))+xy=0 por lo que se tiene que: -(xy) = 0+(-x)y =+(-x)y. Analogamente se demuestra que x(-y)= -(xy). TEOREMA 7 Para x0 real se cumple: 1/(1/x)= x. Demostracin/: Esta demostracion es parecida al adel teorema 5. TEOREMA 8 Para x, y reales distintos de cero se cumple: 1/(xy)= (1/x)(1/y). Demostracin/: 1/(xy)=111/(xy) 1/(xy)= (x(1/x)) (y(1/y))1/(xy) 1/(xy)= (xy) ((1/x)(1/y))1/(xy) 1/(xy)=((1/x)(1/y)) ((xy) 1/(xy)) 1/(xy)= (1/x)(1/y). Aqu hemos usando en repetidas ocasiones propiedades como la ley conmutativa y asociativa para el producto y la existencia de los neutros e inversos multiplicativos.

TEOREMA 9 Para x, y reales distintos de cero se cumple: 1/(x/y)= y/x. Demostracin/: Aqu vemos como los Teoremas 7 y 8 son usados junto con las propiedades conmutativa y asociatativa del producto para demostrar lo requerido. 1/(x/y)= 1/(x (1/y))=(1/x)(1/(1/y))=(1/x) y = y/x.

TEOREMA 10 Para x, z reales y w, y reales distintos de cero se cumple: x/y + z/w = (xw+ zy)/ yw. Demostracin/: (x/y)+(z/w)= (x/y+z/w)1 (x/y)+(z/w)= (x/y+z/w)((yw)(1/yw)) (x/y)+(z/w)= ((x/y+z/w)(yw))(1/yw) (x/y)+(z/w)= (x/y (yw)+z/w (yw))(1/yw) (x/y)+(z/w)= (xw+ yz)(1/yw) (x/y)+(z/w)= (xw+ yz)/(yw) Note que en esta demostracin usamos los axiomas 2, 3, 6 y 7. TEOREMA 11 Para x, z reales y w, y reales distintos de cero se cumple: (x/y) (z/w)= (xz)/ (yw). Demostracin/: Al igual que en el teorema anterior aqu usamos la definicin 5 los axiomas 2, 3 y los teoremas 8 y 9 . (x/y)(z/w)=((x/y)z)/w (x/y)(z/w)= ((x(1/y))z)/w (x/y)(z/w)= (x((1/y)z)/w (x/y)(z/w)= (x(z/y))/w (x/y)(z/w)= ((xz)/y)/w (x/y)(z/w)= xz/yw. TEOREMA 12 Para x, y y z reales se cumple: x>y si y solo si x+z>y+z. Demostracin/: Sea a= x+z y b= y+z, entonces a-b=(x+z)-(y+z)=x-y como a>b si y solo si a-b>0 y por transitividad de a>b se deduce que x+z>y+z. Por otro lado veamos que x+z > y+z si y solo si (x+z)-(y+z) >0 luego x-y >0 x>y. TEOREMA 13

Para x, y y z reales con z distinto de cero se cumple: i) x>y si y solo si xz>yz con z>0. ii) x>y si y solo si yz > xz con 0>z. Demostracin/: Si x>y si y solo si x-y >0 por lo tanto x-y es positivo, si z>0 entonces z tambian es positivo y por los axiomas de orden vemos que (x-y)z es positivo si y solo si (x-y)z >0 Si y solo si x z -yz>0 si y solo si x z >yz. Si x>y si y solo si x-y >0 por lo tanto x-y es positivo, 0>z entonces (-z)>0 usando el mismo razonamiento que en i) llegamos a que yz-xz>0 si y solo si yz >xz.ii) se deduce de la misma forma. TEOREMA 14 Para x, y reales distintos de cero se cumple: i) Si xy>0 con x>0 entonces y>0. ii) Si xy>0 con 0>x entonces 0>y. iii) Si 0> xy con x>0 entonces 0>y. iv) Si 0> xy con 0>x entonces y>0. Demostracin/: Supongamos que no se cumple la tesis, es decir, 0>y como x>0 entonces por teorema 13 0>xy llegando a la contradiccin de la hiptesis o sea que lo afirmamos anteriormente es falso, llegando a la demostracin del teorema (anlogamente se demuestra para ii),iii) y iv). TEOREMA 15 Para x0 real se cumple: x>0 . Demostracin/: Si x>0 entonces x es positivo luego xx=x es positivo si y solo si x>0.Si 0>x entonces (-x) es positivo luego (-x)(-x)=(-x) es positivo si y solo si (x)>0.Pero (-x)(-x)=-(x(-x))=-(-(xx))=xx=x por teorema 6, con lo que vemos que (-x)(-x)= x>0.

TEOREMA 16 Para x0 real se cumple: i) x>0 si y solo si (1/x)>0. ii) 0>x si y solo si 0>(1/x). Demostracin/: Como x>0; x0 entonces existe (1/x), luego x(1/x)=1 entonces.x>0 implica que x1>0 si y solo si x (x(1/x)) >0, luego x(1/x )>0 y como x>0 por teoremas 13 y 14 se deduce que 1/x>0. Por otro lado 1/x>0; x0 entonces existe x, luego x(1/x)=1 entonces.1/x>0 implica que (1/x)1>0 si y solo si (1/x) ((1/x)x)) >0, luego (1/x)x>0 y como (1/x)>0 por teoremas 13 y 14 se deduce que x>0. La demostracin de ii) es analoga. Es muy interesante ver como de estas propiedades podemos deducir muchas mas lo que significa que los nmeros reales son un conjunto muy complejo pero muy util, ya que muchos de los problemas que nos plantea la mayoria de las ciencias pueden ser resueltos con dichos nmeros por ser ricos en propiedades. Sin embargo exiten otros conjuntos que son una extencin de los reales que seirven para solucionar situaciones en donde se necesitan de numeros imaginarios que a partir de la teora de los reales se pude definir propiedades anlogas a las de los reales.