Introduccion a la topologa algebraica.

Parte 1

Angel
Alvarez Rodrguez
Indice general

1. Introducci on 2
1.1. Espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Espacios topologicos . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2. Topologa asociada a la metrica . . . . . . . . . . . . . . . . 4
1.2.3. Bases de abiertos . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.4. Interior y adherencia . . . . . . . . . . . . . . . . . . . . . . 6
1.2.5. Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.6. Entornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Aplicaciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Topologa inducida . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5. Topologa cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6. Topologa producto . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.7. Espacios compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

1
Captulo 1

Introducci
on

En este primer capitulo se dan algunas definiciones y conceptos fundamentales

para el estudio de la topologa algebraica.

1.1. Espacios m
etricos
Definici on: Sea A un conjunto. Una funcion d : A A IR se llama una
metrica en A si satisface

1. d(a, b) = 0 si y solo si a = b

2. d(a, b) = d(b, a)

3. d(a, b) + d(a, c) d(b, c) para todo a, b, c A

Un conjunto A con una metrica determinada se llama espacio metrico y se denota

por (A, d).

La distancia mas com un en IR es la definida por d(x, y) = |x y| y se llama

distancia usual. La distancia usual se generaliza a IRn de la siguiente forma:
v
u n
uX
d(x, y) = t (xi yi )2 = ||x y||
i=1

Tambien podemos definir siempre una metrica en un conjunto arbitrario median-

te d(x, y) = 0 si x = y y d(x, y) = 1 si x 6= y, la metrica resultante se llama la
metrica discreta en A.

2
CAPITULO 1. INTRODUCCION
3

Definici on: Sean (A, dA ) y (B, dB ) espacios metricos. Una aplicacion f : A B

se dice continua en x A si y solo si para todo X > 0 existe un X > 0 tal que
dB (f (x), f (y)) < X siempre que dA (x, y) < X . La aplicacion se dice continua si
lo es en todos los puntos x A.

Sin embargo la distancia no es un criterio ideal para determinar si una aplicacion

es continua o no. Si lo son los conjuntos abiertos como veremos a continuacion.

Definicion: Un subconjunto U de un espacio metrico (A, d) se dice que es abier-

to si para todo x U existe un X > 0 tal que si y A y d(y, x) < X entonces
y U . Es decir, U es abierto si para todo x U existe un X > 0 tal que
la bola abierta centrada en y y de radio X sea un subconjunto de U , esto es
B(x) = {y A; d(y, x) < X } U

Del concepto de conjunto abierto se obtiene el siguiente resultado crucial:

Teorema: Una aplicaci on f : M1 M2 entre dos espacios metricos es continua

si y solo si para todo conjunto abierto U de M2 el conjunto f 1 (U ) es tambien
abierto en M1 . Es decir f es continua si las imagenes inversas de conjuntos abier-
tos son abiertos.

Se observa que si dos metricas en un conjunto dan lugar a la misma familia

de conjuntos abiertos, entonces cualquier aplicacion que sea continua usando una
metrica sera automaticamente continua usando la otra. De este resultado se des-
prende que en el estudio de la continuidad en espacios metricos es la familia de
conjuntos abiertos de cada metrica lo que importa, y no la metrica en si mis-
ma. As, dado un conjunto X, escojamos una familia F de subconjuntos de X
y llamemoslos conjuntos abiertos de X Obtenemos as un nuevo objeto (X, F ),
formado por un conjunto X y una familia F de subconjuntos de X. La continui-
dad entre dos de estos objetos (X, F ) y (Y, F 0 ) puede, entonces, ser definida del
siguiente modo. Si f : X Y es continua si f 1 (U ) F siempre que U F 0 .
Naturalmente si admitieramos familias arbitrarias no obtendramos conceptos y
resultados matem aticos interesantes. Por tanto, debemos imponer a la familia F
de conjuntos abiertos ciertas condiciones simples:

o y el conjunto total pertenecen a F

1. El conjunto vaci

on de dos miembros de F pertenece a F

2. La intersecci

3. La uni on arbitraria de miembros de F pertenece a F

on de una colecci
CAPITULO 1. INTRODUCCION
4

1.2. Espacios topol

ogicos
Un espacio topol
ogico no es mas que un conjunto, junto con ciertos conjuntos
(que llamaremos conjuntos abiertos) que satisfacen ciertas propiedades

Definici
on: Sea X un conjunto y U una coleccion de subconjuntos de X que
cumpla

1. U ,X U

on de dos miembros de U es de U
2. La intersecci
U U U U

3. La uni umero de miembros de U es de U

on de cualquier n
U1 , U2 , ..., Un U ni=1 Ui U

on U de subconjuntos de X se llama una topologa en X. El conjunto

A esta colecci
X junto con U se llama espacio topologico y se denota por (X, U ), aunque a
menudo escribiremos simplemente T . Los miembros U U se llaman conjuntos
abiertos de T . Los elementos de X se llaman los puntos de T o X.
Podemos observar que si denotamos por P (X) el conjunto de todos los sub-
conjuntos de X, una topologa en X no es mas que una eleccion de subconjuntos
de P (X) que satisfaga las condiciones anteriores. Diferentes elecciones dan lugar
a diferentes topologas en X.

1.2.1. Ejemplos
Los ejemplos de espacios topologicos mas comunes y triviales son los siguientes.

1. Si X es un conjunto cualquiera, la coleccion de todos los subconjuntos de

X es una topologa sobre X y se le denomina topologa discreta.

2. La colecci nicamente por y X es tambien una topologa sobre

on formada u
X y la llamaremos topologa indiscreta o topologa trivial.

1.2.2. Topologa asociada a la m

etrica
Veamos como asociar una topologa a un espacio metrico. Dado un espacio
metrico (X, d), la topologa asociada a la metrica d se define como el siguiente
subconjunto de las partes de X

Ud = {A X; para todo x A existe x IR+ con B(x, x ) A}

donde IR+ denota al conjunto de los n

umeros reales positivos.
CAPITULO 1. INTRODUCCION
5

Aqu juegan un papel importante las bolas abiertas, como cabria esperar, las
bolas abiertas son abiertos de la topologa asociada a una metrica. Sin embargo
no todas las topologas est
an asociadas a una metrica. Es decir, dado un espacio
ogico (X, U ) no siempre existe una metrica sobre X de forma que Ud = U .
topol
Cuando si se cumpla esta propiedad diremos que (X, U ) es un espacio topologico
metrizable.
En particular, la topologa asociada a la distancia usual de IRn se denomina
topologa usual.

1.2.3. Bases de abiertos

Definicion: Dado un espacio topologico (X, U ), se dice que un subconjunto B
de U es base de abiertos cuando todo elemento de U se puede poner como union
de elementos de B. Si B es una base de abiertos en un espacio topologico (X, U ),
a que B es una base de la topologa U .
tambien se dir

Si nos centramos en la topologa asociada a una metrica, podemos observar que

la definici
on de topologa metrica garantiza que para todo subconjunto abierto A
de un espacio metrico y todo punto x de A existe una bola abierta B(x, x ) conte-
nida en A. Entonces A = xA B(x, x ), y como esto se ha hecho para un abierto
arbitrario y ademas las bolas abiertas son abiertos, se concluye que el conjunto
de las bolas abiertas es una base. Aunque esta base no tiene por que ser minimal.
De esta forma es posible pensar en las bolas, en cierto modo, como elementos de
bases.

Proposicion: Sea B una familia de abiertos de un espacio topologico (X, U ).

Entonces, B es una base de U si y solo si para todo A U y todo x A existe
Bx B tal que x Bx A

Es decir, hemos partido de un espacio topologico y extrado una familia de abier-

tos que genera, mediante uniones, a toda la topologa. Sin embargo, es tambien
posible hacer el proceso inverso. Para un conjunto X fijado, ciertos subconjuntos
de partes de X generan, mediante uniones, una topologa sobre X, aunque no
todos los subconjuntos de P (x) tienen esta propiedad.

Proposici on: Sea X un conjunto. Si B es un subconjunto de P (x) verificando

las siguientes propiedades:

1. Para todo x X, existe Bx B con x Bx

2. Si B1 ,B2 B, para todo x B1 B2 existe B1,2

x B verificando que
x
x B1,2 B1 B2
CAPITULO 1. INTRODUCCION
6

entonces los subconjuntos de X que pueden ponerse como uniones de elementos

de B forman una topologa sobre X con base B, que sera denominada topologa
generada por B. As podemos considerar un subconjunto de P (X), y si verifica
ciertas propiedades adecuada sera base de una topologa en X.

1.2.4. Interior y adherencia

Para cualquier subconjunto Y de un espacio topologico X podemos considerar

el mayor conjunto abierto contenido en Y ; lo designaremos por Y y se llama el
interior de Y , en otras palabras

Y = jJ Uj

donde {Uj ; j J} es la familia de todos los conjuntos abiertos contenidos en Y

Por otro lado para cualquier subconjunto Y de un espacio topologico X pode-

mos considerar el menor conjunto cerrado que contiene a Y , este conjunto se
denota por Y y se llama adherencia de Y .

Y = jJ Fj

en donde {Fj ; j J} es la familia de todos los subconjuntos cerrados que contienen

a Y . Ademas los puntos que pertenecen a Y pero no a Y se llaman puntos limite
de Y .

1.2.5. Cerrados
Definicion: Un subconjunto C de un espacio topologico X se dice que es cerrado
si y solo si X C es abierto. Es decir el conjunto de elementos de X que no
pertenecen a C es abierto.

1.2.6. Entornos
Definicion: Sea X un espacio topologico. Un subconjunto N X con x N
se dice que es un entorno de x si existe un conjunto abierto U tal que x U N

1.3. Aplicaciones continuas

Una aplicaci on f : X Y es inyectiva si x1 6= x2 , x1 , x2 X, implica
f (x1 ) 6= f (x2 ). Una aplicaci
on f : X Y es exhaustiva si f (X) = Y . Una
aplicaci on f : X Y se llama biyectiva si es a la vez inyectiva y exhaustiva. En
este caso existe una aplicacion inversa f 1 : Y X definida por

x = f 1 (y) y = f (x)
CAPITULO 1. INTRODUCCION
7

Si f : X Y y g : Y Z son aplicaciones, la aplicacion compuesta gf : X Z

esta definida por
gf (x) = g(f (x)), x X

Definicion: Una aplicaci on f : X Y entre dos espacios topologicos se dice

que es continua si la imagen inversa f 1 (U ) de todo conjunto abierto U de Y es
abierto en X.

Teorema: Una aplicaci on f : X Y entre dos espacios topologicos es continua

si y solo si, para todo subconjunto cerrado C de Y , f 1 (C) es cerrado.

Teorema Sean X,Y y Z espacios topologicos. Si f : X Y y g : Y Z son

aplicaciones continuas, la composicion h = gf : X Z es tambien continua.

Definicion: Sean X e Y espacios topologicos. Decimos que X e Y son homeo-

morfos si existen aplicaciones continuas f : X Y , g : Y X inversas una de
la otra. Es decir si f y g continuas y f g = 1Y ,gf = 1X . Escribiremos X
=Y y
diremos que f y g son homeomorfismos entre X e Y .
Puede darse una definicion equivalente para que una aplicacion f : X Y
sea un homeomorfismo requiriendo
1. Que f sea biyectiva
2. Que f sea continua
3. Que su inversa f 1 sea tambien continua
As un homeomorfismo entre X e Y es una biyeccion entre los puntos y entre los
conjuntos abiertos de X e Y .
Es interesante considerar subespacios de IR3 e intentar descifrar cuales son ho-
meomorfos entre si. Por ejemplo los intervalos [a, b] y [c, d] de IR son homeomorfos.
Puedes construirse un homeomorfismo

f (x) = c + (d c)(x a)/(b a)

y obtenerse una inversa f 1 y demostrar facilmente que tanto f como f 1 son

continuas. De manera intuitiva lo u nico que hemos hecho a sido estirar o encoger
cada intervalo en el otro.
Si ahora consideramos en IR2 una circunferencia y un cuadrado. La aplicacion
que aplica a los intervalos con origen xi y final xi+1 de S 1 en los intervalos de
origen yi y final yi+1 del cuadrado define un homeomorfismo de la circunferencia
al cuadrado. De nuevo, intuitivamente, dos subespacios de IR3 son homeomorfos
si podemos torcer, combar, estirar o encoger uno de ellos hasta obtener el otro sin
pegar puntos ni hacer ning un corte.
CAPITULO 1. INTRODUCCION
8

1.4. Topologa inducida

Definicion: Sea S un subconjunto de espacio topologico X. Podemos dotar a S
de una topologa a partir de la de X. La topologa inducida en S por la topologa
X es la familia de los conjuntos de la forma U S, para todo conjunto abierto
U de X. Es decir, si U es al familia de los conjuntos abiertos de X, entonces
Us = {U S; U U } es la familia de los conjuntos abiertos de S.
Cuando trabajamos con un espacio X y un subespacio S es necesario ser
cuidadosos al utilizar el termino conjunto abierto. Si S es un subespacio de X,
diremos que un conjunto U es abierto en S si pertenece a la topologa de Y ; esto
implica, en particular, que es un subconjunto de S. Diremos que U es abierto en
X si pertenece a la topologa de X. Puede darse el caso en el que cada conjunto
abierto en S tambien es abierto en X.

Lema:

1. Sea S un subespacio de X. Si U es abierto en S y S es abierto en X, entonces

U es abierto en X.

2. Si S es abierto en X, todo subconjunto abierto de S por la topologa inducida

es abierto en X.

3. Si S es cerrado en X, todo subconjunto cerrado de S por la topologa indu-

cida es cerrado en X.

1.5. Topologa cociente

1.6. Topologa producto

1.7. Espacios compactos

Definicion: Un recubrimiento de un subconjunto S de un conjunto X es una
on de subconjuntos {Uj ; j J} de X tal que S jJ Uj . si el conjunto de
colecci
indices J es finito se dice que {Uj ; j J} es un recubrimiento finito. Ademas si
suponemos que X es un espacio topologico y S es un subconjunto de X. Decimos
que el recubrimiento {Uj ; j J} es un recubrimiento abierto de S si cada Uj ,
j J es un subconjunto abierto de X.

Definici on: Supongamos que {Uj ; j J} y {Vj ; k K} son recubrimientos del

subconjunto S de X. Si para todo j J existe un k K tal que Uj = Vk , decimos
que {Uj ; j J} es un sobrerecubrimiento del recubrimiento {Uk ; k K}.
CAPITULO 1. INTRODUCCION
9

Definicion: Supongamos que X es un espacio topologico y S es un subconjunto

de X. Decimos que el recubrimiento {Uj ; j J} es un recubrimiento abierto de
S si cadaUj ; j J es un subconjunto abierto de X.

Definici
on: Un subconjunto S de un espacio topologico X es compacto si todo
recubrimiento abierto de S posee un sobrerecubrimiento finito.
Bibliografa

[1] Kosniowski, Czes, Topologa algebraica Reverte, 1992

[2] Hilton, Peter and Wu, Yel-Chiang, Curso de

algebra moderna Reverte,
1982

[3] Munkres, James, Topologa 2002

[4] Francisco J.Daz y Jose

M. Garca Calcines, Curso de topologa general
Vision NET

10