1.

3 AXIOMAS Y TEOREMAS DE ORDEN DE LOS NUMEROS REALES

María Concepción González Enríquez

Otra parte importante de la estructura de los números reales es lo que

llamamos el orden de los números.

AXIOMAS DE ORDEN
En ℝ existe una relación de orden denotada por el símbolo “<”
< se lee “ es menor que ” y es equivalente a > lo cual se
lee “ es mayor que ”

Para cualesquiera , , números reales se satisfacen los siguientes

axiomas de orden:

O1) Ley de tricotomía

< = >
O2) Suma y desigualdades
Si < entonces + < +
O3) Multiplicación por un número mayor que cero
Si < y > 0 entonces <
O4) Propiedad transitiva
Si < y < entonces <

De estas propiedades básicas se pueden deducir las siguientes propiedades

muy útiles en cálculo.

TEOREMAS DE ORDEN. Para números reales , , se satisface:

TO1. Si < < entonces + < + .
TO2. Si < entonces − < − .
TO3. Si < < 0 entonces < .
TO4. Si ≠ 0 entonces >0
TO5. Si 0 ≤ < 0 ≤ < entonces <
TO6. i) Si son del mismo signo, entonces > 0.
ii) Si son de signo contrario, entonces < 0.
TO7. Si ≠ 0 entonces tiene el mismo signo de .
TO8. Si son del mismo signo y < , entonces < .
TO9. Para 0 ≤ 0≤
≤ si y solo si ≤
TO10. Para 0 ≤
≤ si y solo si ≤ −√ √ ≤
TO11. Para 0 <
< si y solo si −√ ≤ ≤ √

1
Demostraciones.
TO1. Si < < entonces + < +
Como < entonces + < + por O2)
y < entonces + < + por O2)
ahora + < + y + < + , entonces + < +
por O4).

TO2. Si < entonces − < − .

< implica + (− ) < + (− ) por O2)
0 < + (− ) por inverso aditivo
− + 0 < (− ) + ( + (− ) por O2)
− < ((− ) + ) + (− )
neutro aditivo y asociatividad
− < 0 + (− ) inverso aditivo
− <− neutro aditivo.

TO3. Si < < 0 entonces < .

Como < 0 entonces 0 < − por teorema anterior,
Luego < y 0 < − implica (− ) < (− ) por O3) y
− <− por teorema 7
< por teorema anterior.

TO4. Si ≠ 0 entonces >0

Si ≠ 0 entonces <0 > 0 por O1).
Caso: >0 > 0 aplicamos O3)
> .0
> 0 por teorema 2 de campo

Caso: < 0 entonces − > 0 por TO2,

(− ) < 0(− ) por O3
− < 0 por teorema 2 de campo
>0 por TO2.

TO5. Si 0 ≤ < 0 ≤ < entonces <

Caso: = 0, =0< se satisface.
Caso: 0 < y como < entonces < por O3)
además 0 < < implica < por O3) y
por transitividad si < y < , entonces < .

2
TO6. i) Si son del mismo signo, entonces > 0.
Caso: 0 < y 0< entonces 0. < por O3) por tanto
>0
Caso: <0 y < 0 entonces
− >0 y (− ) < 0(− ) por O3)
− < 0 por teoremas
por tanto > 0 por TO2.

ii) Si son de signo contrario, entonces < 0.

Caso: 0 < y < 0 entonces < . 0 por O3)
por tanto < 0.
En forma similar el otro caso.

TO7. Si ≠ 0 entonces tiene el mismo signo de .

Por contradicción, sea ≠0
si tiene signo contrario al de , por el teorema 6
anterior, < 0,
pero = 1 < 0, lo que es una contradicción,
por lo tanto tiene el mismo signo de .

TO8. Si son del mismo signo y < , entonces < .

Caso: 0 < <
Por el teorema 7 anterior 0 < 0<
P+por lo que
< multiplicamos la hipótesis por
1< inverso multiplicativo
1. <( ) multiplicamos ambos lados por
< .1 neutro multip. asociativ. Inverso multip.
< neutro multiplicativo

Caso: < <0

Por el teorema 7 anterior <0 <0
por lo que
> multiplicamos la hipótesis por <0
1> inverso multiplicativo
1. <( ) multiplicamos ambos lados por <0
< .1 neutro multip. asociativ. Inverso multip.
< neutro multiplicativo

TO9. Para 0 ≤ 0≤
≤ si y solo si ≤

3
 sean 0 ≤ 0≤
→) ≤ hipótesis
0≤ − y
También 0 ≤ 0≤ implica 0 ≤ +
por lo que 0 ≤ ( − )( + )
esto es 0 ≤ − , o
≤ .

TO10. Para 0 ≤
≤ si y solo si ≤ −√ √ ≤
Caso: 0 <
escribimos = √ , luego = √ ≤ ,
por teorema anterior = √ ≤ si y sólo si √ ≤
Caso: < 0, 0 < −
= √ , luego = √ ≤ (− ) ,
por teorema anterior = √ ≤ (− ) si y sólo si √ ≤ −
o ≤ −√ .

TO11. Para 0 <

< si y solo si −√ ≤ ≤ √
Caso: 0 <
≤ si y sólo si ≤√

Caso: < 0, 0 < −

(− ) ≤ si y sólo si − ≤ √
o −√ ≤
por lo tanto −√ ≤ ≤ √ .

Intervalos de números reales.

Una clase importante de subconjuntos de números reales son los llamados
intervalos y tenemos:
Para , ∈ ℝ, ≤ se definen:
Intervalo cerrado
[ , ] = { ∈ ℝ: ≤ ≤ }
Intervalo abierto
( , ) = { ∈ ℝ: < < }

Intervalo cerrado a la izquierda y abierto a la derecha

[ , ) = { ∈ ℝ: ≤ < }

4
Intervalo abierto a la izquierda y cerrado a la derecha
( , ] = { ∈ ℝ: < ≤ }

Intervalos infinitos a la izquierda

(−∞, ] = { ∈ ℝ: ≤ } (−∞, ) = { ∈ ℝ: < }

Intervalos infinitos a la derecha

[ , ∞) = { ∈ ℝ: ≤ } ( , ∞) = { ∈ ℝ: < }

Ejemplos.
Resuelva las siguientes desigualdades:
1. −1 < 3 + 5 < 4
Iniciamos con −1 < 3 + 5 < 4
−6 < 3 < −1 O2 sumamos a los tres términos −5, inversos y
neutro aditivo
−2 < < − O3 multiplicamos los tres términos por , inverso
y neutro mutliplicativo
Solución: −2, −

2. −2 < ≤0
Iniciamos con −2 < ≤0
−6 < 4 + 1 ≤ 0 O3 multiplicamos por 3, inverso
y neutro mutliplicativo

−7 < 4 ≤ −1 O2sumamos −1, inversos y

neutro aditivo

− < ≤− O3 mulitiplicamos por , inverso

y neutro mutliplicativo

Solución: − , −

3. 3 ≤ ≤7
Iniciamos 3 ≤ ≤7
15 ≤ 3 − 2 ≤ 35 O3 multiplicamos por 5,
inverso y neutro mutliplicativo

5
 12 ≤ −2 ≤ 32 O2 sumamos −3, inversos y
neutro aditivo

−16 ≤ ≤ −6 O3 multiplicamos por − , inverso

y neutro mutliplicativo

4. <4
Caso: 0 < +1
−1 <
3 −2<4 +4
−1 <
−6 <

−1 < o (−1, ∞)

Caso: +1<0
< −1
3 −2>4 +4
< −1
−6 >

< −6 o (−∞, −6)

Solución: (−∞, −6) ∪ (−1, ∞)

5. + 11 + 18 > 0
Método. Completando trinomio cuadrado perfecto
+ 11 > −18
11 11
+ 11 + > −18 +
2 2
11 121 121 − 72 49
+ > −18 + = =
2 4 4 4
+ <− < + TO 10
< −9 −2<
En intervalos (−∞, −9) ∪ (−2, ∞)

Método. Factorización
+ 11 + 18 = ( + 9)( + 2) > 0

6
Caso) +9>0 +2>0
> −9 > −2
> −2 (−2, ∞)

Caso) +9<0 +2<0

< −9 < −2
< −9 (−∞, −9)
Por lo tanto (−∞, −9) ∪ (−2, ∞)

6. +6 <7
Método. Completando trinomio cuadrado perfecto

+6 +9< 7+9
( + 3) < 16
−4 < + 3 < 4
−7 < < 1
En intervalo (−7,1)

Método. Factorización
+6 −7<0
( + 7)( − 1) < 0

Caso) +7<0 −1>0

< −7 >1
Tenemos el conjunto

Caso) +7 >0 −1<0

> −7 <1
−7 < < 1 (−7,1)

Solución: (−7,1) ∪ = (−7,1)

7. + 12 ≥ 8
Método. Completando trinomio cuadrado perfecto
− 8 ≥ −12
− 8 + 16 ≥ −12 + 16

( − 4) ≥ 4

− 4 ≤ −2 2≤ −4
TO 10
≤2 6≤

7
 En intervalos (−∞, 2] ∪ [6, ∞)

Método. Factorización
+ 12 ≥ 8
− 8 + 12 ≥ 0
( − 2)( − 6) ≥ 0

Caso) −2 ≥0 −6≥0
≥2 ≥6

≥6 [6, ∞)

Caso) −2 ≤0 −6≤0
≤2 ≤6

≤2 (−∞, 2]
Solución: (−∞, 2] ∪ [6, ∞)

8. 2 + −6>0
+ −3>0
1 1
+ + >3+
2 16 16
1 49
+ >
4 16

1 7 7 1
+ <− < +
4 4 4 4
3
< −2 <
2
En intervalos (−∞, −2) ∪ ,∞

9. 16 ≤9
16−9 ≤0
9
− ≤0
16
9 9 9
− + ≤
16 32 32
9 9
− ≤
32 32

8
 9 9 9
− ≤ − ≤
32 32 32

0≤ ≤ o 0,

10. <0
Caso: 0 < +4 − 36 < 0
−4 < < 36
−4 < −6< <6
−4 < <6 (−4,6)

Caso: 0 > +4 − 36 > 0

−4 > > 36
< −4 ( < −6 6< )
< −6 (−∞, −6)

Solución completa (−∞, −6) ∪ (−4,6)

11.Una constructora quiere decidir por un modelo de grúas, 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 cuántos años debe usarse el modelo A para que sea
más económico que el B?
Denotamos con el número de años que debe usarse el modelo A
para que sea más económico que el B, entonces la desigualdad a
resolver es
50 + 4 < 40 + 5.5 consideramos las cantidades en miles
50 − 40 < 5.5 − 4
3
10 < 1.5 =
2
20
<
3

Por lo tanto deben pasar = 6.6 años para que sea más económico
comprar la grúa de tipo A.

9
 1.5 VALOR ABSOLUTO

El concepto de valor absoluto en los números reales es importante, para

manejar los conceptos de límites, continuidad y demás temas centrales del
cálculo diferencial e integral.

Definición. Para un número real , su valor absoluto se denota por | |

Y se define como
, ≥0
| |=
− , <0

Esta definición contempla dos casos, los mismos que deben aplicarse
siempre que tengamos el valor absoluto de cualquier expresión.

Propiedades del valor absoluto. Para números reales , se satisface:

V1. 0 ≤ | |, | | = 0 si y sólo si =0
V2. | | = | || |
V3. |− | = | |
V4. −| | ≤ ≤ | |
V5. | + | ≤ | | + | | desigualdad del triángulo
V6. | | = si y sólo si = − =
V7. | | ≤ si y sólo si − ≤ ≤
V8. Para 0 ≤ , ≤ | | si y sólo si ≤ − ≤
V9. | | − | | ≤ | − |

Demostraciones.
V1. 0 ≤ | |, | | = 0 si y sólo si =0
Caso: 0 ≤ , por definición | | = ≥ 0
Caso: < 0, − > 0 y por definición | | = − > 0
por lo tanto 0 ≤ | |.

Ahora, si suponemos | | = 0 y ≠ 0
entonces >0 o <0 y
| |= >0 o | |=− >0
contradiciendo que | | = 0.
por lo tanto, si | | = 0 entonces = 0,
Inversamente, si = 0
por definición | | = 0.

V2. | | = | || |
Caso: ≥ 0, ≥ 0

10
 ≥0 → |=|
↓ ↓
| | = ,| | = → | || | =

∴ | | = | || |

Caso: ≥ 0, <0

≤0 → |
| = −( )
↓ ↓
| | = ,| | = − → | || | = (− )

∴ | | = −( ) = (− ) = | || |

Caso: < 0, <0

>0 → |= |
↓ ↓
| | = − ,| | = − → | || | = (− )(− )

∴ | |= = (− )(− ) = | || |

V3. | | = |− |
Caso: 0 ≤ ,
0≤ → | |=
↓ ↓
− ≤0 → |− | = −(− )

∴ | |= = −(− ) = |− |

Caso: 0 ≤ ,
<0 → | |=−
↓ ↓
− > 0 → |− | = −

∴ | | = − = |− |

V4. −| | ≤ ≤ | |
Caso: 0 ≤ ,
| | = , −| | = − ≤ 0
por lo tanto −| | ≤ 0 ≤ = | |

Caso: < 0,

11
 | | = − , −| | = <0
Por lo tanto −| | = < 0 ≤ .

V5. | + | ≤ | | + | |
Empezamos con la expresión del lado izquierdo elevada al cuadrado,
por que nos facilita el manejo de propiedades adecuadas
| + | = |( + ) | = ( + ) V2
= +2 + propiedad distributiva
= + 2| | + V4
= | | + 2| | + | | definición de valor abs.
= (| | + | |) propiedad distributiva
y extrayendo raíz cuadrada de ambos lados, obtenemos
| + | ≤ | | + | |.

V6. | | = si y sólo si = − =
Caso: 0 ≤ , por definición | | = , por lo que =| |=

Caso: < 0, | | = − , por lo que =| |=−

V7. | | ≤ si y sólo si − ≤ ≤
Caso: 0 ≤ , por definición | | = , por lo que = | | ≤
Caso: < 0, | | = − por lo que ≥ | | = − , así − ≤
Por lo tanto − ≤ ≤ .

V8. Para 0 < , ≤ | | si y sólo si ≤ − ≤

La condición 0 < es porque un valor absoluto por ser mayor o igual
a cero no puede ser menor que un número negativo.
Caso: 0 ≤ , por definición | | = , por lo que | | = − ≥

Caso: < 0, | | = − , por lo que ≤| |=− o ≤−

Por lo tanto ≤ − o ≤ .

V9. | | − | | ≤ | − |
Se tiene
| |=| − + |≤| − |+| |
por la desigualdad del triángulo,
implica
| |−| |≤| − |
y también
| |=| − + |≤| − |+| |
implica
| |−| | ≤| − |

12
 Como | − | = | − | tenemos
| | − | | ≤ | − | y −| − | ≤ | | − | |
Así que −| − | ≤ | | − | | ≤ | − |
Por el teorema 7, | | − | | ≤ | − | y
| | − | | = | | − | | ≤ | − |.

En particular podemos describir un intervalo abierto o cerrado de números

reales con una relación que involucra el valor absoluto:
[ , ] = { ∈ ℝ: ≤ ≤ }
se describe como
[ , ]= ∈ ℝ: − ≤

Demostración.
+ −
− ≤
2 2
− + −
− ≤ − ≤
2 2 2
− + − +
− + ≤ ≤ +
2 2 2 2
≤ ≤

En forma similar
( . ) = { ∈ ℝ: < < } se describe como
+ −
( , ) = ∈ ℝ: − <
2 2

Ejemplo: La recepción para un evento es de 17:30 a 18:00 horas, exprese

dicho intervalo de tiempo por medio de una desigualdad que involucre
valor absoluto.
Denotamos con el tiempo, el punto medio del intervalo [17:30, 18:00]
es 17:45; y la mitad de la longitud del intervalo son 15 minutos que
equivale a de hora,
Por lo que escribimos | − 17: 45| ≤

Ejemplo. En una oficina no se atiende entre las 14:00 a 17:00, porque es la

hora de receso, exprese el tiempo en que si hay servicio en términos de
valor absoluto.
Denotamos con el tiempo, el punto medio del intervalo [17:00, 18:00]
es 15:30; y la mitad de la longitud del intervalo de hora,

13
Por lo que escribimos | − 15: 30| >

Ejercicios.
1. | + 4| = 6
Por V6
+4=6 − −4=6
=2 = −10

2. | + 4| = 3 − 1
Condición 3 − 1 ≥ 0, ≥
Por V6
+4=3 −1 − −4=3 −1
2 =5 4 = −3
5 3
= =−
2 4
Como ≥
5
=
2

3. | + 9| < 4
Por V7
−4 < + 9 < 4
−13 < + 9 < −5 o (−13, −5)

4. | − 8| ≥ 6
Por V8
− 8 ≤ −6 6≤ −8
≤2 14 ≤
(−∞, 2] ∪ [14, ∞)

5. 3 < | − 5| ≤ 11
Primero 3 < | − 5|
por V8
− 5 < −3 3< −5
<2 8<
(−∞, 2) ∪ (8, ∞)
Luego | − 5| ≤ 11
Por V7
−11 ≤ − 5 ≤ 11
−6 ≤ ≤ 16

14
 [−6,16]
Solución: [−6,2) ∪ (8,16]

6. 5|4 + | − 2 < 7
5|4 + | < 9
9
|4 + | <
5
Por V7
9 9
− <4+ <
5 5
29 11
− <4+ <−
5 5
29 11
− ,−
5 5

7. | |
≤ 1, ≠2
4 ≤ |3 − 6|
Por PV8
3 − 6 ≤ −4 4≤3 −6
2 10
≤ ≤
3 3
Solución: −∞, ∪ ,∞

8. | − 1| + | − 2| > 1
Caso − 1 > 0, − 2 > 0
−1+ −2>1
2 −3>1
2 >4
>2
Caso − 1 > 0, − 2 < 0
−1− +2>1
1>1
no hay solución

Caso − 1 < 0, − 2 > 0

− +1+ −2 >1
−1 > 1
no hay solución

Caso − 1 < 0, − 2 < 0

− +1− +2 >1
−2 > −2, <1

15
 Solución: (−∞, 1) ∪ (2, ∞)

9. | − 3|| + 3| > 5
| − 9| > 5
Por V8
− 9 < −5 5< −9
<4 14 <
Por V7 y V8
−2 < < 2 < −√14 √14 <
Solución final: (−∞, −√14) ∪ (−2,2) ∪ (√14, ∞)

BIBLIOGRAFIA
Haaser, N.; LaSalle, J. y Sullivan, J. (1990). Análisis Matemático Vol. 1. Trillas.
Spivak Michael. (2012). Cálculus. Ed. Reverte.
Bartle. (2004). Introducción al Análisis Matemático. Ed Limusa.
Swokowski, Cole. (2009). Algebra y Trigonometría con Geometría Analítica. Grupo
editorial iberoamérica.

16