Differentialformen und Orientierung/Textabschnitt

Lemma

Es sei ${}M$ eine ${}m$-dimensionale differenzierbare Mannigfaltigkeit und ${}\omega$ eine stetige nullstellenfreie Volumenform auf ${}M$.

Dann gibt es einen (diffeomorph-äquivalenten) orientierten Atlas für ${}M$ derart, dass ${}\omega$ eine positive Volumenform bezüglich dieses Atlases wird.

Insbesondere ist ${}M$ orientierbar.

Beweis

Zu ${}P\in M$ betrachtet man Kartengebiete ${}P\in U$ mit der Eigenschaft, dass ${}U$ homöomorph zu einem offenen Ball ${}V\subseteq \mathbb {R} ^{m}$ ist. Es ist

${}\bigwedge ^{m}TU\cong \bigwedge ^{m}TV\cong V\times \bigwedge ^{m}\mathbb {R} ^{m}\cong V\times \mathbb {R} \,$

mittels ${}\bigwedge ^{m}T(\alpha )$. Dabei ist die hintere Isomorphie durch die Standardbasis mit den Koordinaten ${}x_{1},\ldots ,x_{m}$ gegeben. Es sei ${}\alpha _{*}\omega =fdx_{1}\wedge \ldots \wedge dx_{m}$ die zugehörige ${}1$-Differentialform auf ${}V$. Diese Form ist nullstellenfrei, und da ${}V$ zusammenhängend ist, ist ${}f$ nach dem Zwischenwertsatz positiv oder negativ. Im negativen Fall ersetzen wir die Karte, indem wir ein Basiselement durch sein Negatives ersetzen. Dadurch gewinnen wir für jeden Punkt eine Kartenumgebung, auf der die Form positiv ist. Zu zwei Karten ${}\alpha \colon U\rightarrow V$ und ${}\beta \colon U\rightarrow V'$ mit der Übergangsabbildung ${}\psi =\beta \circ \alpha ^{-1}$ und den lokalen Beschreibungen ${}\alpha _{*}\omega =fdx_{1}\wedge \ldots \wedge dx_{m}$ und ${}\beta _{*}\omega =gdy_{1}\wedge \ldots \wedge dy_{m}$ gilt dann wegen ${}\psi ^{*}(\beta _{*}\omega )=\alpha _{*}\omega$ nach Fakt die Beziehung ${}f=g\circ \psi \det {\left(D\psi \right)}$. Da ${}f$ und ${}g$ positiv sind, muss auch die Determinante positiv sein, so dass die Übergangsabbildung orientierungstreu und die Mannigfaltigkeit somit orientiert ist.

$\Box$

Korollar

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen und sei

$\varphi \colon G\longrightarrow \mathbb {R} ^{\ell }$

(mit ${}m=n-\ell \geq 0$) eine stetig differenzierbare Abbildung, die in jedem Punkt der Faser ${}M$ über ${}0\in \mathbb {R} ^{\ell }$ regulär sei.

Dann ist die Abbildung

$\bigwedge ^{m}T_{P}M\longrightarrow \mathbb {R} ,\,v_{1}\wedge \ldots \wedge v_{m}\longmapsto \det(\operatorname {Grad} \,\varphi _{1}(P),\ldots ,\operatorname {Grad} \,\varphi _{\ell }(P),v_{1},\ldots ,v_{m}),$

in jedem Punkt ${}P\in M$ eine Isomorphie, wodurch eine stetige nullstellenfreie Volumenform auf ${}M$ gegeben ist.

Beweis

Bei dieser Abbildung werden die Vektoren ${}v_{i}\in T_{P}M\subseteq T_{P}\mathbb {R} ^{n}=\mathbb {R} ^{n}$ und die Gradienten als Vektoren in ${}\mathbb {R} ^{n}$ aufgefasst. Nach Aufgabe und nach Fakt ist die Abbildung wohldefiniert und linear. Der Ausgangsraum der Abbildung ist wie der Zielraum eindimensional. Es sei ${}v_{1},\ldots ,v_{m}$ eine Basis von

${}T_{P}M=\operatorname {kern} \left(D\varphi \right)_{P}=(\operatorname {Grad} \,\varphi _{1}(P),\ldots ,\operatorname {Grad} \,\varphi _{\ell }(P))^{\perp }\,.$

Da die Abbildung regulär ist, sind die Gradienten untereinander linear unabhängig, und wegen der Orthogonalitätsbeziehung erst recht linear unabhängig zu den ${}v_{i}$. Daher liegt insgesamt eine Basis des ${}\mathbb {R} ^{n}$ vor, so dass nach Fakt die Determinante ${}\neq 0$ ist. Die Abhängigkeit dieser Volumenform vom Basispunkt ${}P$ ist stetig, wie aus der Stetigkeit der Gradienten, der Stetigkeit der Determinante und dem Satz über implizite Abbildungen folgt.

$\Box$