EL NÚMERO REAL

1. NÚMEROS REALES.
1.1. Introducción.
1.2. Axiomas del cuerpo R .
1.3. Propiedades de los números reales.
1.4. Valor absoluto.
1.5. Construcción de un sistema de números reales.
2. CONJUNTOS ACOTADOS EN R.
2.1. Inmersión de en R .
2.2. Intervalos en R .
2.3. Conjuntos acotados en R .
2.4. Existencia de supremo.
 El número real.

1 NÚMEROS REALES.
1.1 Introducción.
El concepto de número ha sufrido una evolución histórica, estableciéndose
sucesivamente distintos tipos de números que conforme son más evolucionados
permiten resolver distintos tipos de problemas.
a) Problema de contar: números NATURALES ( ).
Los números naturales: 1, 2,3, 4,… aparecen al contar, es el tipo de número más
elemental y más intuitivo y a la vez el más difícil de construir
matemáticamente.
Se pueden establecer axiomáticamente (AXIOMAS DE PEANO):
El conjunto de los números naturales es un conjunto que cumple:
I. 1∈
II. Para todo p ∈ existe un elemento que llamaremos siguiente a p : p + 1 .
III. El uno (1) no es el siguiente de ningún número natural.
IV. Si p ' es el siguiente de p y q ' es el siguiente de q y q ' = p ' entonces
p = q.
V. (AXIOMA DE INDUCCIÓN COMPLETA)
Sea un subconjunto C ⊂ que cumple:
- 1∈ C
- p ∈ C ⇒ p + 1∈ C
entonces C = .
En el V axioma de los números naturales se basa el principio de inducción
completa, para demostrar una función proposicional para todo n ∈ . Por

ejemplo: dado δ > 0, (1 + δ ) ≥ 1 + nδ

n
∀n ∈ .

b) El problema de la resta: números ENTEROS ( ).

En el conjunto de los números naturales, la ecuación
a+x=b
no siempre tiene solución (en particular sólo cuando b > a ), entonces se amplia
el concepto de número de modo que se puedan representar cantidades negativas.
Sea A = × , se define una relación:
( n, m ) R ( n ', m ' ) ⇔ n + m ' = n '+ m
dicha relación es de equivalencia y establece un conjunto cociente:

1
Cálculo Infinitesimal.

= × R
que llamamos números enteros.

1) n > m : números positivos

( n, m ) → 2) n = m : cero
3) n < m : números negativos
c) El problema de la división: números RACIONALES ( ).
En el conjunto de los números enteros la ecuación:
a⋅x = b
sólo tiene solución cuando b es un múltiplo de a , es decir, que b a sólo tiene
sentido en algunos casos, entonces se introduce un nuevo concepto de número
(que es precisamente el número fraccionario):
Sea B = × , y R una relación binaria
( p, q ) R ( p ', q ' ) ⇔ p ⋅ q ' = p '⋅ q
dicha relación es de equivalencia y establece un conjunto cociente:
= × R
que llamaremos conjunto de los números racionales.
EL CUERPO ORDENADO ARQUIMEDIANO :
En se puede definir dos operaciones: suma y producto, y una relación de orden ≤ , de
modo que:
1) +, ⋅ sean conmutativas.
2) +, ⋅ sean asociativas.
3) Exista el neutro para la suma (cero) y para el producto (uno).
4) Para todo racional existe el opuesto y para todo racional no nulo existe el
inverso.
5) El producto sea distributivo respecto de la suma.
x > y

6) Dados x, y ∈ ⇒  x = y una sola de los tres.
x < y

7) x ≤ y ⇒ x + z ≤ y + z
8) 0 ≤ x, 0 ≤ y ⇒ 0 ≤ x ⋅ y
9) 0 < x, 0 ≤ y ⇒ ∃n ∈ / y ≤ n ⋅ x (Propiedad de Arquímedes)

2
 El número real.

LA RECTA RACIONAL
Los números racionales se pueden representar sobre una recta:
7
−2 −1 0 1 4 2

cabría pensar que dado que cada número racional tiene representación sobre la recta,
cada punto de la recta está representado por un número racional, esto no es así y obliga
a introducir un nuevo concepto de número que “llene” toda la recta, dichos números son
los números reales.
1.2 Axiomas del cuerpo R .
Como se verá posteriormente (1.5 Construcción de un sistema de números reales), los
números reales pueden construirse de diversas maneras sobre la base de los números
racionales. No obstante aquí se va a postular la existencia de un conjunto que cumple
una serie de propiedades (axiomas). Dichos axiomas se pueden estructurar en tres
grupos:
AXIOMAS DE CUERPO
AXIOMAS DE ORDEN
AXIOMA DE COMPLETIPUD
AXIOMAS DE CUERPO.
En R hay definidas dos leyes le composición interna:
SUMA
+
R × R→R
( x, y ) → x + y
PRODUCTO
•
R×R→R
( x, y ) → x ⋅ y
de modo que se cumple: (para todo x, y , z ∈ R )
- A1 Propiedad conmutativa
x+ y = y+x
x⋅ y = y⋅x
- A2 Propiedad asociativa
x + ( y + z) = ( x + y) + z

x ⋅ ( y ⋅ z) = ( x ⋅ y) ⋅ z

3
Cálculo Infinitesimal.

- A3 Propiedad distributiva
x ⋅ ( y + z) = x ⋅ y + x ⋅ z

- A4 Existencia de elementos neutros

∃ 0 ∈ R ( cero ) / 0 + x = x + 0 = x
∃ 1 ∈ R ( uno ) /1 ⋅ x = x ⋅ 1 = x

- A5 Existencia del opuesto

x ∈ R , ∃ − x ∈ R / x + (−x) = 0

- A6 Existencia del inverso

x ∈ R , x ≠ 0, ∃x −1 ∈ R / x ⋅ ( x −1 ) = 1

AXIOMAS DE ORDEN
Existe un subconjunto R + de R (reales positivos) de modo que se cumple:
- A7 Suma y producto de positivos
x ∈ R+ , y ∈ R+ ⇒ x + y ∈ R+
x ⋅ y ∈ R+
- A8 El cero no es positivo
0 ∉ R+
- A9 Dicotomía
 x ∈ R+

x ∈ , x ≠ 0 ⇒ o
− x ∈ R+

AXIOMA DE COMPLETITUD.
- A10 Principio de encaje.
Dada una familia de intervalos encajados existe un punto común a todos
los intervalos de la familia.
1.3 Propiedades de los números reales.
Dado que las propiedades que se deducen de los axiomas de cuerpo, se suponen
conocidas (teoría general de cuerpos), se van a estudiar las propiedades de orden de los
números reales.
En R se puede definir una relación de orden total compatible con la estructura de
cuerpo ( R es un cuerpo ordenado):
Definimos:
a < b ⇔ b − a ∈ R+ [a > b ⇔ b < a ]

4
 El número real.

a ≤ b ⇔ ( a < b) o ( a = b)

Se verifica que:
- ≤ es una relación de orden en R
- a, b ∈ ⇒ ( a > b) o (a = b) o ( a < b)

- a <b⇒a+c<b+c
- ( a < b ) y ( c > 0) ⇒ a ⋅ c < b ⋅ c
- ( a < b ) y ( c < 0) ⇒ a ⋅ c > b ⋅ c
- a < b ⇒ −a > −b
- a <c y b<d ⇒a+b<c+d

- a ≠ 0 ⇒ a2 > 0
- a ⋅ b > 0 ⇒ ( a > 0 y b > 0) o ( a < 0 y b < 0)

La demostración de estas propiedades se basa directamente en los axiomas de orden

y se deja como ejercicio.
PROPIEDAD ARQUIMEDIANA
El cuerpo R es un cuerpo arquimediano:
x ∈ R , y ∈ , x > 0 ⇒ ∃n ∈ /n⋅ x > y
Admitiendo que ⊂ , no está acotado, tendremos que ∀z ∈ R, ∃n ∈ /n > z.
y
Aplicando la propiedad anterior para z = , se tiene:
x
y
∃n ∈ /n > , y como x > 0 se obtienen: nx > y .
x
1.4 Valor absoluto.
Dado un número real x , se define el valor absoluto de x :
x = max {− x, x}

Sea x ∈ R y x > 0 , entonces:

−x < 0 < x ⇒ x = x

Sea x ∈ R y x = 0 , entonces:
−x = x = 0 ⇒ x = x = 0

Sea x ∈ R y x < 0 , entonces:

x < 0 < −x ⇒ x = −x

5
Cálculo Infinitesimal.

los resultados obtenidos anteriormente, se pueden tomar también como definición de

valor absoluto.
Propiedades del valor absoluto:
- −x = x

- a > 0, x ≤ a ⇒ −a ≤ x ≤ a

x≤ x ≤a 
Según la definición  ⇒ −a ≤ x ≤ a
− x ≤ x ≤ a ⇒ x ≥ − a 

- x+ y ≤ x + y

x ≤ x  
⇒ x+ y≤ x + y 
y ≤ y  
⇒ x+ y ≤ x + y
− x ≤ x  
 ⇒ − ( x + y) ≤ x + y 
− y ≤ y  

- x − y ≤ x− y

Llamando z = x + y , v = y y aplicando la propiedad anterior.

- x⋅ y = x ⋅ y

- x1 + x2 + + xn ≤ x1 + x2 + + xn

- x1 ⋅ x2 ⋅ ⋅ xn = x1 ⋅ x2 ⋅ ⋅ xn

1.5 Construcción de un sistema de números reales.

A continuación se van a esbozar dos construcciones de un conjunto, que llamaremos ,
que cumple los diez axiomas del apartado 1.2, dichos conjuntos son pues cuerpos
ordenados completos, (se demuestra que son isomorfos) por lo tanto cualquier
propiedad que se deduzca en base a esas diez propiedades es válida en cualquiera de
ellos, es por esto por lo que a pesar de que las construcciones sean distintas se dice que
solamente existe un sistema de números reales (EXISTE UN Y SOLAMENTE UN
CUERPO ORDENADO COMPLETO).
En ambas construcciones se toma como base el cuerpo de los números racionales,
estas son:
- SUCESIONES DE CAUCHY.
- CORTADURAS DE DEDEKIND.

6
 El número real.

SUCESIONES DE NÚMEROS RACIONALES.

- Se llama sucesión de números racionales a toda aplicación entre y :
a
→
1 → a (1) : a1
2 → a ( 2 ) : a2
…
n → a ( n ) : an
…
Se llama término general a an , normalmente la sucesiones se representan por:

a1 , a2 , a3 ,… , an ,…

o simplemente: {an } .

- Se llama sucesión regular o de Cauchy:

{an } regular ⇔ ∀ε > 0, ∃n0 (ε ) ∈ / p, q > n0 ⇒ a p − aq < ε

- Se llama sucesión convergente (tiene límite):

lim an = a ⇔ ∀ε > 0, ∃n0 (ε ) ∈ / n > n0 ⇒ an − a < ε
n →∞

- Se llama sucesión nula (límite cero):

{an } nula ⇔ lim an = 0 ⇔ ∀ε > 0, ∃n0 (ε ) ∈ / n > n0 ⇒ an < ε
n →∞

- TODA SUCESIÓN CONVERGENTE ES REGULAR:

{an } convergente ⇒ {an } regular.

ε ε
Supongamos lim an = a ⇒ ∀ε > 0, > 0, ∃n0 ∈ / n > n0 ⇒ an − a <
n →∞ 2 2
Por lo tanto:
ε 
∀ε > 0, n = p > n0 ⇒ a p − a < 
2
⇒
ε 
n = q > n0 ⇒ aq − a <
2 
ε ε
⇒ a p − aq = a p − a q + ( a − a ) = ( a p − a ) − ( a q − a ) ≤ a p − a + aq − a < + =ε
2 2
EN GENERAL UNA SUCESIÓN REGULAR NO ES CONVERGENTE, es decir que
hay sucesiones regulares que son convergentes y sucesiones regulares que no son
convergentes (siempre hablando en el cuerpo ).

7
Cálculo Infinitesimal.

Este último problema es uno de los que obliga a introducir un nuevo concepto de
número.
Definición de número real (SUCESIONES DE CAUCHY)
Sea C = {{ xn } sucesiones racionales regulares} . En el conjunto C , se puede definir

una relación binaria R :

{xn } ∈ C , { yn } ∈ C , {xn } R { yn } ⇔ {xn − yn } es nula
se demuestra que es una relación de equivalencia.
Se llama conjunto de números reales R al conjunto cociente C R .
Se llama número real a cada elemento de R , es decir a cada una de las clases de
equivalencia del conjunto C R .
CONJUNTOS DE NÚMEROS RACIONALES ACOTADOS.
Sea un conjunto A ⊂ , se dice:

- k es una cota superior de A ⇔ ( x ∈ A ⇒ x ≤ k )

- k ' es una cota inferior de A ⇔ ( x ∈ A ⇒ x ≥ k ' )

a un conjunto que tiene al menos una cota superior (inferior) se dice que está acotado
superiormente (inferiormente).
- M ∈ A es el máximo de A ⇔ ( x ∈ A ⇒ x ≤ M ) .

- m ∈ A es el mínimo de A ⇔ ( x ∈ A ⇒ x ≥ m ) .

Se llama SUPREMO o extremo superior de A , a la menor de las cotas superiores de A .

CA = { k ∈ / k cota superior de A }
S = mínimo de C A : supremo.
Por lo tanto para que exista el supremo el conjunto de cotas superiores debe cumplir dos
condiciones:
- CA ≠ ∅
- C A debe tener mínimo.
Se llama ÍNFIMO o extremo inferior de A a la mayor de las cotas inferiores del
conjunto.
EN GENERAL UN CONJUNTO DE NÚMEROS RACIONALES ACOTADO
SUPERIORMENTE NO TIENE SUPREMO.
Éste es otro de los problemas que obliga a introducir el concepto de número real. En
esencia este problema y el planteado con el límite de las sucesiones regulares es el

8
 El número real.

mismo. Es decir los “huecos” que presentan los números racionales dentro de la recta
real.
NOTA: en algunos casos el axioma 10 de los números reales se enuncia en este sentido
(existencia del supremo).
Definición de número real (CORTADURAS DE DEDEKIND)
Se define número real α , a todo conjunto de números racionales, que cumpla:
1. α ≠ ∅
2. α ≠
3. x ∈ α , y < x ⇒ y ∈ α
4. x ∈ α , ∃y ∈ α / x < y
Al conjunto de todos los números reales se le llama R .
Por ejemplo el intervalo ( −∞, a ) , con a ∈ , es un número real, aunque no es el único

tipo, es decir que hay números reales que no se pueden expresar como un intervalo.

2 CONJUNTOS ACOTADOS EN R .
2.1 Inmersión de en R .
Dentro del conjunto:
C = {{ xn } : sucesiones racionales regulares}

se puede considerar el subconjunto:

C1 = {{ xn } : sucesiones racionales convergentes}

llamaremos C2 al complementario de C1 en C , es decir:

C = C1 ∪ C2
C1 ∩ C2 = ∅
por lo tanto al establecer la relación de equivalencia R en el conjunto C , se puede
demostrar que:
R = C R = C1 R ∪ C2 R
C1 R ∩ C2 R = ∅
llamaremos:
' = C1 R
R− ' = C2 R
Se puede establecer la aplicación:

9
Cálculo Infinitesimal.

f
→ '
a → α = f (a )

de modo que
α = f ( a ) ⇔ { xn } ∈ α ⇒ lim xn = a
n →∞

Se demuestra que f es biyectiva y que además:

f ( a + b) = f ( a ) + f (b)

f ( a ⋅ b) = f (a ) ⋅ f (b)

Entonces f es un ISOMORFISMO entre el cuerpo y el subcuerpo ' de los

números reales, a dicho isomorfismo es a lo que se llama inmersión de en R , es
decir considerar a los números racionales “como una parte” de los números reales.
2.2 Intervalos en R .
En el conjunto de los números reales se definen los siguientes subconjuntos, llamados
intervalos:
Sean a, b ∈ R , tal que a < b
- INTERVALO CERRADO:
[ a, b] = {x ∈ R / a ≤ x ≤ b}
- INTERVALO ABIERTO:
( a, b ) = {x ∈ R / a < x < b}
- INTERVALOS SEMIABIERTOS:
( a , b] = { x ∈ R / a < x ≤ b}

[a, b) = { x ∈ R / a ≤ x < b}

en los intervalos definidos anteriormente, se llama:

- extremo inferior: a
- extremo superior: b
- amplitud: b − a .
Se llama familia de intervalos a cualquier conjunto de intervalos. Puede ser una familia
finita o infinita.
FAMILIA DE INTERVALOS ENCAJADOS:
Sea una familia de intervalos cerrados:
G = {J i = [ ai , bi ] / i ∈ }

10
 El número real.

Será: G = {[ a1 , b1 ] , [ a2 , b2 ] , [ a3 , b3 ] ,…}

Se dice que es una familia de intervalos encajados o un encaje de intervalos, si se

cumple:
a) a1 ≤ a2 ≤ a3 ≤ ≤ an ≤

b1 ≥ b2 ≥ b3 ≥ ≥ bn ≥

b) ∀ε > 0, ∃p ∈ / bp − a p < ε

El axioma 10 de los números reales, dice que la intersección de todos los intervalos de
la familia es no vacía. O lo que es lo mismo que existe al menos un número real que
pertenece a todos los intervalos de la familia.
NOTA: es de señalar que este axioma no lo cumplen los números racionales, por lo
tanto cualquier consecuencia de él, sólo es aplicable a los números reales.
Vamos a demostrar a continuación que toda familia de intervalos encajados determinan
un único punto.
Dem.
Supongamos que existen dos puntos x < x ' , que pertenezcan a la intersección de los
intervalos de la familia. x < x ' ⇒ x '− x > 0 , tomando ε tal que x '− x > ε > 0 tendremos
∃p ∈ / bp − a p < ε

x ∈  a p , bp  ⇒ a p ≤ x ≤ bp ⇒ − a p ≥ − x 
 ⇒ bp − a p ≥ x '− x > ε
x ' ∈  a p , bp  ⇒ a p ≤ x ' ≤ bp ⇒ bp ≥ x ' 

es decir que se obtiene una contradicción, luego la hipótesis x < x ' no puede ser cierta,
por tanto x = x ' .
INTERVALOS DE EXTREMOS INFINITOS:
( a, +∞ ) = {x ∈ R / x > a}
[a, +∞) = { x ∈ R / x ≥ a}

( +∞, b ) = {x ∈ R / x < b}
( +∞, b] = { x ∈ R / x ≤ b}

2.3 Conjuntos acotados en R .

Dado un conjunto de números reales, S ⊂ R , se define:
COTA SUPERIOR:
k1 ∈ R , cota superior de S ⇔ ( x ∈ S ⇒ x ≤ k1 )

11
Cálculo Infinitesimal.

COTA INFERIOR:
k2 ∈ R , cota inferior de S ⇔ ( x ∈ S ⇒ x ≥ k2 )

COTA:
k ∈ R es cota de S ⇔ ( x ∈ S ⇒ x ≤ k )

MÁXIMO:
M ∈ S es máximo de S ⇔ ( x ∈ S ⇒ x ≤ M )

MÍNIMO:
m ∈ S es mínimo de S ⇔ ( x ∈ S ⇒ x ≥ m )

Se pueden definir dos conjuntos:

CS = { k ∈ R / k cota superior de S }

C I = { k ∈ R / k cota inferior de S }
de la propia definición se deduce que M ∈ CS , m ∈ CI .
SUPREMO:
Se llama supremo o extremo superior de S a la menor de las cotas superiores, es decir
al mínimo de CS .
ÍNFIMO:
Se llama ínfimo o extremo inferior de S a la mayor de las cotas inferiores, es decir al
máximo de C I .

Se dice que un conjunto está

ACOTADO SUPERIORMENTE cota superior

ACOTADO INFERIORMENTE si tiene al menos una cota inferior
ACOTADO cota

Se verifica que:
S está acotado superiormente y acotado inferiormente ⇔ S está acotado
Demostración.
1. Supongamos k1 cota superior de S
k2 cota inferior de S ; entonces llamando:

k = max {k1 , −k2 } , se verifica que:

12
 El número real.

x ≤ k1 x ≤ k1 ≤ k x≤k
x∈S ⇒ ⇒ ⇒ ⇒ x ≤k
x ≥ k2 − x ≤ − k2 ≤ k −x ≤ k
luego k es una cota del conjunto S .
2. Supongamos k cota de S , entonces:
x≤k x≤k k Cota superior de S
x∈S ⇒ x ≤ k ⇒ ⇒ ⇒
−x ≤ k x ≥ −k −k Cota inferior de S
2.4 Existencia de supremo.
En este punto se va a demostrar que todo conjunto de números reales acotado
superiormente tiene supremo.
Esta es una propiedad de los números reales ( R es un cuerpo completo) y la diferencia
con los números racionales, de hecho es la única diferencia existente entre unos
números y otros, por lo tanto cualquier propiedad de los números que se deduzca a
partir de ésta, sólo es válida en R .
Conviene señalar que la existencia del supremo se puede establecer también y
directamente como axioma de completitud de los números reales.
TODO CONJUNTO S NO VACÍO DE NÚMEROS REALES ACOTADO
SUPERIORMENTE TIENE SUPREMO.
Demostración.
Sea S un conjunto no vacío y acotado superiormente:
- existe k1 cota superior de S
- existe k2 que no es cota superior de S , puesto que si todo número real fuese
cota superior de S , se deduciría que el conjunto S es vacío.
Llamaremos a0 = k2 ‘no es cota superior’ de S

b0 = k1 ‘si es cota superior’ de S

Dividimos el intervalo [ a0 , b0 ] por la mitad:

a0 + b0
c0 = b0
a0 2

De los dos subintervalos [ a0 , c0 ] , [ c0 , b0 ] nos quedamos y llamamos J 1 = [ a1 , b1 ] con

aquel que cumpla:
a1 : ‘no es cota superior’
b1 : ‘si es cota superior’

13
Cálculo Infinitesimal.

lo que siempre es posible hacer pues:

cota superior: entonces b1 = c0 ; a1 = a0

c0 puede ser
no cota superior: entonces a1 = c0 ; b1 = b0

además se verifica que:

b0 − a0
J 1 ⊂ J 0 = [ a0 , b0 ] y b1 − a1 =
2
Repitiendo el proceso indefinidamente, se obtiene una familia de intervalos:
{J 0 , J1 , J 2 ,…} , J 1 = [ ai , bi ]

que cumple:
- J n +1 ⊂ J n

bn − an
- bn +1 − an +1 =
2
- an +1 : ‘no es cota superior’ de S

- bn +1 : ‘si es cota superior’ de S

b0 − a0
como: bn − an = , la familia de intervalos es un encaje de intervalos que
2n
determinan un único punto x0 que pertenece a todos los intervalos de la familia.

a0 a2 b2 b0
a1 x0 b1

Vamos a demostrar a continuación que x0 es el supremo del conjunto S (la menor de

las cotas superiores).
1. Supongamos que x0 no es cota superior:

quiere decir que ∃x ∈ S / x > x0 ⇒ x − x0 > 0 , por lo tanto

∃ε , x − x0 > ε > 0, x > x0 + ε (a)

para dicho ε > 0, ∃p ∈ / bp − a p < ε ⇒ bp < a p + ε y como x0 ∈  a p , bp  se

bp < a p + ε
tiene a p ≤ x0 ⇒ a p + ε ≤ x0 + ε por lo tanto ⇒ bp < x0 + ε (b).
a p + ε ≤ x0 + ε

x0 x∈S
ap bp

14
 El número real.

De (a) y (b) se deduce que x > bp , con x ∈ S , es decir que bp no es una cota

superior del conjunto S , en contra de la propia construcción de los intervalos de

la familia, luego la hipótesis (1) no puede ser cierta.
2. Supongamos que x0 no es la menor de las cotas superiores:

es decir ∃k < x0 que es una cota superior de S , por lo tanto, ∃ε tal que

x0 − k > ε > 0, k < x0 − ε (a).

Para dicho ε > 0, ∃ p ' ∈ / bp ' − a p ' < ε , a p ' > b p ' − ε , como x0 ∈  a p ' , bp ' 

⇒ x0 ≤ bp ' ⇒ x0 − ε ≤ bp ' − ε < a p ' (b).

k x0
ap' bp '

Luego se deduce que k < a p ' , siendo k una cota superior de S , por tanto a p ' es

una cota superior de S en contra de la construcción de los intervalos.

De forma análoga se demuestra que TODO CONJUNTO ACOTADO
INFERIORMENTE TIENE ÍNFIMO.

15