CONCEPTOS BÁSICOS DE TOPOLOGÍA 1.1.

Introducción La noción de conjunto, si bien nos dice

que ciertos objetos –los elementos que lo conforman– tienen algo en común entre sí, no nos
da ninguna idea de la cercanía de entre estos elementos, mientras que por otro lado si
consideramos por ejemplo los números reales esta noción está presente. Sabemos por
ejemplo que el número 2 está mucho más cercano al 1 que lo que lo está el 423. El concepto
de una topología en un conjunto que definiremos a continuación trata de captar con precisión
esta noción de cercanía la cual, como veremos admite muchas gradaciones. Definición: Un
espacio topológico consiste en un par (X ,T ), donde X es un conjunto y T es una colección de
subconjuntos de X satisfaciendo las siguientes condiciones: 1. Los subconjuntos ; y X de X están
en T . 2. Sea Oλ , λ ∈ I, una familia monoparamétrica de subconjuntos de X en T , luego S I Oλ
está también en T . 3. Si O y O0 están en T , también lo está O ∩ O0 . Los elementos de T ,
subconjuntos de X , son llamados los subconjuntos abiertos de X , el conjunto T en sí es
llamado una topología de X . La condición 2) nos dice que infinitas uniones de elementos de T
también están en T , mientras que la condición 3) nos dice que en general solo finitas
intersecciones siguen estando en T . De los ejemplos siguientes se desprende el porqué de esta
asimetría, ellos también nos ilustrarán de cómo dar una topología es esencialmente dar una
noción de cercanía entre los p

Ejemplo: a) Sea T = {;,X }, es decir que los únicos subconjuntos abiertos de X son el subconjunto
vacío y el subconjunto X . Es claro que esta colección de subconjuntos es una topología, ya que
satisface las tres condiciones requeridas, a esta topología se la denomina indiscreta. Podemos
decir que en esta topología los puntos de X están arbitrariamente cerca entre sí, ya que si un
abierto contiene a uno de ellos los contiene a todos. Ejemplo: b) Sea T = P (X ), la colección de
todos los subconjuntos de X , claramente esta colección también satisface las condiciones
arriba mencionadas y por lo tanto también es una topología de X , la llamada discreta.
Podemos decir que en ésta todos los puntos están arbitrariamente separados entre sí ya que
por ejemplo, dado cualquier punto de X existe un abierto que separa a éste de todos los
demás, el que consiste de solo el punto en cuestión. Ejemplo: c) Sea X el conjunto de los
números reales, de ahora en más, lR, y sea T = {O| si r ∈ O,∃" > 0 t al q u e si |r − r 0 | < ", r 0 ∈
O}, es decir la colección de abiertos en el sentido usual. Veamos que esta colección satisface
las condiciones para ser una topología. Claramente ; ∈ T , (ya que no tiene ningún r), lo mismo
que lR, (ya que contiene a todos los r 0 ), y así condición 1) es satisfecha. Veamos la segunda,
sea r ∈ S I Oλ luego r ∈ Oλ para algún λ y por lo tanto existirá " > 0 tal que todo r 0 con |r − r 0
| < " está también en Oλ , y por lo tanto en S I Oλ . Veamos finalmente la tercera, sea r ∈ O ∩
O0 luego r ∈ O y por lo tanto existirá " > 0 tal que todo r 0 con |r − r 0 | < " estará en O, como r
también está en O0 existirá " 0 > 0 tal que todo r 0 con |r − r 0 | < "0 estará en O0 . Sea " 00 =
mi n{"," 0 } luego todo r 0 con |r − r 0 | < "00 estará en O y en O0 y por lo tanto en O ∩O0 , con
lo que concluimos que este último conjunto también está en T . lR con esta topología es
llamada la línea real. Ejercicio: Encuentre usando el ejemplo anterior una intersección infinita
de abiertos que no es abierta. Ejemplo: d) Sea X = lR×lR ≡ lR2 , es decir el prod

X y un mapa d : X × X −→ lR, llamado usualmente distancia, satisfaciendo las siguientes

condiciones: 1. d(x, x 0 ) ≥ 0, = 0 ⇒ x = x 0 . 2. d(x, x 0 ) = d(x 0 , x). 3. d(x, x 0 ) + d(x 0 , x 00) ≥
d(x, x 00). Ejercicio: Pruebe que este espacio posee una topología inducida por su métrica en
forma similar a lR en el ejemplo anterior. Ejercicio: Vea que d(x, y) = 1 si x 6= y, es una
distancia. ¿Qué topología nos introduce dicha distancia? Claramente una métrica nos da una
noción de cercanía entre puntos, ya que nos da un valor numérico de la distancia entre sí de
estos. Una topología, al no darnos en general ningún número nos da una noción de cercanía
mucho más vaga, pero de todos modos en general interesante. 1.1.1. Terminología Damos a
continuación un resumen de la terminología usual en esta área, la misma es una generalización
directa de la usada comúnmente. Definición: Llamaremos el complemento, Oc , del
subconjunto O de X al subconjunto de todos los elementos de X que no están en O. Definición:
Diremos que un subconjunto O de X es cerrado si su complemento Oc es abierto. Definición:
Un subconjunto N de X es llamado un entorno de x ∈ X si existe un abierto Ox , con x ∈ Ox ,
contenido en N. Definición: Llamaremos el interior de A ∈ X al subconjunto I n t(A) de X
formado por la unión de todos los abiertos contenidos en A. Definición: Llamaremos la
clausura de A ∈ X al subconjunto C l(A) de X formado por la intersección de todos los cerrados
conteniendo a A. Definición: Llamaremos la frontera de A ∈ X al subconjunto ∂ A de X formado
por C l(A) − I n t(A) ≡ I n t(A) c ∩ C l(A).

Ejercicio: Sea (X , d) un espacio vectorial métrico, pruebe que: a) C 1 x = {x 0 |d(x, x 0 ) ≤ 1} es

cerrado y es un entorno de x. b) N " x = {x 0 |d(x, x 0 ) < "}, " > 0 es también un entorno de x. c)
I n t(N " x ) = N " x d) C l(N " x ) = {x 0 |d(x, x 0 ) ≤ "} e) ∂ N " x = {x 0 |d(x, x 0 ) = "}. Ejercicio: Sea
(X ,T ) un espacio topológico y Aun subconjunto de X . Pruebe que: a) A es abierto si y solo si
cada x ∈ A tiene un entorno contenido en A. b) A es cerrado si y solo si cada x en A c (o sea no
perteneciente a A) tiene un entorno que no intersecta a A. Ejercicio: Sea (X ,T ) un espacio
topológico, sea A ∈ X y x ∈ X . Pruebe que: a) x ∈ I n t(A) si y solo si x tiene un entorno
contenido en A. b) x ∈ C l(A) si y solo si todo entorno de x intersecta A. c) x ∈ ∂ A si y solo si
todo entorno de x contiene puntos en A y puntos en A c . 1.2. Conceptos Derivados En las
secciones anteriores hemos visto que el concepto de una topología nos lleva a una
generalización de una serie de ideas y conceptos derivados que manejábamos en lRn , las
cuales no dependían de la métrica usual usada en estos espacios (la llamada Métrica Euclídea).
Cabe entonces preguntarse si hay otras generalizaciones posibles todavía. En esta y en la
próxima subsección estudiaremos dos más de ellas, éstas a su vez abren una vasta área de las
matemáticas, que no trataremos en este curso pero que es muy importante en lo que respecta
a la física moderna. La primera de ellas es la de continuidad.

Claramente la definición anterior solo usa conceptos topológicos ¿Tiene algo que ver con la
usual épsilon-delta usada en lRn ? La respuesta es afirmativa, como veremos más abajo en
nuestro primer teorema, pero primero veamos algunos ejemplos. Ejemplo: a) Sean X e Y
cualquiera y sea la topología de X la discreta. Luego cualquier mapa entre X e Y es continuo. En
efecto, para cualquier O abierto en Y, ϕ −1 (O) es algún subconjunto en X , pero en la topología
discreta todo subconjunto de X es un abierto. Ejemplo: b) Sean X e Y cualquiera y sea la
topología de Y la indiscreta. Luego también cualquier mapa entre X e Y es continuo. En efecto,
los únicos abiertos en Y son ; e Y, pero ϕ −1 (;) = ;, mientras que ϕ −1 (Y) = X , pero cualquiera
sea la topología de X , ; y X son abiertos. De los ejemplos anteriores parecería ser que nuestra
definición de continuidad no es muy interesante, eso es debido a que hemos tomado casos
con las topologías extremas, en las topologías intermedias es donde la definición se hace más
útil. Ejemplo: c) Sean X e Y líneas reales, y sea ϕ(x) = 1 si x ≥ 0, ϕ(x) = −1 si x < 0. Este mapa no
es continuo ya que, por ejemplo, ϕ −1 ((1/2, 3/2)) = {x|x ≥ 0}. Teorema 1.1 El mapa ϕ : X → Y es
continuo si y solo si se cumple que: dado cualquier punto x ∈ X y

Prueba: Supongamos ϕ continuo. Sea x un punto de X , y M un entorno de φ(x). Luego existe

un abierto O en Y contenido en M y conteniendo a φ(x). Por continuidad N = ϕ −1 (O) es un
abierto de X , y como contiene a x, un entorno de x. Se cumple entonces que ϕ(N) ⊂ O ⊂ M.
Supongamos ahora que dado cualquier punto x ∈ X y cualquier entorno M de ϕ(x), existe un
entorno N de x tal que ϕ(N) ⊂ M. Sea entonces O un abierto cualquiera de Y, debemos mostrar
ahora que ϕ −1 (O) es un abierto de X . Sea x un punto cualquiera de ϕ −1 (O), luego ϕ(x) ∈ O y
por lo tanto O es un entorno de ϕ(x), por lo tanto existe un entorno N de x tal que ϕ(N) ⊂ O y
por lo tanto N ⊂ ϕ −1 (O). Pero entonces ϕ −1 (O) contiene un entorno de cada uno de sus
puntos y por lo tanto es abierto.