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

A1.2

para todo

todo

e .

A1.3

para todo

A1.4 Existe un elemento de

, denotado por

tal que

para

A1.5 Para cada

existe un

tal que

2. Axiomas de la multiplicacin
A2.1 Para todo
denotado por
A2.2

, existe un nico elemento, tambin en

que llamaremos el producto de
para todo

A2.3

e .

para todo

A2.4 Existe un elemento de

, que denotaremos por

tal

que
A2.5 Para cada
que

tal que no sea cero, existe un

tal

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 otro nmero sea cero es

, el nmero tal que la suma de ste y

. 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
un nmero es mayor o menor que otro. Para la igualdad se usa el smbolo

que nos dir si

que ya

conocemos.
Se dir que
mayor que

slo si

es menor que

. O dicho de otra forma, si

De manera rigurosa, se puede decir que existe un conjunto

si y slo si

tal que

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

O1.3 Si

, entonces

, entonces

.
para todo

es

O1.4 Si

, entonces

Anlisis axiomtico[editar]

El axioma (1.2) dice geomtrica mente que si

vez a la izquierda de , entonces debe estar pe2

est a la izquierda de

y ste a su

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.