Homeomorphic topological spaces have isomorphic fundamental groups/Statement

From Maths
< Homeomorphic topological spaces have isomorphic fundamental groups
Revision as of 05:56, 14 December 2016 by Alec (Talk | contribs) (Created page with "<noinclude> ==Statement== </noinclude>Let {{Top.|X|J}} and {{Top.|Y|K}} be ''homeomorphic'' topological spaces, let {{M|p\in X}} be given (this will be the base point...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

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]

References

  1. Introduction to Topological Manifolds - John M. Lee