Successive maps in exact sequence leads to $0$. Celluar Homology
up vote
1
down vote
favorite
This comes from Hatcher's Algebraic Topology book on page 139
He says that the map in the diagram
$$0 to H_n(X^n) stackrel{j_n}to H_n(X^n, X^{n-1}) stackrel{partial_n}to H_{n-1}(X^{n-1})to?$$
The map $d_nd_{n+1}= j_{n+1}(partial _nj_n)partial_{n+1} = 0$ because of $partial _nj_n = 0$ due to exactness. I don't know which exact sequence he is referring to in his diagram
general-topology algebraic-topology proof-explanation homology-cohomology homological-algebra
|
show 10 more comments
up vote
1
down vote
favorite
This comes from Hatcher's Algebraic Topology book on page 139
He says that the map in the diagram
$$0 to H_n(X^n) stackrel{j_n}to H_n(X^n, X^{n-1}) stackrel{partial_n}to H_{n-1}(X^{n-1})to?$$
The map $d_nd_{n+1}= j_{n+1}(partial _nj_n)partial_{n+1} = 0$ because of $partial _nj_n = 0$ due to exactness. I don't know which exact sequence he is referring to in his diagram
general-topology algebraic-topology proof-explanation homology-cohomology homological-algebra
He is referring to the exact sequence you have written on the 3rd line. E.g. the one of the pair $(X^n,X^{n-1})$.
– Tyrone
Nov 19 at 9:46
@Tyrone, yeah but that is where I am not 100% sure why that sequence ends in $0$.
– Hawk
Nov 19 at 9:47
Recall that $X^{n-1}$ is the $(n-1)$-skeleton of $X$, so without $n$-cells you have $H_nX^{n-1}=0$, giving that $j_n$ is injective. The group you have labelled $?$ will be $H_{n-1}X^{n}$.
– Tyrone
Nov 19 at 9:48
@Tyrone you are referring to $H_n(X^{n},X^{n-1})$ right? Because $H_n(X^{n-1}) approx H_n(X)$
– Hawk
Nov 19 at 9:50
@Tyrone, the group before $?$ is $H_{n-1}(X^{n-1})$
– Hawk
Nov 19 at 9:51
|
show 10 more comments
up vote
1
down vote
favorite
up vote
1
down vote
favorite
This comes from Hatcher's Algebraic Topology book on page 139
He says that the map in the diagram
$$0 to H_n(X^n) stackrel{j_n}to H_n(X^n, X^{n-1}) stackrel{partial_n}to H_{n-1}(X^{n-1})to?$$
The map $d_nd_{n+1}= j_{n+1}(partial _nj_n)partial_{n+1} = 0$ because of $partial _nj_n = 0$ due to exactness. I don't know which exact sequence he is referring to in his diagram
general-topology algebraic-topology proof-explanation homology-cohomology homological-algebra
This comes from Hatcher's Algebraic Topology book on page 139
He says that the map in the diagram
$$0 to H_n(X^n) stackrel{j_n}to H_n(X^n, X^{n-1}) stackrel{partial_n}to H_{n-1}(X^{n-1})to?$$
The map $d_nd_{n+1}= j_{n+1}(partial _nj_n)partial_{n+1} = 0$ because of $partial _nj_n = 0$ due to exactness. I don't know which exact sequence he is referring to in his diagram
general-topology algebraic-topology proof-explanation homology-cohomology homological-algebra
general-topology algebraic-topology proof-explanation homology-cohomology homological-algebra
asked Nov 19 at 8:20
Hawk
5,4381138102
5,4381138102
He is referring to the exact sequence you have written on the 3rd line. E.g. the one of the pair $(X^n,X^{n-1})$.
– Tyrone
Nov 19 at 9:46
@Tyrone, yeah but that is where I am not 100% sure why that sequence ends in $0$.
– Hawk
Nov 19 at 9:47
Recall that $X^{n-1}$ is the $(n-1)$-skeleton of $X$, so without $n$-cells you have $H_nX^{n-1}=0$, giving that $j_n$ is injective. The group you have labelled $?$ will be $H_{n-1}X^{n}$.
– Tyrone
Nov 19 at 9:48
@Tyrone you are referring to $H_n(X^{n},X^{n-1})$ right? Because $H_n(X^{n-1}) approx H_n(X)$
– Hawk
Nov 19 at 9:50
@Tyrone, the group before $?$ is $H_{n-1}(X^{n-1})$
– Hawk
Nov 19 at 9:51
|
show 10 more comments
He is referring to the exact sequence you have written on the 3rd line. E.g. the one of the pair $(X^n,X^{n-1})$.
– Tyrone
Nov 19 at 9:46
@Tyrone, yeah but that is where I am not 100% sure why that sequence ends in $0$.
– Hawk
Nov 19 at 9:47
Recall that $X^{n-1}$ is the $(n-1)$-skeleton of $X$, so without $n$-cells you have $H_nX^{n-1}=0$, giving that $j_n$ is injective. The group you have labelled $?$ will be $H_{n-1}X^{n}$.
– Tyrone
Nov 19 at 9:48
@Tyrone you are referring to $H_n(X^{n},X^{n-1})$ right? Because $H_n(X^{n-1}) approx H_n(X)$
– Hawk
Nov 19 at 9:50
@Tyrone, the group before $?$ is $H_{n-1}(X^{n-1})$
– Hawk
Nov 19 at 9:51
He is referring to the exact sequence you have written on the 3rd line. E.g. the one of the pair $(X^n,X^{n-1})$.
– Tyrone
Nov 19 at 9:46
He is referring to the exact sequence you have written on the 3rd line. E.g. the one of the pair $(X^n,X^{n-1})$.
– Tyrone
Nov 19 at 9:46
@Tyrone, yeah but that is where I am not 100% sure why that sequence ends in $0$.
– Hawk
Nov 19 at 9:47
@Tyrone, yeah but that is where I am not 100% sure why that sequence ends in $0$.
– Hawk
Nov 19 at 9:47
Recall that $X^{n-1}$ is the $(n-1)$-skeleton of $X$, so without $n$-cells you have $H_nX^{n-1}=0$, giving that $j_n$ is injective. The group you have labelled $?$ will be $H_{n-1}X^{n}$.
– Tyrone
Nov 19 at 9:48
Recall that $X^{n-1}$ is the $(n-1)$-skeleton of $X$, so without $n$-cells you have $H_nX^{n-1}=0$, giving that $j_n$ is injective. The group you have labelled $?$ will be $H_{n-1}X^{n}$.
– Tyrone
Nov 19 at 9:48
@Tyrone you are referring to $H_n(X^{n},X^{n-1})$ right? Because $H_n(X^{n-1}) approx H_n(X)$
– Hawk
Nov 19 at 9:50
@Tyrone you are referring to $H_n(X^{n},X^{n-1})$ right? Because $H_n(X^{n-1}) approx H_n(X)$
– Hawk
Nov 19 at 9:50
@Tyrone, the group before $?$ is $H_{n-1}(X^{n-1})$
– Hawk
Nov 19 at 9:51
@Tyrone, the group before $?$ is $H_{n-1}(X^{n-1})$
– Hawk
Nov 19 at 9:51
|
show 10 more comments
1 Answer
1
active
oldest
votes
up vote
1
down vote
Since $(X^n, X^{n-1})$ is a good pair, it induces the long exact sequence
$0 to H_n(X^n) to H_n(X^n, X^{n-1}) to H_{n-1}(X^{n-1}) to H_{n-1}(X^n) to dots$
Definition of exactness leads to $img j_n = ker partial_n$, so $partial_n(img j_n) = partial_n(ker partial_n) = 0 $
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
Since $(X^n, X^{n-1})$ is a good pair, it induces the long exact sequence
$0 to H_n(X^n) to H_n(X^n, X^{n-1}) to H_{n-1}(X^{n-1}) to H_{n-1}(X^n) to dots$
Definition of exactness leads to $img j_n = ker partial_n$, so $partial_n(img j_n) = partial_n(ker partial_n) = 0 $
add a comment |
up vote
1
down vote
Since $(X^n, X^{n-1})$ is a good pair, it induces the long exact sequence
$0 to H_n(X^n) to H_n(X^n, X^{n-1}) to H_{n-1}(X^{n-1}) to H_{n-1}(X^n) to dots$
Definition of exactness leads to $img j_n = ker partial_n$, so $partial_n(img j_n) = partial_n(ker partial_n) = 0 $
add a comment |
up vote
1
down vote
up vote
1
down vote
Since $(X^n, X^{n-1})$ is a good pair, it induces the long exact sequence
$0 to H_n(X^n) to H_n(X^n, X^{n-1}) to H_{n-1}(X^{n-1}) to H_{n-1}(X^n) to dots$
Definition of exactness leads to $img j_n = ker partial_n$, so $partial_n(img j_n) = partial_n(ker partial_n) = 0 $
Since $(X^n, X^{n-1})$ is a good pair, it induces the long exact sequence
$0 to H_n(X^n) to H_n(X^n, X^{n-1}) to H_{n-1}(X^{n-1}) to H_{n-1}(X^n) to dots$
Definition of exactness leads to $img j_n = ker partial_n$, so $partial_n(img j_n) = partial_n(ker partial_n) = 0 $
answered Nov 22 at 0:48
Hawk
5,4381138102
5,4381138102
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004649%2fsuccessive-maps-in-exact-sequence-leads-to-0-celluar-homology%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
He is referring to the exact sequence you have written on the 3rd line. E.g. the one of the pair $(X^n,X^{n-1})$.
– Tyrone
Nov 19 at 9:46
@Tyrone, yeah but that is where I am not 100% sure why that sequence ends in $0$.
– Hawk
Nov 19 at 9:47
Recall that $X^{n-1}$ is the $(n-1)$-skeleton of $X$, so without $n$-cells you have $H_nX^{n-1}=0$, giving that $j_n$ is injective. The group you have labelled $?$ will be $H_{n-1}X^{n}$.
– Tyrone
Nov 19 at 9:48
@Tyrone you are referring to $H_n(X^{n},X^{n-1})$ right? Because $H_n(X^{n-1}) approx H_n(X)$
– Hawk
Nov 19 at 9:50
@Tyrone, the group before $?$ is $H_{n-1}(X^{n-1})$
– Hawk
Nov 19 at 9:51