Homeomorphic topological spaces have isomorphic fundamental groups

From Maths
Jump to: navigation, search
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Review and demote


Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be homeomorphic topological spaces, let [ilmath]p\in X[/ilmath] be given (this will be the base point of the fundamental group [ilmath]\pi_1(X,p)[/ilmath]) and let [ilmath]\varphi:X\rightarrow Y[/ilmath] be that homeomorphism. Then: [1]:

That is to say:

  • [ilmath]\big(X\cong_\varphi Y)\implies(\pi_1(X,p)\cong_{\varphi_*}\pi_1(Y,\varphi(p))\big)[/ilmath]


The idea is to recall that the definition of a categorical isomorphism means that the map composed with its inverse is the identity of the codomain and the inverse composed with the map is the identity on the domain.

Noting that a homeomorphism is an instance of this we see that both compositions are identity maps, which as we know from the induced fundamental group homomorphism of the identity map is the identity map of the fundamental group and using:

Shows that the induced maps are categorical isomorphisms too.


Grade: A
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Good to do formally


  1. Introduction to Topological Manifolds - John M. Lee