P. 1
Topo Alg 0708

Topo Alg 0708

|Views: 4|Likes:
Published by Oscar Andrade

More info:

Published by: Oscar Andrade on Sep 19, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/22/2014

pdf

text

original

Definici´on 5.28. Una n–celda es un espacio homeomorfo al disco Dn

. Consideremos

X = Dn

, A = fr(Dn

) = Sn−1

, Y un espacio topol´ogico y f: A−→Y una aplicaci´on

continua. Se dice que Yf =Dn

∪f Y es el espacio obtenido al adjuntar una n–celda a Y

por f.

102

Cap´ıtulo 5. Homolog´ıa Singular

Ejemplo 5.5. Sea X = D2

y A = fr(D2

) = S1

. Sea Y una copia disjunta de S1

y la

aplicaci´on f: A−→Y, dada por f(z) = z2

. Entonces, X ∪f Y es el espacio proyectivo

real RP2

. Se puede calcular su homolog´ıa usando esta caracterizaci´on y la sucesi´on de

Mayer–Vietoris, y se obtiene

Hn(RP2

) =

Z si n = 0
Z2 si n = 1
0 si n ≥ 2

Proposici´on 5.69. Sean n ≥ 1 e Yf el espacio obtenido a partir del espacio compacto y
Hausdorff Y, adjunt´andole una n–celda v´ıa f. Existe una sucesi´on exacta

... −→ Hq(Sn−1

) Hq(f)

−→ Hq(Y) Hq(iY )

−→ Hq(Yf) ∆q

−→ Hq−1(Sn−1

) −→ ...

... −→ H0(Sn−1

) H0(f)

−→ H0(Y)⊕ZH0(iY )

−→ H0(Yf),

donde iY : Y −→Yf es la aplicaci´on inclusi´on.

Observaci´on 5.15. Esta sucesi´on exacta muestra lo cerca que est´an los grupos de ho-
molog´ıa de Y e Yf. Si se pega una n–celda a Y, entonces Hn(iY ): Hn(Y)−→Hn(Yf) es
un monomorfismo, con con´ucleo 0 o c´ıclico infinito. As´ı, si coker(Hn(iY )) = 0, se ha
creado un nuevo agujero n–dimensional.
Por otro lado, Hn−1(iY ): Hn−1(Y)−→Hn−1(Yf) es un epimorfismo, de n´ucleo 0 o
c´ıclico, y si ker(Hn−1(iY )) = 0, esta nueva n–celda ha tapado un agujero (n − 1)–
dimensional en Y. Aparte de estas dimensiones, la adjunci´on de n-celdas no afecta a la
homolog´ıa.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->