tema

06 MATEMÁTICAS

Números reales.
Topología de la recta real.
24-13797-13

Temario 1993
 tema 6

matemáticas

1. Construcción del conjunto de los números reales

1.1. Sucesiones de Cauchy
1.1.1. Definición y propiedades de las sucesiones de Cauchy
1.1.2. Sucesiones de Cauchy equivalentes: Número real

2. El cuerpo de los números reales

2.1. El grupo aditivo de los números reales
2.1.1. Adición de sucesiones regulares: propiedades
2.1.2. El grupo aditivo (, +)

2.2. Producto de números reales

2.2.1. Producto de sucesiones regulares: Propiedades
2.2.2. Inversa de una sucesión regular (no convergente a cero) propiedades

2.3. El cuerpo de los números reales

3. Características del cuerpo de los números reales

3.1. Orden en 

3.2. Inmersión de  en 

3.3. Valor absoluto

3.4.  es completo (Completitud de )

3.4.1. Teorema:  es completo

3.5.  es arquimediano

4. Topología de la recta real

4.1. Definiciones generales

4.2. Topología usual en 

4.2.1. Intervalos en 
4.2.2. Conjuntos abiertos y cerrados en 
4.2.3. Interior de un conjunto. Propiedades
4.2.4. Adherencia de un conjunto. Propiedades
4.2.5. Frontera de un conjunto. Propiedades
4.2.6. Exterior de un conjunto. Propiedades

5. Conjuntos acotados en 

3
 tema 6

matemáticas

INTRODUCCIÓN

Los griegos detectaron ya la insuficiencia de los números racionales para medir magni-
tudes. En particular observaron que no existe ningún número racional cuyo cuadro sea 2
cuando aplicaron el teorema de Pitágoras al tratar de medir la diagonal de un cuadrado de
lado 1.
Además existen sucesiones (de Cauchy) de números racionales que no son convergentes en
 (y por tanto  no es completo). Por ejemplo la sucesión siguiente:

xn 1
xn +1 = + con x1>0 definida por recurrencia es de Cauchy
2 xn

Si convergiera su límite, u, cumpliría:

u 1
u= +
2 u
o equivalentemente u2 = 2 que, como ya hemos comentado, no tiene solución en .
Es por ello que necesitamos construir un conjunto que amplíe  y que resuelva todas estas
carencias. A este conjunto lo llamaremos de los números reales y lo denotaremos por .
Para su construcción seguiremos la misma idea que utilizó Cantor, que se basa en la si-
guiente idea:
Si queremos calcular un número x tal que x2 = 2 mediante un algoritmo (pues por no ser racio-
nal su expresión decimal tendrá infinitos decimales no periódicos), por ejemplo el de la raíz
cuadrada, un primer cálculo nos dará un valor racional x1, un segundo cálculo nos dará un valor
racional x2,… Si xn son aproximaciones cada vez mejores de x estas diferirán cada vez menos
entre ellas, esto es, si ε ∈ , ε > 0 entonces ∃k ∈  : n, m ≥ k ⇒ xn − xm < ε . Se dice
que {xn} es de Cauchy. Por otra parte, el mismo número x puede definirse a partir de diferentes
algoritmos o sucesiones, por ello se ve la necesidad de no ligar un número a una sucesión sino
a toda sucesión que “converja” a él.

5
tema 6

matemáticas

1 Construcción del conjunto de los números reales

1.1. Sucesiones de Cauchy

1.1.1. Definición y propiedades de las sucesiones de Cauchy

Una sucesión {yn} ⊆  se dice regular o de Cauchy (en ) si:

∀ε > 0, ε ∈ Q, ∃µ (ε) ∈ N; ∀p, q > µ ⇒ |yp – yq| < ε
Denotaremos por C [] el conjunto de todas las sucesiones de Cauchy en .

XX Teorema

Toda sucesión de números racionales convergente en  es de Cauchy.

Demostración:

Sea por hipótesis {yn} una sucesión convergente en Q, tal que lim y n = 1 ⇒ ∀ε > 0,
n →∞

ε ∈ Q, en particular ε/2 > 0, ∃µ (ε/2) ∈ N/∀n ≥ µ, se verifica |yn – 1| < ε/2.

Entonces, tomando p, q > µ (ε/2) tales que yp e yq estén definidos, y teniendo en
cuenta la definición de sucesión de Cauchy,
|yp – yq| = |yp – 1 + 1 – yq| ≤ |yp – 1| + |1 – yq| ≤ ε/2 + ε/2 = ε
El recíproco no es cierto: una sucesión regular o de Cauchy puede no tener como
límite un número racional (ver el ejemplo de la introducción), es decir, no todas
las sucesiones de Cauchy tienen como límite un número racional.
Definición:
Diremos que una sucesión de números racionales {xn} es un infinitésimo si con-
verge a cero, es decir, si ∀ε > 0, ε ∈ , ∃µ (ε) ∈ ; ∀n > µ ⇒ |xn| < ε.

1.1.2. Sucesiones de Cauchy equivalentes: Número real

Consideramos el conjunto C [Q] de todas las sucesiones regulares o de Cauchy

de números racionales. Se define en C [Q] una relación de equi­valencia como
sigue:
{xn} ∼ {yn} ⇔ {xn – yn} es un infinitésimo
(Esto es: ∀ε > 0, ε ∈ , ∃µ (ε) ∈ : ∀n > µ ⇒ |xn – yn| < ε).
Se trata, en efecto, de una relación de equivalencia, porque verifica las propiedades:
a) Reflexiva: {xn} ∼ {xn} ya que {xn – xn} = {0} (es la sucesión constantemente
igual a cero) que obviamente es un infinitésimo.
b) Simétrica: {xn} ∼ {yn} ⇒ {yn} ∼ {xn}
En efecto:
{xn} ∼ {yn} ⇔ {xn – yn} es un infinitésimo ⇔ {yn – xn} lo es ⇔ {yn} ∼ {xn}

6
 tema 6

matemáticas

c) Transitiva: {xn} ∼ {yn}



   ⇒ {xn} ∼ {zn}


{yn} ∼ {zn}
En efecto:
ε
Dado ε > 0, ε ∈ , sea µ1 (ε) ∈ : ∀n > µ1 ⇒ |xn – yn| < y sea:
2
ε
µ2 (ε) ∈ : ∀n > µ2 ⇒ |yn – zn| <
2
ε ε
Entonces ∀n > max{µ1, µ2} |xn – yn| < |xn – yn| + |yn – zn| < 2 + 2 = ε .

Hemos dividido, así, C[] en clases de equivalencia disjuntas, que constituyen

un conjunto cociente, el cual por definición se llamará el conjunto de los números
reales, simbolizándolo con la letra :
 = C[]/ ∼
Con lo cual un número real es una clase de equivalencia de sucesiones de Cauchy
de números racionales. Lo denotaremos por:
[xn] = [{xn}]
Queda, pues, definido un número real, dando una sucesión de Cauchy de números
racionales. En el siguiente punto vamos a definir operaciones en C[] que induci-
rán operaciones sobre el conjunto , y le conferirán estructura de cuerpo.
Pero antes, vamos a ver algunas propiedades sobre sucesiones de Cauchy que
emplearemos posteriormente.
Definición:
Una sucesión {xn} de números racionales se dice acotada superiormente
(resp. acotada inferiormente) si ∃ M ∈ , M > 0, tal que:
∀n xn ≤ M (resp. ∀n –M ≤ xn ).
Y se dice acotada si es acotada superior e inferiormente, i.e., si ∃ M ∈ ,
M > 0, tal que |xn| ≤ M ∀n.
Lema 1.
«Toda sucesión de Cauchy está acotada.»
En efecto:
Sea {xn}⊆  una sucesión de Cauchy. Tomando en la definición ε = 1 tenemos
que ∃µ∈ : ∀n, p > µ ⇒ |xn – xp| < 1. Sea k = µ + 1. Entonces ∀n > k

|xn| ≤ |xn – xk| + |xk| < 1 + |xk|

Sea M = max { |x1|, |x2|, …, |xµ|, 1 + |xk|}. Se sigue que |xn| ≤ M ∀n.

7
tema 6

matemáticas

Lema 2.
«Toda sucesión de Cauchy no convergente a cero está acotada inferiormente en
valor absoluto, a partir de cierto término.»
En efecto:
Sea {xn}⊆  una sucesión de Cauchy no convergente a cero. Entonces, dado
ε
ε ∈ +, por ser de Cauchy ∃µ ∈ : ∀n, p > µ ⇒ |xn – xp| < . Si {xn} no estu-
2
ε ε
viese acotada inferiormente en valor absoluto, entonces dados y µ, ∃q > µ : |xq| < .
Pero entonces, 2 2
ε ε
∀n>µ |xn| ≤ |xn – xq| + |xq| < + = ε
2 2
lo que contradice que {xn} no sea convergente a cero.
Así ∃ M ∈ + y ∃µ ∈ : |xn| ≥ M ∀n > µ.
Lema 3.
«Se obtiene una sucesión de Cauchy {ξn} equivalente a una sucesión dada {xn}
suprimiendo en ésta un número k arbitrario, pero fijo y finito, de términos ini-
ciales.»
En efecto:
Sea {ξn} = {xn+k}. Entonces es claro que {ξn} es de Cauchy, por serlo {xn}.
Además son equivalentes ya que dado:
ε ∈ +, ∃µ (ε) ∈ : ∀n, p > µ ⇒ |xn – xp| < ε
luego
|xn – ξn| = |xn – xn+k| < ε ∀n > µ

8
 tema 6

matemáticas

2 El cuerpo de los números reales

2.1. El grupo aditivo de los números reales

2.1.1. Adición de sucesiones regulares: propiedades

Dadas dos sucesiones regulares {xn} e {yn} se define su suma como la sucesión:
{sn} = {xn} + {yn} = {xn + yn}
1. La sucesión suma es regular.
Demostración:
Hay que ver que
∀ε > 0, ε ∈ , ∃µ (ε) ∈ N; ∀p, q > µ ⇒ |sp – sq| < ε
Sea ε > 0 ⇒ |sp – sq| = |xp – xq + yp – yq| ≤ |xp – xq| + |yp – yq|
    ↓
   ε ∈ 

Como ∀ε > 0, ε ∈ , se puede elegir, en particular, ε/2 > 0,    (1)

por ser:
{xn} regular ⇒ ∀ ε/2 > 0, ∃µ1 (ε/2) ∈ N; ∀n, p > µ1 ⇒ |xp – xn| < ε/2
{yn} regular ⇒ ∀ ε/2 > 0, ∃µ2 (ε/2) ∈ N; ∀n, p > µ2 ⇒ |yp – yn| < ε/2
entonces para n, p > máx (µ1 (ε/2), µ2 (ε/2)) se verifica:
|sp – sn| ≤ |xp – xn| + |yp – yn| < ε/2 + ε/2 ⇒ {sn} regular
2. Se obtiene una sucesión {σn} equivalente a {sn} si {xn} e {yn} se reem­
plazan por sucesiones equivalentes {ξn} y {ηn} (la suma es estable para la
equivalencia).
Demostración:
Sea pues,
{xn} ∼ {ξn}



⇒ {σn} = {ξn + ηn}



{yn} ∼ {ηn}
veamos que {σn} ∼ {sn}, es decir que {sn – σn} es equivalente a cero:
   |sn – σn| = |xn + yn – ηn| ≤ |xn – ξn| + |yn – ηn|
Considerando (1), como:
{xn} ∼ {ξn} ⇒ ∀ ε/2 > 0, ∃µ1 (ε/2) ∈ N; ∀n > µ1 ⇒ |xn – ξn| < ε/2
{yn} ∼ {ηn} ⇒ ∀ ε/2 > 0, ∃µ2 (ε/2) ∈ N; ∀n > µ2 ⇒ |yn – ηn| < ε/2
entonces para n > máx (µ1, µ2) ⇒ |sn – σn| < ε/2 + ε/2 = ε ⇒ {sn} ∼ {σn}

9
tema 6

matemáticas

3. La opuesta de una sucesión regular {xn} es {–xn} y es regular y además,

{ξn} ∼ {xn} ⇒ {ξn} ∼ {–xn}
La diferencia de sucesiones regulares se define por la adición de la opuesta; esta
operación es también estable para la equivalencia.

2.1.2. El grupo aditivo (, +)

El conjunto de las sucesiones regulares constituye un grupo abeliano con res-

pecto a la adición, ya que la asociatividad y la conmutatividad son evidentes; el
elemento neutro es la sucesión nula, {0}, que es regular, así como el opuesto de
todo elemento.
Si de las sucesiones regulares se pasa a las clases de equivalencia, la estabilidad
de la ley estudiada induce en éstas una adición que posee las mismas propiedades
y, como además el elemento opuesto es estable para la equivalencia, (R, +) tiene
estructura de grupo abeliano.
Pongamos de manifiesto estas características.
Definimos la adición en R de la siguiente forma:
[{sn}] = [{xn}] + [{yn}] = [{xn + yn}]
o bien, en notación más abreviada:
[sn] = [xn] + [yn] = [xn + yn]
Esta operación es estable, es decir, no depende de los representantes elegidos,
como se ha puesto de manifiesto al definir la suma de sucesio­nes regulares.
„„ Asociatividad
([xn]) + [yn]) + [zn] = [xn] + ([yn] + [zn]), ∀ [xn], [yn], [zn] ∈ R
„„ Conmutatividad
[xn] + [yn] = [yn] + [xn], ∀ [xn], [yn] ∈ R
„„ Existencia de elemento neutro
Es la clase que contiene a la sucesión constantemente cero y la deno­taremos
por [0]. Así pues:
∀ [xn] ∈ R, [xn] + [0] = [xn] = [0] + [xn]
„„ Existencia de elemento simétrico u opuesto
∀ [xn] ∈ R, ∃ [–xn] ∈ R ; [xn] + [–xn] = [0] = [–xn] + [xn]
Todas estas propiedades, repetimos, son consecuencia inmediata de las propieda-
des que llevan el mismo nombre en C [Q]. Queda, por consi­guiente, probado que
(R, +) tiene estructura de grupo abeliano.

10
 tema 6

matemáticas

2.2. Producto de números reales

Vamos a definir sobre C[], una nueva operación, «el producto», estable respecto
a la relación de equivalencia ∼ anteriormente definida la cual inferirá un producto
en , que gozará de las mismas propiedades que aquélla.

2.2.1. Producto de sucesiones regulares: Propiedades

Se define el producto de dos sucesiones regulares {xn} e {yn} como la sucesión

{pn} = {xn · yn}
↓
(en Q)

1. La operación es cerrada, es decir, {pn} es regular.
Demostración:
Para ello será suficiente poner de manifiesto que:
{pn} = {xn} {yn} = {xn · yn} ∈ C[Q]
Aplicando la definición de sucesión regular,

x p ⋅ y p − xq ⋅ yq = x p y p − x p yq + x p yq − xq yq ≤

≤ x p ( y p − yq ) + yq ( x p − xq ) =

= x p y p − yq ) + yq x p − xq ) <

∧ ↓ ∧ ↓
A ∧ B ∧
 
p, q > µ1 , ε/2 A p, q > µ2 , ε/2 B

ε ε
< A⋅ +B =ε
↓ 2A 2B
                  p,q > máx(µ1,µ 2)
donde A y B son cotas superiores de {xn} e {yn}, respectivamente, que existen
por el lema 1.
Luego el producto así definido en C[Q] es una operación interna.
2. Estabilidad de la operación para la equivalencia.
Demostración:
Si tomamos:


{x’n} ∼ {xn}


  Hay que ver {x’n · y’n} ∼ {xn · yn}



{y’n} ∼ {yn}

11
tema 6

matemáticas

En efecto:
|x’n · y’n – xn · yn| = |x’n y’n – x’n yn + x’n yn – xn yn| ≤
         ≤ |x’n (y’n – yn)| + |yn (x’n – xn)| =
         = |x’n| |y’n – yn| + |yn| |x’n – xn|
La demostración se finaliza como en el caso anterior introduciendo las cotas A
y B de {x’n} y de {yn}, respectivamente.
Nota: El siguiente paso será definir la inversa de una sucesión regular y no equivalente
a cero. Veamos primero la siguiente propiedad.

3.
a) El producto de dos sucesiones no equivalentes (o no conver­gentes) a cero no
es equivalente (convergente) a cero.
De donde resulta que si el producto de dos sucesiones es convergente a cero
lo es al menos una de ellas (caso b).
Demostración:
En efecto, por ser {xn} e {yn} de Cauchy no convergentes a cero ⇒ están
acotadas inferiormente a partir de un cierto número por el lema 2:
|xn| > a para n > µ1
|yn| > b para n > µ2
Entonces,
|pn| = |xn · yn| = |xn| · |yn| > a · b, para n > máx (µl, µ2) ⇒ {xn · yn}→
/ 0
b) Si una de ellas converge a cero ⇒ {xn · yn} → 0, pues:
ε
xn ⋅ yn = xn ⋅ yn < A ⋅ = ε
A
↑ ↓
xn < A por Lema 1

yn < ε/ A si yn → 0

2.2.2. Inversa de una sucesión regular (no convergente a cero) propiedades

Sea {xn} una sucesión regular no convergente a cero: |xn| > a para n > µl. Defini-
mos una nueva sucesión {yn} tal que:
yn = 0 para todo n ≤ µ1

1
yn = para todo n > µ1
xn

12
 tema 6

matemáticas

es decir,

{xn } = x1 , x2 , ..., x µ , x µ +1 , ...

1 1

{ yn } = 0, 0, ..., 0, 1/x µ +1 , ...

1

{xn ⋅ yn } = 0, 0, ...0, 1, 1, 1, ...

↑
µ1
por tanto, la sucesión producto tiene sus µl primeros términos nulos, siendo los
otros iguales a 1, entonces {xn · yn} ∼ {1}.
Por definición, la sucesión {yn} se llama inversa de {xn}
1. La inversa de una sucesión de Cauchy y no convergente a cero posee estos
mismos caracteres. Es decir {yn} es regular y no equivalente a cero.
Demostración:
Por ser {xn} regular ⇒ fijado ε a2 > 0, ∃µ(ε a2) ∈ : ∀n, p > µ |xn – xp| < ε a2
Por otro lado |xn · xp| = |xn| · |xp| > a · a = a2, ∀n, p > µl (siendo a la cota inferior
dada por el lema 2).
Entonces para n, p > máx (µ, µ1) ⇒

xn − x p 1 1
= −
xn ⋅ x p x p xn
∧
εa 2
=ε
a2

Es decir,

1 1
− < ε ⇒ { yn } regular
x p xn

{yn} no puede ser nula, pues si lo fuese, su producto {xn · yn} también lo sería
y no podría ser equivalente a {1}.
2. La sucesión inversa es estable respecto a la relación de equivalencia. Es
decir:
Sea {ξn} ∼ {xn}; si:



{ηn} inversa de {ξn}

⇒ {ηn} ∼ {yn}


{yn} inversa de {xn}

(Para demostrarlo se procede de forma análoga que anteriormente.)

13
tema 6

matemáticas

2.3. El cuerpo de los números reales

Acabamos de ver que el producto de sucesiones regulares es una ley de com-

posición interna estable respecto a la relación de equivalencia, lo que define un
producto sobre el conjunto R, de la siguiente forma:
[{xn}] · [{yn}] = [{xn · yn}]
o más abreviadamente:
[xn] · [yn] = [xn · yn]
Esta operación verifica las propiedades:
Asociativa:
([xn] · [yn]) · [zn] = [xn] · ([yn] · [zn]); ∀ [xn], [yn], [zn] ∈ R
Conmutativa:
[xn] · [yn] = [yn] · [xn], ∀ [xn], [yn] ∈ R
Existencia de elemento neutro (unidad):
Es la clase de las sucesiones equivalentes a la sucesión {1}
[xn] · [1] = [xn] = [1] · [xn]; ∀ [xn] ∈ R
Todo elemento no nulo de R (correspondiente a sucesiones no equi­valentes a
cero) admite un inverso.

1 1 1

∀ [ xn ] ∈  − [0] , ∃   ∈ ; [ xn ] ⋅   = [1] =  x  ⋅ [ xn ]
 xn   xn   n
Además, se verifica la propiedad doblemente distributiva de (+) res­pecto
a (·).

([ x ] + [ y ]) ⋅ [ z ] = [ x ] ⋅ [ z ] + [ y ] ⋅ [ z ] ∀ x , y , z ∈ 
 [ ] [ ] [ ]
n n n n n n n

[ x ] ⋅ ([ y ] + [ z ]) = [ x ] ⋅ [ y ] + [ x ] ⋅ [ z ]
n n n
n n n n n n n

Las demostraciones de estas propiedades son consecuencia inmediata de las mis-

mas en C[Q].
En resumen: R – [0] = R* es un grupo multiplicativo conmutativo.
Como (R, +) es un grupo abeliano, podemos sintetizarlo diciendo que (R, +, ·) es
un cuerpo conmutativo.
En lo sucesivo, designaremos por una letra cualquier elemento de R.
Veamos una serie de propiedades que caracterizan el cuerpo de los números
reales.

14
 tema 6

matemáticas

3 Características del cuerpo de los números reales

3.1. Orden en 

Una vez que hemos construido el conjunto , vamos a dotarle de un orden y va-
mos a ver que ese orden es total.
Definición
Una sucesión de Cauchy se dice que es positiva si
∃a > 0, a ∈ Q y ∃n0 (a) ∈ N / xn > a, ∀n ≥ n0
Análogamente, una sucesión de Cauchy es negativa si
∃b > 0, b ∈ Q y ∃n0 (b) ∈ N / xn < –b, ∀n ≥ n0
Lema.
«Toda sucesión de Cauchy es o positiva o negativa o equivalente a cero.»
En efecto:
Sea {xn}∈ C[] no equivalente a cero. Veamos que todos los términos a partir de
uno de ellos tienen el mismo signo. Si no fuese así, la sucesión tendría un número
infinito de términos positivos x p1 , x p2 , y un número infinito de términos nega

tivos xq1 , xq2 , pero entonces ya no sería de Cauchy ya que:

∀ε ∈ + ∃i, j : x pi − xq j < ε

Definición
Sea x ∈ . Diremos que:
−− x es positivo, y escribiremos x∈+, si ∃ {xn} positiva que define a x.
−− x es negativo, y escribiremos x∈−, si ∃ {xn} negativa que define a x.
Por el lema, todo número real es, o de + o de – o es {0}, es decir,
 = − ∪ {0} ∪ +
Definición
En  definimos la relación ≤ como sigue:
∀x, y ∈  x ≤ y ⇔ y – x ∈ + ∪ {0}
Esta relación ≤ es una relación de orden, pues cumple las propiedades:
1. Reflexiva: x ≤ x, ∀x ∈ , ya que x – x = 0 ∈ + ∪ {0}.
2. Antisimétrica: Si x ≤ y, y a la vez y ≤ x ⇒ x = y.
Decir que x = y ⇔ y – x ∈ + ∪ {0}.
Sea {xn} una sucesión positiva o equivalente a cero que defina a y – x; entonces
{–xn} será una sucesión negativa o equivalente a cero que define a x – y. Pero al

15
tema 6

matemáticas

ser y ≤ x entonces {–xn} también ha de ser una sucesión positiva o equivalente

a cero. Luego {–xn}, y por tanto también, {xn} deben ser equivalentes a cero.
Así x = y.
3. Transitiva: Si x ≤ y e y ≤ z ⇒ x ≤ z.
Decir que x ≤ y ⇔ y – x ∈ + ∪ {0}, ∃ {xn} positiva o equivalente a cero de
racionales que define al número y – x.
Decir que y ≤ z ⇔ z – y ∈ + ∪ {0}, ∃ {yn} positiva o equivalente a cero de
racionales que define al número z – y.
Entonces {xn + yn} es una sucesión positiva o equivalente a cero de racionales que
define a z – x, luego z – x ∈ + ∪ {0} ⇒ x ≤ z.
La relación de orden que hemos visto es, además, de orden total (todos los ele-
mentos son comparables mediante dicha relación). En efecto, sea x, y ∈  y con-
sideremos el número y – x ∈  y sea {xn} una sucesión de números racionales que
lo define. Dicha sucesión será positiva, negativa o equivalente a cero y, por tanto, x
≤ y o y ≤ x o y = x, luego, en efecto, se trata de una relación de orden total.
Propiedades
a) ∀x, y, z ∈ R / x ≤ y ⇒ x + z ≤ y + z.
b) ∀x, y, z ∈ R / x ≤ y ⇒ xz ≤ yz, z ∈ R+ ∪ {0}.
Demostración

a) Que x + z ≤ y + z ⇔ (y + z) – (x + z) ∈ R+ ∪ {0}.

              x ≤ y
(y + z) – (x + z) = y – x ⇒ y – x ∈ R+ ∪ {0}, luego x + z ≤ y + z
b) Que xz ≤ yz ⇒ yz – xz ∈ R+ ∪ {0} ⇔ z (y – x) ∈ R+ ∪ {0}.
z ∈ R+ ∪ {0} ⇒ z > 0 y como x ≤ y ⇒ y – x > 0, luego z (y – x) ∈ R+ ∪ {0},
luego xz ≤ yz.

3.2. Inmersión de  en 

Veamos a continuación  que es una extensión efectiva de . Para ello vamos a

establecer un monomorfismo de cuerpos.
Definimos:
i:  → 
  a → [{a}]

16
 tema 6

matemáticas

Proposición
La aplicación anterior i, llamada inclusión, verifica las siguientes propiedades:
a) Es inyectiva
b) i(a + b) = i(a) + i(b)
c) i(ab) = i(a) i(b)
d) a ≤ b ⇔ i (a) ≤ i(b)
Demostración
a) Si i(a) = i(b), es decir, si [{a}] = [{b}], entonces la sucesión constante [{a – b}]
tiene límite cero y, por tanto, a = b
b) i(a + b) = [{a + b}] = [{a}] + [{b}] = i(a) + i(b)
c) i(ab) = [{ab}] = [{a}] · [{b}] = i(a) · i(b)
d) a ≤ b ⇔ [{b – a}] = [{b} – {a}] ∈ + ∪ {0} ⇔ [{a}] ≤ [{b}] ⇔ i(a) ≤ i(b)
Por tanto  es isomorfo a un subcuerpo de . Cada elemento de  de la forma
[{a}] resulta de esta manera identificado con el número racional a del cual es
imagen por el monomorfismo i, y ambos se designarán a partir de ahora con la
misma letra a, de manera que, cuando se considere a perteneciente a , se tratará
del número racional a, y cuando se considere a perteneciente a , se tratará de la
clase de equivalencia que tiene por representante la sucesión constante [{a}].
Nota: La propiedad d) establece que el orden definido en  extiende el orden en .

3.3. Valor absoluto

Se llama valor absoluto de un número real a la aplicación:

|.|:  → 
 x si x ≥ 0
   x → |x| = 
− x si x < 0
El valor absoluto de un número real también es un número real, ya que si {xn} es
la sucesión de Cauchy que define a un número real x, entonces |x| es el número real
definido por la sucesión {|xn|} que también es de Cauchy.
Las propiedades fundamentales son:
a) |x| ≥ 0,∀x ∈  y |x| = 0 ⇔ x = 0.
b) |x + y| ≤ |x| + |y|.
c) |xy| = |x| |y|.
d) |x| = |–x|.
e) Im (|.|) = + ∪ {0}.
f) ||x| – |y|| ≤ |x – y|.
g) |x| ≤ Μ ⇔ −Μ ≤ x ≤ M.
Las propiedades a), b) y c) confieren a  estructura de espacio normado.

17
tema 6

matemáticas

3.4.  es completo (Completitud de )

XX Proposición 1:  es denso en 

Dados dos elementos α y β de R tales que α < β, entonces existe siempre

un c ∈ Q tal que α < c < β. Dicho con otras palabras, entre dos números reales,
existe siempre un número racional.
Demostración:
Sean α = [{xn}] y β = [{yn}]. Como α < β, existe un número racional ε > 0 y un
número natural n0 (que depende de ε) tales que:
yn – xn > ε, para n ≥ n0
Por otra parte, como {xn} e {yn} son sucesiones de Cauchy, existe un número na-
tural m0 ≥ n0 tal que:
ε ε
xn − xm < y yn − ym < para n, m ≥ m0
4 4

ε ε
y, en particular, xn − xm0 < y yn − ym0 < para n ≥ m0 , es decir,
4 4

ε ε ε ε
xm0 − < xn < xm0 + y ym0 − < yn < ym0 + para n ≥ m0
4 4 4 4

Sea c =
1
2
( )
xm0 + ym0 . Entonces, para n ≥ m0 se verifican:

c − xn >
1
2
( ) ε 1
xm0 + ym0 − xm0 − =
4 2
( ε ε ε ε
ym0 − xm0 − > − =
4 2 4 4
)
y
e 1 1 e e e e
yn - c > ym0 - - ( xm0 + ym0 ) = ( ym0 - xm0 ) - > - =
4 2 2 4 2 4 4

Por tanto: [{xn}] < [{c}] < [{yn}], es decir: α < c < β.

XX Proposición 2

Toda sucesión {an}n ∈  de Cauchy en  es convergente en  y su límite es

el elemento α ∈ , que tiene por representante la sucesión {an}n ∈ .
Demostración:
Sea α = [an] el número real determinado por la sucesión {an} ⊆ . Quere-
mos demostrar que la sucesión {i(an)}⊆  converge a α, donde hacemos uso
de la aplicación inclusión de  en  para evitar confusiones. Dado ε ∈ +,
por la proposición 1, ∃ε’ ∈ +: 0 < ε’ < ε. Por ser {an} de Cauchy, para este
ε’ > 0 ∃µ(’) ∈ : ∀m, p > µ : |am – ap| < ε’.

18
 tema 6

matemáticas

Entonces dado m > µ se sigue que ∀ p ≥ m : |am – ap|< ε’. Como {an}n ∈  ∼ {an}n ≥ m
ambas determinan el mismo número real, α, y lo anterior implica que:
|i(am) – α| < ε’ < ε
Así hemos visto que:
∀ε > 0, ε ∈ , ∃µ(ε) ∈ : ∀m > µ |i(am) – α| < ε   c.q.d.

Nota: La proposición anterior establece que la inclusión no es sobreyectiva, puesto que

la sucesión dada en la introducción de números racionales es de Cauchy pero no es
convergente en .

3.4.1. Teorema:  es completo

Toda sucesión de Cauchy en  es convergente.

Demostración:
Sea {αn}n ∈ N ⊆  sucesión de Cauchy. Por la proposición 1, para cada número
1
natural n existe un número racional an tal que αn < an < αn +
n
Como {αn}n ∈ N es una sucesión de Cauchy en R, para cada ε > 0 de Q existe un
ε
número natural n0 (que supondremos mayor que ) tal que
3
ε
αn − αm < , ∀n, m ≥ n0
3
Por consiguiente, para todo n, m ≥ n0 se tiene:
1 ε 1 ε ε ε
a n − a m ≤ an − α m + α m − am < + + < + + =ε
n 3 m 3 3 3
luego {an}n ∈ N es una sucesión de Cauchy en Q. Sea α el elemento de R que ad-
mite como representante la sucesión {an}n ∈ N.
Por la proposición 2, la sucesión {an}n ∈ N de Cauchy en Q es convergente en R y
su límite es α.
Nos queda,
 
pues, por probar que lim α = α.
n→∞n

Como lim an = α, para cada δ > 0 de R existe un número natural m0 (que podemos
n→∞

suponer mayor que 2/δ) tal que:

δ
an − α < para todo n ≥ m0
2
Entonces, para todo n ≥ m0 se tiene:
1 δ δ δ
α n − α ≤ α n − a n + an − α < + < + =δ
n 2 2 2
luego, en efecto lim αn = α.
n→∞
      

19
tema 6

matemáticas

3.5.  es arquimediano

R es arquimediano; esto es: ∀x, y ∈ R con 0 < x < y, existe n ∈ N tal que x · n > y
Demostración:
Supongamos x, y ∈ R definidos por las sucesiones {xn}, {yn}.
Como {xn} es regular y positiva, entonces ∃k’ ∈ + tal que |xn| > k’ (o xn > k’).
Por tanto tenemos que k’ <|xn| < |yn| < k. Como Q es arquimediano, existe n ∈ N
tal que:
n · k’ > k                          (1)
La relación xn > k’ implica x > k’ ⇒ n · x > n · k’           (2)
Análogamente yn < k implica y < k    (3)
De (1), (2) y (3) tenemos
n · x > n · k’ > k > y ⇒ n · x > y

20
 tema 6

matemáticas

4 Topología de la recta real

Antes de centrarnos en , daremos unas definiciones básicas de topología.

4.1. Definiciones generales

Supongamos el conjunto X ≠ φ.
Definición 1.
Sea T C P (X). Diremos que T es una topología en X ⇔
a) φ, X ∈ T.
b) Al, A2 ∈ T ⇒ A1 ∩ A2 ∈ T.
c) Dada cualquier familia {Aα}α ∈ Ω de conjuntos de T ⇒ ∪ Aα ∈ T α ∈ Ω.
Definición 2.
Dado un conjunto X y una topología T en X, se llama espacio topologico al par (X, T).
A los conjuntos que integran la topología T se les denomina conjuntos abiertos del
espacio topológico.

4.2. Topología usual en 

Consideremos ahora X = .

4.2.1. Intervalos en 

Definición 1
Sean a, b ∈ R, a < b. Definimos (a, b) como el conjunto {x ∈ R; a < x < b}
Al conjunto (a, b) le denominamos intervalo abierto de extremos a y b.
Análogamente, podemos definir los siguientes intervalos abiertos:
(–∝, b) = {x ∈ R ; x < b}
(a + ∝) = {x ∈ R ; x > a}
(–∝ +∝) = R.
Definición 2
Sean a, b ∈ R, a ¯ b. Definimos (a, b) como el conjunto {x ∈ R; a ¯ x ¯ b}
El conjunto (a, b) recibe el nombre de intervalo cerrado de extremos a y b.
Análogamente, podemos definir los siguientes intervalos cerrados.
(a, +∞) = {x ∈ R ; x > a}
(–∞, b) = {x ∈ R ; b > x}
En el caso de a = b, el intervalo cerrado [a, b] queda reducido a un solo punto.

21
tema 6

matemáticas

Definición 3
Sea x ∈ R, ε > 0. Se llama bola abierta de centro en x y radio ε al conjunto
(x – ε, x + ε)

La notación de bola abierta es la siguiente:

B ( x, ε) = {z ∈  / x − ε < z < x + ε} = { z ∈  / z − x < ε}

De esta forma, el lim xn = I ⇔ ∀B ( I , ε) ∃k ∈ N tal que
De esta forma, el lim xn = I ⇔ ∀B ( I , ε) ∃k ∈ N tal que
n→∞
n→∞

∀n > k ⇒ xn ∈ B ( I , ε)


∀n > k ⇒ xn ∈ B ( I , ε)

4.2.2. Conjuntos abiertos y cerrados en 

Definición
Sea A ⊂ ; A es un conjunto abierto ⇔ ∀x ∈ A, ∃ B ( x, ε) ⊂ A.


Proposición:
Todo intervalo abierto es un conjunto abierto.
Proposición:
La colección de los conjuntos abiertos de la recta real es una topología.
Demostración:
1. φ, R son conjuntos abiertos.
−− Supongamos que φ no es un conjunto abierto ⇔ ∃ x ∈ φ tal que ∀B° (x, ε),
°
B (x, ε) ⊄ φ en contradicción con que el conjunto vacío no tiene elementos.
−− ∀x ∈ R, consideremos ε = 1 ⇒ (x – 1, x + 1) ⊂ R ⇒ R es abierto.
2. Si Al, A2 son conjuntos abiertos ⇒ A1 ∩ A2 es un conjunto abierto.
Distinguimos dos posibilidades:
a) Al ∩ A2 = φ, que, según lo demostrado anteriormente, es un conjun­to abierto.
b) A1 ∩ A2 ≠ φ.
 x ∈ A1

∀x ∈ A1 ∩ A2 ⇒  ∧
inters.  x ∈ A
Def.

 2

 ∃ B ( x, ε ) ⊂ A
 1 1
Por ser A1 y A2 conjuntos abiertos ⇒  
∃ B ( x, ε2) ⊂ A2

B° (x, ε1) ∩ B° (x, ε2) = B° (x, ε) siendo ε = mín {ε1, ε2}.

22
 tema 6

matemáticas

Y por tanto,

B ( x, ε) ⊂ B ( x, ε1 ) ⇒ B ( x, ε) ⊂ A1 
  

⇒
B ( x, ε) ⊂ B ( x, ε2) ⇒ B ( x, ε) ⊂ A2 
  

⇒ B ( x, ε) ⊂ A1 ∩ A2 ⇒ A1 ∩ A2 es conjunto abierto


3. {Aα}α ∈ Ω familia de abiertos en R ⇒ ∪ Aα abierto en R.
α∈Ω
 
∀x ∈ ∪ Aα ⇒ ∃β ∈ Ω / x ∈ Aβ ⇒ ∃ B ( x, ε) ⊂ Aβ ⇒


⇒ B ( x, ε) ⊂ ∪ Aα ⇒ ∪ Aα es abieerto en .


α∈Ω α∈Ω

Corolario:
El conjunto formado (R, T ) es un espacio topológico, siendo T la topo­logía estu-
diada anteriormente, que llamamos usual.
definición
Sea B ⊂ . Diremos que B es cerrado si su complementario  \ B es abierto.
Proposición:
Se verifica:
a) φ y R son conjuntos cerrados.
b) Si B1 y B2 son conjuntos cerrados ⇒ B1 ∪ B2 es cerrado.
c) Si{Bα}α ∈ Ω familia cualquiera de conjuntos cerrados ⇒ ∩ Bα es conjunto ce-
α∈Ω
rrado.                  
Las demostraciones son consecuencia inmediata de la definición de conjunto ce-
rrado y del hecho que los conjuntos abiertos son una topología.

4.2.3. Interior de un conjunto. Propiedades

Definición
Sea S ⊂ R. Llamamos interior de S a la unión de todos los conjuntos abier­tos
contenidos en S.
°
Se denota como S = ∪ {A / A es abierto, A ⊂ S }.
También podemos denotarlo como Int (S).
Propiedades:
°
1. S es un conjunto abierto.
°
2. S es el mayor conjunto abierto contenido en S.
°
3. S es conjunto abierto ⇔ S = S.

4. ( 
 
A ∩ B) = A ∩ B .

5. A ∪ B ⊂ 
 
A∪ B.

23
tema 6

matemáticas

Definición
°
Sea S ⊂ R, x ∈ R, x es un punto interior a S ⇔ x ∈ S.
Proposición:
°
Sea S ⊂ R, x ∈ S, x es un punto interior a S ⇔ ∃ B (x, ε) ⊂ S.

4.2.4. Adherencia de un conjunto. Propiedades

Definición
Sea S ⊂ R. Llamamos adherencia de S a la intersección de todos los conjuntos
cerrados que contienen a S.
–
Lo denotamos por S = ∩ {B / B es cerrado y S ⊂ B}
Lógicamente, siempre ∃ un conjunto cerrado R que contiene a S, ∀S ⊂ R.
Propiedades:
–
1. S es un conjunto cerrado.
–
2. S es el conjunto cerrado más pequeño que contiene a S.
–
3. S es cerrado ⇔ S = S .
– –
4. A = A.
5. A ∪ B = A ∪ B.
6. A ∩ B ⊂ A ∩ B.
Las demostraciones son inmediatas a partir de la definición.
Definición
–
Sea S ⊂ R, x ∈ R, x es un punto adherente a S ⇔ x ∈ S .
Proposición:
° °
Sea S ⊂ R, x ∈ R, x es un punto adherente a S ⇔ ∀B (x, ε) ⇒ S ∩ B (x, ε) ≠ φ.

4.2.5. Frontera de un conjunto. Propiedades

Definición
– °
Se llama frontera del conjunto S, S ⊂ R y se representa por ∂ (S) a S – S , es decir,
– °
∂ (S) = S – S .
Definición
Sea S ⊂ R, x ∈ S.
x es un punto frontera del conjunto S ⇔ x ∈ ∂ (S).
Proposición:
Sea S ⊂ R, x ∈ R.
  
S ∩ B ( x, ε) ≠ φ


x ∈ ∂ (S ) ⇔ ∀ B ( x, ε) ⇒ 
 

( − S ) ∩ B ( x, ε) ≠

  φ

24
 tema 6

matemáticas

4.2.6. Exterior de un conjunto. Propiedades

Definición


Sea S ⊂ R. Llamamos exterior de S al conjunto  − S , y se representa
también por Ext (S).
Proposición:
Sean S ⊂ R, x ∈ R.
° °
x es un punto exterior al conjunto S ⇔ ∃B (x, ε) / S ∩ B (x, ε) = φ.
Proposición:

° 
Sea S ⊂ R. Se verifica: R = S ∪ ∂ (S) ∪  − S siendo estos tres subcon­juntos
disjuntos dos a dos.

25
tema 6

matemáticas

5 Conjuntos acotados en 

XX  verifica el axioma del supremo

Sea A ⊂ , diremos que A está acotado superiormente si ∃k∈ tal que ∀x∈A x ≤ k
Un número k ∈  con esta propiedad diremos que es una cota superior de A.
Si además k es la menor de las cotas superiores diremos que k es supremo de A,
denotado sup(A).
Teorema:
Todo conjunto A ⊂ , no vacío y acotado superiormente tiene supremo.
Demostración:
Sea x ∈ A y sea a ∈  tal que x – 1 < a < x. Entonces a no es cota superior de
A. Sea k∈ una cota superior de A y sea b ∈  tal que k < b < k +1. Entonces b
es una cota superior de A. Sea x1 = b. Dividamos el intervalo [a, b] por la mitad.
Uno de los dos intervalos verificará lo mismo que [a, b], es decir, que el extremo
izquierdo no es cota superior de A pero el extremo derecho sí. Tomemos dicho
intervalo y sea x2 el extremo derecho de este. Repetimos el proceso, dividiendo en
dos mitades el nuevo intervalo y eligiendo aquel que cumpla lo mismo que [a, b].
De esta forma obtenemos una sucesión {xn} de números racionales que además es
de Cauchy puesto que:
b−a b−a
∀ε ∈ + ∃μ ∈  : μ
< ε y ∀p, q > μ : x p − xq < μ
2 2

Veamos que el número real [xn] es justamente el supremo de A:

−− [xn] es cota superior de A, pues en otro caso ∃[yn] ∈ A: [xn] < [yn].
Entonces ∃ε∈+, ∃μ∈: yn – xn > ε ∀n>μ . Por ser {yn} de Cauchy dado:
ε ε
> 0 ∃μ’∈: |yp – yn| < ∀n, p>μ’
2 2
ε
−− Sea m > max{μ, μ’} fijo entonces ∀n ≥ m yn – xm = yn – ym + ym – xm >
2
Se sigue que el número real {i(xm)} < [yn], lo que contradice la elección de xm
−− Sea [zn] una cota superior de A.
Si fuese [zn] < [xn], ∃ε∈+, ∃μ∈: xn – zn > ε ∀n> μ
Como 0 < ε entonces:
b−a
∃λ ∈  : <ε
2λ

Si m > max {μ, λ} entonces ∀n ≥ m tendremos:

b−a b−a
zn < xn − ε < xn − λ
≤ xλ − λ −1
2 2

26
 tema 6

matemáticas

Entonces:
  b − a 
[{zn}n≥m] = [zn] < i  xλ − 
  2λ −1  

lo que contradice que el extremo izquierdo del intervalo [ ,xλ], que es justa-
mente:

b−a
xλ − , no sea cota superior de A. Así [xn] ≤ [zn].
2λ −1

Por tanto, [xn] = sup(A).

27
tema 6

matemáticas

BIBLIOGRAFÍA
apóstol: Análisis Matemático. Ed. Reverté. Barcelona, 1976.
linés escardó: Principios de Análsis Matematico. Ed. Reverté. Barcelona, 1988.
spivak: Cálculo Infinitesimal. Ed. Reverté. Barcelona, 2003.
rudin: Principios de Análisis Matemático. Ed. McGraw-Hill. Madrid, 1987.

28
 tema 6

matemáticas

RESUMEN

Números reales.
Topología de la recta real.

1.
1 Construcción del conjunto de los números reales

1.1. Sucesiones de Cauchy

1.1.1. Definición y propiedades de las sucesiones de Cauchy

Una sucesión {yn} ⊆  se dice regular o de Cauchy (en ) si:
∀ε > 0, ε ∈ Q, ∃µ (ε) ∈ N; ∀p, q > µ ⇒ |yp – yq| < ε
Denotaremos por C [] el conjunto de todas las sucesiones de Cauchy en .

1.1.2. Sucesiones de Cauchy equivalentes: Número real

En el conjunto de todas las sucesiones de Cauchy se establece una relación de equivalen-
cia cuyo conjunto cociente es simbolizado con la letra .
 = C[]/ ∼

2.
2 El cuerpo de los números reales

2.1. El grupo aditivo de los números reales

2.1.1. Adición de sucesiones regulares: propiedades

La suma natural de sucesiones determina sobre el conjunto de sucesiones de Cauchy una
operación estable respecto a la relación de equivalencia definida anteriormente.

2.1.2. El grupo aditivo (, +)

El conjunto de las sucesiones regulares constituye un grupo abeliano con respecto a la
adición y la estabilidad de dicha ley con la relación de equivalencia induce en el conjunto
de número reales estructura de grupo abeliano.

2.2. Producto de números reales

Análogamente se dota a * de estructura de grupo definiendo sobre el conjunto de sucesio-
nes de Cauchy una nueva operación llamada producto que será estable respecto a la rela-
ción de equivalencia anteriormente definida la cual inferirá un producto en , que gozará
de las mismas propiedades que aquélla. Para ello se siguen los pasos siguientes:

2.2.1. Producto de sucesiones regulares: Propiedades

Se define el producto de dos sucesiones regulares {xn} e {yn} como la sucesión
{pn} = {xn · yn}
                      ↓
                    (en Q)

29
tema 6

matemáticas

1. La operación es cerrada, es decir, {pn} es regular.

2. Estabilidad de la operación para la equivalencia.
3.
a) El producto de dos sucesiones no equivalentes (o no conver­gentes) a cero no es
equivalente (convergente) a cero.
b) Si una de ellas converge a cero ⇒ {xn · yn} → 0.

2.2.2. Inversa de una sucesión regular (no convergente a cero): propiedades

Sea {xn} una sucesión regular no convergente a cero: |xn| > a para n > µl. Definimos una
nueva sucesión {yn} tal que:
yn = 0 para todo n ≤ µ1

1
yn = para todo n > µ1
xn

Por definición, la sucesión {yn} se llama inversa de {xn}.

1. Es regular y no equivalente a cero.
2. La sucesión inversa es estable respecto a la relación de equivalencia.

2.3. El cuerpo de los números reales

Se demuestra la propiedad distributiva del producto respecto la adición y, junto con los
resultados de 2.1 y 2.2, se sigue que (, +, ·) es un cuerpo conmutativo.

3.
3 Características del cuerpo de los números reales

3.1. Orden en 
Se dota a la recta real de una relación de orden total.

3.2. Inmersión de  en 
Los números reales son una extensión efectiva de los racionales.

3.3. Valor absoluto

Se llama valor absoluto de un número real a la aplicación:
|.|:  → 
 x si x ≥ 0
x → |x| = 
− x si x < 0
El valor absoluto de un número real también es un número real.

3.4.  es completo (Completitud de )

Toda sucesión de Cauchy es convergente.

30
 tema 6

matemáticas

3.5.  es arquimediano
R es arquimediano; esto es: ∀x, y ∈ R con 0 < x < y, existe n ∈ N tal que x · n > y.

4.
4 Topología de la recta real
Estudio de las propiedades topológicas en la recta real.

4.1. Definiciones generales

„„ Definición 1.
Sea T C P (X). Diremos que T es una topología en X.
„„ Definición 2.
Dado un conjunto X y una topología T en X, se llama espacio topologico al par (X, T).

4.2. Topología usual en 

4.2.1. Intervalos en 
„„ Definición 1
Sean a, b ∈ R, a < b. Definimos (a, b) como el conjunto {x ∈ R; a < x < b}
Al conjunto (a, b) le denominamos intervalo abierto de extremos a y b.
„„ Definición 2
Sean a, b ∈ R, a ¯ b. Definimos (a, b) como el conjunto {x ∈ R; a ¯ x ¯ b}
El conjunto (a, b) recibe el nombre de intervalo cerrado de extremos a y b.
„„ Definición 3
Sea x ∈ R, ε > 0. Se llama bola abierta de centro en x y radio ε al conjunto (x – ε, x + ε)

4.2.2. Conjuntos abiertos y cerrados en 

„„ Definición
Sea A ⊂ ; A es un conjunto abierto ⇔ ∀x ∈ A, ∃ B ( x, ε) ⊂ A.


„„ Definición
Sea B ⊂ . Diremos que B es cerrado si su complementario  \ B es abierto.

4.2.3. Interior de un conjunto. Propiedades

„„ Definición
Sea S ⊂ R. Llamamos interior de S a la unión de todos los conjuntos abier­tos contenidos
en S. Se denota Int (S).

4.2.4. Adherencia de un conjunto. Propiedades

„„ Definición
Sea S ⊂ R. Llamamos adherencia de S a la intersección de todos los conjuntos cerrados
–
que contienen a S. Lo denotamos por S .

31
tema 6

matemáticas

4.2.5. Frontera de un conjunto. Propiedades

„„ Definición
– °
Se llama frontera del conjunto S, S ⊂ R y se representa por ∂ (S) a S – S , es decir,
– °
∂ (S) = S – S .

4.2.6. Exterior de un conjunto. Propiedades

„„ Definición


Sea S ⊂ R. Llamamos exterior de S al conjunto  − S , y se representa también por Ext (S).

5 Conjuntos acotados en 
5.

5.1.  verifica el axioma del supremo

Es decir, todo conjunto A ⊂ , no vacío y acotado superiormente tiene supremo.

32