Topologischer Raum/Fundamentalgruppe/Definition

Fundamentalgruppe

Es sei ein topologischer Raum und ein Punkt. Unter der Fundamentalgruppe von mit Aufpunkt versteht man die Menge aller Homotopieklassen von stetigen geschlossenen Wege mit Anfangs- und Endpunkt mit der Hintereinanderlegung von Wegen als Verknüpfung.