You are on page 1of 6

Capı́tulo 2

Breves nociones de Topologı́a en IR y C

Introducción
En este capı́tulo definimos algunos conceptos relacionados con la Topologı́a, ciencia
que permite clasificar los puntos de un conjunto. Nos restringimos a los espacios métricos.
Después de definir bola, que en el caso de los números reales es un intervalo, y entorno, con-
junto que contiene a una bola, pasamos a definir los conceptos de punto interior, exterior,
frontera, de acumulación, adherente y aislado.
Aunque damos las definiciones en cualquier espacio métrico, en los ejemplos y apli-
caciones nos restringiremos a los números reales IR o complejos C. I Los conjuntos IRn se
tratan en el volumen Cálculo II [35] en el que se estudian las funciones de varias varia-
bles. Por esta razón no definiremos rigurosamente conjunto compacto dando solamente
su caracterización en IR. Tampoco definimos conjunto conexo al adquirir esta definición
verdadero sentido al trabajar en conjuntos de IRn , n ≥ 2.

1. Espacios métricos. Definiciones generales


1.1. Definición. Distancia
Dado un conjunto E, una distancia, o métrica, en E es una aplicación
d : E × E −→ IR+ ∪{0}
que verifica
i) d(x, y) = 0 ⇐⇒ x = y ∀x, y ∈ E.
ii) d(x, y) = d(y, x) ∀x, y ∈ E (Propiedad simétrica).
iii) d(x, z) ≤ d(x, y) + d(y, z) ∀x, y, z ∈ E (Desigualdad triangular).
Ejemplos:
1) En el conjunto de los números reales IR, d(x, y) = |x − y| (x, y ∈ IR) es una distancia.
2) En IRn son distancias:
"
2 2 2
d2 (x, y) = (x1 − y1 ) + (x2 − y2 ) + · · · + (xn − yn )
d1 (x, y) = |x1 − y1 | + |x2 − y2 | + · · · + |xn − yn |
d∞ (x, y) = max{|x1 − y1 |, |x2 − y2 |, . . . , |xn − yn |}
siendo x = (x1 , x2 , . . . , xn ) e y = (y1 , y2 , . . . , yn ).
38 Capı́tulo 2. Breves nociones de Topologı́a en IR y C
I

Notas:
1) La distancia definida en el ejemplo 1) es la distancia usual en IR. Si no se dice nada
en contra, a IR se le supondrá siempre dotado de esta distancia.
2) Para n = 1 las tres distancias definidas en el ejemplo 2) coinciden con la usual en IR.
De ellas, la que más responde a la idea geométrica de distancia es d2 , que se denomina
distancia “euclı́dea”.
3) En el problema resuelto 1 se analiza una distancia en el conjunto de los números
complejos C.I

1.2. Definición. Espacio métrico


Se llama espacio métrico a un par (E, d) siendo E un conjunto y d una distancia
definida en E.
Nota: Un espacio métrico consta de un conjunto soporte E y una distancia d. Cambiando
cualquiera de ellos cambia el espacio métrico.

1.3. Definición. Bola abierta


Dado un espacio métrico (E, d), un punto x0 ∈ E y un número real r > 0, se define
la bola abierta de centro x0 y radio r, denotándose por B(x0 , r), como el conjunto

B(x0 , r) = {x ∈ E / d(x, x0 ) < r}

Ejemplo: En IR con la distancia usual B(x0 , r) = {x ∈ IR / |x − x0 | < r} coincide con el


intervalo (x0 − r, x0 + r).
Ası́, B(1, 2) = {x ∈ IR / |x − 1| < 2} = (−1, 3).
Nota: En el problema resuelto 2 se hallan bolas abiertas en IR2 para las distancias d2 y
d∞ .

1.4. Definición. Entorno


Dado un espacio métrico (E, d) y un punto x0 ∈ E, un subconjunto A ⊂ E es entorno
de x0 si existe una bola abierta de centro x0 totalmente contenida en A.
Nota: En la práctica se suele trabajar con bolas, en IR intervalos, ya que todo entorno
contiene alguna bola.

1.5. Definición. Bola cerrada


Dado un espacio métrico (E, d) y un punto x0 ∈ E, la bola cerrada de centro x0 y
radio un número real r > 0, denotada por B(x0 , r), es el conjunto

B(x0 , r) = {x ∈ E / d(x, x0 ) ≤ r}

Ejemplo: En IR con la distancia usual, B(x0 , r) = {x ∈ IR / |x−x0 | ≤ r} = [x0 −r, x0 +r],


es decir las bolas cerradas son intervalos cerrados.
Clasificación de los puntos de un conjunto 39

1.6. Definición. Bola abierta y entorno “reducidos” o “perforados”


Si B(x0 , r) y A son una bola abierta de centro x0 y radio r y un entorno de x0
respectivamente, los conjuntos B(x0 , r) − {x0 } y A − {x0 } se denominan respectivamente
bola abierta y entorno “reducidos” o “perforados” de x0 .
Ejemplo: La bola perforada de centro 1 y radio 3 es el conjunto {x ∈ IR / 0 < |x−1| < 3}.
Nota: No debe olvidarse que el centro de la bola no está en la bola “perforada”, siendo
este último concepto el que se utilizará para definir el concepto de lı́mite puntual.

2. Clasificación de los puntos de un conjunto


Para las definiciones que aparecen a continuación, supondremos que (E, d) es un es-
pacio métrico y que A ⊂ E.

2.1. Definición. Punto interior. Interior de un conjunto


Un punto x0 ∈ E es interior a A si existe r > 0 tal que B(x0 , r) ⊂ A.
(Un punto interior a A está “completamente rodeado” de puntos de A.)

Se llama interior de un conjunto A, denotándose A, al conjunto de todos los puntos
interiores a A.

2.2. Definición. Punto exterior. Exterior de un conjunto


Un punto x0 ∈ E es exterior a A si es interior a su complementario C A, es decir si
existe r > 0 tal que B(x0 , r) ⊂ C A, o lo que es lo mismo, B(x0 , r) ∩ A = ∅.
(Un punto exterior a A está “completamente rodeado” de puntos de C A.)
Se llama exterior de un conjunto A al conjunto de todos los puntos exteriores a A,
denotándose Ext A.

2.3. Definición. Punto frontera. Frontera de un conjunto


Un punto x0 ∈ E es punto frontera de A si para todo r > 0
B(x0 , r) ∩ A = ∅ y B(x0 , r) ∩ C A = ∅
Es decir un punto es frontera de A si no es ni interior ni exterior a A. Un punto
frontera está rodeado de puntos de A y de C A.
Se llama frontera de un conjunto A al conjunto de todos sus puntos frontera, de-
notándose Fr A.

2.4. Definición. Punto adherente. Adherencia de un conjunto


Un punto x0 ∈ E es adherente a A si para todo r > 0 se tiene
B(x0 , r) ∩ A = ∅
Se llama adherencia de un conjunto A al conjunto de todos los puntos adherentes a
A, denotándose A.
40 Capı́tulo 2. Breves nociones de Topologı́a en IR y C
I

2.5. Definición. Punto de acumulación. Conjunto derivado


Un punto x0 ∈ E es de acumulación de A si para todo r > 0 se tiene
 
B(x0 , r) − {x0 } ∩ A = ∅
Se llama conjunto derivado de A al conjunto de todos los puntos de acumulación de
A, denotándose A .
Observación: Un punto x0 ∈ E es de acumulación de A si hay puntos de A, distintos
del propio x0 , tan próximos como se quiera a x0 .

2.6. Definición. Punto aislado


Un punto x0 ∈ E es punto aislado de A si existe r > 0 tal que
B(x0 , r) ∩ A = {x0 }
Nota: Se puede encontrar un entorno de un punto aislado x0 en el cual el único punto de
A es el propio x0 .

2.7. Definición. Conjunto abierto


Un conjunto es abierto si todos sus puntos son interiores.
Ejemplo: En IR con la distancia usual los intervalos abiertos son conjuntos abiertos.

2.8. Definición. Conjunto cerrado


Un conjunto es cerrado si su complementario es abierto.
Ejemplo: En IR con la distancia usual los intervalos cerrados son conjuntos cerrados.

2.9. Algunas relaciones


Si (E, d) es un espacio métrico y A y B son subconjuntos de E se verifica:

i) Ext A, A y Fr A forman una partición de E.

◦ ◦ ◦
ii) A ⊂ A ⊂ A; A = A; A = A
iii) Fr A = A ∩ C A = Fr C A

&'() ◦
iv) C A = C A; C A = C A

v) A = A ∪ A; A = A ∪ Fr A
◦ ◦
& '( ) ◦ ◦ & '( ) ◦ ◦
vi) A ∩ B = A ∩ B ; A ∪ B ⊃ A ∪ B
vii) A ∩ B ⊂ A ∩ B; A ∪ B = A ∪ B
viii) (A ∩ B) ⊂ A ∩ B  ; (A ∪ B) = A ∪ B 
Nota: En los problemas resueltos 4, 5, 6 y 7 se hallan los conjuntos interior, exterior,
frontera, adherencia y derivado para algunos subconjuntos de IR.
Conjuntos acotados. Conjuntos compactos en IR 41

2.10. Algunas caracterizaciones de los conjuntos abiertos


Cada una de las condiciones siguientes es necesaria y suficiente para que un subcon-
junto A de un espacio métrico (E, d) sea abierto:

i) A = A.
ii) C A es cerrado.
iii) Fr A ∩ A = ∅.

2.11. Algunas caracterizaciones de los conjuntos cerrados


Cada una de las condiciones siguientes es necesaria y suficiente para que un subcon-
junto A de un espacio métrico (E, d) sea cerrado:
i) A = A.
ii) C A es abierto.
iii) Fr A ⊂ A.
iv) A ⊂ A.

2.12. Definición. Conjunto denso


Dado un espacio métrico (E, d), un subconjunto A ⊂ E es denso si A = E.
Nota: En el problema resuelto 10 se ponen algunos ejemplos de conjuntos densos en IR.

3. Conjuntos acotados. Conjuntos compactos en IR


3.1. Definición. Conjunto acotado
Un conjunto A de un espacio métrico (E, d) es acotado si existen x0 y r > 0 tales que
A ⊂ B(x0 , r).
Es decir un conjunto es acotado si puede encontrarse una bola que lo contenga.
Observación: Si el conjunto E es un espacio vectorial, en particular si es IR ó C,
I siempre
se puede suponer la bola centrada en el origen, teniéndose la siguiente caracterización:
I es acotado ⇐⇒ ∃r > 0 / |x| < r
A ⊂ IR ó C ∀x ∈ A
3.2. Teorema
Un conjunto A de un espacio métrico (E, d) es acotado si y sólo si
δ = sup{d(x, y) : x, y ∈ A} es finito
Al número real δ se le llama diámetro del conjunto acotado A.
Nota: Un ejemplo de cálculo del diámetro para algunos conjuntos de IR aparece en el
problema resuelto 11.

No daremos la definición de compacto en un espacio métrico general. Como nos


limitaremos a manejar compactos en IR es suficiente definirlos haciendo uso de la caracte-
rización que proporciona el teorema de Heine-Borel, tal y como lo hacemos en la siguiente
definición.
42 Capı́tulo 2. Breves nociones de Topologı́a en IR y C
I

3.3. Definición. Conjunto compacto


Un subconjunto A de IR es compacto si es cerrado y acotado.

3.4. Teorema
Cualquier subconjunto cerrado de un conjunto compacto es compacto.

TEST DE AUTOEVALUACIÓN

Razonar la certeza o falsedad de las siguientes afirmaciones:

1. Si (E, d) es un espacio métrico, dados x, y, z ∈ E, entonces |d(x, y) − d(x, z)| > d(y, z).
2. Sea (E, d) un espacio métrico. Sea a ∈ E y r1 , r2 ∈ IR+ , r1 > r2 . Entonces, se cumple
que B(a, r1 ) ⊃ B(a, r2 ).

1
3. Con la distancia usual en IR, si A = (0, 1) ∪ {3}, la frontera de A es Fr A = 0, , 3 .
2
Nota: Para todas las preguntas relativas a subconjuntos de IR se considera en este espacio
la métrica usual.

4. El conjunto A = [0, 6) − {3} es entorno de 6.


5. El conjunto Q
I (números racionales) es cerrado.

6. Si A ⊂ IR es finito, A = ∅.
7. Sea A ⊂ IR, A = ∅. Entonces, si Fr A ⊃ A, A no puede ser abierto.

8. A ⊃ A para cualquier conjunto A en un espacio métrico (E, d).

9. Si A = ∅, Fr A = A.

1 
10. El conjunto A = n ∈ IN es acotado.
n+1
11. El conjunto Q
I es compacto.

12. El conjunto [3, 4) es compacto.

You might also like