Axiomas de Orden

Supondremos que existe n subconjunto de R que lo notaremos R+.

O1. Si x R+ y y R+, entonces x + y R+ y x y R+.
O2. Para todo nmero real x, se verifica una y solo una de las condiciones siguientes:
i) x R+

ii) x R+

iii) x = 0

O3. Diremos que a < b si b a > 0

a < b c R, tal que a + c = b
Propiedades:
1. a < b a + c < b + c
Demostracin:
P.D:

a <b a+c<b+c

Por hiptesis a < b , es decir que b a > 0 . Ahora,

ba =ba+0
= b a + c + ( c)
Luego,
b a > 0 b a + c + ( c) > 0
( b + c) + [( a) + ( c) ] > 0
( b + c) + [ ( a + c) ] > 0
( b + c) ( a + c) > 0
( b + c) ( a + c) > 0
a+c<b+c
P.D:

a+c <b+c a <b

Por hiptesis a + c < b + c ; es decir que entonces ( b + c ) ( a + c ) > 0 .

Ahora,

( b + c) ( a + b) = b + c a b
=ba

Y entonces a < b .

2. Si a < b y c > 0 , entonces ac < bc (Si a < b y c < 0 , entonces ac > bc )

Demostracin:
Tenemos,
a <bba >0 y
c>0

Entonces por O1 se cumple que,

(b a) c > 0
Luego,

(b a) c = b c a c > 0
Y por tanto,
a c < bc

Ahora tambin,
a <bba >0 y
c < 0 c > 0
Entonces por O1 se cumple que,

( b a) ( c) > 0
Luego,

( b a) ( c) = a c b c > 0
Y por tanto,
bc < a c
3. Si a < b y b < c , entonces a < c
Demostracin:
Tenemos,
a <bba >0
b < c c b > 0

y,

Entonces por O1 se cumple que:

( b a ) + ( c b) > 0

Luego,

( b a ) + ( c b) = c a > 0
Por lo tanto,
a<c
4. x R, x 2 0
Demostracin:
Tenemos por O2, que x R, existen tres posibilidades, probaremos que para
cada una de ellas, esto se cumple.
Si x > 0

i.

Por O1 se cumple que,

xx > 0
x2 > 0
Si x < 0 x > 0

ii.

Por O1 se cumple que,

( x) ( x) > 0
x2 > 0
Si x = 0

iii.

x x = 00 = 0
Por lo tanto, en cualquier caso se cumple que x 2 0 .
5. 1 > 0
Demostracin:
Tenemos,
1 = 12 0

(Por parte 4)

Y como 1 0 , entonces debe cumplirse que 1 > 0 .

6. Si x > 0 , entonces x 1 > 0 (Si x < 0 , entonces x 1 < 0 )

Demostracin:
Demostraremos por reduccin al absurdo. Supongamos entonces que x 1 0
Si x 1 = 0 , entonces x x 1 = 0 , lo que es una contradiccin pues sabemos que
x x 1 = 1 .
Si x 1 < 0 , entonces x x 1 = 1 < 0 , lo que es un absurdo.
Por lo tanto lo que supusimos es incorrecto y lo correcto sera decir que x 1 > 0 .
7. Si x < 0 y y < 0 , entonces xy < 0 (Si x < 0 y y < 0 , entonces xy > 0 )
Demostracin:
Tenemos,
x < 0 ( x) > 0 y
y>0
Entonces por O1 se cumple que,

( x) y > 0
Luego,

( x ) y = ( x y ) > 0 ( x y ) < 0
x y < 0

Ahora tambin,
x < 0 ( x) > 0 y
y < 0 ( y) > 0
Entonces por O1 se cumple que,

( x) ( y) > 0
Luego,

( x) ( y) = ( x y) > 0

Ejercicios

1. Probar que 0 < a < b a 2 < b 2

Solucin:
Sean a, b R+, tenemos:
a < b a 2 < ab
a < b ab < b 2

(1)
(2)

De (1) y (2) entonces,

a 2 < ab < b 2
a2 < b2
2. Probar que si 0 < a < 1 entonces a n < a . n 2 , n Z+
Solucin:
Probemos por induccin
i.

Para n=2 tenemos

a2 < a
Lo cual es verdadero pues:
0 < a < 1 a2 < a

ii.

Hiptesis de Induccin: Supongamos que a k < a siempre, tratemos de

demostrar que a k +1 < a .
En efecto,
ak < a a ak < a a
a k +1 < a 2
Y por parte (i),
a k +1 < a 2 < a
a k +1 < a

Probado verdadero para n=2, y bajo la hiptesis de induccin probamos que tambin
es verdadero para n=k+1, entonces podemos concluir que esto se cumple n 2 ,
n Z+.