2 votos

Si $A$ es una deformación retraída de $V$ entonces $H_n(X,A) \simeq H_n(X,V)$

Me gustaría demostrar que si $A$ es una retracción de la deformación de $V$ , donde $A \subset V \subset X$ entonces $H_n(X,V) \simeq H_n(X,A)$ utilizando el lema de los cinco. Pensé que podía llegar al diagrama a partir de la secuencia exacta de pares de $(X,V)$ y $(X,A)$ de la siguiente manera. Considere

$$ \cdots \longrightarrow H_n(V) \longrightarrow H_n(X) \longrightarrow H_n(X,V) \longrightarrow H_{n-1}(V) \longrightarrow H_{n-1}(X) \longrightarrow \cdots$$

$$ \cdots \longrightarrow H_n(A) \longrightarrow H_n(X) \longrightarrow H_n(X,A) \longrightarrow H_{n-1}(A) \longrightarrow H_{n-1}(X) \longrightarrow \cdots$$

En cuanto a la flecha vertical podría utilizar el isomorfismo $i_* : H_n(A) \longrightarrow H_n(V)$ inducido por la equivalencia homotópica $i$ . Me gustaría concluir que $H_n(X,A) \simeq H_n(X,V)$ completando el diagrama con el mapa inducido por la identidad de $X$ , $id_* : H_n(X) \longrightarrow H_n(X)$ pero no sé si el diagrama conmuta para aplicar correctamente el lema de los cinco, para explotar la naturalidad del homomorfismo de conexión $\partial : H_n(X,A) \longrightarrow H_{n-1}(A)$ Cualquier ayuda se agradece.

3voto

pje Puntos 101

Consideremos el mapa de pares $\phi : (X,A) \to (X,V), \phi(x) = x$ . Su parte "absoluta" es la identidad $id_X : X \to X$ y su parte "relativa" la inclusión $\phi_A : A \to V$ que es una equivalencia homotópica en este caso. Por lo tanto, obtenemos mapas inducidos $(id_X)_* = id : H_n(X) \to H_n(X)$ , $(\phi_A)_* : H_n(A) \to H_n(V)$ y $\phi_* : H_n(X,A) \to H_n(X,V)$ , donde $(\phi_A)_*$ es un isomorfismo. Estos mapas conectan las dos secuencias exactas largas de tu pregunta. Cada uno de los cuadrados resultantes conmuta porque el $H_n$ son funtores y $\partial$ es natural para los mapas de pares.

Ahora se aplica el lema cinco.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X