Axiomas de orden de los nmeros reales

Demostraciones de algunas leyes importantes de desigualdades y de signos

Intuitivamente conocemos el significado de la relacin <, sabemos determinar cundo un

enunciado con este smbolo es cierto o no. Conocemos que -3<6 y 3<5 son enunciados
verdaderos. Sin embargo, necesitamos una base, a partir de la cual deduciremos
resultados acerca de las desigualdades y las leyes de signos. As que por un momento
dejaremos de lado las nociones que tenemos acerca de la relacin <.
Empezaremos admitiendo que en el conjunto de los nmeros reales existe una relacin <,
que en x<y la leemos como x es menor que y, la cual cumple las siguientes
propiedades que las llamaremos los axiomas de orden.

Axioma 1. Propiedad de la tricotoma

Para cualesquiera nmeros reales x y y, se tiene que uno y slo uno de los siguientes
enunciados es verdadero
x<y o x>y o bien x=y

Axioma 2. Propiedad de transitiva

Si x<y y y<z entonces x<z

Axioma 3 Propiedad de monotona para la suma:

Si x<y entonces x+z<y+z para cualquier nmero real z

Propiedad de monotona para la multiplicacin

Si x<y y z>0 entonces xz<yz
Estas leyes de la suma y multiplicacin las llamamos de monotona porque se preserva el sentido de la
desigualdad con las condiciones dadas.

Podemos escribir x<y de manera equivalente como y>x.

As, las propiedades de arriba pueden se escritas usando el signo >, por ejemplo, la
propiedad transitiva
Si y>x entonces y+z>x+z

Si x<y o x=y escribimos xy. De manera similar,x>y o x=y lo abreviamos

como xy.

De la ley de tricotoma tenemos que slo una de las siguientes se cumple

1
 x>0 o x=0 o x<0

Definicin Diremos que un nmero es positivo si x>0. Un nmero es negativo si x<0.

Nota: Observe que 0 no es positivo, ni negativo. Decimos que 0 no tiene signo.

Proposicin Si z<0 entoncesz>0.

Demostracin z<0 es equivalente a 0>z. Aplicamos la propiedad aditiva

0+(z)z>>z+(z)0

Ejercicio Demuestre que si z es positivo entonces -z es negativo.

De los axiomas enunciados podemos deducir otras reglas que estn en consonancia con
nuestras ideas intuitivas de desigualdades y nociones de las leyes de los signos. Muchas
de las pruebas se basan en el siguiente lema.

Lema yx es positivo si y slo x<y.

Al lado presentamos la demostracin de este enunciado junto con la propiedad referente a cuando
multiplicamos ambos miembros de una desigualdad por una cantidad negativa.

Propiedad multiplicativa para un factor negativo

Si x<y y z<0 entonces xz>yz.

Observe que el sentido de la desigualdad se invierte.

Para indicar que x y y son positivos escribimos x,y>0.

Leyes de los signos

Ya hemos demostrado que si z es un nmero negativo entonces su opuesto es positivo.
Al lado enunciamos y demostramos algunas otras leyes de los signos.
Observe como en las demostraciones usamos las propiedades de la adicin y multiplicacin, los axiomas de
orden y las proposiciones ya probadas.

Seguimos con ms propiedades de las desigualdades usadas para resolver

desigualdades y en otros contextos.
Propiedad sobre las potencias
Sean x,y>0. Tenemos que

x<yx2<y2

Esta propiedad puede ser escrita como

2
Propiedad
Para x,y>0 tenemos que

x<yx<y

Propiedad de los recprocos para cantidades positivas

Para x,y>0 tenemos que

x<y1x>1y
Las propiedades de arriba, consecuencias de los axiomas, tienen su versin para los
otros signos de desigualdad.

Ejercicio
Enuncie y demuestre una ley de recprocos para cantidades negativas.

Como ejercicio dejamos las demostraciones de las propiedades que justifican la

transposicin de trminos y factores.

Ejercicio
Demuestre cada una de las siguientes proposiciones
1)2)3)4)5)6)a+b<ca<bcab<ca<b+cab<c y b>0a<cbab<c y
b<0a>cbab<c y b>0a<cbab<c y b<0a>cb