imported>Fan-vom-Wiki: /* Motivation */ Tippfehler

2023-02-26T22:15:38Z

Motivation: Tippfehler

Neue Seite

In der [[Differentialtopologie]] bezeichnet '''Transversalität''' einen Begriff, der die gegenseitige Lage zweier [[Untermannigfaltigkeit]]en beschreibt. Transversalität beschreibt in gewissem Sinne das Gegenteil von Tangentialität und stellt den „Normalfall“ (siehe [[#Stabilität|Stabilität]] und [[Transversalitätssatz]]) dar.

== Definition ==
Seien <math>X</math> und <math>Y</math> [[differenzierbare Mannigfaltigkeit]]en, mit <math>T_xY</math> wird der [[Tangentialraum]] am Punkt <math>x \in Y</math> und mit <math>d</math> das [[Totales Differential|totale Differential]] bezeichnet.
* Sei weiterhin <math>f \colon X \rightarrow Y</math> eine differenzierbare Abbildung und <math>Z \subseteq Y</math> eine [[Untermannigfaltigkeit]]. Die '''Abbildung''' <math>f</math> heißt '''transversal''' zu <math>Z</math>, falls gilt:
:<math>T_{f(x)}Y = T_{f(x)}Z + d_{x}f(T_{x}X) \quad \forall \, x \in f^{-1}(Z)</math>
* Seien <math>W, Z \subseteq Y</math> Untermannigfaltigkeiten. Die '''Untermannigfaltigkeit''' <math>W</math> heißt '''transversal''' zu <math>Z</math>, falls gilt:
:<math>T_{x}Y = T_{x}Z + T_{x}W \quad \forall \, x \in W \cap Z</math>.
:Dies ist äquivalent dazu, dass die natürliche [[Inklusionsabbildung]] <math>i \colon W \hookrightarrow Y</math> transversal ist zu <math>Z</math>.

== Bemerkungen ==
* Die Summe der Vektorräume ist im Allgemeinen keine direkte Summe.
* Transversalität von Untermannigfaltigkeiten ist eine symmetrische Relation: <math>X \mbox{ transversal zu } Z \Longleftrightarrow Z \mbox{ transversal zu } X</math>, man sagt deshalb auch „<math>X</math> und <math>Z</math> schneiden sich transversal“.
* Zwei disjunkte Untermannigfaltigkeiten schneiden sich immer transversal.

== Beispiele ==
* <math>f\colon \mathbb{R} \rightarrow \mathbb{R}^2, \; t \mapsto (t, t^2 + \varepsilon)</math> ist transversal zu <math>\mathbb{R}\times\left\{0\right\} \subset \mathbb{R}^2</math> genau dann, wenn <math>\varepsilon \neq 0</math>:
**<math>\varepsilon = 0</math>: Im einzigen Schnittpunkt <math>(0,0)</math> stimmen die Tangentialräume überein, ihre Summe ergibt nicht den ganzen Tangentialraum von <math>\mathbb{R}^2</math>.
**<math>\varepsilon > 0</math>: Kein Schnittpunkt, also transversal.
**<math>\varepsilon < 0</math>: In den (beiden) Schnittpunkten ergibt die Summe der Tangentialräume der Untermannigfaltigkeiten den ganzen Tangentialraum.
* Zwei Geraden in <math>\mathbb{R}^2</math> schneiden sich genau dann transversal, wenn sie nicht identisch sind.
* Zwei Geraden in <math>\mathbb{R}^3</math> schneiden sich genau dann transversal, wenn sie sich nicht schneiden.
* <math>\mathbb{R}^k \times \left\{0\right\}</math> und <math> \left\{0\right\} \times \mathbb{R}^l </math> in <math>\mathbb{R}^n</math> schneiden sich genau dann transversal, wenn <math>k+l\geq n</math>.

== Motivation ==
Die ursprüngliche Motivation für die Definition der Transversalität liegt in der Frage, wann das Urbild einer Untermannigfaltigkeit <math>Z \subseteq Y</math> unter einer differenzierbaren Abbildungen <math>f \colon X \rightarrow Y</math> wieder eine Untermannigfaltigkeit (von <math>X</math>) ist. Dies ist der Fall, wenn <math>f</math> transversal ist zu <math>Z</math>.

Um dies zu zeigen, schreibt man <math>Z</math> lokal als Niveaumenge einer differenzierbaren Abbildung <math>g \colon V \rightarrow \mathbb{R}^l, \; V \subseteq Y \mbox{ offen}</math>, also <math>Z \cap V = g^{-1}(0)</math>.
Die zu erfüllende Bedingung lautet nun: <math>0</math> ist [[regulärer Wert]] von <math>g \circ f \colon X \rightarrow \mathbb{R}^l</math>, das heißt, die Tangentialabbildung <math>d_{x}(g \circ f) \colon T_{x}X \rightarrow \mathbb{R}^l</math> ist surjektiv für alle <math>x \in (g \circ f)^{-1}(0)</math>. Durch elementare Umformungen zeigt man, dass diese Bedingung äquivalent ist zu
<math>T_{f(x)}Y = T_{f(x)}Z + d_{x}f(T_{x}X) \quad \forall \, x \in f^{-1}(Z)</math>, was der Definition der Transversalität entspricht.

Die Umkehrung obiger Aussage trifft nicht zu. Dies sieht man wie folgt: Sei <math>Y=S^2</math>, <math>X=S^1</math> und seien <math>f_i \colon X \to Y</math> Einbettungen der <math>S^1</math> in Form geschlossener Kurven, die sich an einer Stelle tangential treffen (figure-eight). Fasse <math>\operatorname{Im}f_1 =: Z</math> als eingebettete Untermannigfaltigkeit auf. Dann ist <math>f_2^{-1}(Z) = f_2^{-1}(\{*\}) = \{*\}</math>, da <math>f_2</math> Einbettung.

== Stabilität ==
Eine Eigenschaft einer differenzierbarer Abbildungen <math>X \rightarrow Y</math> heißt ''stabil'', wenn für
jede differenzierbare Homotopie <math>F \colon X \times [0,1] \rightarrow Y</math> gilt: Hat <math>x \mapsto F(x, 0)</math>
diese Eigenschaft, dann existiert ein <math>\varepsilon > 0</math> derart, dass <math>x \mapsto F(x, t)</math>
diese Eigenschaft für alle <math>t \in [0,\varepsilon)</math> auch besitzt.

Der [[Stabilitätssatz]] besagt, dass für differenzierbare Abbildungen <math>X \rightarrow Y</math> die Transversalität zu einer abgeschlossenen Untermannigfaltigkeit <math>Z \subseteq Y</math> eine stabile Eigenschaft ist, falls <math>X</math> [[kompakter Raum|kompakt]] ist.

== Weitere Sätze ==
Weitere wichtige Sätze in diesem Kontext sind der [[Transversalitätssatz]] und der [[Transversalit%C3%A4tssatz#Relative_Version_und_Homotopietransversalit.C3.A4tssatz|Homotopietransversalitätssatz]]. Sie besagen im Wesentlichen, dass zu jeder differenzierbaren Abbildungen eine homotope Abbildung existiert, welche zu einer vorgegebenen Untermannigfaltigkeit transversal ist und dass transversale Homotopien aus Familien von Abbildungen bestehen, welche für [[fast alle]] Parameterwerte transversal sind. Diese Sätze ermöglichen die allgemeine Definition von [[Schnittzahl]]en mit Hilfe von Homotopie, da sich diese nur für transversale Schnitte direkt definieren lassen.

== Generizität ==
Eine Eigenschaft von Funktionen heißt [[Generische Eigenschaft|generisch]], wenn die Menge der Funktionen mit dieser Eigenschaft offen und dicht im Raum aller Funktionen ist.

Transversalität (zu einer gegebenen Untermannigfaltigkeit <math>Z\subset Y</math>) ist eine generische Eigenschaft differenzierbarer Abbildungen <math>X\rightarrow Y</math>: Aus der [[#Stabilität|Stabilität]] folgt die Offenheit und aus dem [[Transversalitätssatz]] die Dichtheit der transversalen Abbildungen im Raum aller differenzierbaren Abbildungen.

== Philosophie ==
In der Philosophie wird der Begriff der Transversalität von [[Wolfgang Welsch (Philosoph)|Wolfgang Welsch]] aufgegriffen.<ref>W. Welsch: Vernunft. Die zeitgenössische Vernunftkritik und das Konzept der transversalen Vernunft. Frankfurt a. M. 1995.</ref>

== Einzelnachweise ==
<references />

== Literatur ==
* [[Victor Guillemin]], Alan Pollack: ''Differential topology.'' Prentice-Hall, Englewood Cliffs NJ 1974, ISBN 0-13-212605-2.
* Theodor Bröcker, Tammo tom Dieck: Kobordismentheorie, Lecture Notes in Mathematics 178, Springer Verlag (1970).

{{SORTIERUNG:Transversalitat}}
[[Kategorie:Differentialtopologie]]

Transversalität - Versionsgeschichte

imported>Fan-vom-Wiki: /* Motivation */ Tippfehler