AXIOMATIZACION A LA TEORIA DE NUMEROS REALES

x+y es un real,

xy es un real 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.

(A2) Los reales cumplen la ley conmutativa con la suma y el producto.

x+y=y+x

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.

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 AXIOMAS EN R (x+y)z=xz+yz (A5) Para toda x real, existe un elemento 0 real llamado neutro aditivo tal que:

(A1) La suma y la multiplicacin o multiplicacin de dos nmeros reales x e y da como resultado un real.

x+0=0+x=x

(A6) Para cada x real, existe un inverso aditivo (-x) real tal que.

x es positivo si y solo si x>0.

x+(-x)=(-x)+x=0 DEFINICION 2. (A7) Para toda x real diferente de cero, existe un elemento real 1 llamado neutro multiplicativo tal que:

x es negativo si y solo si 0>x (-x)>0.

x1 = 1x = x DEFINICION 3. (A8) Para cada real x diferente de cero, existe un inverso multiplicativo real (1/x) tal que: x-y es positivo si y solo si x-y>0, lo que implica que x>y.

x(1/x)=(1/x)x=1

DEFINICION 4.

AXIOMAS DE ORDEN

La igualdad (=) es una relacin de equivalencia, es decir,

(A9) Para x, y postivos se tiene que z= x+y es positivo.

1. a=a (reflexiva) 2. si a=b entonces b=a (simtrica)

(A10) Para x, y postivos se tiene que z= x+y es positivo.

3. si a=b y b=c entonces a=c. (transitiva).

(A11) si x 0 se tiene que x es positivo o que x es negativo pero no los dos simultaneamente.

DEFINICION 5 Para toda x,y reales con y0 tenemos que: x(1/y) = (x/y).

(A12) Si x es negativo entonces (-x) es positivo.

nota: Aqu damos por hecho que 0,1,x,y,z son nmeros reales.

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

DEFINICION 1.

naturaleza y comportamiento de este conjunto de nmeros.

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).

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.

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

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.

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 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 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.

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/:

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).

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.

TEOREMA 7 Demostracin/: Para x0 real se cumple: 1/(1/x)= x. Demostracin/: Esta demostracion es parecida al adel teorema 5. (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) TEOREMA 8 (x/y)+(z/w)= (xw+ yz)(1/yw) 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 TEOREMA 11 Para x, z reales y w, y reales distintos de cero se cumple: (x/y) (z/w)= (xz)/ (yw). Demostracin/: (x/y)+(z/w)= (xw+ yz)/(yw) Note que en esta demostracin usamos los axiomas 2, 3, 6 y 7.

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 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/: 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. ii) 0>x si y solo si 0>(1/x). 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 16 Para x0 real se cumple: i) x>0 si y solo si (1/x)>0. 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.

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.