NUMEROS REALES

Axiomas
Hay tres tipos de axiomas:

 Los axiomas algebraicos

 Los axiomas de orden

 El axioma topológico

El primero, trata de las propiedades de suma, resta, multiplicación y división; el

segundo establece un orden para los elementos de cada conjunto dado; el tercero trata
sobre la noción 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 topológicos.

El conjunto que cumple con estas propiedades se llama conjunto de los Números
Reales y serán los axiomas de este conjunto, las bases de una rama muy importante de
la matemática: el Análisis matemático.

Se puede observar que, usando el lenguaje lógico matemático, los teoremas que se
demuestren, serán válidos si los axiomas son válidos, por lo que los teoremas serán del
tipo: Si el axioma Fundamental es cierto, entonces la afirmación es cierta.

1. Axiomas de la adición
* Para todo , existe un único elemento, también en ,

denotado por que llamamos la suma de e .

* para todo .

* para todo .

* Existe un elemento de , denotado por tal que para todo

* Para cada existe un tal que .

2. Axiomas de la multiplicación
* Para todo , existe un único elemento, también en , denotado por

que llamaremos el producto de e .

* para todo .

* para todo .

* Existe un elemento de , que denotaremos por tal que

* Para cada tal que no sea cero, existe un tal que .

3. Axioma de distribución
Este axioma conecta la suma con la multiplicación:

Para todo .

Análisis axiomático
 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
válido sólo 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 números reales que, al ser
sumado con cualquier número real, sigue siendo ese mismo real. Este real se
llama cero, y se conoce también como el elemento neutro aditivo de este
conjunto.

 El axioma (1.5) dice que dado un número real cualquiera existe otro (único) tal
que la suma de ambos es nula. Si este elemento es , el número tal que la
suma de éste y el otro número 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
multiplicación.

 El axioma (2.4) dice que existe un número 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 se conoce como inverso multiplicativo de .

Axiomas de Orden
Los axiomas de orden establecen una relación de "cantidad" (véase construcción de los
naturales). Esta relación es del tipo mayor o igual. En realidad, cuando se construyen
los naturales, se dice que un número es menor que otro si está contenido en éste, es
decir, si su cardinalidad es menor o igual que otra.

Para establecer una relación de orden, es necesario introducir el símbolo que nos
dirá si un número es mayor o menor que otro. Para la igualdad se usa el símbolo que
ya conocemos.

Se dirá que o sólo si es menor que . O dicho de otra forma, si es

mayor que .

De manera rigurosa, se puede decir que existe un conjunto tal que

si y sólo si .

Se dan a continuación los Axiomas de Orden

* Si , entonces se cumple una y solamente una de las siguientes

afirmaciones:

; ;

* Si y además , entonces .

* Si , entonces para todo

* Si y , entonces .

Análisis axiomático

El axioma (1.2) dice geométricamente que si está a la izquierda de y éste a su vez a

la izquierda de , entonces debe estar a la izquierda de . Esta interpretación es
bastante útil.

(R,+, ⋅ , ≤) es un cuerpo ordenado.

Axioma topológico
Claramente los racionales satisfacen los primeros axiomas, pero no se puede con esto,
demostrar la existencia de un número irracional, como raíz cuadrada de dos por
ejemplo. Para esto es necesario el Axioma topológico que dice lo siguiente.

Toda sucesión creciente y acotada superiormente es convergente.

Axioma de completitud
A continuación enunciaremos el ultimo axioma que satisfacen los números
reales, el cual nos permite diferenciar los números 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 número real; lo cual no sucede con los
racionales.

12.- Todo conjunto S no vacío de los números reales que este acotado
superiormente admite un supremo, es decir existe un número 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 definición de A; A ᴄ Q. Además A
es acotado superiormente y tenemos que el sup A, b; es tal que b^2 = 2; pero
habíamos probado que no existe ningún número 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 vacío y acotado superiormente debería tener un supremo
que sea también un número racional.

TEOREMA 10
Todo conjunto no vacío S acotado inferiormente posee extremo inferior

Demostración.- Sea –S el conjunto de los números opuestos a los de S. Entonces

–S es no vacío y acotado superiormente; por el axioma *, -S por ser acotado
superiormente y no vacío 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.