Show that every map(maybe continuous)

  • Thread starter Stiger
  • Start date
  • #1
Stiger
1
0
If dimM=m<p, show that every map(maybe continuous) Mm -> Sp is homotopic to a constant.


This is the problem 5 in chap8. of 'topology from the differentiable viewpoint(Milnor)'.


I proved it when the map is not onto. But I think it can be onto.
Please help me.
 

Answers and Replies

  • #2
quasar987
Science Advisor
Homework Helper
Gold Member
4,790
20


It can indeed be onto. For instance, for M=S^1 and S^p=S², take f:S^1-->[0,1]² one of the infamous space-filling curve (loop) (http://en.wikipedia.org/wiki/Space-filling_curve). Then make [0,1]² into S² by identifying all the edges together. Then p o f:S^1-->S² is a continuous surjection, where p:[0,1]²-->[0,1]²/~=S² is the quotient map.
 
  • #3
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
2021 Award
5,221
1,176


If dimM=m<p, show that every map(maybe continuous) Mm -> Sp is homotopic to a constant.


This is the problem 5 in chap8. of 'topology from the differentiable viewpoint(Milnor)'.


I proved it when the map is not onto. But I think it can be onto.
Please help me.

Is the map maybe supposed to be differentiable?
 
  • #4
zhentil
489
0


Maybe all you need is that it's homotopic to a smooth map :)

(Then Sard's Theorem)
 

Suggested for: Show that every map(maybe continuous)

Replies
4
Views
484
  • Last Post
Replies
3
Views
2K
Replies
1
Views
1K
  • Last Post
Replies
3
Views
940
Replies
21
Views
618
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
22
Views
2K
Replies
7
Views
1K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
9
Views
1K
Top