Is a Locally One-to-One Proper Map Globally Bijective?

  • Context: Undergrad 
  • Thread starter Thread starter Ashley1209
  • Start date Start date
  • Tags Tags
    Continuous
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
8 replies · 3K views
Ashley1209
Messages
3
Reaction score
0
TL;DR
φ is a continuous, proper and locally one-to-one map.Is it a globally one-to-one map?
φ is a continuous, proper and locally one-to-one map.Is it a globally one-to-one map?
 
Physics news on Phys.org
WWGD said:
Welcome to PF.
Please remind us of what a proper map is. IIRC, it had something to see with inverse image of compact sets being compact?
Yes, inverse image of compact sets being compact.And the map is between two topological discs.
 
1) Take a rubber band and twist it into a figure 8.

2) Take a rubber band and push two oppose points together to make a figure 8.

Keep pushing so that the rubber band intersects itself in two points.

Try the same idea with a sphere.
 
Last edited:
mathwonk said:
do you know about covering spaces?
Yes.Does this have something to do with covering spaces?
 
Ashley1209 said:
Yes.Does this have something to do with covering spaces?
All coverings are continuous and locally 1-1. If the covering space is compact then the covering map is also proper.

For instance, take a finite discrete set and map it onto one of its points.
 
Last edited:
Reply
  • Like
Likes   Reactions: Ashley1209
re: Lavinia's post #6, 1), can you visualize z --> z^2, for complex z: |z| = 1?

and I guess a continuous map between "nice" spaces (locally compact and Hausdorff?) should be a finite covering map if and only if it is a local homeomorphism, surjective and proper.

In fact since a continuous bijection of compact hausforff spaces is a homeomorphism, maybe even a locally bijective proper continuous map of locally compact hausdorff spaces is a finite covering of its image. So if "one to one" means "bijective", as it sometimes does, then this is why I was thinking of covering spaces as soon as I heard proper, continuous and locally one to one. I.e. that is essentially equivalent to "finite covering".
 
Last edited:
Reply
  • Like
Likes   Reactions: Ashley1209 and lavinia