Stetige Abbildung/Fundamentalgruppe/Gruppenhomomorphismus/Funktorialität/Fakt

Es seien ${}X,Y,Z$ topologische Räume, es seien ${}\varphi \colon X\rightarrow Y$ und

$\psi \colon Y\longrightarrow Z$

stetige Abbildungen und ${}x\in X$ mit ${}\varphi (x)=y$ und ${}z=\psi (y)$. Dann erfüllen die zugehörigen Gruppenhomomorphismen zwischen den Fundamentalgruppen die folgenden Eigenschaften.

1. Es ist

   ${}\pi (\psi \circ \varphi )=\pi (\psi )\circ \pi (\varphi )\,.$

2. Wenn ${}\varphi$ und ${}\psi$ invers zueinander sind (was ${}X=Z$ voraussetzt), so sind ${}\pi (\psi )$ und ${}\pi (\varphi )$ invers zueinander.
3. Wenn ${}\varphi$ ein Homöomorphismus ist, dann ist ${}\pi (\varphi )$ ein Isomorphismus.

Einen Beweis erstellen