1.

4 AXIOMAS Y TEOREMAS DE ORDEN DE LOS NUMEROS REALES

Mara Concepcin Gonzlez Enrquez

Otra parte importante de la estructura de los nmeros reales es lo que

llamamos el orden de los nmeros.
AXIOMAS DE ORDEN

En R existe una relacin de orden denotada por el smbolo <

a b se lee a es menor que b y es equivalente a b a lo cual se lee
b es mayor que a
Para cualesquiera a , b, c nmeros reales se satisfacen los siguientes
axiomas de orden:
O1)

Ley de tricotoma

O2)

Suma y desigualdades
Si a b entonces a c b c
Multiplicacin por un nmero mayor que cero
Si a b y c 0 entonces ac bc
Propiedad transitiva
Si a b y b c entonces a c

O3)
O4)

ab o ab o ab

De estas propiedades bsicas se pueden deducir las siguientes propiedades

muy tiles en clculo.
TEOREMAS DE ORDEN. Para nmeros reales a , b, c se satisface:
1. Si a b y c d entonces a c b d .
2. Si a b entonces b a .
3. Si a b y c 0 entonces bc ac .
4. Si a 0 entonces a 2 0
5. Si 0 a b y 0 c d entonces ac bd
6. i) Si a y b son del mismo signo, entonces ab 0 .

ii) Si a y b son de signo contrario, entonces ab 0 .

7. Si a 0 entonces a 1 tiene el mismo signo de a .
8. Si a y b son del mismo signo y a b , entonces b 1 a 1 .
9. Para 0 a y 0 b
a b si y solo si a 2 b 2 .
10. Para 0 a
a b 2 si y solo si b a o a b .
11. Para 0 a

b 2 a si y solo si a b a .

Demostraciones.
1. Si a b y c d entonces a c b d
Como a b entonces a c b c por O2)
y c d entonces b c b d
por O2)
Ahora a c b c y b c b d , entonces a c b d por O4).
a b entonces b a .
a b implica
a (a ) b (a ) por O2)
0 b (a ) por inverso aditivo
(b) 0 (b) (b (a )) por O2)
b ((b) b) (a ) neutro aditivo y asociatividad
b 0 ( a )
inverso aditivo
b a neutro aditivo.

2. Si

3. Si a b y c 0 entonces bc ac .
Como c 0 entonces 0 c por teorema anterior,
Luego a b y 0 c implica a (c ) b(c ) por O3) y
a (c) b(c ) si y solo si ac bc por teorema 7
Si ac bc , entonces bc ac por teorema anterior.

4. Si
Si

a 0 entonces a 2 0
a 0 entonces a 0 o a 0 por O1).
Caso: a 0 y a 0 aplicamos O3):
aa a0
a 2 0 por teorema 2 de campo
a 0 entonces a 0 por teorema 2. de orden,
a (a ) 0(a ) por O3
a 2 0 por teorema 2 de campo
a2 0
por teorema 2. de orden.

Caso:

5. Si

0 a b y 0 c d entonces ac bd
Caso: c 0 , ac 0 bd se satisface.
Caso: 0 c y como a b entonces ac bc por O3)
Adems 0 b y c d implica bc bd por O3) y
Por transitividad si ac bc y bc bd , entonces ac bd .

6. i) Si a y b son del mismo signo, entonces ab 0 .

Caso: 0 a y 0 b entonces 0.b ab por O3) por tanto ab 0 .
Caso: a 0 y b 0 entonces
b 0 y
a (b) 0.(b) por O3)
ab 0
por teoremas
por tanto ab 0 por teorema 2 de orden.
ii) Si a y b son de signo contrario, entonces ab 0 .
Caso: 0 a y b 0 entonces ab a.0 por O3)
por tanto ab 0 .
En forma similar el otro caso.
7. Si a 0 entonces a 1 tiene el mismo signo de a .
Sea a 0 si a 1 tiene signo contrario al de a , por el teorema 6
anterior, aa 1 0 ,
pero aa 1 1 0 , lo que es una contradiccin,
por lo tanto a 1 tiene el mismo signo de a .
8. Si a y b son del mismo signo y a b , entonces b 1 a 1 .
Caso: 0 a b
Por el teorema 7 anterior 0 a 1 y 0 b1
Por lo que
a 1a a 1b
multiplicamos la hiptesis por a 1
1 a 1b
inverso multiplicativo
1
1
1
1b a bb
multiplicamos ambos lados por b 1
b 1 a 11
neutro multip. asociativ. Inverso multip.
1
1
b a
neutro multiplicativo
Caso: a b 0
Por el teorema 7 anterior a 1 0 y b1 0
Por lo que
a 1a a 1b
multiplicamos la hiptesis por a 1
Cambia la desigualdad porque a 1 0
1 a 1b
inverso multiplicativo
1
1
1
1b a bb
multiplicamos ambos lados por b 1 0
b 1 a 11
neutro multip. asociativ. Inverso multip.
1
1
b a
neutro multiplicativo
9. Para 0 a y 0 b ,
a b si y solo si a 2 b 2 .
Sean 0 a y 0 b
3

) a b hiptesis
0 ba y
Tambin 0 a y 0 b implica 0 b a
Por lo que 0 (b a )(b a )
Esto es 0 b 2 a 2 , o
a 2 b2 .
10. Para 0 a
a b 2 si y solo si b a o a b .
Caso: 0 b
Escribimos a ( a ) 2 , luego a ( a )2 b2 ,
Por teorema anterior a ( a ) 2 b2 si y slo si a b
Caso: b 0 , 0 b
a ( a ) 2 , luego a ( a ) 2 (b) 2 ,
Por teorema anterior a ( a ) 2 (b) 2 si y slo si a b
O b a .
11. Para 0 a
b 2 a si y solo si a b a .
Caso: 0 b
b 2 a si y slo si b a
Caso: b 0 , 0 b
(b)2 a si y slo si b a
O a b
Por lo tanto a b a .
Intervalos de nmeros reales.

Una clase importante de subconjuntos de nmeros reales son los llamados

intervalos y tenemos:
Para a b R
Intervalo cerrado

a, b x R : a x b

Intervalo abierto

a, b x R : a x b

Intervalo cerrado a la izquierda y abierto a la derecha

a, b x R : a x b

Intervalo abierto a la izquierda y cerrado a la derecha

a, b x R : a x b

Intervalos infinitos a la izquierda

, b x R : x b

, b x R : x b

Intervalos infinitos a la derecha

a, x R : a x

a, x R : a x

Ejemplos.

Resuelva las siguientes desigualdades:

1. 1 3x 5 4
Iniciamos con 1 3x 5 4
6 3x 1 sumamos a los tres trminos 5 y aplicamos O2
2 x 1 / 3 multiplicamos los tres trminos por 1 / 3 y
aplicamos O3
1
Solucin: 2,

2. 2

4x 1
0
3

Iniciamos con 2

4x 1
0
3

6 4 x 1 0 multiplicamos por 3 y aplicamos O3

7 4 x 1 sumamos 5 de y aplicamos O2
7 / 4 x 1 / 4 mulitiplicamos por 1 / 4 y aplicamos O3
7 1
Solucin: ,
4 4

3. 3

3 2x
7
5

Iniciamos 3

3 2x
7
5

15 3 2 x 35 multiplicamos los tres trminos por 5 y

aplicamos O3
12 2 x 32
sumamos -3 y aplicamos O2
16 x 6
multiplicamos por y aplicamos O3
4.

3x 2
4
x 1

1 x

1 x
3 x 2 4 x 4 6 x
x 1

Caso: x 1 0
x 6
3 x 2 4 x 4 6 x

Caso: 0 x 1

Solucin (,6) (1, )

5. x 2 11x 18 0
5

x 11x 18 0

11
11
x 11x 18
2
2

x 11x 18

121 121 72 49
11

x 18
2
4
4
4

11 7

2 2

11
7

2
2

x 2

x 9
o
En intervalos (,9) (2, ) .

6. x 2 6 x 7
x2 6x 7

x2 6x 9 7 9

( x 3)2 16

4 x3 4

7 x 1
En intervalo (7,1)

7. x 2 12 8 x
x 2 12 8 x
( x 4)2 4

x 2 8 x 12

x42

x 4 2

x6 o

x 2 8 x 16 12 16

x2

En intervalos ,2 6,
8. 2 x 2 x 6 0
x
3 0
2
x 1
1
x2 3
2 16
16

x2

1 49

x
4 16

1 7
1
7
x
o x
4 4
4
4
3
x
o x 2
2

9. 16 x 2 9 x
16 x 2 9 x

x2

16 x 2 9 x 0

9
x0
16

9
9 9
x x
16
32 32

9 9

x
32 32

9
9
9
x
32
32 32

0 x

9
16

10. Una constructora quiere decidir por un modelo de gruas, la de tipo

A cuesta $50 000 y necesita $4000 anuales para mantenimiento. El
modelo B cuesta $40000 pesos y necesita $5500 de mantenimiento
anual. Durante cuntos aos debe usarse el modelo A para que sea
ms econmico que el B?
Denotamos con x el nmero de aos que debe usarse el modelo A
para que sea ms econmico que el B, entonces la desigualdad a
resolver es
50 4 x 40 5.5 x consideramos en miles las cantidades
50 40 5.5 x 4 x
3
10 1.5 x x
2
20
x
3

20
6.6 aos para que sea ms econmico
3

Por lo tanto deben pasar

comprar la grua de tipo A.

1.5 VALOR ABSOLUTO

El concepto de valor absoluto en los nmeros reales es importante, para
manejar los conceptos de lmites, continuidad y dems temas centrales del
clculo diferencial e integral.
Definicin. Para un nmero real a , su valor absoluto se denota por a
Y se define como
a, si a 0
a
a, si a 0

Esta definicin contempla dos casos, los mismos que deben aplicarse
siempre que tengamos el valor absoluto de cualquier expresinPropiedades del valor absoluto. Para nmeros reales a, b se satisface:
1. Si 0 a , a 0 si y slo si a 0 .
2. ab a b
3. a a
7

4. a a a
5. a b a b desigualdad del tringulo
6. a b si y slo si a b o a b
7. a b si y slo si b a b
8. Para 0 b , b a si y slo si a b o b a
9. a b a b
Demostraciones.
1. Si 0 a , a 0 si y slo si a 0
Caso: 0 a , por definicin a a 0
Caso: a 0 , a 0 y por definicin a a 0
Por lo tanto 0 a .
Ahora, si suponemos a 0 y a 0
Entonces a 0 o a 0 y
o a a 0
a a 0
Contradiciendo que a 0 .
Por lo tanto, si a 0 entonces a 0 ,
Inversamente, si a 0
Por definicin a 0 .
2.

ab a b

Caso:

ab 0, ab ab
a 0 o b0
ab a b
a a, b b, a b ab

Caso:

ab 0, ab ab
a 0 o b0
ab a b
a a, b b, a b ab

3. a a
Caso: 0 a , por definicin a a y
a 0 por lo que a (a) a
as a a
Caso: a 0 , por definicin a a
a 0 por lo que a a

y tambin a a .
4. a a a
Caso: 0 a , por definicin a a 0 y
considerando inversos aditivos, a a 0
por lo que a 0 a a
Caso: a 0 ,

por definicin a a y
considerando inversos aditivos, a a 0
por lo que a a 0 a

5. a b a b
Empezamos con la expresin del lado izquierdo elevada al cuadrado,
por que nos facilita el manejo de propiedades adecuadas
2
a b (a b)2 (a b)2 propiedad 2 anterior
a 2 2ab b2
a 2 2 ab b2

propiedad distributiva
propiedad 4 anterior

a 2 ab b

definicin de valor abs.

a b

propiedad distributiva
Y extrayendo raz cuadrada de ambos lados, obtenemos a b a b .
6. a b si y slo si a b o a b
Caso: 0 a , por definicin a a , por lo que a a b
Caso: a 0 ,

a a , por lo que

b a a

7. 0 b , a b si y slo si b a b .
La condicin 0 b es porque un valor absoluto por ser mayor o igual a
cero no puede ser menor que un nmero negativo.
Caso: 0 a , por definicin a a , por lo que a a b
Caso: a 0 ,

8.

a a

por lo que b a a
Por lo tanto b a b .

as b a

b a si y slo si a b o b a .

Caso: 0 a , por definicin a a , por lo que a a b

Caso: a 0 ,

a a , por lo que

b a a

a b

Por lo tanto a b o b a .
9. a b a b
Se tiene
a a b b a b b por la desigualdad del tringulo

Implica a b a b
Y tambin
b ba a ba a

Implica b a b a
Como b a a b tenemos b a a b y a b b a
As que
a b b a a b
Por el teorema 7, b a a b y
a b b a a b .

En particular podemos describir un intervalo abierto o cerrado de nmeros

reales con una relacin que involucra el valor absoluto:

a, b x R : a x b se describe como

a b ba
x

2
2

Demostracin.
a b ba
x

2
2
ba
a b ba

2
2
2
ba a b
ba a b

2
2
2
2
a xb

En forma similar

a, b x R : a x b se describe como

a b ba
x

2
2

Ejemplos.
x4 6
1.
x 4 6 o x 4 6 x 2 o x 10
2. x 4 3x 1
1
3 x 1 0, x
3
x 4 3x 1 o x 4 3x 1
10

2 x 5 o 4 x 3
5
3
x
o x
2
4
1
5
x x
3
2

3. x 9 4
4 x 9 4
13 x 5 o (13,5)

4.

x 8 6
x 8 6 o x 8 6
x 14 o x 2 o
,2 14,

5. 3 x 5 11
3 x 58 x

3 x 5 o
(,2) (8, )
x 5 3 x 2
11 x 5 11
x 5 11
6,16
6 x 16

Solucin 6,2 8,16

6. 5 4 x 2 7
54 x 9
4 x

7.

9
9
9
29
11
4 x x
5
5
5
5
5

4
1, x 2
3x 6
4 3x 6
4 3 x 6 o 3 x 6 4
10 3 x o 3 x 2
10
2
x o x
3
3
2
10
Solucin , ,
3 3

8. x 4 8 x
Primera condicin 0 8 x o x 8
11

x 8 x 4 8 x
x 8 x 4 y x 4 8 x
8 4 y 2x 4
R y x2
Por lo tanto x 2 y x 8
Solucin ,2 ,8 ,2

9. 5 x 2 6 x 5
2
x
5
5 x 2 6 x 5 7 x

0 5x 2

6 x 5 5 x 2 11x 3 x 3

11
2
Solucin x
5

10. x 1 x 2 1
Caso

x 1 0, x 2 0
x 1 x 2 2 x 3 1 2 x 4 x 2

Caso

x 1 0, x 2 0
x 1 x 2 1 1

Caso

x 1 0, x 2 0
x 1 x 2 1 1

Caso

x 1 0, x 2 0
x 1 x 2 2 x 3 1 2 x 2 x 1

no hay solucin

no hay solucin

Solucin (,1) (2, )

11. x 3 x 3 5
x2 9 5
x 2 9 5 o x 2 9 5
x 2 14 o x 2 4
x 14 o x 14 o 2 x 2
Solucin (, 14 ) (2,2) ( 14 , )
BIBLIOGRAFIA
Haaser, N.; LaSalle, J. y Sullivan, J. (1990). Anlisis Matemtico Vol. 1. Trillas.
Spivak Michael. (2012). Clculus. Ed. Reverte.

12

Bartle. (2004). Introduccin al Anlisis Matemtico. Ed Limusa.

Swokowski, Cole. (2009). Algebra y Trigonometra con Geometra Analtica. Grupo
editorial iberoamrica.

13