NUMEROS REALES

Axiomas
Hay tres tipos de axiomas:

Los axiomas algebraicos Los axiomas de orden El axioma topolgico

El primero, trata de las propiedades de suma, resta, multiplicacin y divisin; el segundo establece un orden para los elementos de cada conjunto dado; el tercero trata sobre la nocin de continuidad. Existe un conjunto que tiene estas propiedades. Nace entonces el primer axioma

Axioma Fundamental
Existe un conjunto que se denota por que satisface los tres tipos de axiomas mencionados, de orden, algebraicos y topolgicos. El conjunto que cumple con estas propiedades se llama conjunto de los Nmeros Reales y sern los axiomas de este conjunto, las bases de una rama muy importante de la matemtica: el Anlisis matemtico. Se puede observar que, usando el lenguaje lgico matemtico, los teoremas que se demuestren, sern vlidos si los axiomas son vlidos, por lo que los teoremas sern del tipo: Si el axioma Fundamental es cierto, entonces la afirmacin es cierta.

1. Axiomas de la adicin
* Para todo denotado por * * * Existe un elemento de para todo . , existe un nico elemento, tambin en que llamamos la suma de e . para todo . para todo , denotado por tal que . ,

* Para cada

existe un

tal que

2. Axiomas de la multiplicacin
* Para todo denotado por , existe un nico elemento, tambin en ,

que llamaremos el producto de e . * * para todo para todo . . , que denotaremos por tal que tal que .

* Existe un elemento de * Para cada

tal que no sea cero, existe un

3. Axioma de distribucin
Este axioma conecta la suma con la multiplicacin: Para todo .

Anlisis axiomtico

El axioma (1.2)conocido como "propiedad conmutativa" dice que el orden de los sumandos no altera el valor de la suma. Debe tenerse en cuenta que esto es vlido slo para sumas finitas. El axioma (1.3) conocido como propiedad asociativa de la suma dice que la asociacion de la suma no altera el valor de sta. El axioma (1.4) dice que existe un elemento en los nmeros reales que, al ser sumado con cualquier nmero real, sigue siendo ese mismo real. Este real se llama cero, y se conoce tambin como el elemento neutro aditivo de este conjunto. El axioma (1.5) dice que dado un nmero real cualquiera existe otro (nico) tal que la suma de ambos es nula. Si este elemento es , el nmero tal que la suma de ste y el otro nmero sea cero es . Este elemento se llama inverso aditivo de . El axioma (2.2) dice que el orden de los factores no altera el producto. El axioma (2.3) dice que el orden con que elijamos los productos no afecta el producto. Esta propiedad se conoce como propiedad asociativa de la multiplicacin.

El axioma (2.4) dice que existe un nmero real tal que el producto de ste con otro real, sigue siendo este ltimo. Este elemento denotado por se conoce como neutro multiplicativo. El axioma (2.5) dice que para cualquier real no nulo, existe otro, tal que el producto de ambos da como resultado el neutro multiplicativo. Este elemento denotado por conoce como inverso multiplicativo de . se

Axiomas de Orden
Los axiomas de orden establecen una relacin de "cantidad" (vase construccin de los naturales). Esta relacin es del tipo mayor o igual. En realidad, cuando se construyen los naturales, se dice que un nmero es menor que otro si est contenido en ste, es decir, si su cardinalidad es menor o igual que otra. Para establecer una relacin de orden, es necesario introducir el smbolo que nos dir si un nmero es mayor o menor que otro. Para la igualdad se usa el smbolo que ya conocemos. Se dir que o slo si forma, si es mayor que . es menor que . O dicho de otra

De manera rigurosa, se puede decir que existe un conjunto tal que si y slo si . Se dan a continuacin los Axiomas de Orden * Si , entonces se cumple una y solamente una de las siguientes afirmaciones: ; * Si * Si * Si y adems , entonces y , entonces ; , entonces para todo . .

Anlisis axiomtico

El axioma (1.2) dice geomtricamente que si est a la izquierda de y ste a su vez a la izquierda de , entonces debe estar a la izquierda de . Esta interpretacin es bastante til. (R,+, , ) es un cuerpo ordenado.

Axioma topolgico
Claramente los racionales satisfacen los primeros axiomas, pero no se puede con esto, demostrar la existencia de un nmero irracional, como raz cuadrada de dos por ejemplo. Para esto es necesario el Axioma topolgico que dice lo siguiente. Toda sucesin creciente y acotada superiormente es convergente.

Axioma de completitud
A continuacin enunciaremos el ultimo axioma que satisfacen los nmeros reales, el cual nos permite diferenciar los nmeros reales de los racionales intuitivamente nos asegura que los reales son completos, esto es que en la recta real, todos los puntos corresponden a un nmero real; lo cual no sucede con los racionales.

12.- Todo conjunto S no vaco de los nmeros reales que este

acotado superiormente admite un supremo, es decir existe un nmero real b tal que b = sup. S Veamos un ejemplo en donde el axioma de completez no se satisface para los racionales.

Ejemplo
Sea A = { x Q / x^2 < 2 } ; evidentemente por definicin de A; A Q. Adems A es acotado superiormente y tenemos que el sup A, b; es tal que b^2 = 2; pero habamos probado que no existe ningn nmero racional tal que b^2 = 2. Esto prueba que Q no es completo; pues para serlo el extremo superior de cualquier subconjunto de Q no vaco y acotado superiormente debera tener un supremo que sea tambin un nmero racional.

TEOREMA 10
Todo conjunto no vaco S acotado inferiormente posee extremo

inferior Demostracin.- Sea S el conjunto de los nmeros opuestos a los de S. Entonces S es no vaco y acotado superiormente; por el axioma *, -S por ser acotado superiormente y no vaco tiene un extremo superior; sea este b; luego b es el inf. S Entonces por el axioma 12 y el teorema 10 tenemos que cualquier conjunto acotado superiormente o inferiormente posee supremo o nfimo; siempre que no sea vacio.