Transversalitätssatz

Der Transversalitätssatz ist ein auf René Thom zurückgehender Satz der Differentialtopologie, der die Grundlage für zahlreiche topologische Konstruktionen wie zum Beispiel die Pontrjagin-Thom-Konstruktion, die Kobordismustheorie, Chirurgietheorie sowie die Definition von Schnittzahlen und Verschlingungszahlen bildet.

Satz

Sei $f:M\to N$ eine differenzierbare Abbildung zwischen differenzierbaren Mannigfaltigkeiten und $U$ eine Untermannigfaltigkeit von $N$. Dann gibt es zu jeder strikt positiven Funktion $\delta :M\to ℝ$ (und jeder Metrik auf $N$) eine $\delta$-Approximation von $f$, die transversal zu $U$ ist.

Erläuterungen: Eine differenzierbare Abbildung $g:M\to N$ ist transversal zur Untermannigfaltigkeit $U$, wenn

$T_{g(x)}N=T_{g(x)}U+d_{x}g(T_{x}M)\mathrm{\forall }x\in g^{-1}(U)$

gilt. (Insbesondere auch wenn $g^{-1}(U)=\mathrm{\varnothing }$.) Eine Abbildung $g:M\to N$ ist eine δ-Approximation von $f:M\to N$ falls

$d(f(x),g(x))<\delta (x)\mathrm{\forall }x\in M,$

gilt. Für hinreichend kleine $\delta >0$ ist jede δ-Approximation homotop zu $f$. Insbesondere folgt aus dem Transversalitätssatz also die Existenz einer zu $f$ homotopen Abbildung, die transversal zu $U$ ist. Zu jedem $ϵ:M\to ℝ$ gibt es ein $\delta :M\to ℝ$, so dass es zu jeder δ-Approximation $g$ von $f$ eine Homotopie $H:M\times [0,1]\to N$ zwischen $f$ und $g$ gibt, bei der für jedes $t\in [0,1]$ die Abbildung $H(.,t)$ eine ε-Approximation von $f$ ist.

Beispiele

• $f:ℝ\to {ℝ}^2,t\mapsto (t,t^2)$ ist nicht transversal zur x-Achse, jedoch ist für jedes $ϵ>0$ die Abbildung $g:ℝ\to {ℝ}^2,t\mapsto (t,t^2+ϵ)$ transversal zur x-Achse.
• Falls $\dim (M)+\dim (U)<\dim (N)$, dann folgt aus dem Transversalitätssatz, dass es zu jeder Abbildung $f:M\to N$ eine δ-Approximation gibt, deren Bild disjunkt zu $U$ ist.

Relative Version und Homotopietransversalitätssatz

Sei $f:M\to N$ eine differenzierbare Abbildung zwischen differenzierbaren Mannigfaltigkeiten und $U$ eine Untermannigfaltigkeit von $N$. Sei $A$ eine Untermannigfaltigkeit von $M$ und die Einschränkung $f{\mid }_A$ sei transversal zu $U$. Dann gibt es zu jeder strikt positiven Funktion $\delta :M\to ℝ$ (und jeder Metrik auf $N$) eine $\delta$-Approximation von $f$, die transversal zu $U$ ist und auf $A$ mit $f$ übereinstimmt.

Als einen Spezialfall erhält man den Homotopietransversalitätssatz:

Seien $M,N$ differenzierbare Mannigfaltigkeiten und $U$ eine Untermannigfaltigkeit von $N$. Sei $F:M\times [0,1]\to N$ eine differenzierbare Abbildung, für die $f_0:=F(.,0):M\to N$ und $f_1:=F(.,1):M\to N$ transversal zu $U$ sind. Dann gibt es eine Abbildung $G:M\times [0,1]\to N$, die transversal zu $U$ ist und auf $M\times \left\{0\right\}$ bzw. $M\times \left\{1\right\}$ mit $f_0$ bzw. $f_1$ übereinstimmt.

In Worten: wenn zwei transversale Abbildungen homotop sind, dann gibt es auch eine transversale Homotopie.