Axiomas de los nmeros reales Axiomas Algebraicos[editar editar cdigo] 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 por A1.2 A1.3 A1.4 Existe un elemento de A1.5 Para cada 2. Axiomas de la multiplicacin A2.1 Para todo producto de A2.2 A2.3 A2.4 Existe un elemento de A2.5 Para cada e . para todo para todo , que denotaremos por . . tal que tal que . , existe un nico elemento, tambin en , denotado por que llamaremos el , denotado por , existe un nico elemento, tambin en e . . para todo tal que . . para todo . , denotado

que llamamos la suma de para todo

existe un

tal que

tal que no sea cero, existe un

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

A3.1 Para todo

Axiomas de orden[editar editar cdigo] 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 mayor o menor que otro. Para la igualdad se usa el smbolo que o slo si es menor que que nos dir si un nmeros

que ya conocemos.Se dir es mayor que si y slo si .De manera

. O dicho de otra forma, si tal que

rigurosa, se puede decir que existe un conjunto .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 O1.3 Si O1.4 Si ; y adems , entonces y , entonces , entonces . para todo .

El axioma del supremo en donde:

Adems:

Es decir:

Su importancia 1) Este axioma es caracterstico de los nmeros reales. Los racionales por ejemplo, no lo cumplen:

, pues al menos Sea

. .

Adems, por ejemplo, 2 es una cota superior de Sin embargo, no existe Observe que: Todos los racionales que son cotas superiores de pero a la vez existen racionales tan cerca de son mayores que como se quiera. , .

Es decir, no existe un racional que sea la mnima de todas las cotas superiores.

Dos aclaraciones 1) Proposicin. Si un conjunto Dem: posee un supremo, ste es nico.

Sean y supremos de (acotado superiormente). Por el inciso b) de la definicin tenemos que: y , entonces . pero acotado inferiormente y

2) Se pueden formular definiciones similares para un conjunto en este caso se llamara (nfimo de )

Conclusiones En pocas palabras, el axioma del supremo es fundamental para el desarrollo del clculo diferencial e integral.En la siguiente pgina podremos ver proposiciones interesantes que no seran posibles sin el axioma del supremo.