Axiomas de los nmeros reales

Para que todos los procedimientos matemticos usados sean vlidos se debe partir de una base que respalde cada procedimiento, cada paso lgico
usado, y debe, en consecuencia, demostrarse cada afirmacin no trivial. Son estas demostraciones los pilares fundamentales de toda rama de las
matemticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier afirmacin.
Las afirmaciones a las que se hace referencia se llaman axiomas. Sern, por lo tanto, afirmaciones que se aceptan como verdaderas debido a su
trivialidad, pudiendo en ocasiones ser demostradas cuando no lo son.
El otro tipo de afirmaciones a las que se hace referencia diciendo: "afirmacin no trivial", son los teoremas, que son ya, afirmaciones no tan triviales y
muchas veces poco intuitivas. Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya demostrados. Una consecuencia
inmediata de un teorema se llamar corolario.
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.
Axioma fundamental[editar]
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 lamatemtica: 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.
Axiomas Algebraicos[editar]
Los axiomas algebraicos, pudindose escribir como un todo, pueden ser subdivididos en dos tipos: los de la adicin y de la multiplicacin.
1. Axiomas de la adicin
A1.1 Para todo , existe un nico elemento, tambin en , denotado por que llamamos la suma de e .
A1.2 para todo .
A1.3 para todo .
A1.4 Existe un elemento de , denotado por tal que para todo .
A1.5 Para cada existe un tal que .
2. Axiomas de la multiplicacin
A2.1 Para todo , existe un nico elemento, tambin en , denotado por que llamaremos el producto de e .
A2.2 para todo .
A2.3 para todo .
A2.4 Existe un elemento de , que denotaremos por tal que
A2.5 Para cada tal que no sea cero, existe un tal que .
3. Axioma de distribucin Este axioma conecta la suma con la multiplicacin:
A3.1 Para todo .
Anlisis axiomtico[editar]
- 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 se conoce como inverso multiplicativo de .
Axiomas de orden[editar]
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 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 slo si .
Se dan a continuacin los axiomas de orden

O1.1 Si , entonces se cumple una y solamente una de las siguientes afirmaciones:
; ;
O1.2 Si y adems , entonces .
O1.3 Si , entonces para todo
O1.4 Si y , entonces .
Anlisis axiomtico[editar]
- 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[editar]
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.
Anlisis axiomtico[editar]
Hay varios conceptos en esta breve afirmacin (pero muy importante), que deben conocerse para entender el significado de este axioma. stos, son los
de sucesin, creciente,acotado superiormente y convergencia.
LOS NUMEROS REALES
CONCEPTO DE CONJUNTO DE NUMEROS REALES
l conjunto de los nmeros REALES se simboliza por 9
El conjunto de los nmeros REALES contiene a los nmeros RACIONALES (R) y a los nmeros IRRACIONALES (I).
De esta manera se cumplen estos enunciados:
1. Los REALES, resultan de unir los RACIONALES Y LOS IRRACIONALES:
R I = 9
2. Los RACIONALES son el complemento de los IRRACIONALES:
R
C
= I
3. Los IRRACIONALES son el complemento de los RACIONALES:
I
C
= R
4. Los RACIONALES son un subconjunto propio de los REALES:
R c 9
5. Los IRRACIONALES son un subconjunto propio de los REALES:
I c 9
6. Los RACIONALES y los IRRACIONALES no tienen elementos comunes:
R I = C
AXIOMAS QUE DEFINEN LOS ELEMENTOS DE LOS NUMEROS REALES
Axiomas de la suma
Los elementos del conjunto de nmeros reales son de tal manera que satisfacen las siguientes propiedades o axiomas:
x, y, z e9

Propiedad de cerradura de la suma
(x + y) e9
Propiedad conmutativa de la suma
x + y = y + x
Propiedad asociativa de la suma
(x + y) + z = x + (y + z)
Propiedad del neutro aditivo
x + 0 = x, 0 e9
Propiedad del inverso aditivo
Si x + y = 0, y = - x
Axiomas del producto
x, y, z e 9

Propiedad de cerradura del producto
(x y) e9
Propiedad conmutativa del producto
x y = y x
Propiedad asociativa del producto
(x y) z = x (y z)
Propiedad del neutro del producto
1 x = x, 1 e9
Propiedad del inverso del producto
Si x y = 1, y = 1/x
Axiomas de orden
x, y, z e9

Exclusin del converso
Si (x = y) (x < y) (x > y)
Propiedad de transitividad de la ordenacin
Si (x < y) . (y < z) (x < z)
Conservacin del orden en la suma
Si (x < y) (x + z) < (y + z)
Conservacin del orden en el producto
Si (x < y) . (0 < z) (xz < yz)
Variacin del orden en el producto
Si (x < y) . (z < 0) (xz > yz)