Riemannsche Mannigfaltigkeit/C^1/Orientiert/Kanonische Volumenform/Textabschnitt

Definition

Es sei ${}M$ eine orientierte riemannsche Mannigfaltigkeit der Dimension ${}n$. Zu ${}P\in M$ sei ${}\omega _{P}$ diejenige alternierende Form auf ${}T_{P}M$ (bzw. das entsprechende Element aus $\bigwedge ^{n}T_{P}^{*}M$), die jeder die Orientierung repräsentierenden Orthonormalbasis den Wert ${}1$ zuordnet. Dann heißt die ${}n$-Differentialform

$M\longrightarrow \bigwedge ^{n}T^{*}M,\,P\longmapsto \omega _{P},$

die kanonische Volumenform auf ${}M$.

Das zugehörige Maß zu dieser positiven Form heißt kanonisches Maß auf ${}M$.

Lemma

Es sei ${}M$ eine orientierte riemannsche Mannigfaltigkeit und ${}\omega$ die kanonische Volumenform. Es sei

$\alpha \colon U\longrightarrow V$

eine orientierte Karte mit ${}V\subseteq \mathbb {R} ^{n}$ offen mit Koordinaten ${}x_{1},\ldots ,x_{n}$ mit der metrischen Fundamentalmatrix ${}G=(g_{ij})_{1\leq i,j\leq n}$ und ${}g=\det G$.

Dann ist

${}\alpha _{*}\omega ={\sqrt {g}}dx_{1}\wedge \ldots \wedge dx_{n}\,.$

Für eine messbare Teilmenge ${}T\subseteq U$ ist

${}\int _{T}\omega =\int _{\alpha (T)}{\sqrt {g}}dx_{1}\wedge \ldots \wedge dx_{n}=\int _{\alpha (T)}{\sqrt {g}}\,d\lambda ^{n}\,.$

Beweis

Gemäß der Definition müssen wir die Differentialform ${}{\left(\alpha ^{-1}\right)}^{*}\omega$ für jeden Punkt ${}Q\in V$ berechnen. Diese Form besitzt die Gestalt ${}c_{Q}dx_{1}\wedge \ldots \wedge dx_{n}$ und ist durch ihren Wert auf ${}e_{1}\wedge \ldots \wedge e_{n}$ festgelegt. Es ist

${\left(\alpha ^{-1}\right)}^{*}\omega {\left(Q,e_{1}\wedge \ldots \wedge e_{n}\right)}=\omega {\left(\alpha ^{-1}(Q),T_{Q}{\left(\alpha ^{-1}\right)}(e_{1})\wedge \ldots \wedge T_{Q}{\left(\alpha ^{-1}\right)}(e_{n})\right)}\,.$

Nach Definition der metrischen Fundamentalmatrix ist

${}g_{ij}(Q)=\left\langle T_{Q}{\left(\alpha ^{-1}\right)}(e_{i}),T_{Q}{\left(\alpha ^{-1}\right)}(e_{j})\right\rangle _{\alpha ^{-1}(Q)}\,.$

Nach Fakt ist

${}{\begin{aligned}\omega {\left(\alpha ^{-1}(Q),T_{Q}{\left(\alpha ^{-1}\right)}(e_{1})\wedge \ldots \wedge T_{Q}{\left(\alpha ^{-1}\right)}(e_{n})\right)}&={\left(\det {\left(\left\langle T_{Q}{\left(\alpha ^{-1}\right)}(e_{i}),T_{Q}{\left(\alpha ^{-1}\right)}(e_{j})\right\rangle \right)}_{1\leq i,j\leq n}\right)}^{1/2}\\&={\left(\det {\left(g_{ij}(Q)\right)}_{1\leq i,j\leq n}\right)}^{1/2}\\&={\sqrt {g(Q)}}.\,\end{aligned}}$

$\Box$

Satz

Es sei ${}G\subseteq \mathbb {R} ^{m}$ offen und sei ${}M\subseteq G$ eine ${}n$-dimensionale abgeschlossene Untermannigfaltigkeit, die orientiert und mit der induzierten riemannschen Struktur und der kanonischen Volumenform ${}\omega$ versehen sei. Es sei ${}W\subseteq \mathbb {R} ^{n}$ offen und es sei

$\varphi \colon W\longrightarrow U$

ein Diffeomorphismus mit der offenen Menge ${}U\subseteq M$.

Dann ist ${}\varphi ^{-1}$ eine Karte von ${}M$, und auf ${}W$ gilt

${}{\begin{aligned}\varphi ^{*}{\left(\omega {|}_{U}\right)}&=\left(\det \left(\left\langle {\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial x_{i}}}\\\vdots \\{\frac {\partial \varphi _{m}}{\partial x_{i}}}\end{pmatrix}},{\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial x_{j}}}\\\vdots \\{\frac {\partial \varphi _{m}}{\partial x_{j}}}\end{pmatrix}}\right\rangle \right)_{1\leq i,j\leq n}\right)^{1/2}dx_{1}\wedge \ldots \wedge dx_{n}\\&=\left(\det {\left({\frac {\partial \varphi _{1}}{\partial x_{i}}}{\frac {\partial \varphi _{1}}{\partial x_{j}}}+\cdots +{\frac {\partial \varphi _{m}}{\partial x_{i}}}{\frac {\partial \varphi _{m}}{\partial x_{j}}}\right)}_{1\leq i,j\leq n}\right)^{1/2}dx_{1}\wedge \ldots \wedge dx_{n}.\end{aligned}}$

Beweis

Die zweite Gleichung ergibt sich einfach durch Auswertung des Standardskalarproduktes auf dem ${}\mathbb {R} ^{m}$. Nach Definition der metrischen Fundamentalmatrix ist für ${}Q\in W$

${}{\begin{aligned}g_{ij}(Q)&=\left\langle T_{Q}(\varphi )(e_{i}),T_{Q}(\varphi )(e_{j})\right\rangle _{\varphi (Q)}\\&=\left\langle T_{Q}(\varphi )(e_{i}),T_{Q}(\varphi )(e_{j})\right\rangle \\&=\left\langle {\left(D\varphi \right)}_{Q}{\left(e_{i}\right)},{\left(D\varphi \right)}_{Q}{\left(e_{j}\right)}\right\rangle \\&=\left\langle {\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial x_{i}}}(Q)\\\vdots \\{\frac {\partial \varphi _{m}}{\partial x_{i}}}(Q)\end{pmatrix}},{\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial x_{j}}}(Q)\\\vdots \\{\frac {\partial \varphi _{m}}{\partial x_{j}}}(Q)\end{pmatrix}}\right\rangle ,\end{aligned}}$

da ja der Tangentialraum ${}T_{\varphi (Q)}M$ das induzierte Skalarprodukt des ${}\mathbb {R} ^{m}$ trägt, da die Tangentialabbildung im lokalen Fall das totale Differential ist und da man dessen Einträge mit den partiellen Ableitungen ausdrücken kann. Daher ergibt sich die Behauptung aus Fakt.

$\Box$

Beispiel

Es sei ${}I\subseteq \mathbb {R}$ ein offenes Intervall und

$\varphi \colon I\longrightarrow \mathbb {R} ^{m}$

eine reguläre differenzierbare Kurve, es sei also überall ${}\varphi '(t)\neq 0$. Ferner sei angenommen, dass ${}\varphi$ injektiv und dass das Bild ${}M=\varphi (I)$ von ${}I$ eine eindimensionale abgeschlossene Untermannigfaltigkeit einer offenen Teilmenge ${}G\subseteq \mathbb {R} ^{m}$ ist. Dann gilt nach Fakt für die kanonische Form ${}\omega$ von ${}M$ (bzw. das kanonische Maß, das in diesem Fall ein Längenmaß ist) die Beziehung

${}{\begin{aligned}\varphi ^{*}\omega &={\left(\left\langle {\begin{pmatrix}\varphi '_{1}(t)\\\vdots \\\varphi '_{m}(t)\end{pmatrix}},{\begin{pmatrix}\varphi '_{1}(t)\\\vdots \\\varphi '_{m}(t)\end{pmatrix}}\right\rangle \right)}^{1/2}dt\\&={\sqrt {(\varphi '_{1}(t))^{2}+\cdots +(\varphi '_{m}(t))^{2}}}dt\\&=\Vert {\varphi '(t)}\Vert dt.\end{aligned}}$

Somit gilt bei ${}I={]a,b[}$ für das Maß (also die Länge) von ${}M$ die Formel

${}\lambda _{M}(M)=\int _{a}^{b}{\sqrt {(\varphi '_{1}(t))^{2}+\cdots +(\varphi '_{m}(t))^{2}}}\,dt\,.$

Dies stimmt mit der in Fakt über die Theorie der rektifizierbaren Kurven erzielten Formel überein.

Korollar

Es sei ${}W\subseteq \mathbb {R} ^{n}$ eine offene Teilmenge und

$\psi \colon W\longrightarrow \mathbb {R}$

eine differenzierbare Funktion. Es sei

$M={\left\{\left(x_{1},\,,\ldots ,,\,x_{n},\,\psi (x_{1},\ldots ,x_{n})\right)\mid (x_{1},\ldots ,x_{n})\in W\right\}}\subseteq W\times \mathbb {R} \,$

der Graph von ${}\psi$.

Dann ist ${}M$ eine orientierte riemannsche Mannigfaltigkeit, und für die kanonische Volumenform ${}\omega$ auf ${}M$ gilt

${}(\operatorname {Id} \times \psi )^{*}(\omega )={\left(1+\sum _{i=1}^{n}{\left({\frac {\partial \psi }{\partial x_{i}}}\right)}^{2}\right)}^{1/2}dx_{1}\wedge \ldots \wedge dx_{n}\,.$

Beweis

Die Abbildung

$\varphi =\operatorname {id} \times \psi \colon W\longrightarrow W\times \mathbb {R} ,\,x\longmapsto (x,\psi (x)),$

ist ein Diffeomorphismus zwischen ${}W$ und dem Graphen ${}M$. Der Graph ist eine abgeschlossene Untermannigfaltigkeit von ${}W\times \mathbb {R}$ und trägt daher die induzierte riemannsche Struktur und (da sich die Orientierung von ${}W$ auf ${}M$ überträgt) eine kanonische Volumenform ${}\omega$. Auf diese Situation kann man Fakt anwenden. Die partiellen Ableitungen von ${}\varphi$ nach der ${}i$-ten Variablen sind

${}{\frac {\partial \varphi }{\partial x_{i}}}={\begin{pmatrix}0\\\vdots \\0\\1\\0\\\vdots \\0\\{\frac {\partial \psi }{\partial x_{i}}}\end{pmatrix}}\,.$

Es sei ${}Q\in W$ ein Punkt, den wir in die Funktionen im Folgenden einsetzen, so dass wir überall mit reellen Zahlen rechnen. Die Skalarprodukte, die die Einträge ${}b_{ij}$ der Matrix ${}B$ bilden (von deren Determinante wir die Wurzel berechnen müssen), sind gleich

${}b_{ij}=\left\langle {\frac {\partial \varphi }{\partial x_{i}}}(Q),{\frac {\partial \varphi }{\partial x_{j}}}(Q)\right\rangle \,$

Wir schreiben ${}B=E_{n}+A$ mit ${}A={\left(a_{ij}\right)}_{1\leq i,j\leq n}$. Mit ${}c_{i}={\frac {\partial \psi }{\partial x_{i}}}(Q)$ können wir ${}a_{ij}=c_{i}c_{j}$ und insgesamt die Matrix ${}A$ als

${}A={\begin{pmatrix}c_{1}\\\vdots \\c_{n}\end{pmatrix}}\left(c_{1},\,\ldots ,\,c_{n}\right)\,$

schreiben. Daher beschreibt ${}A$ eine lineare Abbildung von ${}\mathbb {R} ^{n}$ nach ${}\mathbb {R} ^{n}$, die durch ${}\mathbb {R}$ faktorisiert, und besitzt damit einen Kern, der zumindest ${}(n-1)$-dimensional ist. Nennen wir ihn ${}K$. Wenn er die Dimension ${}n$ besitzt, so ist ${}A=0$ und ${}B$ ist die Identität, und die Aussage ist richtig. Es sei also ${}A\neq 0$. Dann ist ${}v={\begin{pmatrix}c_{1}\\\vdots \\c_{n}\end{pmatrix}}$ ein Eigenvektor von ${}A$ zum Eigenwert ${}c_{1}^{2}+\cdots +c_{n}^{2}\neq 0$. Dieser Vektor ist ein Eigenvektor von ${}B$ zum Eigenwert ${}1+c_{1}^{2}+\cdots +c_{n}^{2}$ und ${}K$ bildet den ${}(n-1)$-dimensionalen Eigenraum für ${}B$ zum Eigenwert ${}1$. Insgesamt ist ${}B$ diagonalisierbar und ihre Determinante ist das Produkt der Eigenwerte, also gleich ${}1+c_{1}^{2}+\cdots +c_{n}^{2}$.

$\Box$

Korollar

Es sei ${}M\subseteq G$ eine abgeschlossene Fläche in einer offenen Menge ${}G\subseteq \mathbb {R} ^{3}$, die mit der induzierten riemannschen Struktur und der kanonischen Flächenform ${}\omega$ versehen sei. Es sei ${}W\subseteq \mathbb {R} ^{2}$ offen und es sei

$\varphi \colon W\longrightarrow U$

ein Diffeomorphismus mit der offenen Menge ${}U\subseteq M$. Die Koordinaten von ${}\mathbb {R} ^{2}$ seien ${}u$ und ${}v$ und wir setzen

$E=\left\langle {\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial u}}\\{\frac {\partial \varphi _{2}}{\partial u}}\\{\frac {\partial \varphi _{3}}{\partial u}}\end{pmatrix}},{\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial u}}\\{\frac {\partial \varphi _{2}}{\partial u}}\\{\frac {\partial \varphi _{3}}{\partial u}}\end{pmatrix}}\right\rangle ,\,F=\left\langle {\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial u}}\\{\frac {\partial \varphi _{2}}{\partial u}}\\{\frac {\partial \varphi _{3}}{\partial u}}\end{pmatrix}},{\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial v}}\\{\frac {\partial \varphi _{2}}{\partial v}}\\{\frac {\partial \varphi _{3}}{\partial v}}\end{pmatrix}}\right\rangle {\text{ und }}G=\left\langle {\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial v}}\\{\frac {\partial \varphi _{2}}{\partial v}}\\{\frac {\partial \varphi _{3}}{\partial v}}\end{pmatrix}},{\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial v}}\\{\frac {\partial \varphi _{2}}{\partial v}}\\{\frac {\partial \varphi _{3}}{\partial v}}\end{pmatrix}}\right\rangle .$

Dann gilt auf ${}W$

${}{\begin{aligned}\varphi ^{*}(\omega {|}_{U})&={\sqrt {EG-F^{2}}}du\wedge dv\\\end{aligned}}$

Beweis

Dies folgt direkt aus Fakt.

$\Box$