Topologischer Raum/Fundamentalgruppe/Definition

Fundamentalgruppe

Es sei ${}X$ ein topologischer Raum und ${}x_{0}\in X$ ein Punkt. Unter der Fundamentalgruppe ${}\pi _{1}(X,x_{0})$ von ${}X$ mit Aufpunkt ${}x_{0}$ versteht man die Menge aller Homotopieklassen von stetigen geschlossenen Wege mit Anfangs- und Endpunkt ${}x_{0}$ mit der Hintereinanderlegung von Wegen als Verknüpfung.