Satz von Baer-Epstein
# Satz von Baer-Epstein

In der Mathematik ist der Satz von Baer-Epstein ein grundlegender Satz in der Topologie von Flächen. Er besagt, dass homotope Kurven auf Flächen sogar isotop sind, und dass homotope Homöomorphismen von Flächen stets isotop sind. Er ist nach Reinhold Baer und David Epstein benannt.

## Kurven auf Flächen

Eine einfache geschlossene Kurve auf einer Fläche $F$ ist eine Einbettung $i\colon S^{1}\to F$. Zwei Kurven

    $i_{0},i_{1}\colon S^{1}\to F$

heißen homotop, wenn es eine stetige Abbildung

    $H\colon S^{1}\times \left[0,1\right]\to F$

mit $H(x,0)=i_{0}(x),H(x,1)=i_{1}(x)\ \forall \ x\in S^{1}$ gibt. Zwei einfache geschlossene Kurven $i_{0},i_{1}$ heißen isotop, wenn es eine Homotopie gibt, bei der für alle $t\in \left[0,1\right]$ die Kurve

    $i_{t}(.)=H(.,t)\colon S^{1}\to F$

eine einfache geschlossene Kurve (also eine Einbettung) ist.

Baer bewies 1928, dass auf einer geschlossenen, orientierbaren Fläche zwei homotope einfache geschlossene Kurven auch isotop sein müssen. Dieser Satz wurde von Epstein 1966 auf nichtkompakte Flächen mit nichtleerem Rand verallgemeinert, die allgemeinstmögliche Formulierung ist die folgende.

Satz: Sei $F$ eine beliebige Fläche, seien

    $i_{0},i_{1}\colon S^{1}\to F$

zwei basispunkterhaltende homotope Einbettungen, wobei $i_{0}$ weder eine eingebettete Kreisscheibe noch ein eingebettetes Möbiusband in $F$ berande. Dann gibt es eine basispunkterhaltende Isotopie mit kompaktem Träger zwischen $i_{0}$ und $i_{1}$.

## Homöomorphismen von Flächen

Ein Homöomorphismus ist eine stetige Bijektion mit stetiger Umkehrabbildung. Zwei Abbildungen

    $H_{0},H_{1}\colon F\to F$

heißen homotop, wenn es eine stetige Abbildung

    $H\colon F\times \left[0,1\right]\to F$

mit $H(x,0)=H_{0}(x),H(x,1)=H_{1}(x)\ \forall \ x\in F$ gibt.

Zwei Homöomorphismen $H_{0},H_{1}$ heißen isotop, wenn es eine Homotopie gibt, bei der für alle $t\in \left[0,1\right]$ die Abbildung

    $H_{t}(.)=H(.,t)\colon F\to F$

ein Homöomorphismus ist.

Baer und Epstein benutzten ihre Resultate über Kurven auf Flächen, um die folgende Äquivalenz von Homotopie und Isotopie für Homöomorphismen von Flächen zu beweisen.

Satz: Sei $F$ eine Fläche mit kompaktem Rand, seien

    $H_{0},H_{1}\colon F\to F$

zwei homotope Homöomorphismen. (Falls $F$ die offene oder abgeschlossene Kreisscheibe oder der offene oder abgeschlossene Kreisring ist, setze zusätzlich voraus, dass $H_{0}$ und $H_{1}$ entweder beide orientierungserhaltend oder beide nicht orientierungserhaltend sind.) Dann sind $H_{0}$ und $H_{1}$ isotop.

