Homology of S^n x R

  • Thread starter quasar987
  • Start date

quasar987

Science Advisor
Homework Helper
Gold Member
4,771
5
Hi people.

In the proof of theorem 2B.1 page 169-170 of Hatcher (generalized Jordan curve theorem), item (b) is proved by induction on k and the case k=0 is handled by noticing that S^n - h(S^0) is homeomorphic to S^(n-1) x R. How does he know that [tex]\widetilde{H}_i(\mathbb{S}^{n-1} \times \mathbb{R})[/tex] is Z if i=n-1 and 0 otherwise?
 
Last edited:
709
0
Hi people.

In the proof of theorem 2B.1 page 169-170 of Hatcher (generalized Jordan curve theorem), item (b) is proved by induction on k and the case k=0 is handled by noticing that S^n - h(S^0) is homeomorphic to S^(n-1) x R. How does he know that [tex]\widetilde{H}_*(\mathbb{S}^{n-1} \times \mathbb{R})=0[/tex]?
I'm not sure what homology you are using but H(S^n-1xR) is not zero if you mean Z homology. It is zero in dimension,n.
 

quasar987

Science Advisor
Homework Helper
Gold Member
4,771
5
Excuse me, I meant

"How does he know that [tex]\widetilde{H}_i(\mathbb{S}^{n-1} \times \mathbb{R})[/tex] is Z if i=n-1 and 0 otherwise?"
(as in the statement of the theorem).

And yes, we are talking about homology with coefficient in Z.
 

matt grime

Science Advisor
Homework Helper
9,394
3
What is k? You're inducting on k, but there is no mention of k in the statement of the problem. Actually, have you stated the problem?

A decent homology theory will turn products into graded tensor products of groups. I.e. the homology of (UxV) in degree n will be the direct sum (over all i) of H_i(U)xH_{n-i}(V) and presumably you've worked out the homology for S^n and R.
 
316
0
[tex]S^{n-1}\times\mathbb{R}[/tex] is homotopy equivalent to [tex]S^{n-1}[/tex] by a deformation retraction, and the reduced homology of the sphere is already known.
 

matt grime

Science Advisor
Homework Helper
9,394
3
That's a lot better an explanation than mine.
 
709
0
Excuse me, I meant

"How does he know that [tex]\widetilde{H}_i(\mathbb{S}^{n-1} \times \mathbb{R})[/tex] is Z if i=n-1 and 0 otherwise?"
(as in the statement of the theorem).

And yes, we are talking about homology with coefficient in Z.
S^n-1 x R has the same homology as S^n-1. the deformation retract argument given in this thread is correct.

You could also use the Kunneth formula and the knowledge that the homology of R is zero except in dimension zero.
 

Related Threads for: Homology of S^n x R

Replies
15
Views
4K
Replies
3
Views
1K
  • Posted
Replies
2
Views
2K
  • Posted
Replies
17
Views
4K
  • Posted
Replies
8
Views
7K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top