description/proof of that covering map into simply connected topological space is homeomorphism
Topics
About: topological space
The table of contents of this article
- Starting Context
- Target Context
- Orientation
- Main Body
- 1: Structured Description
- 2: Natural Language Description
- 3: Proof
Starting Context
- The reader knows a definition of covering map.
- The reader knows a definition of lift of continuous map by covering map.
- The reader knows a definition of simply connected topological space.
- The reader admits the proposition that for any covering map, there is the unique lift of any path for each point in the covering map preimage of the path image of any point on the path domain.
- The reader admits the proposition that the lifts, that start at any same point, of any path-homotopic paths are path-homotopic.
- The reader admits the proposition that any path-connected topological component is open and closed on any locally path-connected topological space.
- The reader admits the proposition that any map between topological spaces is continuous if the domain restriction of the map to each open set of a possibly uncountable open cover is continuous.
Target Context
- The reader will have a description and a proof of the proposition that any covering map into any simply connected topological space is a homeomorphism.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
//
Statements:
//
2: Natural Language Description
For any connected and locally path-connected topological spaces,
3: Proof
For any point
So, there would be the path-connected component around each point,
So,
So,