1.3.

Ejemplos de espacios topológicos

Ejemplo 1.5 (Topologı́a del punto excluido).

ea X un conjunto y p ∈ X un elemento arbitrario. La siguiente colección es una topologı́a

sobre X:
Tp := {X} ∪ {A ⊆ X : p ∈ / A}.

11 O. Santamaria S.
 Cap.1: Espacios topológicos. Continuidad.

1.4 Espacios métricos como espacios topológicos

Definición 1.3 (Métrica).

Una métrica sobre un conjunto X es una función d : X × X → R que cumple con los
siguientes requerimientos, para todo x, y, z ∈ X:

1. d(x, y) ≥ 0 y d(x, y) = 0 si, y solo si, x = y.

2. d(x, y) = d(y, x).

3. d(x, z) ≤ d(x, y) + d(y, z).

Definición 1.4 (Espacio métrico).

Un espacio métrico, es un conjunto X provisto de alguna métrica d. Se acostumbra

denotar como el par (X, d).

O. Santamaria S. 12
1.4. Espacios métricos como espacios topológicos

1. Bola abierta: En un espacio métrico (X, d), se llama bola abierta de centro a ∈ A y
radio δ > 0 al conjunto

B(a, δ) = {x ∈ X : d(x, a) < δ}.

2. Conjunto abierto: Un subconjunto A, de un espacio métrico (X, d), es conjunto abierto

si para cada a ∈ A existe algún δ > 0 tal que B(a, δ) ⊆ A.

13 O. Santamaria S.
 Cap.1: Espacios topológicos. Continuidad.

Ejemplo 1.6 (Topologı́a métrica).

Sea (X, d) un espacio métrico. La colección

Td := {A ⊆ X : A es conjunto abierto de X}

es una topologı́a sobre X.

Observación 1.2 (Espacio metrizable). Un espacio topológico (X, T ) es metrizable

si existe alguna métrica d sobre X tal que T = Td .
En este caso, T también recibe el nombre de topologı́a métrica o topologı́a inducida por
una métrica.

O. Santamaria S. 14
1.5. Conjuntos cerrados

1.5 Conjuntos cerrados

Definición 1.5 (Conjunto cerrado).

Sea (X, T ) un espacio topológico. Un conjunto F ⊆ X es cerrado (respecto a T ) si el

complemento X − F pertenece a T .

Proposición 1.1.

En un espacio topológico (X, T ), los conjuntos cerrados cumplen con las siguientes
propiedades:

1. X y ∅ son conjuntos cerrados.

�
2. Si {Aλ }λ∈L es una familia arbitraria de conjuntos cerrados, entonces λ∈L Aλ es
un conjunto cerrado.
�k
3. Si {A1 , . . . , Ak } es cualquier familia finita, de conjuntos cerrados, entonces i=1 Ai
es un conjunto cerrado.

15 O. Santamaria S.
 Cap.1: Espacios topológicos. Continuidad.

Ejemplo 1.7 (Cerrados en la topologı́a trivial).

Considere el conjunto X con la topologı́a T0 = {∅; X}. Los conjuntos cerrados son
también ∅ y X (y son los únicos).

Ejemplo 1.8 (Cerrados en la topologı́a discreta).

Considere el conjunto X con la topologı́a P(X). Todo subconjunto de X es conjunto

cerrado (y al mismo tiempo conjunto abierto), respecto a P(X).

O. Santamaria S. 16
1.5. Conjuntos cerrados

Ejemplo 1.9 (Cerrados en la topologı́a del complemento finito).

Considere X con la topologı́a del complemento finito, Tcf . Un conjunto A ⊆ X es cerrado

(respecto a Tcf ) si, y solo si, es conjunto finito.

Ejemplo 1.10 (Cerrados en la topologı́a del punto excluido).

Sea X un conjunto, p ∈ X, y sobre X la topologı́a

Tp := {X} ∪ {A ⊆ X : p ∈
/ A},

Un conjunto A ⊆ X es cerrado si, y solo si, A = ∅ o p ∈ A.

17 O. Santamaria S.
 Cap.1: Espacios topológicos. Continuidad.

Ejercicio 1.3 (Topologı́a del punto particular).

Sea X un conjunto y p ∈ X. Considere la colección

T := {∅} ∪ {A ⊆ X : p ∈ A}.

1. Demuestre que T es una topologı́a sobre X.

2. Identifique los conjuntos cerrados en X, respecto a T .

Definición 1.6 (Punto de acumulación).

Sea (X, T ) un espacio topológico y A ⊆ X un conjunto cualquiera. Un punto x ∈

X es punto de acumulación de A si para cada U ∈ T , tal que x ∈ U , se tiene que
A ∩ (U \ {x}) �= ∅.

La colección de puntos de acumulación de un conjunto A se llama conjunto derivado

de A, y se denota como A� .

O. Santamaria S. 18
1.5. Conjuntos cerrados

Ejemplo 1.11.

X = {1; 2; 3; 4; 5}, T = {∅; X; {1; 2}; {3}; {1; 2; 3}; {3; 4}; {1; 2; 3; 4}}, A = {1; 4; 5}.
Entonces A� = {2; 5}.

Un punto de acumulación de un conjunto A, no necesariamente es elemento de A.

19 O. Santamaria S.
 Cap.1: Espacios topológicos. Continuidad.

Proposición 1.2.

Sea (X, T ) un espacio topológico. Un conjunto F ⊆ X es cerrado (respecto a T ) si, y

solo si, F � ⊆ F .

O. Santamaria S. 20