Professional Documents
Culture Documents
R es un cuerpo ordenado
Esto significa que existe un subconjunto R+ R llamado conjunto
de los numeros reales positivos, que cumple las siguientes condiciones:
P1. La suma y el producto de numeros reales positivos son positivos.
O sea, x, y R+ x + y R+ y x y R+.
P2. Dado x R se verifica una, y solo una, de las 3 alternativas
siguientes: o x = 0, o x R+ o x R+.
Si indicamos mediante R al conjunto de los numeros x, donde
x R+, la condicion P2 nos dice que R = R+ R {0}, y que
los conjuntos R+, R y {0} son disjuntos dos a dos. Los numeros
y R se llaman negativos.
Todo numero real x 6= 0 tiene cuadrado positivo. En efecto,
si x R+ entonces x2 = x x R+ por P1. Si x / R+ entonces
(como x 6= 0) x R+, luego, tambien por P1, tenemos
x2 = (x) (x) R+. En particular, 1 es un numero positivo,
pues 1 = 12.
Se escribe x < y, y se dice que x es menor que y, cuando
y x R+, esto es, y = x + z donde z es positivo. En este caso,
tambien se escribe y > x, y se dice que y es mayor que x. En
particular, x > 0 significa que x R+, esto es, que x es positivo,
mientras que x < 0 quiere decir que x es negativo, esto es, que
x R+.
Se tiene las siguientes propiedades para la relacion de orden
x < y en R:
O1. Transitiva: si x < y e y < z entonces x < z.
O2. Tricotoma: dados x, y R, ocurre una, y sola una, de las
siguientes alternativas siguientes, o x = y, o x < y o x > y.
16 Numeros reales Cap. 2
O3. Monotona de la adicion: si x < y entonces, para todo z R,
se tiene x + z < y + z.
O4. Monotona de la multiplicacion: si x < y entonces para todo
z > 0 se tiene x z < y z. Si, por el contrario, z < 0 entonces
x < y implica x z > y z.
Demostracion: O1. x < y e y < z significan y x R+ e
z y R+. De P1 se sigue que (y x) + (z y) R+, esto
es, z x R+, o sea, x < z.
O2. Dados x, y R, o y x R+, o y x = 0 o y x R (esto
es, x y R+). En el primer caso se tiene x < y, en el segundo
x = y y en tercero y < x. Por P2 estas posibilidades se excluyen
mutuamente.
O3. Si x < y entonces y x R+, de donde (y + z) (x + z) =
y x R+, esto es x + z < y + z.
O4. Si x < y y z > 0 entonces y x R+ y z R+, luego
(y x) z R+, o sea, yz xz R+, lo que significa que xz < yz.
Si x < y y z < 0 entonces y x R+ y y z R+, de donde
xz yz = (y x)(z) R+, lo que significa que yz < xz.