Subspaces of R^n Homotopy Equivalent But Not Homeomorphic

  • Thread starter Thread starter jaymath
  • Start date Start date
  • Tags Tags
    Topology
Click For Summary

Homework Help Overview

The discussion revolves around identifying examples of subspaces of R^n that are homotopy equivalent but not homeomorphic. The original poster is exploring the concepts of open and closed intervals, as well as balls in R^n for n greater than 1, while seeking clarification on the reasoning behind these relationships.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster considers using closed unit disks and points in R^2 as examples, questioning the continuous mappings necessary for establishing homotopy equivalence. Participants discuss the nature of continuous functions and the requirement for bijectivity in this context.

Discussion Status

The conversation is active, with participants providing insights into the mapping process between the disk and a point. There is a recognition of the need for continuous functions that do not have to be bijective, and some guidance has been offered regarding constructing these mappings and demonstrating homotopy equivalence.

Contextual Notes

The original poster expresses difficulty in understanding the reasoning behind the mappings and the concept of homotopy equivalence, indicating a need for further exploration of these ideas within the constraints of the problem.

jaymath
Messages
3
Reaction score
0
For each n in N give examples of subspaces of R^n, which are homotopy equivalent but NOT homeomorphic to each other.

Give reasons for your answer.

I'm working along the lines of open and closed intervals in R and balls in R^n with n>1. Although I'm struggling with the reasoning.

Any help would be great.
 
Physics news on Phys.org
That should work. What are you struggling with?
 
Im struggling with the argument. As I said I am working along the lines of balls homotopy equivalent to points. So for example in R^2 the closed unit disk is clearly not homemorphic to a single point, it fails as a bijection. But they are homotopy equivalent. But I can't see how there are continuous functions mapping from one to the other?

I can see to go from the disk to a point you just make every point in the disk equal to a single point, I think that's continuous? But how would you go the other way.

Thanks
 
How you get a continuous map from a point to a disk? Just map that point anywhere you want! The center of the disk is probably the most convenient. Let's call this map f, and the map that takes the entire disk to the point g.

Then you have to show that f g: disk -> disk and g f: pt -> pt are homotopic to the identity map on their respective receiving spaces. Can you do that?
 
Ah, okay, I was missing the fact that it need not be bijective, so as you say it can go anywhere.
 
Last edited:

Similar threads

  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 14 ·
Replies
14
Views
10K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K