I.

NÚMEROS REALES

1.1. NÚMEROS REALES

1.1.1. INTRODUCCIÓN

En esta primea sección introducimos el sistema de los Números Reales, que es la base sobre la cual
se desarrolla el Análisis Matemático. Los matemáticos griegos, cuyo interés fundamental fue la
Geometría, sabían que los números racionales, es decir, cocientes de enteros, no bastan para
asignar una longitud numérica a cada segmento de recta. En efecto, un triángulo rectángulo de
catetos de longitud 1 debe tener, por el Teorema de Pitágoras, una hipotenusa de longitud 𝑑 con
𝑑 2 = 2, y es fácil ver que ningún número racional tiene esta propiedad: supongamos 𝑑 = 𝑎/𝑏 donde
𝑎 y 𝑏 son enteros y no son ambos pares. Si 𝑑 2 = 2, tenemos 2𝑏2 = 𝑎2 y por lo tanto 𝑎 es par, digamos
𝑎 = 2𝑐, pero entonces 𝑏2 = 2𝑐 2 y 𝑏 también es par, lo cual es una contradicción. Al número que
corresponde a la longitud de la hipotenusa de este triángulo (que no es un número racional) lo
llamamos raíz de dos y lo denotamos √2. Para poder incluir estos números es necesario extender el
conjunto de los números racionales. Comenzamos este capítulo postulando la existencia de un
conjunto ℝ, cuyos elementos llamaremos números reales, junto con las operaciones de suma y
multiplicación y una relación de orden, que tomados en conjunto satisfacen trece axiomas. Estos
axiomas definen lo que conocemos como un Cuerpo Ordenado Completo, y constituyen la respuesta
a la pregunta ¿Qué son los números reales? La prueba de que esta estructura de Cuerpo Ordenado
Completo existe (y es única) depende de las hipótesis iniciales. En nuestro caso simplemente
listaremos los axiomas que definen a un Cuerpo Ordenado Completo y supondremos la existencia
de este objeto. Es posible seguir un camino constructivo para responder la pregunta del párrafo
anterior, es decir, es posible, partiendo de los Números Racionales o incluso de estructuras más
elementales como los Números Naturales o axiomas básicos de la Teoría de Conjuntos, construir
un conjunto con operaciones de suma y multiplicación y una relación de orden, que satisfacen los
axiomas que vamos a listar en esta sección y que constituyen lo que conocemos como los Números
Reales. Hay varias maneras de hacer esta construcción. En los ejercicios complementarios al final
del capítulo presentamos, como problema a resolver, una sucesión de ejercicios que lleva a esta
construcción a través del método de Dedekind.

1.1.2. AXIOMAS PARA LOS NÚMEROS REALES

Suponiendo la existencia de una cuádrupla (ℝ , + , ∙ , <) en la cual:

1. ℝ es un conjunto,
2. + y ∙ son funciones de ℝ × ℝ → ℝ,
3. < es una relación en ℝ,

que satisfacen los trece axiomas que daremos a continuación.

AXIOMAS PARA LA SUMA

i. Conmutatividad
Para todo 𝑎 y 𝑏 en ℝ, 𝑎 + 𝑏 = 𝑏 + 𝑎.

ii. Asociatividad
Para todo 𝑎 , 𝑏 y 𝑐 en ℝ, (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐).
iii. Existencia del Elemento Identidad
Existe un elemento 0 ∈ ℝ, tal que 𝑎 + 0 = 0 + 𝑎 = 𝑎 para todo 𝑎 ∈ ℝ.

iv. Existencia de Elemento Inverso

Para todo 𝑎 ∈ ℝ, 𝑎 ≠ 0, existe un elemento − 𝑎 ∈ ℝ tal que − 𝑎 + 𝑎 = 0.

En lenguaje algebraico estos cuatro axiomas dicen que (ℝ , +) es un grupo abeliano. A partir de
estos axiomas podemos obtener otras propiedades de los números reales.
Ejemplo 1.1 (Ley de cancelación para la suma)
Si 𝑎 , 𝑏 y 𝑐 están en ℝ y 𝑎 + 𝑏 = 𝑎 + 𝑐 entonces 𝑏 = 𝑐.
Demostración
Por (iv) existe el elemento inverso − 𝑎 ∈ ℝ y entonces

− 𝑎 + (𝑎 + 𝑏) = −𝑎 + (𝑎 + 𝑐 )
(−𝑎 + 𝑎) + 𝑏 = (−𝑎 + 𝑎) + 𝑐 𝑝𝑜𝑟 (𝑖𝑖)
0+𝑏 =0+𝑐 𝑝𝑜𝑟 (𝑖𝑣)
𝑏=𝑐 𝑝𝑜𝑟 (𝑖 ) 𝑦 (𝑖𝑖𝑖)

Ejercicios 1.1
Usando los axiomas (i) – (iv) demuestre lo siguiente:
a) Si 𝑎 + 𝑏 = 0 entonces 𝑏 = − 𝑎.
b) − (−𝑎) = 𝑎.
c) −(𝑎 − 𝑏) = 𝑏 − 𝑎. Por lo tanto − 0 = 0.
d) Si para algún 𝑎 ∈ ℝ, 𝑎 + 𝑏 = 𝑎, entonces 𝑏 = 0.

AXIOMAS PARA LA MULTIPLICACIÓN

v. Conmutatividad
Para todo 𝑎 y 𝑏 en ℝ, 𝑎 ∙ 𝑏 = 𝑏 ∙ 𝑎.

vi. Asociatividad
Para todo 𝑎 , 𝑏 y 𝑐 en ℝ, (𝑎 ∙ 𝑏) ∙ 𝑐 = 𝑎 ∙ (𝑏 ∙ 𝑐).

vii. Existencia del Elemento Identidad

Existe un elemento 1 ∈ ℝ, 1 ≠ 0 tal que 𝑎 ∙ 1 = 1 ∙ 𝑎 = 𝑎 para todo 𝑎 ∈ ℝ.

viii. Existencia de Elemento Inverso

Para todo 𝑎 ∈ ℝ, 𝑎 ≠ 0, existe un elemento 𝑎−1 ∈ ℝ tal que 𝑎 ∙ 𝑎−1 = 1.

Observamos que estos axiomas son similares a las cuatro iniciales.

En efecto, si reemplazamos ℝ por ℝ0 = ℝ − {0} y + por ∙ en (i) – (iv) obtenemos (v) – (viii) para
( ℝ − {0] , ∙ ), lo cual muestra que este par es un grupo abeliano. Como consecuencia, cualquier
resultado que demostremos para (ℝ , +) se traduce en un resultado relativo a (ℝ0 , ∙ ). Así, el ejemplo
1.1 nos dice que:

Si 𝑎 , 𝑏 y 𝑐 están en ℝ0 y 𝑎 ∙ 𝑏 = 𝑎 ∙ 𝑐 entonces 𝑏 = 𝑐.
El próximo axioma expresa una relación entre la suma y la multiplicación:

ix. Distributividad
Para 𝑎 , 𝑏 y 𝑐 en ℝ, 𝑎 ∙ (𝑏 + 𝑐 ) = (𝑎 ∙ 𝑏) + (𝑎 ∙ 𝑐 ).
En lenguaje algebraico, los axiomas (i) – (ix) dicen que (ℝ , + , ∙ ) es un cuerpo.

Ejercicios 1.2
1. Usando los axiomas (i) – (ix), demuestre lo siguiente:
a) Si 𝑎 ≠ 0 y 𝑎𝑏 = 𝑎𝑐, entonces 𝑏 = 𝑐.
b) 0 ∙ 𝑎 = 0 para todo 𝑎 ∈ ℝ.
c) Si 𝑎𝑏 = 0 entonces 𝑎 = 0 o 𝑏 = 0.
d) Si 𝑎 ≠ 0 entonces 𝑎−1 ≠ 0 y (𝑎−1 )−1 = 𝑎.
e) Si 𝑎𝑏 ≠ 0 entonces 𝑎 ≠ 0 , 𝑏 ≠ 0 y (𝑎𝑏)−1 = 𝑎−1 𝑏−1 .
f) (−1) ∙ 𝑎 = −𝑎.
g) (−𝑎) ∙ 𝑏 = −𝑎𝑏.
h) (− 𝑎) ∙ (−𝑏) = 𝑎𝑏.
2. Considere un sistema con dos elementos 𝛼 y 𝛽 y las siguientes reglas de suma y multiplicación
𝛼+𝛼 =𝛼, 𝛼+𝛽 =𝛽, 𝛽+𝛼 = 𝛽, 𝛽+𝛽 =𝛼
𝛼∙𝛼 =𝛼, 𝛼∙𝛽 =𝛼, 𝛽∙𝛼 = 𝛼, 𝛽∙𝛽 =𝛽
Demuestre que este sistema forma un cuerpo.
3. Considere los números de la forma 𝑎 + 𝑏√6 donde 𝑎 y 𝑏 son racionales. ¿Satisface este conjunto
los axiomas de un cuerpo?

AXIOMAS PARA LA RELACIÓN DE ORDEN

x. Para cualquier 𝑎 ∈ ℝ es cierta una sola de las siguientes posibilidades:

xi. Si 𝑎 y 𝑏 están en ℝ, 0 < 𝑎, 0 < 𝑏 entonces 0 < 𝑎 + 𝑏 y 0 < 𝑎 ∙ 𝑏.
xii. Para 𝑎 y 𝑏 en ℝ, 𝑎 < 𝑏 si y sólo si 𝑎 − 𝑏 < 0.

Si 𝑎 < 𝑏 también escribimos 𝑏 > 𝑎. La relación ≤ se define por 𝑎 ≤ 𝑏 si y sólo si 𝑎 < 𝑏 o 𝑎 = 𝑏. Los
axiomas (x) y (xii) dicen que < es un orden lineal y (xi) relaciona el orden < con las funciones + y ∙

Definición 1.1

Para cualquier 𝑎 ∈ ℝ, el módulo o valor absoluto |𝑎| se define como:

𝑥, 𝑥≥0
|𝑎| = {
−𝑥, 𝑥<0

Ejercicios 1.3
1. Usando los axiomas (i) – (xii) demuestre lo siguiente:
a) Para cualesquiera 𝑎 , 𝑏 , 𝑐 ∈ ℝ, 𝑎 < 𝑏 y 𝑏 < 𝑐 implican 𝑎 < 𝑐; 𝑎 ≤ 𝑏 y 𝑏 ≤ 𝑐 implican
𝑎 ≤ 𝑐; es decir, las relaciones < y ≤ son transitivas. La relación ≤ es reflexiva (𝑎 ≤ 𝑎)
mientras que < no lo es.
b) Si 𝑎 y 𝑏 están en ℝ, 𝑎 ≤ 𝑏 y 𝑏 ≤ 𝑎, entonces 𝑎 = 𝑏.
c) Si 𝑎 , 𝑏 , 𝑐 ∈ ℝ y 𝑎 > 𝑏, entonces 𝑎 + 𝑐 > 𝑏 + 𝑐; si 𝑐 > 0 entonces 𝑎𝑐 > 𝑏𝑐; si 𝑐 < 0
entonces 𝑎𝑐 < 𝑏𝑐.
d) Si 𝑎 ∈ ℝ y 𝑎 ≠ 0 entonces 𝑎 ∙ 𝑎 > 0. En consecuencia 1 > 0.
e) Para cualquier 𝑎 en ℝ, 𝑎 > 0 si y sólo si − 𝑎 < 0.
f) Si 𝑎 ∈ ℝ y 𝑎 > 0 entonces 𝑎−1 > 0; si 𝑎 < 0, entonces 𝑎−1 < 0.
g) Para cualesquiera 𝑎 , 𝑏 , 𝑐 ∈ ℝ, 𝑎 − 𝑏 < 𝑎 − 𝑐 si y sólo si 𝑏 > 𝑐.
h) Si 𝑎 y 𝑏 están en ℝ, 𝑎 > 𝑏 > 0 implica 0 < 𝑎−1 < 𝑏−1 , mientras que 𝑎 < 𝑏 < 0 implica
0 < 𝑎−1 < 𝑏 −1 , mientras que 𝑎 < 𝑏 < 0 implica 𝑏 −1 < 𝑎−1 < 0.
 i) Para cualesquiera 𝑎 y 𝑏 en ℝ, con 𝑎 > 0 y 𝑏 > 0, 𝑎 > 𝑏 ⟺ 𝑎 ∙ 𝑎 > 𝑏 ∙ 𝑏.
j) Si 𝑎 ∈ ℝ, entonces |− 𝑎| = |𝑎|. Además, |𝑎| = 0 si y sólo si 𝑎 = 0.
k) Para cualesquiera 𝑎 y 𝑏 en ℝ, |𝑎𝑏| = |𝑎||𝑏|, |𝑎 + 𝑏| ≤ |𝑎| + |𝑏| y |𝑎 − 𝑏| ≥ ||𝑎| − |𝑏||.
l) Si 𝑎 y 𝑏 están en ℝ y 𝑏 > 0, entonces |𝑎| < 𝑏 si y sólo si − 𝑏 < 𝑎 < 𝑏.
2. Demuestre que para el sistema definido en el ejercicio 1.2.2 no es posible definir una
relación de orden que satisfaga los axiomas (x) - (xii).
3. Considere el conjunto descrito en el ejercicio 1.2.3. ¿Satisface este conjunto los axiomas
para la relación de orden?

En lenguaje algebraico los axiomas anteriores expresan el hecho de que (ℝ, +, · , <) es un Cuerpo
Ordenado. Por lo tanto, las consecuencias de estos axiomas, y en particular los ejercicios 1.1, 1.2 y
1.3, son válidas para cualquier Cuerpo Ordenado, como por ejemplo los Números Racionales. Lo que
distingue al cuerpo de los reales ℝ de otros cuerpos ordenados como el de los racionales, es el
axioma (xiii) de completitud.