Capı́tulo 1.

Conjuntos con topologı́a

Lección 1. Los Reales –una inspiración–

No hay nada mas familiar a un estudiante de matemáticas que el conjunto R

de los números reales y las funciones f : R −→ R. Si únicamente se tuviera
en cuenta la definición usual de función de R en R, es decir, una colección
de pares ordenados (x, y) tales que x, y ∈ R, donde cada elemento de R es la
primera componente de una y de sólo una pareja ordenada, se estarı́a, entonces,
desperdiciando el concepto de intervalo que se conoce para los números reales
y aún más, el hecho de que en R se puede decir quiénes son los vecinos de un
punto x ∈ R.
En efecto, los vecinos al punto x en una distancia menor que un ε > 0, son
todos los y ∈ R tales que |x − y| < ε, es decir, el intervalo (x − ε, x + ε) es la
vecindad básica de x con radio ε. Cuando a una función de R en R se le obliga
a considerar el concepto anterior de vecindad básica, lo que se le está exigiendo
es que se satisfaga la definición ε, δ de continuidad empleada en el cálculo.
Obsérvese la siguiente definición de continuidad. La función f : R −→ R se
dice continua en el punto c ∈ R, si y sólo si
“Para cada número positivo ε, existe un número positivo δ tal que, |f (x) −
f (c)| < ε siempre que |x − c| < δ”.

Pero |f (x) − f (c)| < ε significa que f (x) ∈ (f (c) − ε, f (c) + ε): ası́ mismo,
|x − c| < δ significa que x ∈ (c − δ, c + δ); luego la definición entre comillas se
puede reescribir como
“Dado ε > 0 se puede encontrar δ > 0 tal que si x ∈ (c − δ, c + δ) en-
tonces f (x) ∈ (f (c) − ε, f (c) + ε)” (véase figura 1.1) y hablando en términos de
vecindades básicas, ésta definición es,

1
 ‘Dada la vecindad básica de radio ε alrededor de f (c), se puede
encontrar una vecindad básica para c de radio δ tal que, si y ∈ (c −
δ, c+δ) entonces su imágen f (y) satisface f (y) ∈ (f (c)−ε, f (c)+ε)”’
.

Lo que de nuevo se reescribe como,

“Dada una vecindad de f (c) se puede encontrar una vecindad de

c con la propiedad que, la imagen por f de ésta última, se encuentra
dentro de la de f (c)” .

Informalmente se dirı́a que: un cambio pequeño en c, produce un cambio

pequeo en f(c).
Se ha visto, entonces, que el concepto de continuidad en R, está ligado
esencialmente a la definición que se puede dar de vecindad para un punto y
la relación entre las imágenes de las vecindades. Luego, si se quisiera abstraer
el concepto de continuidad para otros conjuntos que no sean nuestros números
reales usuales, es necesario obtener, de alguna manera –pero con sentido– el
concepto de vecindad para estos conjuntos.
Al definir un conjunto abierto en R, como un conjunto que es unión de
intervalos abiertos —nuestras vecindades básicas— es fácil verificar que:

1. es abierto —la unión de una familia vacı́a—.

2. R es abierto.
3. La unión de una colección de abiertos es un abierto.
4. La intersección de un número finito de abiertos es un abierto.

Motivados por las anteriores propiedades, se obtiene la siguiente definición.

1.1 Definición Una estructura topológica para un conjunto X es una familia

G = {Ui |i ∈ I}, Ui ⊆ X

tal que:

1. i∈J Ui ∈ G para cada J ⊆ I.

2. i∈F Ui ∈ G para cada F subconjunto finito de I.
3. ∈ G, X ∈ G.

2
 Esto es, G es una familia de subconjuntos de X cerrada tanto para la unión
arbitraria como para la intersección finita.
Los elementos de G se llaman abiertos y el par (X, G) es por definición un
espacio topológico. Brevemente se denota X cuando no es necesario especificar
quién es G. La condición 3 es consecuencia de 1 y 2 cuando se toma el conjunto
de ı́ndices I =.

1.2 Ejemplo (R, usual) . En R definimos una topologı́a G conocida como la

usual, definiendo U ∈ G si y sólo si U es unión de intervalos abiertos.

1.3 Ejemplo Orden. El ejemplo anterior se puede generalizar, tomando un

conjunto X el cual es linealmente —totalmente— ordenado por una relación
“≤”. Se define la topologı́a del orden o la topologı́a intervalo sobre (X, ≤)
tomando como abiertos todos los U subconjuntos de X que se pueden expresar
como unión de conjuntos (x, y), (x, →), (←, y), donde (véase figura 1.2)

1. (x, y) := {t | x < t < y}, intervalos abiertos acotados.

2. (x, →) := {t | x < t}, colas a derecha.
3. (←, y) := {t | t < y}, colas a izquierda.

En el caso en que X no posea elemento máximo y mı́nimo, basta considerar

tan solo los intervalos acotados (x, y) —por qué?—.

1.4 Ejemplo Discreta. Si X es un conjunto G = 2X —partes de X, también

notada como ℘(X) — es una topologı́a para X llamada la topologı́a discreta de
X —permite que todo sea abierto—.

1.5 Ejemplo Grosera. Si X es un conjunto G = {, X} es conocida como la

topologı́a grosera de X —prácticamente no permite la presencia de abiertos—.

3
 Nota. El conjunto T op(X) de todas las topologı́as sobre un
espacio topológico X es un conjunto parcialmente ordenado por la
relación de inclusión; por tanto, tiene sentido hacer referencia a todos
los conceptos relativos a conjuntos ordenados. Toda topologı́a G de
X se encuentra entre la topologı́a grosera y la topologı́a discreta.

1.6 Ejemplo Punto incluido. Sea X un conjunto y p un punto elegido en X.

U ⊆ X es abierto si U = o p ∈ U . Esta topologı́a se denota como Gp . Nótese
que esta topologı́a notada como A se puede definir para cada A ⊆ X.

1.7 Ejemplo Punto excluido. Sea X un conjunto y p un punto elegido en

X. Definido U ⊆ X abierto si U = X o p ∈
/ U . Se denota esta topologı́a como
Gp.

1.8 Ejemplo Sierpinski. En X = {0, 1} se construyen todas las topologı́as

posibles:
J1 = {, X}, J2 = {, X, {0}}, J3 = {, X, {1}}, J4 = {, X, {0}, {1}, {0, 1}}.

J2 = {, X, {0}} es llamada la topologı́a de Sierpinski. El diagrama siguiente

muestra como es la contenencia entre estas topologı́as; ası́ que, J2 y J3 no son
comparables.

1.9 Ejemplo Complementarios finitos. Dado un conjunto X, se define la

topologı́a (G, cofinitos) declarando abiertos aquellos subconjuntos de X cuyo
complemento en X es finito, además del por supuesto. En este ejemplo —como
en el siguiente— es interesante tener en cuenta los tres casos, dependientes de
que X sea finito, infinito contable, o infinito no contable.

1.10 Ejemplo Complementarios enumerables. Dado un conjunto X, se de-

fine la topologı́a (G, coenumerables) declarando abiertos aquellos subconjuntos
de X cuyo complemento en X es enumerable —finito o infinito— además del
por supuesto.

4
 1.11 Ejemplo Gωp –Cofinitos excluidos– Sea X un conjunto y p un punto
en X. Se definen los conjuntos U abiertos como aquellos donde U c es finito, o,
p∈/ U.

Curso de Topolologı́a General.

http://www.virtual.unal.edu.co