TEORÍA – TOPOLOGÍA - # 1 – (14.3.

2016)

JUAN M. ALONSO

Abstract. Se introducen los conceptos de topologı́a, espacio topológico, y

entorno de un punto. Motivación y primeros ejemplos. Corresponde, aproxi-
madamente, a la sección 1 del capı́tulo III de Dugundji.

1. Espacios topológicos.
1.1. Motivación. Los espacios topológicos están ı́ntimamente relacionados con la
noción de continuidad. Buscamos dar una definición tan general como sea posible,
tal que:
(i) Si X, Y son espacios topológicos, y f : X −→ Y es una función, entonces
deberá tener sentido la afirmación ”f es continua (o no!)”.
Obtendremos también, ”por el mismo precio”, una noción muy general de espacio,
es decir, de un conjunto donde podemos hacer (un cierto tipo de(†)) Geometrı́a
[(†)desarrollo de la noción de espacio en el ni~ no [Piaget]].

1.2. Ejemplos de espacios donde sabemos definir continuidad. Aquı́ ten-

emos una lista de espacios donde sabemos cómo definir continuidad de funciones:
(i) R
(ii) R2
(iii) C
(iv) Rn
(v) Espacios de Hilbert
(vi) Espacios de Banach
(vii) Espacios métricos
Observar que se trata de ”bichos” muy diferentes: (i) y (iii) son cuerpos, con
una noción de valor absoluto, los primeros seis tienen una estructura de espacio
vectorial, y una norma. Los espacios (vii) son mucho más generales: incluyen como
ejemplo a todos los demás y, además de la métrica, no presuponen ninguna estruc-
tura adicional. ¿Cómo usamos la métrica para definir continuidad? Simplemente,
imitando la ”definición ε, δ”.
El ”plan” es definir espacio topológico diciendo que es un conjunto con una
estructura. En la forma, se parece a la definición de espacio métrico: un espacio
métrico es un conjunto con una métrica. En nuestro caso, la estructura se llama
topologı́a: diremos que un espacio topológico es un conjunto con una topologı́a.
Como pista para llegar a definir topologı́a, observemos la lista de espacios dada.
Los seis primeros tienen demasiada estructura que, en este contexto, es irrelevante.
Los espacios métricos están más cerca de lo que queremos, pero tienen el problema
de necesitar un elemento externo, una ”regla”, dada por el conjunto de los números
reales, para poder medir cercanı́a entre puntos y, de esa manera, definir continuidad.
1
2 JUAN M. ALONSO

Puesto ası́, nuestro problema es encontrar una estructura que de alguna manera
defina cercanı́a entre puntos, pero usando solamente la teorı́a de conjuntos. Veremos
que hay varias formas de hacerlo, todas equivalentes. La definición habitual se basa
en la axiomatización del concepto de conjunto abierto.

2. Espacios topológicos
Definición 2.0.1. [Definición III.1.1] Sea X un conjunto. Una topologı́a (o
también, una estructura topológica) en X es una familia T de subconjuntos de X
que satisface:
(i) Toda unión de elementos de T, pertenece a T.
(ii) Toda intersección finita de elementos de T, pertenece a T.
(iii) ∅ y X pertenecen a T.
Definición 2.0.2. [Definición III.1.2] Un espacio topológico es un par (X, T),
tal que X es un conjunto, y T es una topologı́a en X.
En vez de ”(X, T) es un espacio topológico”, decimos también ”T es la topologı́a
del espacio X”, o que ”X tiene la topologı́a T”. Cuando la topologı́a se sobreen-
tiende, diremos simplemente ”el espacio X”, o ”X es un espacio”.
Los elementos de un espacio topológico se llaman puntos. Los elementos de T se
llaman conjuntos abiertos. Observar que cuando decimos que A ⊆ X es ”abierto”,
lo único que queremos decir es que A ∈ T.
Definición 2.0.3. [Definición III.1.3] Sea (X, T) un espacio topológico. Un
entorno U de x ∈ X, es cualquier conjunto abierto U (o sea, U ∈ T), que contiene
a x, o sea x ∈ U . Usaremos la notación U (x). Más generalmente, si A ⊆ X es un
subconjunto, llamamos entorno de A a cualquier abierto U que lo contiene (o sea,
U ∈ T, y A ⊆ U ), y lo denotamos U = U (A).
Definición 2.0.4. [Definición informal] Sea (X, T) un espacio topológico. De-
cimos que dos subconjuntos A, B ⊆ X son separados si existen entornos disjuntos
U (A), U (B).
Definición 2.0.5. [Definición III.4.1] Sea (X, T) un espacio topológico. Un
subconjunto A ⊆ X es cerrado si X \ A es abierto (e.d. pertenece a T).
Ejemplo 1. Sea X un conjunto arbitrario, y I = {∅, X}. Esta topologı́a I se llama
topologı́a indiscreta. En esta topologı́a los únicos conjuntos separados son X, ∅.
Ejemplo 2. Sea X un conjunto, y D = P(X) la topologı́a discreta de X: en ella
todo subconjunto de X es abierto. Más aún, dos subconjuntos A, B son separados
sii A ∩ B = ∅.
Ejemplo 3. Sea X = R o, más generalmente, X = Rn , para n ≥ 1. Como en
análisis, digamos que A ⊆ Rn es abierto si para todo x ∈ Rn , existe r ∈ R, r > 0,
tal que la bola abierta con centro en x y radio r, B(x, r) := {y ∈ Rn |ky − xk < r},
está contenida en A. Se puede demostrar que
T := {A ⊆ Rn |A es abierto (según la definición dada arriba)},
es una topologı́a. Llamamos a T, topologı́a euclidiana y a (Rn , T), espacio euclidiano
n-dimensional. Abusando el lenguaje, decimos que Rn es el espacio euclidiano n-
dimensional, sobreentendiendo la topologı́a.
 TEORÍA – TOPOLOGIA - # 1 – 14.3.2016 3

Ejemplo 4. Sea (R, T) la recta real con la topologı́a euclidiana, y (R, D) la recta
con D = P(R), la topologı́a discreta de R. Sean
A := {0}, y B := {1/n ∈ R : n ∈ N, n 6= 0}.
Como A ∩ B = ∅, A y B son separados en la topologı́a discreta, pero como en la
topologa euclidiana 1/n → 0, A y B no son separados en la recta. Intuitivamente,
0 está ”lejos” de B en la topologı́a discreta, pero está ”cerca” en la euclidiana.
Ejemplo 5. Sea X = {0, 1}. El espacio (X, D) será denotado 2. El mismo conjunto
con la topologı́a T := {∅, 0, X} se llama espacio de Sierpinski, denotado S.
Cada conjunto tiene, en general, muchas topologı́as; y con cada una es un espacio
topológico distinto. El conjunto de todas las topologı́as de un conjunto dado puede
ordenarse (parcialmente) por inclusión. Toda topologı́a T está entre la indiscreta
y la discreta: I ⊆ T ⊆ D. Cuando T1 ⊆ T2 , decimos que T2 es más grande, o más
fina, que T1 .
Depto. de Matemáticas, FCFMyN, UN de San Luis, San Luis, Argentina