Axiomas de los nmeros reales

Existe un conjunto R con dos operaciones llamadas suma y producto, tales que para
cada par de nmeros reales x e y, la suma x +y y el producto x . y son nmeros reales
determinados unvocamente por x e y, satisfaciendo los siguientes axiomas.

S : Ley conmutativa de la suma:
S : Ley asociativa de la suma: (x +y) +z =x +(y +z)
S : Existencia del elemento neutro para la suma: Existe un elemento 0, que
llamaremos cero, tal que
x +0 =x , x R

S : Existencia del inverso aditivo: Para cada x R existe un elemento x tal que
x +x =0

P : Ley conmutativa del producto: x . y =y . x
P : Ley asociativa del producto: x . (y . z) =(x . y) . z
P : Existencia del neutro multiplicativo: Existe un elemento 1 0 tal que
x . 1 =x x R
P : Existencia del inverso multiplicativo: para cada x R tal que x 0, existe un
elemento x tal que
x . x =1
D) Ley distributiva : x . (y +z) =x . y +x . z

Existe adems una relacin de orden entre los nmeros reales que indicaremos <
(que se lee menor) tal que se satisfacen las siguietes propiedades:

O ) Ley de Tricotoma: Dados dos elementos se verifica siempre una y slo una de las
relaciones x <y, x =y y <x.
O ) Ley transitiva: Si x <y e y <z entonces x <z.
O ) Consistencia del orden con la suma: Si x <y entonces x +z <y +z, para
cualquier z.
O ) Consistencia del orden con el producto:Si x <y y 0 <z entonces x . z <y . z

S) Axioma del supremo o Completitud: Todo conjunto no vaco y acotado
superiormente tiene supremo.

Nota 1: Si no incluimos este ltimo axioma, la lista anterior es tambin satisfecha por
los racionales (se la suele llamar los axiomas de cuerpo ordenado). Para entender el
axioma del supremo hacen falta algunas definiciones pero, por ahora, no usaremos este
axioma.
Nota. 2: Se puede definir la relacin como sii x<y x=y. Las tres ltimas
propiedades del orden pueden extenderse cambiando <por . La primera se cambia por :
Si e , entonces . Tambin usaremos la notacin > queriendo significar
< .