Kreise, Intervalle und Homotopien.

Letzte Woche hatten wir begonnen Abbildungen f:S²–>S² der Sphäre S² auf sich zu diskutieren.

================>

Wann lassen sich zwei Abbildungen der 2-Sphäre stetig ineinander deformieren? (Formal: wann sind sie homotop?)

Die Antwort wird sein: genau dann, wenn sie denselben Abbildungsgrad haben.
Den Abbildungsgrad hatten wir letzte Woche für (differenzierbare) Abbildungen so definiert: man nimmt einen der (regulären) Bildpunkte und zählt die Anzahl p bzw. n der Urbilder, in denen das Differential orientierungserhaltend bzw. orientierungsumdrehend ist. Den Abbildungsgrad definiert man dann als deg(f)=p-n.
(Man muß natürlich noch begründen, daß diese Definition nicht von der Wahl des regulären Wertes abhängt. Das ergibt sich nachher unten aus der Homotopie-Invarianz.)

Beispiele: Jede konstante Abbildung hat Abbildungsgrad 0, jede Drehung (insbesondere die Identitätsabbildung) hat Abbildungsgrad 1, die oben veranschaulichte, in Kugelkoordinaten durch f(r,φ,θ)=(r,2φ,θ) gegebene Abbildung hat Abbildungsgrad 2.

Homotopien

Warum haben homotope Abbildungen denselben Abbildungsgrad?

Die formale Definition von “Homotopie zwischen zwei Abbildungen f,g:S²–>S²” ist ja, daß es eine Abbildung H:S²x[0,1]—>S² gibt mit H(x,0)=f(x), H(x,1)=g(x) für alle x aus S².

Das Bild zeigt eine Homotopie H:[0,1]x[0,1]–>R² zwischen zwei Abbildungen f,g:[0,1]–>R²

Man kann wieder annehmen, daß H differenzierbar ist. Man nehme sich einen regulären Wert y von H, dann ist das Urbild H^-1(y) eine 1-dimensionale Mannigfaltigkeit. (Allgemein: wenn H:M^n+k—>Nⁿ eine Abbildung einer n+k-dimensionalen auf eine n-dimensionale Mannigfaltigkeit ist, dann sind die Urbilder regulärer Werte k-dimensionale Mannigfaltigkeiten. Das folgt letztlich aus dem Satz von der impliziten Funktion.)
Die 1-dimensionalen Mannigfaltigkeiten kann man klassifizieren (unten im letzten Abschnitt): jede kompakte 1-dimensionale Mannigfaltigkeit ist eine Vereinigung von Kreisen und Intervallen.
Die 1-dimensionale Untermannigfaltigkeit H^-1(y) liegt in S²x[0,1], das folgende Bild ist eine Dimension tiefer, also in S¹x[0,1].

Das 3-dimensionale Bild für S²x[0,1] ist nicht wirklich anschaulicher:

Nach Definition der Homotopie H sind f bzw. g die Einschränkungen von H auf Mx{0} bzw. Mx{1}. Man berechnet die Abbildungsgrade von f bzw. g indem man sich die jeweiligen Urbilder von y anschaut, also die Durchschnitte der 1-Mannigfaltigkeit H^-1(y) mit Mx{0} bzw. Mx{1}.
Dieser Durchschnitt besteht aus den Randpunkten der Intervalle in H^-1(y), denn die Kreise können den Rand nicht berühren. Für ein Intervall gibt es folgende Möglichkeiten: entweder die Randpunkte liegen beide in Mx{0} (oder beide in Mx{1}), dann sind die beiden Randpunkte aber entgegengesetzt orientiert, annulieren sich also und tragen zur Berechnung des Abbildungsgrades nichts bei. Bleibt die Möglichkeit: das Intervall verbindet Mx{0} mit Mx{1}. Dann tragen die beiden Randpunkte aber gleichermaßen zu deg(f) und deg(g) bei. Weil dies für jedes Intervall in H^-1(y) gilt, muß also deg(f)=deg(g) für die homotopen Abbildungen f,g sein.

Das beweist die Homotopie-Invarianz des Abbildungsgrades und mit einem ähnlichen Argument bekommt man auch, daß deg(f) nicht vom regulären Wert y abhängt: wenn z ein anderer regulärer Wert in S² ist, dann betrachtet man einfach eine Drehung der Sphäre, die y nach z dreht, diese Drehung ist homotop zur Identität und dann liefert dasselbe Homotopie-Argument wie oben, daß der Abbildungsgrad bzgl. y derselbe ist wie bzgl. z.

Homotope Abbildungen haben also denselben Abbildungsgrad und ein Satz von Hopf gibt für Abbildungen zwischen Sphären (gleicher Dimension) auch die Umkehrung, insbesondere sind also Abbildungen f,g:S²—>S² homotop genau dann, wenn sie den gleichen Abbildungsgrad haben. (Man kann dies als Spezialfall der sehr viel allgemeineren Pontrjagin-Thom-Konstruktion ansehen.)

1-dimensionale Mannigfaltigkeiten

Noch der Beweis der oben benutzten Klassifikation von 1-Mannigfaltigkeiten.

Satz: Jede kompakte, zusammenhängende (Hausdorffsche)1-Mannigfaltigkeit M ist homöomorph zum Kreis oder zum abgeschlossenen Intervall.
Beweis: Man sieht leicht, daß jede offene, zusammenhängende Teilmenge des R¹ ein offenes Intervall (a,b) ist (evtl. Endpunkte in unendlich) und daß alle offenen Intervalle zueinander homöomorph sind. Deshalb ist für eine 1-Mannigfaltigkeit M jede Karte von der Form φ : U → (a, b) (bzw. mit Bild in [a, b) oder (a, b] für Randpunkte). Sei ψ: V → R¹ eine zweite Karte (und V nicht in U enthalten), dann muß φ(U ∩ V ) = (a, x) ∪ (y, b) (evtl. a = x oder b = y) sein (bzw. (halb-)abgeschlossene Intervalle für Randpunkte). Begründung: wenn es in φ(U ∩ V ) ein Intervall der Form (x, y) mit a < x < y < b gäbe, dann wäre x oder y im Inneren von ψ(U ∩ V ), o.B.d.A. x. Dann gäbe es aber einen Punkt in V (nämlich den Grenzwert der Folge φ^-1(x_k) in V für irgendeine in φ(U ∩ V) gegen x konvergierende Folge), bei dem keine Umgebung zu einer Umgebung von φ^-1(x) disjunkt ist, was der Hausdorff-Bedingung widerspricht.
Falls φ(U ∩ V ) = (a, x) oder φ(U ∩ V ) = (b, y), sieht man, dass es einen Diffeomorphismus U ∪ V → R¹ gibt, man kann die beiden Karten also zu einer zusammenfassen.
Falls φ(U ∩ V ) = (a, x) ∪ (b, y), sieht man, dass es einen Diffeomoerphismus U ∪ V → S¹ gibt. Jede weitere Karte muss dann in U ∪ V enthalten sein, weil man sonst wie oben einen Widerspruch zur Hausdorff-Bedingung bekäme.
Weil M kompakt ist, gibt es einen endlichen Atlas. Entweder ist M = S¹ oder wir erhalten durch sukzessives Anwenden der obigen Reduktion schlussendlich, daß es nur eine Karte gibt. In diesem Fall ist M homöomorph zum abgeschlossenen Intervall.

Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6, Teil 7 , Teil 8, Teil 9 , Teil 10 ,Teil 11, Teil 12, Teil 13, Teil 14, Teil 15, Teil 16, Teil 17, Teil 18, Teil 19, Teil 20, Teil 21, Teil 22, Teil 23, Teil 24, Teil 25, Teil 26, Teil 27, Teil 28, Teil 29, Teil 30, Teil 31, Teil 32, Teil 33, Teil 34, Teil 35, Teil 36, Teil 37, Teil 38, Teil 39, Teil 40, Teil 41, Teil 42, Teil 43, Teil 44, Teil 45, Teil 46, Teil 47, Teil 48, Teil 49, Teil 50, Teil 51, Teil 52, Teil 53, Teil 54, Teil 55, Teil 56, Teil 57, Teil 58, Teil 59, Teil 60, Teil 61, Teil 62, Teil 63, Teil 64, Teil 65, Teil 66, Teil 67, Teil 68, Teil 69, Teil 70, Teil 71, Teil 72, Teil 73, Teil 74, Teil 75, Teil 76, Teil 77, Teil 78, Teil 79, Teil 80, Teil 81, Teil 82, Teil 83, Teil 84, Teil 85, Teil 86, Teil 87, Teil 88, Teil 89, Teil 90, Teil 91, Teil 92, Teil 93, Teil 94, Teil 95, Teil 96, Teil 97, Teil 98, Teil 99, Teil 100, Teil 101, Teil 102, Teil 103, Teil 104, Teil 105, Teil 106, Teil 107, Teil 108, Teil 109, Teil 110, Teil 111, Teil 112, Teil 113, Teil 114, Teil 115, Teil 116, Teil 117, Teil 118, Teil 119, Teil 120, Teil 121, Teil 122, Teil 123, Teil 124, Teil 125, Teil 126, Teil 127, Teil 128, Teil 129, Teil 130, Teil 131, Teil 132, Teil 133, Teil 134, Teil 135, Teil 136, Teil 137, Teil 138, Teil 139, Teil 140, Teil 141, Teil 142, Teil 143, Teil 144, Teil 145, Teil 146, Teil 147, Teil 148, Teil 149, Teil 150, Teil 151, Teil 152, Teil 153, Teil 154, Teil 155, Teil 156, Teil 157, Teil 158, Teil 159, Teil 160, Teil 161, Teil 162, Teil 163, Teil 164, Teil 165, Teil 166, Teil 167, Teil 168, Teil 169, Teil 170, Teil 171, Teil 172, Teil 173, Teil 174, Teil 175, Teil 176, Teil 177, Teil 178, Teil 179, Teil 180, Teil 181, Teil 182, Teil 183, Teil 184, Teil 185, Teil 186, Teil 187, Teil 188, Teil 189