Quelltext der Seite Fundamentalgruppe

{{Dieser Artikel|behandelt die Fundamentalgruppe in der algebraischen Topologie. Die Fundamentalgruppe eines [[Graph von Gruppen|Graphen von Gruppen]] wird dort erklärt.}}
Die '''Fundamentalgruppe''' dient in der [[Algebraische Topologie|algebraischen Topologie]] zur Untersuchung geometrischer Objekte beziehungsweise [[Topologischer Raum|topologischer Räume]]. Jedem topologischen Raum kann eine Fundamentalgruppe zugeordnet werden. Sie selbst ist jedoch ein Objekt aus der [[Algebra]] und kann auch mit deren Methoden untersucht werden. Haben zwei topologische Räume unterschiedliche Fundamentalgruppen, so schließt man daraus, dass die zwei Räume topologisch verschieden, das heißt nicht [[homöomorph]], sind. [[Henri Poincaré]] führte 1895 als erster das Konzept der Fundamentalgruppe ein.<ref>{{Literatur |Autor=John. Stillwell |Titel=Mathematics and its history |Verlag=Springer |Ort=New York |Datum=2010 |ISBN=978-1-4419-6052-8 |Seiten=485}}</ref>

== Anschauliche Erklärung am Beispiel des Torus ==
[[Datei:Fundamental group torus1.png|mini|Eine zusammenziehbare Schleife auf dem Torus]]
[[Datei:Fundamental group torus2.png|mini|Zwei nicht zusammenziehbare Schleifen auf der Torusoberfläche]]
[[Datei:Fundamental group torus3.png|mini|Verknüpfung zweier Schleifen auf dem Torus]]

Zunächst soll an einem Beispiel die Idee der Fundamentalgruppe erklärt werden: Als topologischer Raum wird der (zweidimensionale) [[Torus]] betrachtet und darauf ein Basispunkt markiert.

Von diesem Punkt aus gibt es Schleifen, das heißt [[geschlossene Kurve]]n, die im Basispunkt starten, auf der Torusoberfläche verlaufen und wieder im Basispunkt enden. Manche der Schleifen lassen sich auf dem Torus zu einem Punkt zusammenziehen, andere nicht. Dazu stelle man sich vor, dass die Schleifen aus Gummi sind und beliebig gedehnt, gestaucht und verschoben werden dürfen, allerdings immer so, dass Anfang und Ende im Basispunkt festbleiben und die Schleifen immer ''auf'' dem Torus bleiben müssen (also nur auf der Oberfläche und nicht durch den „Teig“ des Donuts verlaufen). Eine solche Verformung nennt man ''[[Homotopie]]''; man sagt auch, eine Schleife wird ''homotopiert''. Zwei Schleifen, die sich durch eine Homotopie ineinander überführen lassen, nennt man ''homotop''.

Alle Schleifen, die homotop zueinander sind, fasst man zu einer ''Homotopieklasse'' zusammen. Die verschiedenen Homotopieklassen bilden die Elemente der ''Fundamentalgruppe''.

Die beiden Schleifen <math>a</math> und <math>b</math> in der Abbildung rechts gehören zum Beispiel zu verschiedenen Homotopieklassen: Sie lassen sich nicht ineinander verformen und beschreiben daher unterschiedliche Elemente der Fundamentalgruppe. Weitere Elemente bekommt man, indem man eine der beiden Schleifen mehrfach durchläuft, bevor man die Schleife schließt: Eine Schleife, die zweimal um das Loch herumläuft, lässt sich nicht in eine verformen, die dreimal darum herumführt usw.

Ganz allgemein lassen sich zwei Schleifen zu einer dritten kombinieren, indem man erst die eine, dann die andere durchläuft, also das Ende der ersten mit dem Anfang der zweiten verknüpft (da die Verknüpfungsstelle jetzt ein innerer Punkt der Schleife ist, muss sie nicht mehr unbedingt auf dem Basispunkt liegen bleiben, sondern darf von ihm auch weggeschoben werden). Mit dieser Verknüpfung wird aus der Menge der Homotopieklassen eine [[Gruppe (Mathematik)|Gruppe]], die sogenannte Fundamentalgruppe.
Das [[Neutrales Element|neutrale Element]] ist die Klasse der Schleifen, die sich auf den Basispunkt zusammenziehen lassen. Das [[Inverses Element|inverse Element]] zu einer Klasse von Schleifen erhält man, indem man diese rückwärts durchläuft.

== Mathematische Definition ==

Sei <math>X</math> ein [[topologischer Raum]] und <math>p\in X</math> ein Basispunkt in <math>X</math>.
Eine Schleife ist eine stetige Abbildung <math>\gamma: [0,1]\to X</math>, die <math>p</math> mit sich selbst verbindet, d.&nbsp;h. <math>\gamma(0)=\gamma(1)=p</math>.

Eine [[Homotopie]] <math>H</math> zwischen zwei ''Schleifen'' <math>\gamma_0</math> und <math>\gamma_1</math> ist eine stetige Familie von Schleifen, die beide Schleifen ''verbindet'', d.&nbsp;h.: <math>H: [0,1]\times[0,1] \to X</math> ist eine stetige Abbildung mit den Eigenschaften
* <math>H(0,t)=H(1,t)=p</math> <math>\forall t \in [0,1]</math>
* <math>H(s,0)=\gamma_0(s)</math> und <math>H(s,1)=\gamma_1(s)</math>

Der erste Parameter <math>s</math> von <math>H(s,t)</math> entspricht dem ursprünglichen Schleifenparameter. Der zweite Parameter <math>t</math> beschreibt den Fortschritt der Schleifenverformung (<math>t=0</math> entspricht <math>\gamma_0</math> und <math>t=1</math> entspricht <math>\gamma_1</math>).

Zwei Schleifen heißen ''homotop'', wenn es eine Homotopie <math>H</math> zwischen ihnen gibt. Die Homotopie zwischen Schleifen definiert eine [[Äquivalenzrelation]] und die [[Äquivalenzklasse]]n bezeichnet man als ''Homotopieklassen''. Die Menge der Homotopieklassen bildet die ''Fundamentalgruppe'' <math>\pi_1(X,p)</math> von <math>X</math> mit dem Basispunkt <math>p</math>.

Die ''Gruppenstruktur'' erhält man durch die oben angegebene Verknüpfung, also durch Aneinanderhängen (Konkatenation) von Schleifen:

:<math>[\gamma_0]+[\gamma_1] := [\gamma_0\oplus\gamma_1]</math>
mit
:<math>(\gamma_0\oplus\gamma_1)(t)=\begin{cases}
\gamma_0(2\cdot t), &\text{für } 0\leq t\leq \frac12\\
\gamma_1(2\cdot t-1), &\text{für } \frac12\leq t\leq1\\
\end{cases}</math>.

Da man aus Homotopien zwischen verschiedenen Repräsentanten auch eine Homotopie zwischen den verknüpften Schleifen konstruieren kann, ist die resultierende Homotopieklasse unabhängig von der Wahl der jeweiligen Repräsentanten.

Das neutrale Element der Fundamentalgruppe <math>\pi_1(X,p)</math> ist die Homotopieklasse <math>[\epsilon]</math> der konstanten Schleife <math>\epsilon(t)=p</math> und das inverse Element der Homotopieklasse <math>[\gamma]</math> ist die Homotopieklasse <math>[\bar\gamma]</math> der Schleife <math>\bar\gamma(t)=\gamma(1-t)</math>, die die Schleife <math>\gamma</math> rückwärts durchläuft. Geschlossene Kurven, welche zur Homotopieklasse der konstanten Abbildung gehören, also das neutrale Element der Fundamentalgruppe repräsentieren, werden auch als ''zusammenziehbare'' oder ''nullhomotope'' Kurven bezeichnet.

=== Unabhängigkeit vom Basispunkt ===
Da alle Schleifen am Basispunkt <math>p</math> beginnen, misst die Fundamentalgruppe <math>\pi_1(X,p)</math> nur Eigenschaften der Wegzusammenhangskomponente von <math>p</math>. Daher ist es sinnvoll, anzunehmen, dass <math>X</math> [[wegzusammenhängend]] ist. Dann ist jedoch auch die Wahl des Basispunktes für die Fundamentalgruppe nicht wesentlich. Es gibt vielmehr einen [[Gruppenisomorphismus]] <math>\phi \colon \pi_1(X,p)\to\pi_1(X,q)</math>, wenn <math>p</math> und <math>q</math> durch eine Kurve
:<math>c \colon [0,1]\to X\qquad\text{mit }c(0)=p\text{ und } c(1)=q
</math>
verbunden sind. Dieser Gruppenisomorphismus ist definiert durch
:<math>\phi([\gamma]) = [(\bar{c}\oplus\gamma)\oplus c]</math>.

Während sich die Schleifen <math>(\bar{c}\oplus\gamma)\oplus c</math> und <math>\bar{c}\oplus(\gamma\oplus c)</math> unterscheiden, sind sie dennoch homotop und der Gruppenisomorphismus kann über beide Schleifen definiert werden.

Ist <math>X</math> also wegzusammenhängend, spricht man allgemein von <math>\pi_1(X)</math> und lässt den Basispunkt weg. Ist dagegen <math>X</math> nicht wegzusammenhängend, so kann die Fundamentalgruppe durchaus vom gewählten Basispunkt <math>p\in X</math> abhängen. Nach obigem Argument ist die Fundamentalgruppe <math>\pi_1(X,p)</math> dann aber nur abhängig von der Wegzusammenhangskomponente von <math>p</math>.

== Beispiele ==
* Auf einer [[Topologische Sphäre|Sphäre]] ab Dimension 2 lässt sich jede Schleife auf einen Punkt zusammenziehen. Daher ist die Fundamentalgruppe der Sphäre trivial, <math>\pi_1(S^n)=\{0\}</math> (für <math>n \geq 2</math>).
* Der oben beschriebene Torus besitzt die Fundamentalgruppe <math>\pi_1(T^2)=\mathbb{Z}^2</math>: Die beiden Schleifen <math>a</math> und <math>b</math> sind Erzeuger der Fundamentalgruppe. Sie ist in diesem Fall [[Abelsche Gruppe|abelsch]]: Die Schleife <math>aba^{-1}b^{-1}</math> lässt sich auf einen Punkt zusammenziehen (schneidet man den Torus entlang von <math>a</math> und <math>b</math> auf, so erhält man ein Viereck, dessen Randkurve genau <math>aba^{-1}b^{-1}</math> ist und sich im Innern des Vierecks zusammenziehen lässt). Deshalb gilt <math>aba^{-1}b^{-1}=1</math>, also <math>ab=ba</math>.
* Für einen <math>n</math>-dimensionalen Torus gilt <math>\pi_1(T^n)=\mathbb{Z}^n</math>.
* Die zweidimensionale Ebene mit einem Loch <math>\mathbb{R}^2\backslash \{0\}</math> hat die Fundamentalgruppe <math>\mathbb{Z}</math>, genauso wie die 1-[[Sphäre (Mathematik)|Sphäre]] (ein einfacher Kreis). Die Homotopieklasse einer Schleife ist dadurch festgelegt, wie oft die Schleife um das Loch herumläuft (z.&nbsp;B. im Uhrzeigersinn).
* Die zweidimensionale Ebene mit zwei Löchern hat als Fundamentalgruppe eine [[freie Gruppe]] in zwei Erzeugern, nämlich den beiden Schleifen, die einmal um eines der Löcher herumlaufen. Diese Gruppe ist nicht abelsch.
* Fundamentalgruppen müssen nicht [[Torsion (Algebra)|torsionsfrei]] sein: so sind die Fundamentalgruppen der reellen [[Projektive Geometrie|projektiven Ebene]] oder der [[Spezielle orthogonale Gruppe|Gruppe der Drehungen im Raum]], <math>\mathrm{SO}(3,\mathbb R)</math>, isomorph zu <math>\mathbb Z/2\mathbb Z</math>, der [[Zyklische Gruppe|zyklischen Gruppe]] der Ordnung 2.
* Man kann zeigen, dass es zu jeder Gruppe <math>G</math> einen so genannten ''klassifizierenden Raum'' <math>BG</math> gibt, dessen Fundamentalgruppe isomorph zu <math>G</math> ist.
* Die Fundamentalgruppe eines Knotenkomplements wird als [[Knotengruppe]] bezeichnet. Sie kann mit dem Wirtinger-Algorithmus berechnet werden.

== Eigenschaften und Anwendungen ==

=== Überlagerungen ===

Die Fundamentalgruppe spielt eine entscheidende Rolle bei der Klassifikation von [[Überlagerung (Topologie)|Überlagerungen]]. Für Räume, die eine universelle Überlagerung besitzen, ist die Fundamentalgruppe isomorph zur [[Decktransformation]]sgruppe der universellen Überlagerung. Dieser Isomorphismus ist eines der wichtigsten Hilfsmittel zur Berechnung der Fundamentalgruppe.

=== Satz von Seifert-van-Kampen ===
{{Hauptartikel|Satz von Seifert-van-Kampen}}

Ein wichtiges Hilfsmittel zur Berechnung der Fundamentalgruppe ist auch der Satz von Seifert-van-Kampen, der es erlaubt, den Raum <math>X</math> in sich überlappende Bereiche zu zerlegen und die Fundamentalgruppe von <math>X</math> aus den (einfacheren) Fundamentalgruppen der Bereiche und der Überlappung auszurechnen.

=== Folgerungen aus bestimmten Fundamentalgruppen ===

Die Kenntnis der Fundamentalgruppe erlaubt oft Rückschlüsse auf den topologischen Raum. Hat zum Beispiel eine [[Mannigfaltigkeit]] eine endliche Fundamentalgruppe, so kann sie keine Metrik tragen, die überall nichtpositive [[Krümmung]] hat.
Die einzige geschlossene Fläche mit trivialer Fundamentalgruppe ist die Sphäre. Die mittlerweile [[Grigori Perelman|bewiesene]] [[Poincaré-Vermutung]] besagt, dass eine analoge Aussage auch für dreidimensionale Mannigfaltigkeiten gilt.

=== Zusammenhang mit Homologie ===

Im allgemeinen Fall braucht die Fundamentalgruppe nicht (wie beim Torus) abelsch zu sein. Man kann sie aber abelsch „machen“, indem man die [[Kommutatorgruppe]] [[Faktorgruppe|herausteilt]]. Die Gruppe, die man dann erhält, ist für wegzusammenhängende Räume isomorph zur ersten [[Homologiegruppe]].

== Verallgemeinerungen ==

Die Fundamentalgruppe ist die ''erste'' [[Homotopiegruppe]], daher kommt auch die Bezeichnung <math>\pi_1</math>. Da die Definition eindimensionale Schleifen benutzt, kann die Fundamentalgruppe nur die ''eindimensionale topologische Struktur'' erkennen. Ein Loch in einer zweidimensionalen Fläche lässt sich durch Schleifen feststellen, ein Loch im dreidimensionalen Raum (etwa <math>\mathbb{R}^3\backslash \{0\}</math>) jedoch nicht: sie lassen sich daran vorbeiziehen.

Die Verallgemeinerung zur <math>n</math>-ten Homotopiegruppen <math>\pi_n</math> benutzt daher statt Schleifen Sphären der Dimension <math>n</math>.

Falls <math>\pi_1=\{0\}</math>, so besagt der [[Hurewicz-Theorem|Satz von Hurewicz]] (nach [[Witold Hurewicz]]), dass die erste nichttriviale ''Homotopie''gruppe mit der ersten nichttrivialen [[Singuläre Homologie|''Homologie''gruppe]] übereinstimmt.

Mit <math>\pi_0</math> bezeichnet man keine Gruppe, sondern nur die Menge der [[Zusammenhängender Raum#Wegzusammenhängend|Wegzusammenhangskomponenten]] von <math>X</math>. Da man eine Homotopie als Weg im [[Schleifenraum]] <math>\Omega(X,p)</math> verstehen kann, wird über
:<math>\pi_1(X,p) = \pi_0(\Omega(X,p))</math>
der Zusammenhang zwischen <math>\pi_0</math> und <math>\pi_1</math> hergestellt.

== Siehe auch ==
* [[Fundamentalgruppoid]]

== Literatur ==
* Tammo tom Dieck: ''Topologie'', de Gruyter, Berlin, 2000, ISBN 3-11-016236-9
* Allen Hatcher: ''Algebraic topology'', CUP, Cambridge, 2003, ISBN 0-521-79160-X (auch [https://pi.math.cornell.edu/~hatcher/AT/ATpage.html ''Algebraic Topology''])

== Einzelnachweise ==
<references />

{{Normdaten|TYP=s|GND=4155638-0}}

[[Kategorie:Algebraische Topologie]]
[[Kategorie:Topologische Invariante]]