Axioma de Los Números Reales
Axioma de Los Números Reales
Axioma de Los Números Reales
Se llama sistema de nmeros Reales a un conjunto no vaco R, dotado de dos operaciones internas que
son la adicin y la multiplicacin, las cuales se denotan por:
y una relacin de orden menor, simbolizada por < que satisface los axiomas de adicin, multiplicacin,
distributiva, de igualdad, de orden y del supremo.
AXIOMAS PARA LA ADICIN:
A1. R b) (a R , a Si + b (Propiedad de Clausura o Cerradura)
A2. R b a, a, b b a + = + (Propiedad Conmutativa)
A3.
( ) ( )
R c b, a, , c b a b a + + = + + c (Propiedad Asociativa)
A4. R a a, 0 0 a R / 0 + = + ! (Propiedad del Elemento Neutro Aditivo)
A5. 0 a (-a (-a a R / (-a) ! R, a = + = + ) ) (Propiedad del Elemento inverso Aditivo)
AXIOMAS PARA LA MULTIPLICACIN:
M1. R b) (a R a, Si b (Propiedad de Clausura o Cerradura)
M2. R b a, a, b b a = (Propiedad Conmutativa)
M3.
( ) ( )
R c b, a, , c b a ab = c (Propiedad Asociativa)
M4. R a 1 a, a R / 1 = 1 ! (Propiedad del Elemento Neutro Multiplicativo)
M5. 1 a
a
1
(
a
1
a ( / a ! 0, a
1 -
= =
a
1
= ) ) (Propiedad del Elemento inverso Multiplicativo)
AXIOMAS DISTRIBUTIVOS
D1.
( )
R c b a c b, a, + = + , ac ab (Distributividad por la izquierda)
D2.
( )
R a c b c b, a, + = + , ca ba (Distributividad por la derecha)
AXIOMAS DE LA IGUALDAD:
I1. b = b a, a b a R, (Dicotoma)
I2. R a a = , a (Reflexiva)
I3. R a, a, b b a Si = = b (Simetra)
I4.
( )
R c b a Si c b, a, c = a = = b (Transitiva)
I5. R a, c, b c a b a Si + = + = c , b (Monotona para la Adicin)
I6. R a, , a c b a Si = = c , b c b (Monotona para la Multiplicacin)
AXIOMAS DE ORDEN:
O1. : verdadero es enunciados siguientes los de uno solo y uno R, b a,
b a o b a o b a = (Ley de Tricotoma)
O2.
( )
R c b a Si c b, a, c a b (Ley Transitiva)
O3. R a, c, b c a b a Si + + c , b (Ley de Monotona Consistencia Aditiva )
O4. R a, c, b c a 0 c b a Si c , b (Ley de Monotona Consistencia
Multiplicativa). La desigualdad no cambia.
O5. R a, c, b c a 0 c b a Si c , b (Ley de Monotona Consistencia
Multiplicativa) La desigualdad cambia.
AXIOMA SUPREMO:
Todo subconjunto S, no vaco de nmeros reales, acotado superiormente, tiene supremo
b a b a
R RxR
+
+
) , (
: ) (
b a b a
R RxR
) , (
: ()