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).
