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