7.

Adjunción y CW-complejos

7.1. Espacios de Adjunción

De…nición. Sean X,Y espacios topológicos, A X subespacio cerrado y
f : A ! Y continua. [
El espacio de adjunción X f Y es el que se obtiene de Xt Y identi…cando
los puntos a 2 A con f (a) 2 Y .
[ Concretamente, si R es la relación equivalencia generada por a f (a), X
f Y = XR tY
, la unión disjunta cocientada por esa relación de equivalencia.
Esta situación puede representarse en el sigueinte diagrama conmutativo:

A ! Y

" #
[
X X Y
f

Como las inclusiones a la unión disjunta son …nales, y el cociente es …nal, {; f

[
resulta un familia …nal. Es decir que U X Y es abierto (resp. cerrado) si
f
1
1
y solo si { [
(U ) Y y f (U ) Y son abiertos (resp. cerrado). Visto como
conjunto, X Y es la unión disjunta de X n A e Y .
f
Notar que, como se toma la relación de equivalencia generada por a f (a)
y, como la función f no es necesariamente inyectiva, si se tiene a,b 2 A tales que
f (a) = f (b), esos puntos quedarán automáticamente identi…cados en el espacio
de adjunción. El espacio XU Y es el que está "más cerca" por la derecha del
f
diagrama original:
Proposición. Es el espacio de adjunción tiene [ la siguiente porpiedad uni-
versal: 8Z, 8qx, qy tales que qyf = iqx, 9!q : X Y ! Z tal que:
f

Demoestración. Ejercicio
Más en general, puede de…nirse la noción de pushout, que queda ilustrada
en el siguiente diagrama:

En espacios topológicos, el pushout va a existir, y se va a construir de manera

análoga al espacio de adjunción. El espacio P va a ser el cociente de la unión
disjunta por la relación R generada por f (w) g (w) 8w 2 W.

Ejemplos de estacios de adjunción.

1. la unión disjunta de dos espacios en un caso particular de adjunción.

1
2
 ? ! Y
# #
X !X qY
f
2. X !Y
# X # Y
f
X !Y
A
3. A !A
#i #i
X
X !X

4. Sea F , G X Subespacios cerrados F [ G con la topología de subespacio

de X, resulta(por el lema del pegado para cerrados) el espacio de adjunción:

j
F\ G ! G
#i #i
|^
F !F [G
5. Un cociente de un espacio por un subespacio cerrado es una caso particular
de adjunción.
A !
#i #i
q
X !X A

6. Sea CX = (X,0)X (X´

I
,0) el cono de X, es decir el espacio que se obtiene del
cilindro X I identei…cando todos los puntos de las "tapas". Notar que se tiene
una inclusión cerrada i : X ! CX en la otra etapa. Se de…ne la suspensión de
X como el siguiente espacio de adjunción (que se obtiene pegando dos conos) :

i
X ! CX
#i #P
P CX ! X
X se denota la suspensión de X

Ejercicio:
n n+1
1. CS
P n= D n+1
2. S =S
n n+1
3. CD
P n= D n+1
4. D =D

Solución:

3
 1. De…nimos f : S n I ! Dn+1 con f (x1 ; :::; xn+1 ; t) = ((1 –t) x1 ; :::; (1 –t) xn+1 ).
Es claro que f es continua y sobreyectiva. Además f es factoriza por el cociente
CS n , porque f (x1 ; :::; xn+1 ; t) = f y1 ; :::; yn+1 ; s si t = s = 1 o t = s y xi = yi
8i. Esta f que sales de CS n es biyectiva y además es homeomor…smo porque
CS n es compacto y Dn+1 es T2 .
2. Por la parte anterior, basta ver que pegar dos Dn+1 por sus bordes es
homeomorfo a S n+1 . Esto se ve proyectando los bordes de los discos al ecuador,
y sus interiores a ambos hemisferios (uno cada uno). Luego es claro que pasa
bien al cociente y se tiene un homeomor…smo por las mismas razones.
Veamos ahora dos ejemplos más de espacios de adjunción:

Unión wedge de espacios. Sean X e Y espacios topológicos T1 ,x0 2 X ,

y0 2 Y , A = fx0 g X y f : A ! Y la función f (x0 ) = y0 . Obtenemos:
f
fx0 g ! Y
#i #
q
X ! X vY

X v Y es el wedge, y consiste es pegarlos en un punto en común.

Adjunción de celdas. Si consideramos A = S n 1

,! Dn = X tenemos:
f
Sn 1
! Y
#i #
f
Dn ! Dn U Y
f
Notamos Dn U Y = Y [ en , y decimos que es el espacio que se obtiene de
f
Y adjuntándole una n-celda. La función f se llama función de adjunción de la
celda, y f la función característica de la celda. La n-celda cerrada en = f (Dn )
Y [ en .

4
 Este último ejemplo es de mucho interés y vamos a desarrollarlo con más
profundidad. Para comenzar a asimilarlo, vamos a ver qué sucede al adjuntar
celdas de dimensión n = 0; 1; 2:
n = 0 Adjuntar una 0-celda a un espacio Y , es tomar la unión disjunta con
un punto D0 = f g y, por convemción, S 1 = ? .

n = 1 Adjuntar una 1-celda es pegar un intervalo por su dos extremos, los

extremos puedes estar pegados en un mismo punto o en puntos distintos. Las
siguientes …guras ilustran las posibles situaciones:

n = 2 Ajuntar una 2-celda ya que es un poco más complejo. Un ejemplo

elemntal es pegar un D2 a un S 1 mediante la identidad en el borde, lo que
nos devuelve un D2 . Es decir que rellenamos el aguhero. Un caso un poco
más interesante es el plano proyectivo: tomando Y = S 1 y f : S 1 ! S 1 con
f (x) = x2 se tiene:

f
S1 ! S1
#i #
f
D2 ! RP 2

Más es general, el espacio proyectivo de dimensión n van a ser las rectas que
N
pasan por el origen en Rn+1 . Esto es equivalente a xS x , es decir al espacio que
se obtiene de la esfera n dimensional identi…cando las antípodas. Otro ejemplo
interesante en el toro, que puede construirse al adjuntarse una 2-celda a wedge
de dos S 1 como se muestra en la siguiente ilustración:

Proposición: Sea A X cerrado y f : A ! Y continua. Considerando el

espacio de adjunción.

f
A ! Y

#i #{

5
 f [
X ! X Y
f

Entonces: [
1. { : Y !X Y es subespacio cerrado.
f
[
2. f jX A :X A !X Y es subespacio abierto.
f

Demostración:

1. Es claro que { es continua e inyectiva,

[ veamos que es cerrada.
[Sea
F Y cerrado, debemos ver que { (F ) X Y es cerrado. Como X Y
f f

tiene la topológia …nal con respecto a { y f , basta tomar preimagen por ellas:
{ 1 ({ (F )) = F , que es cerrado en Y
1 1
f ({ (F )) = f (F ), que es cerrado en X, pues A es cerrado.

2. Nuevamente la di…cultad está en ver que es abierta Sea U X A

abierto, queremos ver que f jX A (U ) = f (U ) es abierto:
1
f f (U ) = U , que es abierto en X, pues A es cerrado.
1
f f (U ) = ?.
[
Observación. Si X e Y son T2, X Y no necesariamente T2 .
f

Ejemplo: Si tenemos
Q !
#i #

6
 R ! R Q
R y Q son T2 , pero su cocinte no.

Ejercicio. Pensar un ejemplo con A cerrado. (pista: T2 , pero no T3 )

De…nición. Sea A X un subespacio.Una retracción es una función con-

tinua r : X ! A tal que r i = 1A . En este caso A se dice ratracto.
Un ejemplo de un subconjunto que no es retracto es D1 con A = S 0 , pues
A es disconexo. Más general vale que S n 1 Dn no es retracto para ningún
n (esto se verá más adelante).

De…nición. A X subespacio se llama retarcto si 9U X abierto tal que

A U e i : A ,! U es retracto. Si bien S n 1 Dn no es retracto, sí es retracto
x
de entorno tomando U = Dn 0 y r (x) = kxk .

Proposición. Sean X e Y espacios topológicos, A X un cerrado y

f : A ! Y continua.

Si se cumplen estas tres condiciones:

1. X, Y son espacios T2
2. 8x 2 X A, 9V abierto tal que
x2V V Ac (por ejemplo, si X es T3 esto se cumple).
[ 3.A X es un retracto de entorno.
Entonces X Y es Hausdor¤.
f

[
Demostración. Dados x, y 2 X Y , debemos separlos con abiertos
f
disjuntos. Vamos a dividir la demaortación en tres casos:

1. Supongamos que x, y 2 X A. Como X es T2 , X A es T2 . entonces

existe W1 , W2 abiertos disjuntos de X A tales que x 2 W1 , y 2 W2 . Como

[
f jX A es subespacio abierta, Vi = f (wi ) son abiertos disjuntos en X Y que
f
los separan.
2. Ahora x 2 X A e y 2 Y . Por hipótesis, existe U abierto de X tal
[
que x 2 U U X A. Sean Vi = f (wi ) y V2 = X Y U . Notamos
f

que x 2 V1 y V1 es abierto porque f jX A es subespacio abierta. Además V2 es

abierto porque:
{ 1 (V2 ) = Y
1
f (V2 ) = X U , que es abierto en X.

3. Por último, supongamos que x, y 2 Y . Como Y es T2 , 9W1 , W2

abiertos disjuntos en Y tales que x 2 W1 , y 2 W2 . El problema es que { (W1 ) no

7
 [
1 1
es necesariamente abierto en X Y . Consideramos f (W1 ), f (W2 ) A
f
abiertos en A y disjuntos.
Sea N X un entorno abierto de A tal que r : N ! A es una
retracción. Sean Vi = r 1 f 1 (Wi ) . Son abiertos en X porque son abiertos
en N , que es abierto en X. Notamos que como r es una retracción, VI A =
1
V
[ i f (W1 ). Consideramos Ui = { (Wi ) [ f (Vi A), abiertos disjuntos de X
Y , x 2 U1 , y 2 U2 . Son abiertos pues:
f
1
{ (Ui ) = Wi , que es abierto de Y
1 1 1 1
f (Ui ) = f ({ (Wi )) [ f f (Vi A) =f (Wi )

[ Vi A = Vi , que es abierto en X en la penúltima igualdad usamos que f jX A es subespacio .

Como corolario inmediato de este resultado se deduce que, adjuntarle una

n celda a un espacio Hausdor¤ da como resultado otro espacio Hausdor¤. Esto
será utilizado en la sección siguiente