DEPARTAMENTO DE MATEMTICAS
AXIOMAS DE ORDEN
Prof: Haroldo Cornejo Olivar
Los axiomas o propiedades del sistema de los
nmeros reales que se enuncian a continuacin se
expresan en trminos de un cierto subconjunto
especial de R (este subconjunto denotado por R
+
se identifica con el conjunto de los reales positivos).
En general, cualquier campo que tenga un
subconjunto P con las propiedades mencionadas a
continuacin, es llamado un campo ordenado.
En el caso particular que se estudiar, estas
propiedades permiten establecer que el sistema de
los nmeros reales es un campo ordenado.
AXIOMAS DE ORDEN
Existe un subconjunto R
+
c R tal que:
Si a, b R
+
, entonces a + be R
+
a b eR
+
a e R , slo una es correcta
Los elementos a e R , para los cuales a R
+
, sern
llamados: reales positivos.
Los elementos a R , para los cuales -a e R
+
, sern
llamados: reales negativos.
9 e
=
9 e
+
+
a -
0 a
a
DESIGUALDADES
Usando solamente el subconjunto R
+
descrito, se
deducen todas las reglas usuales en el trabajo con
desigualdades de nmeros reales.
Definiciones
Sean x, y nmeros reales.
Los smbolos :
< representan o se leen "menor que"
> representan o se leen "mayor que
x < y y x e R
+
x > y x y e R
+
representan o se leen "menor o igual que"
representan o se leen "mayor o igual que"
Los que se definen por las afirmaciones:
x y x < y v x = y
x y x > y v x = y
Cada una de las expresiones:
x < y
x > y
x y
x y
Se llama una desigualdad.
x > y es equivalentes con y < x
x y es equivalentes con y x
x < y < z x < y ^ y < z.
x > y > z x > y ^ y > z.
En cualquiera de los dos casos anteriores, se dice que y
est entre x y z.
Claramente:
Si a e R
+
a > 0
Si a es negativo a < 0
CONSECUENCIAS PRINCIPALES DE
LA PROPIEDAD DE ORDEN
1. Tricotoma.
Si x, y e R , entonces, una y solo una de las
siguientes proposiciones es verdadera:
x > y ; x = y ; x < y.
2. Transitiva.
x, y, ze R , x < y ^ y < z x < z.
x > y ^ y > z x > z
4. a > b > 0 ^ c d > 0 ac > bd
3. Si x, y, z R , entonces:
x < y x + z < y + z ^ x z < y z
x > y x + z > y + z ^ x z > y z
x y x + z y + z ^ x z y z
x y x + z y + z ^ x z y z
5. Las siguientes reglas de los signos para la adicin y
multiplicacin de reales se cumplen:
(Nmero positivo) + (Nmero positivo) = Nmero positivo
(Nmero negativo) + (Nmero negativo) = Nmero negativo
(Nmero positivo) (Nmero positivo) = Nmero positivo
(Nmero negativo) (Nmero negativo) = Nmero positivo
6.
Si a < b ^ c > 0 ac < bc.
Si a < b ^ c < 0 ac > bc.
Las dos propiedades anteriores, muchas veces se
expresan diciendo que si ambos miembros de una
desigualdad se multiplican por una cantidad positiva,
el sentido de la desigualdad se conserva, mientras
que si se multiplican por una cantidad negativa, el
sentido de la desigualdad cambia.
7. x e R , x
2
0
Si x
2
= 0 x = 0
8. x > 0
9. x > y > 0
10. Si ab > 0 a y b son positivos
o a y b son negativos
11. Si a < c
b < d
a + b < c + d
0
x
1
>
y
1
x
1
<
Intervalos
Definiciones
Sean a, b e R, con a < b. El conjunto de puntos
(a, b) = ] a, b [ = { x e R / a < x < b} INTERVALO ABIERTO
se representa geomtricamente en la recta real en la
forma:
Ntese que: a e (a, b) . b e (a, b)
El conjunto de puntos
[a, b] = { x e R / a s x s b} INTERVALO CERRADO
se representa geomtricamente en la recta real en la
forma:
Ntese que: a e [a, b] . b e [a, b]
( a, b ] = { x e R / a < x s b} = ] a, b]
Ntese que: a e ( a, b ] . b e ] a, b]
[a, b) = { x eR / a s x < b} = [ a, b [
Ntese que: a e [a, b ) . b e [a, b [
(a, +) =]a, +[= { x e R / a < x < + }
Ntese que: a e ]a, + [
[a, +) =[a, +[= { x e R / a s x < + }
Ntese que: a e [ a, + [
) , a ) =] , a [ = { x e R / < x < a }
Ntese que: a e ] , a [
) , a ] =] , a ] = { x e R / < x s a }
Ntese que: a e ] , a ]
DEPARTAMENTO DE MATEMTICAS
AXIOMAS DE ORDEN
Prof: Haroldo Cornejo Olivar
