Homotopie - LinkFang.de





Homotopie


Dieser Artikel behandelt den topologischen Begriff Homotopie. Für die daraus entstandene Begriffsbildung der homologischen Algebra siehe Homotopie (homologische Algebra). Zu homotopen Gruppen in der Chemie siehe Topizität.

In der Topologie ist eine Homotopie eine stetige Deformation zwischen zwei Abbildungen von einem topologischen Raum in einen anderen, beispielsweise die Deformation einer Kurve in eine andere Kurve.

Definition

Eine Homotopie zwischen zwei stetigen Abbildungen [math]f,\,g \colon X \to Y[/math] ist eine stetige Abbildung

[math]H: X \times {[0, 1]} \to Y[/math]

mit der Eigenschaft

[math]H(x,0)=f(x)[/math] und [math]H(x,1)=g(x)[/math]

wobei [math][0, 1][/math] das Einheitsintervall ist. Der erste Parameter entspricht also dem der ursprünglichen Abbildungen und der zweite gibt den Grad der Deformation an. Besonders anschaulich wird die Definition, wenn man sich den zweiten Parameter als „Zeit“ vorstellt (vgl. Bild).

Man sagt, [math]f[/math] sei homotop zu [math]g[/math] und schreibt [math]f \sim g[/math]. Homotopie ist eine Äquivalenzrelation auf der Menge der stetigen Abbildungen [math] X \to Y[/math], die zugehörigen Äquivalenzklassen heißen Homotopieklassen, die Menge dieser Klassen wird häufig mit [math][X,Y][/math] bezeichnet.

Eine stetige Abbildung [math]f \colon X\to Y[/math] heißt nullhomotop, wenn sie homotop zu einer konstanten Abbildung ist.

Beispiel

Sei [math]X=S^{1}\subset \mathbb R^2[/math] der Einheitskreis in der Ebene und [math]Y=\mathbb R^2[/math] die ganze Ebene. Die Abbildung [math]f[/math] sei die Einbettung von [math]X[/math] in [math]Y[/math], und [math]g[/math] sei die Abbildung, die ganz [math]X[/math] auf den Ursprung abbildet, also

[math]f(x)=x,\quad g(x)=0 [/math].

Dann sind [math]f[/math] und [math]g[/math] zueinander homotop. Denn

[math]H: X \times [ 0, 1] \to \mathbb R^2[/math] mit [math]H(x,t) = (1-t) \cdot f(x)[/math]

ist stetig und erfüllt [math]H(x,0)=1\cdot f(x)[/math] und [math]H(x,1)=0\cdot f(x)=0=g(x)[/math].

Relative Homotopie

Ist [math]E[/math] eine Teilmenge von [math]X[/math], und stimmen zwei stetige Abbildungen [math]f,g\colon X\to Y[/math] auf [math]E[/math] überein, so heißen [math]f[/math] und [math]g[/math] homotop relativ zu [math]E[/math], wenn es eine Homotopie [math]H\colon f\sim g[/math] gibt, für die [math]H(e,t)[/math] für jedes [math]e\in E[/math] unabhängig von [math]t[/math] ist.

Ein wichtiger Spezialfall ist die Homotopie von Wegen relativ der Endpunkte: Ein Weg ist eine stetige Abbildung [math]\gamma\colon [0,1]\to X[/math]; dabei ist [math][0,1][/math] das Einheitsintervall. Zwei Wege heißen homotop relativ der Endpunkte, wenn sie homotop relativ [math]\{0,1\}[/math] sind, d.h. wenn die Homotopie die Anfangs- und Endpunkte festhält. (Sonst wären Wege in der gleichen Wegzusammenhangskomponente immer homotop.) Sind also [math]\gamma_0[/math] und [math]\gamma_1[/math] zwei Wege in [math]Y[/math] mit [math]\gamma_0(0)=\gamma_1(0)=x[/math] und [math]\gamma_0(1)=\gamma_1(1)=y[/math], so ist eine Homotopie relativ der Endpunkte zwischen ihnen eine stetige Abbildung

[math]H:[0,1]\times [0,1]\to Y[/math]

mit [math]H(t,0)=\gamma_0(t)[/math], [math]H(t,1)=\gamma_1(t)[/math], [math]H(0,s)=x[/math] und [math]H(1,s)=y[/math].

Ein Weg heißt nullhomotop genau dann, wenn er homotop zum konstanten Weg [math]\gamma(t)=x_0[/math] ist.

Der andere häufig auftretende Fall ist die Homotopie von Abbildungen zwischen punktierten Räumen. Sind [math](X,x_0)[/math] und [math](Y,y_0)[/math] punktierte Räume, so sind zwei stetige Abbildungen [math]f,g\colon (X,x_0)\to(Y,y_0)[/math] homotop als Abbildungen von punktierten Räumen, wenn sie relativ [math]x_0[/math] homotop sind.

Beispiel: Die Fundamentalgruppe

Die Menge der Homotopieklassen von Abbildungen punktierter Räume von [math](S^1,*)[/math] nach [math](X,x_0)[/math] ist die Fundamentalgruppe von [math]X[/math] zum Basispunkt [math]x_0[/math].

Ist zum Beispiel [math](X,x_0)[/math] ein Kreis mit einem beliebigen ausgewählten Punkt [math]x_0[/math], dann ist der Weg, der durch einmaliges Umrunden des Kreises beschrieben wird, nicht homotop zum Weg, den man durch Stillstehen am Ausgangspunkt [math]x_0[/math] erhält.

Homotopieäquivalenz

Hauptartikel: Homotopieäquivalenz

Seien [math]X[/math] und [math]Y[/math] zwei topologische Räume und sind [math]f:X \to Y[/math] und [math]g:Y \to X[/math] stetige Abbildungen. Dann sind die Verknüpfungen [math]g\circ f[/math] und [math]f\circ g[/math] jeweils stetige Abbildungen von [math]X[/math] bzw. [math]Y[/math] auf sich selbst, und man kann versuchen, diese zur Identität auf X bzw. Y zu homotopieren.

Falls es solche [math]f[/math] und [math]g[/math] gibt, dass [math]g\circ f[/math] homotop zu [math]id_X[/math] und [math]f\circ g[/math] homotop zu [math]id_Y[/math] ist, so nennt man [math]X[/math] und [math]Y[/math] homotopieäquivalent oder vom gleichen Homotopietyp. Die Abbildungen [math]f[/math] und [math]g[/math] heißen dann Homotopieäquivalenzen.

Homotopieäquivalente Räume haben die meisten topologischen Eigenschaften gemeinsam. Falls [math]X[/math] und [math]Y[/math] homotopieäquivalent sind, so gilt

Isotopie

Definition

Wenn zwei gegebene homotope Abbildungen [math]f:X \to Y[/math] und [math]g:X \to Y[/math] zu einer bestimmten Regularitätsklasse gehören oder andere zusätzliche Eigenschaften besitzen, kann man sich fragen, ob die beiden innerhalb dieser Klasse durch einen Weg miteinander verbunden werden können. Dies führt zum Konzept der Isotopie. Eine Isotopie ist eine Homotopie

[math]H: X \times [0, 1] \to Y[/math]

wie oben, wobei alle Zwischenabbildungen [math]H_t := H(\cdot,t)[/math] (für festes t) ebenfalls die geforderten Zusatzeigenschaften besitzen sollen.

Beispiele

Zwei Homöomorphismen sind also isotop, wenn eine Homotopie existiert, so dass alle [math]H_t[/math] Homöomorphismen sind. Zwei Diffeomorphismen sind isotop, wenn alle [math]H_t[/math] selbst Diffeomorphismen sind. (Man bezeichnet sie dann auch als diffeotop.) Zwei Einbettungen sind isotop, wenn alle [math]H_t[/math] Einbettungen sind.

Unterschied zur Homotopie

Zu verlangen, dass zwei Abbildungen isotop sind, kann tatsächlich eine stärkere Anforderung sein, als zu verlangen, dass sie homotop sind. Zum Beispiel ist der Homöomorphismus der Einheitskreisscheibe in [math]\R^2[/math], der durch f(x,y) = (−x, −y) definiert ist, dasselbe wie eine 180-Grad-Drehung um den Nullpunkt, darum sind die Identitätsabbildung und f isotop, denn sie können durch Drehungen miteinander verbunden werden. Im Gegensatz dazu ist die Abbildung auf dem Intervall [−1,1] in [math]\R[/math], definiert durch f(x) = −x nicht isotop zur Identität. Das liegt daran, dass jede Homotopie der beiden Abbildungen zu einem bestimmten Zeitpunkt die beiden Endpunkte miteinander vertauschen muss; zu diesem Zeitpunkt werden sie auf denselben Punkt abgebildet und die entsprechende Abbildung ist kein Homöomorphismus. Hingegen ist f homotop zur Identität, zum Beispiel durch die Homotopie H: [−1,1] × [0,1] → [−1,1], gegeben durch H(x,t) = 2tx-x.

Anwendungen

In der Geometrischen Topologie werden Isotopien benutzt, um Äquivalenzrelationen herzustellen.

Zum Beispiel in der Knotentheorie – wann sind zwei Knoten [math]K_1[/math] und [math]K_2[/math] als gleich zu betrachten? Die intuitive Idee, den einen Knoten in den anderen zu deformieren, führt dazu, dass man einen Weg von Homöomorphismen verlangt: Eine Isotopie, die mit der Identität des dreidimensionalen Raumes beginnt und bei einem Homöomorphismus h endet, so dass h den Knoten [math]K_1[/math] in den Knoten [math]K_2[/math] überführt. Eine solche Isotopie des umgebenden Raumes wird ambiente Isotopie[1] oder Umgebungsisotopie genannt.

Eine andere wichtige Anwendung ist die Definition der Abbildungsklassengruppe Mod(M) einer Mannigfaltigkeit M. Man betrachtet Diffeomorphismen von M „bis auf Isotopie“, das heißt, dass Mod(M) die (diskrete) Gruppe der Diffeomorphismen von M ist, modulo der Gruppe der Diffeomorphismen, die isotop zur Identität sind.

Homotopie kann in der numerischen Mathematik für eine robuste Initialisierung zur Lösung von differential-algebraischen Gleichungen eingesetzt werden (siehe Homotopieverfahren).

Kettenhomotopie

Zwei Kettenhomomorphismen

[math] f_\bullet, g_\bullet \colon (A_\bullet, d_{A,\bullet}) \to (B_\bullet, d_{B,\bullet})[/math]

zwischen Kettenkomplexen [math](A_\bullet, d_{A,\bullet})[/math] und [math](B_\bullet, d_{B,\bullet})[/math] heißen kettenhomotop, wenn es einen Homomorphismus

[math]K_\bullet \colon (A_\bullet) \to (B_{\bullet+1})[/math]

mit

[math] d_{B,{\bullet+1}}K_\bullet + K_{\bullet-1}d_{A,{\bullet}} = f_\bullet - g_\bullet[/math]

gibt.

Wenn [math]f,g \colon X\to Y[/math] homotope Abbildungen zwischen topologischen Räumen sind, dann sind die induzierten Abbildungen der singulären Kettenkomplexe

[math]f_\bullet, g_\bullet \colon (C_\bullet(X),d_\bullet)\to (C_\bullet(Y),d_\bullet)[/math]

kettenhomotop.

Punktierte Homotopie

Zwei punktierte Abbildungen

[math]f,g\colon (X,x_0)\to(Y,y_0)[/math]

heißen homotop, wenn es eine stetige Abbildung [math]H\colon X\times\left[0,1\right]\to Y[/math] mit

[math]H(x,0)=f(x), H(x,1)=g(x)\ \forall x\in X[/math]
[math]H(x_0,t)=y_0\ \forall t\in\left[0,1\right][/math]

gibt. Die Menge der Homotopieklassen punktierter Abbildungen wird mit [math]\left[X,Y\right][/math] bezeichnet.

Literatur

  • Brayton Gray: Homotopy theory. An introduction to algebraic topology. Academic Press, New York u. a. 1975, ISBN 0-12-296050-5 (Pure and Applied Mathematics 64).
  • Allen Hatcher: Algebraic Topology . Cambridge University Press, Cambridge 2002, ISBN 0-521-79540-0.
  • John McCleary (Hrsg.): Higher Homotopy Structures in Topology and Mathematical Physics. Proceedings of an international Conference, June 13 – 15, 1996 at Vassar College, Poughkeepsie, New York, to Honor the sixtieth Birthday of Jim Stasheff. American Mathematical Society, Providence RI 1999, ISBN 0-8218-0913-X (Contemporary Mathematics 227).
  • George W. Whitehead: Elements of Homotopy Theory. Corrected 3rd Printing. Springer, New York NY u. a. 1995, ISBN 0-387-90336-4 (Graduate Texts in Mathematics 61).
  • M. Sielemann, F. Casella, M. Otter, C. Claus, J. Eborn, S. E. Mattsson, H. Olsson: Robust Initialization of Differential-Algebraic Equations Using Homotopy. International Modelica Conference, Dresden 2011, ISBN 978-91-7393-096-3.

Einzelnachweise

  1. Tammo tom Dieck: Topologie. 2. Auflage. de Gruyter, Berlin 2000, ISBN 3-11-016236-9, S. 277.

Kategorien: Algebraische Topologie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Homotopie (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.