1. El intervalo abierto (- , 3) es acotado superiormente: son cotas superiores el 4 el 5, etc.

Adems es un conjunto no vaco de R, por tanto por el axioma del supremo ha de existir el
supremo del conjunto. De hecho, el supremo es 3, por que es una cota superior y adems la
menor posible.

2. Si tenemos un conjunto cualquiera A de nmeros reales, diremos que es acotado

inferiormente si existe algun nmero real z tal que z es menor o igual que todos los
elementos de A; en ese caso, el nmero z es una cota inferior de A. El conjunto A = (- , 3) no
es acotado inferiormente, pues no existe ningun z que sea menor o igual a todos los
elementos del intervalo.

3. En un conjunto acotado inferiormente, la mayor de todas las cotas inferiores se

llama nfimo del conjunto. El intervalo (-2, 2) es acotado tanto inferior como superiormente
(en este caso diremos simplemente que es acotado), su nfimo es -2 y su supremo es 2.

4. A veces tenemos que trabajar con conjuntos que son uniones y/o intersecciones de otros.
Sean A = (- , 3), B = (-2, 2). Queremos saber si el conjunto A B tiene cotas, nfimo y
supremo. En estos casos es de ayuda dibujar en una recta los conjuntos:

Vemos que A B coincide con A (esto es porque B est contenido en A), por tanto es acotado
superiormente pero no inferiormente, y su supremo es 3.
Veamos ahora el conjunto interseccin A B:

Ahora es A B = B (por el mismo motivo : B est contenido en A). Vamos con un ejemplo
diferente; sea A = (- , 3), B = [0, 4]; A B ser el intervalo (- , 4], entonces A B es
acotado superiormente pero no inferiormente, su supremo es 4. Para A B ser:

A B es un conjunto acotado superiormente e inferiormente (o sea, es un conjunto acotado),

y tendr supremo e nfimo, que son 0 y 3, respectivamente.

5. Si nos piden que demostremos que un conjunto de nmeros reales tiene supremo o nfimo,
por el axioma del supremo, sabemos que tendr supremo si es acotado superiormente.
2. Topologa de R
Los axiomas de orden junto con el axioma del supremo nos sirven para definir con precisin
matemtica el concepto de proximidad. Ms tcnicamente, nos sirven para definir la
topologa de los nmeros reales. Para ello, enunciamos algunas propiedades (sin
demostrarlas) y nuevas definiciones.
Propiedad 1: Para todo intervalo (a, b) existe un nmero racional q que est dentro del
intervalo: a < q < b.

Ejemplo: En el intervalo (1, 2) basta tomar q = (1+2)/2 = 3/2.

Propiedad 2: Entre cualquier par de nmeros reales a, b existen infinitos nmeros

racionales.

Ejemplo: En el intervalo anterior, consideramos los intervalos (1, 3/2) y (3/2, 2); para cada
uno de ellos encontramos nuevos nmeros racionales: (1 + 3/2)/2 = 5/4 para el primero, (3/2
+ 2)/2 = 7/4 para el segundo. Ahora seguimos con los intervalos (1, 5/4), (5/4, 3/2), (3/2,
7/4), (7/4, 2), obtendremos 4 nuevos racionales que dan lugar a 8 intervalos. Siguiendo el
proceso, obtenemos infinitos racionales todos ellos en el intervalo original (1, 2).

Propiedad 3 (Postulado de Cantor): Si tenemos n intervalos cerrados I1, I2 , ...

In, relacionados entre s de tal forma que para cualquier pareja Ij, Ik se cumple que o
bien Ij Ik o bien Ik Ij (uno est incluido en el otro), entonces la interseccin de todos
ellos I1 I2 ... In no puede ser vaca.

Ejemplo: Tenemos los intervalos [1, 5], [2, 4] y [ 3, 4]; se cumple que
[2, 4] [1, 5], [ 3, 4] [1, 5] y [ 3, 4] [2, 4] (observar que tenemos que comprobar todas
las parejas posibles de intervalos). Entonces la interseccin de todos ellos, [1, 5] [2, 4] [
3, 4], no puede ser vaca; de hecho, resulta ser [3, 4].

Nota: un postulado es una propiedad que en principio no se demuestra, se acepta, de forma

similar a los axiomas.

Vamos ahora por las definiciones:

Definicin 1: Dado un real a, el entorno abierto de centro a y radio r > 0 es el

intervalo abierto (a - r, a + r). La notacin para el entorno es: B(a, r).

Ejemplo: El entorno B(0, 2) es el intervalo (0 - 2, 0 + 2) = (-2 ,2). Observemos que el intervalo

tiene como centro el nmero cero:

Recordatorio: el valor absoluto de un nmero x, que escribimos como |x|, es el mayor de los
valores x, -x. Simblicamente:
|x| = mximo {x, -x}

Usando el valor absoluto, se puede definir el entorno de un punto de otra forma equivalente:
B(a, r) = { x reales tales que: |a - x| < r }

Se ve clara esta equivalencia? Veamos: si x est en el intervalo (a - r, a + r), entonces a - r

x a + r; aplicando los axiomas de R, se puede ver que es lo mismo que decir que - r x -
a r ; esta ltima desigualdad a su vez implica que |x - a| r; por ltimo, como |x - a| = |a
- x| resulta que |a - x| r como queramos demostrar.

Definicin 2: Un conjunto A es un conjunto abierto si para cualquier punto x de A existe un

entorno abierto centrado en x: B(x, r), con r cualquier valor positivo distinto de cero.

Ejemplo: Sea A el conjunto de puntos en el interior de un crculo de centro c y radio a, sin

incluir la lnea que delimita el crculo, A = {x reales tales que |x - c| < a}. Entonces para
cualquier punto en el interior, situado a una distancia d de la periferia, podremos trazar un
pequeo crculo de radio r < d, tal que todo el estar dentro de A.

Si A es abierto, todo x punto de A puede rodearse de un entorno abierto

Definicin 3: Un conjunto A es un conjunto cerrado si su complementario R - A es abierto.

Ejemplo: El complementario de un conjunto A, es el formado por todos los puntos que no son
de A. En el ejemplo anterior, A = {x tales que |x - c| < a}, entonces el complementario R - A
= {x tales que |x - c| a}, hemos invertido la desigualdad. Este conjunto es cerrado.

De las definiciones de abiertos podemos comentar algunas propiedades:

Los intervalos abiertos (a, b) son conjuntos abiertos
El conjunto vaco y el conjunto total R son ambos abiertos
La unin de conjuntos abiertos es un conjunto abierto
La interseccin (finita, no infinita) de abiertos es un abierto
Algunos ejemplos de aplicacin de las propiedades:
El intervalo (2, 3) es un conjunto abierto
Los conjuntos {(2, 3) (5, 6)} y {(2, 3) (5, 6)} son abiertos
El conjunto {x} por un nico nmero real es cerrado, pues no es abierto. En efecto, no
existe ningn radio r > 0 tal que el entorno B(x, r) est contenido en el conjunto {x}.
De forma similar, tenemos propiedades de los cerrados:
El conjunto vaco y el conjunto total R son ambos cerrados
La interseccin de cerrados es un conjunto cerrado
La unin (finita, no infinita) de conjuntos cerrados es cerrado
Los intervalos cerrados [a, b] son conjuntos cerrados
Ms ejemplos:
Observemos que el conjunto vaco y el conjunto total R son ambos abiertos y
cerrados a la vez.
{[2, 3] [5, 6]} y {[2, 3] [5, 6]} son conjuntos cerrados
Consideremos los intervalos abiertos (-1, 1), (-1/2, 1/2), (-1/3, 1/3), ..., en nmero
infinito, cada intervalo es ms estrecho que el anterior; entonces la interseccin de todos
ellos contiene un nico punto, el 0, y por tanto el conjunto interseccin es cerrado.
Puntos notables de un conjunto
La Topologa sirve para fijar la posicin de nmeros reales ("puntos") respecto de conjuntos
de R. Definimos ahora algunos puntos importantes de los conjuntos de nmeros reales.
Sea un conjunto A de nmeros reales.

Definicin 4: un punto a de A es un punto interior de A si existe algn radio r > 0 tal que el
entorno B(a, r) est dentro de A.
Ejemplo: Si A es un conjunto abierto, entonces todos sus puntos x son puntos interiores, pues
para cualquiera x existir un r >0 tal que el entorno B(x, r) est contenido en A

En un conjunto abierto A, todos los puntos x de A son interiores a A.

Definicin 5: un punto b de A es un punto de adherencia de A si en todo entorno B(b, r)
siempre encontramos al menos un punto de A.

Ejemplo: Todos los puntos x del conjunto A son de adherencia de A, pues cualquier
entorno B(x, r) contiene al menos un punto de A: el propio punto x.

Definicin 6: un punto c de A es un punto frontera de A si en todo entorno B(c, r) de c

encontramos tanto puntos que son de A, como puntos que no son de A.

Ejemplo: Sea A el intervalo cerrado [1, 2]; los puntos extremos 1 y 2 son puntos de frontera
de A, pues para cualquier radio r > 0, si cogemos un entorno B(x, r) contiene puntos dentro de
A pero tambin fuera de A.

El punto c situada exactamente en el crculo, es punto frontera, todo entorno B(c, r) tiene una parte dentro de A y
otra fuera. El punto exterior e no es frontera, pues puede rodearse de un pequeo entorno B(e, r) tal que quede
totalmente fuera de A
Algunas propiedades de los puntos interiores, de adherencia y de frontera:
1. Los puntos interiores de A siempre pertenecen a A
2. Todos los puntos de A son puntos de adherencia de A
3. No todos los puntos de adherencia de A tienen porque ser puntos de A
4. Los puntos frontera son tambin puntos de adherencia
5. Los puntos frontera no tienen porque ser puntos de A

Notaciones abreviadas: llamemos Int(A), Adh(A) y Front(A) al conjunto de puntos que son
interiores, de adherencia, y de frontera de A, respectivamente.

Algunos ejemplos relativos a estas propiedades: sea el conjunto A el intervalo (3, 5);
entonces,
Int(A) = (3, 5) = A, ya que todos los puntos de A pueden contenerse en un entorno que
queda dentro de A, tomando un radio r suficientemente pequeo.
Front(A) = {3, 5}, ya que en los extremos del intervalo todo entorno contiene puntos
de A y puntos que no son de A
Adh(A) = [3, 5] , ya que para todos los puntos de [3, 5] cualquier entorno contendr al
menos un punto de A

A continuacin vemos ms propiedades, estas nuevas no son tan intuitivas como las
anteriores, por eso les damos un rango ms formal, y las enunciamos como un teorema, que
no demostramos aqu:

Teorema 1, sobre algunas propiedades de los conjuntos Int(A), Adh(A) y Front(A)

Para todo conjunto A de nmeros reales se cumple lo siguiente:

1. Int(A) A Adh(A)
2. Int(A) es un conjunto abierto
3. Adh(A) es un conjunto cerrado
 4. Adh(A) = Int(A) Front(A)
5. A es un conjunto abierto si y solo si A = Int(A)
6. A es un conjunto cerrado si y solo si A = Adh(A)

Ejemplo: para el intervalo (3, 5) hemos visto que Int(A) = (3, 5) = A, por la propiedad 5,
podemos asegurar que A es un conjunto abierto (cosa que ya sabamos). El conjunto de
adherencia de A, Adh(A), que hemos visto que es [3, 5], es igual a A Front(A) = (3, 5) {3,
5} como asegura la propiedad 4 del teorema.

Nos quedan por definir otros dos puntos notables: los de acumulacin y los aislados.

Definicin 7: un punto a de A es un punto de acumulacin de A si en todo entorno B(a, r)

encontramos puntos de A, aparte del propio punto a. El conjunto de puntos de acumulacin
de A lo abreviamos por Acum(A).

Definicin 8: un punto a de A es un punto aislado de A si existe al menos un radio r > 0 tal

que el nico punto del entorno B(a, r) que es de A es el propio punto a. El conjunto de puntos
aislados de A lo abreviamos por Aisl(A).

Ejemplo: Sea el conjunto A = (3, 5] {7}

El punto a={7} es un punto aislado de A; si cogemos un radio r = 1, por ejemplo, en el

entorno B(a = 7, r = 1) solo hay un punto de A, el propio a. A no tiene ms puntos aislados,
por tanto Aisl(A) = {7}.
El intervalo [3, 5], con los extremos incluidos son los puntos de acumulacin de A. En
cambio el punto aislado {7} no puede ser un punto de acumulacin, pues hay entornos B(7, r)
que no contienen puntos de A, aparte del propio a.
La adherencia de A es el conjunto [3, 5] {7}.
Acabamos con esta seccin sobre puntos notables de un conjunto con un teorema que nos
enuncia propiedades de los puntos aislados y de acumulacin.

Teorema 2, sobre algunas propiedades de los conjuntos Acum(A) y Aisl(A)

Para todo conjunto A de nmeros reales se cumple lo siguiente:

1. Acum (A) Aisl(A) = (no tienen puntos en comn)
2. Adh(A) = Acum(A) Aisl(A)
3. Aisl(A) A
4. Int(A) Acum(A)
Algunos ejemplos:
El conjunto de los nmeros naturales N, considerado como un subconjunto de los
nmeros reales R, est compuesto de puntos aislados. Para confirmarlo, imaginemos un
nmero naturales n cualquiera; la distancia con cualquier otro nmero natural m distinto de n
ser, como mnimo, de 1. Sea entonces un radio r menor que 1, por ejemplo, r = 0.5.
Entonces en el entorno B(n, r) solo habr un nico punto de N, el propio n. Por tanto n es un
punto aislado. El razonamiento es general, vale para cualquier n. Por tanto, todos los
elementos de N son puntos aislados.
Por idntico razonamiento, todo conjunto formado por puntos aislados, como por
ejemplo A = {1 , 3, 5}, es un conjunto cerrado.
Cul es el interior del conjunto A = (-2, 1) (1, 2) ? Como A es un conjunto abierto
(la unin de abiertos es un abierto), el interior de A coincide con al propio A (propiedad 5 del
teorema 1).
Cules son los puntos frontera del conjunto A = (-2, 1) (1, 2) ? Los puntos frontera
son Front(A) = {-2, 1, 2}
 Cules son los puntos de adherencia del conjunto A = (-2, 1) (1, 2) ? Por la
propiedad 4 del teorema 1, la adherencia de A es Adh(A) = Int(A) Front(A) = (-2, 1) (1,
2) {-2, 1, 2} = [-2, 1] [1, 2] = [-2, 2]

Cules son los puntos de acumulacin del conjunto A = (-2, 1) (1, 2) ? Por la
propiedad 2 del teorema 2 tenemos que Adh(A) = Acum(A) Aisl(A), pero el conjunto Aisl(A)
es vaco, as pues Adh(A) = Acum(A) = [-2, 2]