Kurs:Differentialgeometrie/2/Klausur mit Lösungen

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Ein Normalenfeld ${\displaystyle {}N}$ auf einer differenzierbaren Hyperfläche ${\displaystyle {}Y\subseteq \mathbb {R} ^{n}}$.
2. Ein überdeckungskompakter topologischer Raum.
3. Der Kotangentialraum in einem Punkt ${\displaystyle {}P\in M}$ einer differenzierbaren Mannigfaltigkeit ${\displaystyle {}M}$.
4. Ein regulärer Punkt ${\displaystyle {}Q\in L}$ zu einer differenzierbaren Abbildung

   ${\displaystyle \varphi \colon L\longrightarrow M}$

   zwischen differenzierbaren Mannigfaltigkeiten ${\displaystyle {}L}$ und ${\displaystyle {}M}$.

5. Das Produkt von differenzierbaren Mannigfaltigkeiten ${\displaystyle {}M}$ und ${\displaystyle {}N}$.
6. Ein Zusammenhang auf einem differenzierbaren Vektorbündel ${\displaystyle {}E\rightarrow M}$ über einer differenzierbaren Mannigfaltigkeit ${\displaystyle {}M}$.

Formuliere die folgenden Sätze.

1. Der Satz über die Beziehung zwischen Krümmung und Einheitsnormalenvektor einer bogenparametrisierten ebenen Kurve.
2. Das Theorema egregium.
3. Der Satz von Green für den Flächeninhalt.

Es sei

${\displaystyle {}f(x,y)=ax^{2}+by^{2}+cxy\,.}$

Bestimme die Hauptkrümmungen und die Hauptkrümmungsrichtungen des Graphen zu ${\displaystyle {}f}$ im Nullpunkt.

Wir verwenden Lemma 4.9 (Differentialgeometrie (Osnabrück 2023)), wobei im Nullpunkt der Vorfaktor gleich ${\displaystyle {}1}$ ist und somit die Weingartenabbildung direkt durch die Hesse-Matrix beschrieben wird. Die Hesse-Matrix der Funktion ist

${\displaystyle {\begin{pmatrix}2a&c\\c&2b\end{pmatrix}},}$

das charakteristische Polynom davon ist

${\displaystyle {}{\begin{aligned}(t-2a)(t-2b)-c^{2}&=t^{2}-2(a+b)t+4ab-c^{2}\\&={\left(t-(a+b)\right)}^{2}-(a+b)^{2}+4ab-c^{2}\\&={\left(t-(a+b)\right)}^{2}-a^{2}-b^{2}+2ab-c^{2}\\&={\left(t-(a+b)\right)}^{2}-(a-b)^{2}-c^{2}.\end{aligned}}}$

Die Eigenwerte (und dies sind die Hauptkrümmungen) sind also

${\displaystyle {}\lambda _{1,2}=\pm {\sqrt {(a-b)^{2}+c^{2}}}+a+b\,.}$

Bei ${\displaystyle {}a=b}$ und ${\displaystyle {}c=0}$ ist die Weingartenabbildung Multiplikation mit ${\displaystyle {}2a}$ und jeder Vektor ist ein Eigenvektor, sei dies jetzt ausgeschlossen. Für

${\displaystyle {}\lambda _{1}={\sqrt {(a-b)^{2}+c^{2}}}+a+b\,}$

ist der Kern der Matrix

${\displaystyle {\begin{pmatrix}{\sqrt {(a-b)^{2}+c^{2}}}+b-a&-c\\-c&{\sqrt {(a-b)^{2}+c^{2}}}+a-b\end{pmatrix}}}$

zu bestimmen, dieser ist

${\displaystyle \mathbb {R} {\begin{pmatrix}{\sqrt {(a-b)^{2}+c^{2}}}+a-b\\c\end{pmatrix}}.}$

Eine Hauptkrümmungsrichtung ist also ${\displaystyle {}{\begin{pmatrix}{\sqrt {(a-b)^{2}+c^{2}}}+a-b\\c\end{pmatrix}}}$ mit der Hauptkrümmung ${\displaystyle {}{\sqrt {(a-b)^{2}+c^{2}}}+a+b}$.

Entsprechend ergibt sich die Hauptkrümmungsrichtung ${\displaystyle {}{\begin{pmatrix}-c\\{\sqrt {(a-b)^{2}+c^{2}}}+a-b\end{pmatrix}}}$ mit der Hauptkrümmung ${\displaystyle {}-{\sqrt {(a-b)^{2}+c^{2}}}+a+b}$.

Beweise den Existenzsatz für den Paralleltransport auf einer Hyperfläche ${\displaystyle {}Y\subseteq \mathbb {R} ^{n}}$.

Wir suchen nach einer differenzierbaren Abbildung

${\displaystyle F\colon I\longrightarrow \mathbb {R} ^{n},}$

das die Bedingungnen

1. ${\displaystyle {}F(t)\in T_{\gamma (t)}Y\,}$

   für alle ${\displaystyle {}t\in I}$,

2. ${\displaystyle {}F'(t)\in N_{\gamma (t)}Y\,}$

   für alle ${\displaystyle {}t\in I}$,

3. ${\displaystyle {}F(t_{0})=v\,}$

erfüllt. Die erste Bedingung bedeutet, dass ${\displaystyle {}F(t)}$ senkrecht auf dem Normaleneinheitsvektors ${\displaystyle {}N(\gamma (t))}$ steht, also

${\displaystyle {}\left\langle F(t),N(\gamma (t))\right\rangle =0\,.}$

Daher ist auch

${\displaystyle {}0=\left\langle F(t),N(\gamma (t))\right\rangle '=\left\langle F'(t),N(\gamma (t))\right\rangle +\left\langle F(t),(N(\gamma (t)))'\right\rangle \,.}$

Die zweite Bedingung, dass ${\displaystyle {}F'(t)}$ im Normalenraum liegt, bedeutet

${\displaystyle {}F'(t)-\left\langle F'(t),N(\gamma (t))\right\rangle N(\gamma (t))=0\,}$

für alle ${\displaystyle {}t\in I}$, was wir mit Hilfe der vorstehenden Gleichung zu

${\displaystyle {}F'(t)+\left\langle F(t),(N(\gamma (t)))'\right\rangle N(\gamma (t))=0\,}$

für alle ${\displaystyle {}t\in I}$ bzw. zu

${\displaystyle {}F'(t)=-\left\langle F(t),(N(\gamma (t)))'\right\rangle N(\gamma (t))\,}$

für alle ${\displaystyle {}t\in I}$ umformen können. Hier steht eine gewöhnliche lineare Differentialgleichung erster Ordnung für ${\displaystyle {}F}$, die zusammen mit der Anfangsbedingung ${\displaystyle {}F(t_{0})=v}$ nach Satz 56.2 (Analysis (Osnabrück 2021-2023)) eine eindeutige Lösung besitzt. Es kann also höchstens eine Lösung der Ausgangsgleichung geben. Wenn ${\displaystyle {}F}$ die eindeutige Lösung der Differentialgleichung ist, so liegt in der Tat eine Lösung der Ausgangsgleichung vor.

Zeige, dass eine differenzierbare Mannigfaltigkeit ${\displaystyle {}M}$ der Dimension ${\displaystyle {}n\geq 1}$ unendlich viele Diffeomorphismen

${\displaystyle \varphi \colon M\longrightarrow M}$

besitzt.

Wir betrachten Funktionen der Bauart

${\displaystyle \psi _{c}\colon [0,1]\longrightarrow [0,1],\,x\longmapsto x+\varphi _{c}(x),}$

mit

${\displaystyle {}\varphi _{c}(x)={\begin{cases}0{\text{ für }}x\leq {\frac {1}{3}}\,,\\c{\left(x-{\frac {1}{3}}\right)}^{2}{\left(x-{\frac {2}{3}}\right)}^{2}{\text{ für }}{\frac {1}{3}}<x<{\frac {2}{3}}\,,\\0{\text{ für }}x\geq {\frac {2}{3}}\,.\end{cases}}\,}$

mit einem Parameter ${\displaystyle {}c\in \mathbb {R} _{\geq 0}}$. Dabei ist ${\displaystyle {}\varphi _{c}}$ stetig und auch stetig differenzierbar, da die Nullstellen des Polynoms doppelt sind. Somit ist auch ${\displaystyle {}\psi _{c}}$ stetig differenzierbar. Für ${\displaystyle {}c}$ hinreichend klein ist ${\displaystyle {}\psi _{c}}$ streng wachsend und definiert eine stetig differenzierbare bijektive Abbildung des Einheitsintervalls in sich, die im unteren und im oberen Drittel die Identität ist.

Mit ${\displaystyle {}\psi _{c}}$ definieren wir Diffeomorphismen des offenen Einheitsballes in sich, durch

${\displaystyle U{\left(0,1\right)}\longrightarrow U{\left(0,1\right)},\,{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}\longmapsto \psi _{c}{\left({\sqrt {x_{1}^{2}+\cdots +x_{n}^{2}}}\right)}{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}.}$

Es wird also der Punkt abhängig vom Radius gestreckt, wobei auf ${\displaystyle {}U{\left(0,{\frac {1}{3}}\right)}}$ und auf ${\displaystyle {}U{\left(0,1\right)}\setminus U{\left(0,{\frac {2}{3}}\right)}}$ die Identität vorliegt.

Wenn nun ${\displaystyle {}M}$ eine Mannigfaltigkeit der Dimension ${\displaystyle {}\geq 1}$ ist, so wählen wir eine Karte

${\displaystyle \alpha \colon U\longrightarrow V}$

mit ${\displaystyle {}V\subseteq \mathbb {R} ^{n}}$, wobei wir (durch verkleinern) davon ausgehen können, dass ${\displaystyle {}V}$ (ein offener Ball und dann auch) der offene Einheitsball ist. Die konstruierten Diffeomorphismen auf ${\displaystyle {}V}$ liefern Diffeomorphismen auf ${\displaystyle {}U}$. Da diese für den äußeren Ball (ab Radius ${\displaystyle {}{\frac {2}{3}}}$) die Identität sind, kann man diese Diffeomorphismen auf ${\displaystyle {}M}$ durch die Identität auf ${\displaystyle {}M\setminus \alpha ^{-1}{\left(U{\left(0,{\frac {2}{3}}\right)}\right)}}$ diffeomorph ausdehnen.

Es sei ${\displaystyle {}M}$ eine differenzierbare Mannigfaltigkeit und

${\displaystyle f\colon M\longrightarrow \mathbb {R} }$

eine stetig differenzierbare Funktion. Die Funktion habe im Punkt ${\displaystyle {}P\in M}$ ein lokales Extremum. Zeige

${\displaystyle {}(df)_{P}=0\,.}$

Es sei ${\displaystyle {}P\in U\subseteq M}$ ein Kartengebiet mit der Karte ${\displaystyle {}\alpha \colon U\rightarrow V\subseteq \mathbb {R} ^{n}}$. Dann besitzt auch ${\displaystyle {}f\circ \alpha ^{-1}}$ im Punkt ${\displaystyle {}\alpha (P)}$ ein lokales Extremum. Daher ist nach Fakt *****  (2) das totale Differential

${\displaystyle \left(Df\circ \alpha ^{-1}\right)_{\alpha (P)}\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} }$

die Nullabbildung. Daher ist ${\displaystyle {}(df)_{P}=0}$.

Wir betrachten die ${\displaystyle {}1}$- Differentialform

${\displaystyle {}\omega =-vdu+udv\,}$

auf der ${\displaystyle {}1}$- Sphäre ${\displaystyle {}S^{1}\subset \mathbb {R} ^{2}}$, wobei die Koordinaten des umgebenden ${\displaystyle {}\mathbb {R} ^{2}}$ mit ${\displaystyle {}u}$ und ${\displaystyle {}v}$ bezeichnet seien. Bestimme ${\displaystyle {}\pi ^{*}\omega }$ unter der stetig differenzierbaren Abbildung

${\displaystyle \pi \colon \mathbb {R} ^{2}\setminus \{0\}\longrightarrow S^{1},\,(x,y)\longmapsto {\frac {1}{\sqrt {x^{2}+y^{2}}}}(x,y).}$

Es ist

${\displaystyle {}{\begin{aligned}\pi ^{*}du&=d(u\circ \pi )\\&=d{\left({\frac {x}{\sqrt {x^{2}+y^{2}}}}\right)}\\&={\frac {\partial {\left({\frac {x}{\sqrt {x^{2}+y^{2}}}}\right)}}{\partial x}}dx+{\frac {\partial {\left({\frac {x}{\sqrt {x^{2}+y^{2}}}}\right)}}{\partial y}}dy\\&={\frac {{\sqrt {x^{2}+y^{2}}}-x^{2}(x^{2}+y^{2})^{-1/2}}{x^{2}+y^{2}}}dx-{\frac {xy}{{\sqrt {x^{2}+y^{2}}}^{3}}}dy\\&={\frac {x^{2}+y^{2}-x^{2}}{{\sqrt {x^{2}+y^{2}}}^{3}}}dx-{\frac {xy}{{\sqrt {x^{2}+y^{2}}}^{3}}}dy\\&={\frac {y^{2}}{{\sqrt {x^{2}+y^{2}}}^{3}}}dx-{\frac {xy}{{\sqrt {x^{2}+y^{2}}}^{3}}}dy\end{aligned}}}$

und

${\displaystyle {}{\begin{aligned}\pi ^{*}dv&=d(v\circ \pi )\\&=d{\left({\frac {y}{\sqrt {x^{2}+y^{2}}}}\right)}\\&={\frac {\partial {\left({\frac {y}{\sqrt {x^{2}+y^{2}}}}\right)}}{\partial x}}dx+{\frac {\partial {\left({\frac {y}{\sqrt {x^{2}+y^{2}}}}\right)}}{\partial y}}dy\\&={\frac {-xy}{{\sqrt {x^{2}+y^{2}}}^{3}}}dx+{\frac {{\sqrt {x^{2}+y^{2}}}-y^{2}(x^{2}+y^{2})^{-1/2}}{x^{2}+y^{2}}}dy\\&={\frac {-xy}{{\sqrt {x^{2}+y^{2}}}^{3}}}dx+{\frac {x^{2}}{{\sqrt {x^{2}+y^{2}}}^{3}}}dy.\end{aligned}}}$

Somit ist

${\displaystyle {}{\begin{aligned}\pi ^{*}(-vdu+udv)&=-(v\circ \pi )\pi ^{*}du+(u\circ \pi )\pi ^{*}dv\\&=-{\frac {y}{\sqrt {x^{2}+y^{2}}}}{\left({\frac {y^{2}}{{\sqrt {x^{2}+y^{2}}}^{3}}}dx-{\frac {xy}{{\sqrt {x^{2}+y^{2}}}^{3}}}dy\right)}+{\frac {x}{\sqrt {x^{2}+y^{2}}}}{\left({\frac {-xy}{{\sqrt {x^{2}+y^{2}}}^{3}}}dx+{\frac {x^{2}}{{\sqrt {x^{2}+y^{2}}}^{3}}}dy\right)}\\&={\frac {1}{{\left(x^{2}+y^{2}\right)}^{2}}}{\left({\left(-y^{3}-x^{2}y\right)}dx+{\left(xy^{2}+x^{3}\right)}dy\right)}\\&={\frac {1}{x^{2}+y^{2}}}{\left(-ydx+xdy\right)}.\,\end{aligned}}}$

Beweise den Satz über die Berechnung des kanonischen Volumens auf einer riemannschen Mannigfaltigkeit ${\displaystyle {}M}$.

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

${\displaystyle {\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

${\displaystyle {}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 Satz 7.8 (Maß- und Integrationstheorie (Osnabrück 2022-2023)) ist

${\displaystyle {}{\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}}}$

Begründe, dass der ${\displaystyle {}\mathbb {R} ^{2}}$ keine Struktur einer Mannigfaltigkeit mit Rand derart trägt, dass die angegebene Teilmenge ${\displaystyle {}T}$ der Rand ist.

a) ${\displaystyle {}T={]0,1[}}$, wobei das Intervall auf der ${\displaystyle {}x}$-Achse liegt.

b) ${\displaystyle {}T=[0,1]}$, wobei das Intervall auf der ${\displaystyle {}x}$-Achse liegt.

c) ${\displaystyle {}T=\mathbb {R} }$, wobei ${\displaystyle {}\mathbb {R} }$ die ${\displaystyle {}x}$-Achse sei.

d) ${\displaystyle {}T=S^{1}}$.

a) Der Rand ${\displaystyle {}\partial M}$ einer Mannigfaltigkeit mit Rand ist nach Lemma 21.3 (Differentialgeometrie (Osnabrück 2023))  (2) abgeschlossen, das offene Intervall als Teilmenge des ${\displaystyle {}\mathbb {R} ^{2}}$ ist aber nicht abgeschlossen.

b) Der Rand ${\displaystyle {}\partial M}$ einer Mannigfaltigkeit mit Rand ist nach Satz 21.4 (Differentialgeometrie (Osnabrück 2023)) eine Mannigfaltigkeit ohne Rand, das abgeschlossene Intervall besitzt aber Randpunkte.

c) Es sei angenommen, dass ${\displaystyle {}\mathbb {R} ^{2}}$ eine Mannigfaltigkeit mit dem Rand ${\displaystyle {}\mathbb {R} =\mathbb {R} \times \{0\}}$ ist. Zu ${\displaystyle {}P\in \mathbb {R} }$ gibt es dann eine offene Umgebung ${\displaystyle {}P\in U}$ und eine Homöomorphie

${\displaystyle \alpha \colon U\longrightarrow V}$

mit einer offenen Menge ${\displaystyle {}V\subseteq H}$, wobei ${\displaystyle {}H}$ eine Halbebene bezeichnet. Dabei können wir ${\displaystyle {}V}$ durch eine kleinere offene Halbballumgebung um ${\displaystyle {}P}$ ersetzen. Bei einer solchen Karte werden nach Lemma 21.3 (Differentialgeometrie (Osnabrück 2023))  (2) Randpunkte auf Randpunkte abgebildet, d.h. es ist

${\displaystyle {}\alpha (U\cap \mathbb {R} )=V\cap \delta H\,.}$

Damit erhält man auch eine Homöomorphie zwischen den Komplementen, also zwischen ${\displaystyle {}U\setminus U\cap \mathbb {R} }$ und ${\displaystyle {}V\setminus V\cap \delta H}$. Die Halbballumgebung rechts ist aber wegzusammenhängend, wohingegen die Menge links die disjunkte Vereinigung der Schnitte mit der positiven bzw. der negativen Hälfte ist, die beide offen und auch nicht leer sind, da ${\displaystyle {}U}$ eine Ballumgebung von ${\displaystyle {}P}$ enthält. Daher ist die Menge links nicht zusammenhängend und es kann keine Homöomorphie geben.

d) wie c).

Es sei ${\displaystyle {}\omega }$ eine stetig differenzierbare ${\displaystyle {}n-1}$- Differentialform auf einer offenen Menge ${\displaystyle {}U\subseteq \mathbb {R} ^{n}}$ und sei die äußere Ableitung gleich

${\displaystyle {}d\omega =fdx_{1}\wedge \ldots \wedge dx_{n}\,}$

mit einer Funktion ${\displaystyle {}f\colon U\rightarrow \mathbb {R} }$. Zeige für ${\displaystyle {}P\in U}$ die Gleichheit

${\displaystyle {}f(P)={\frac {1}{\beta _{n}}}\cdot \operatorname {lim} _{\epsilon \rightarrow 0}\,{\frac {1}{\epsilon ^{n}}}\int _{S^{n-1}(P,\epsilon )}\omega \,,}$

wobei ${\displaystyle {}\beta _{n}}$ das Volumen der ${\displaystyle {}n}$-dimensionalen Einheitskugel bezeichnet.

Wir wenden den Satz von Stokes auf die Kugeln ${\displaystyle {}B^{n}(P,\epsilon )}$ mit dem Rand ${\displaystyle {}S^{n-1}(P,\epsilon )}$ (mit Mittelpunkt ${\displaystyle {}P}$ und Radius ${\displaystyle {}\epsilon }$) an und erhalten

${\displaystyle {}{\begin{aligned}\operatorname {lim} _{\epsilon \rightarrow 0}\,{\frac {1}{\epsilon ^{n}}}\int _{S^{n-1}(P,\epsilon )}\omega &=\operatorname {lim} _{\epsilon \rightarrow 0}\,{\frac {1}{\epsilon ^{n}}}\int _{\partial B^{n}(P,\epsilon )}\omega \\&=\operatorname {lim} _{\epsilon \rightarrow 0}\,{\frac {1}{\epsilon ^{n}}}\int _{B^{n}(P,\epsilon )}d\omega \\&=\operatorname {lim} _{\epsilon \rightarrow 0}\,{\frac {1}{\epsilon ^{n}}}\int _{B^{n}(P,\epsilon )}fd\lambda ^{n}\\&=\beta _{n}\cdot f(P),\end{aligned}}}$

wobei wir für das letzte Gleichheitszeichen die Stetigkeit von ${\displaystyle {}f}$ benutzt haben.

Beweise den Satz von Stokes für Mannigfaltigkeiten mit Rand.

Es sei ${\displaystyle {}U_{i}}$, ${\displaystyle {}i\in I}$, eine offene Überdeckung von ${\displaystyle {}M}$ mit orientierten Karten und es sei ${\displaystyle {}h_{j}}$, ${\displaystyle {}j\in J}$, eine dieser Überdeckung untergeordnete stetig differenzierbare Partition der Eins, die nach Satz 22.10 (Differentialgeometrie (Osnabrück 2023)) existiert. Zu jedem ${\displaystyle {}P\in M}$ gibt es eine offene Umgebung ${\displaystyle {}P\in V_{P}\subseteq M}$ derart, dass ${\displaystyle {}h_{j}{|}_{V_{P}}=0}$ bis auf endlich viele Ausnahmen ist. Es sei ${\displaystyle {}Y}$ der Träger von ${\displaystyle {}\omega }$. Die Überdeckung ${\displaystyle {}Y\subseteq \bigcup _{P\in M}V_{P}}$ besitzt wegen der vorausgesetzten Kompaktheit eine endliche Teilüberdeckung, sagen wir

${\displaystyle {}Y\subseteq V_{1}\cup \ldots \cup V_{r}=V\,.}$

Daher sind überhaupt nur endlich viele der ${\displaystyle {}h_{j}}$ auf ${\displaystyle {}V}$ von ${\displaystyle {}0}$ verschieden. Wir setzen ${\displaystyle {}\omega _{j}=h_{j}\omega }$; diese Differentialformen sind ebenfalls stetig differenzierbar. Der Träger von ${\displaystyle {}h_{j}}$ ist eine in ${\displaystyle {}M}$ abgeschlossene Teilmenge, die in ${\displaystyle {}U_{i(j)}}$ liegt, daher liegt der Träger von ${\displaystyle {}\omega _{j}}$ in ${\displaystyle {}Y\cap U_{i(j)}}$ und ist selbst kompakt nach Aufgabe 13.10 (Differentialgeometrie (Osnabrück 2023)). Es gilt

${\displaystyle {}\omega =\sum _{j\in J}\omega _{j}\,,}$

wobei nur endlich viele dieser Differentialformen ${\displaystyle {}\omega _{j}}$ von ${\displaystyle {}0}$ verschieden sind, da ${\displaystyle {}\omega _{j}{|}_{M\setminus Y}=0}$ für alle ${\displaystyle {}j}$ ist und

${\displaystyle {}\omega _{j}{|}_{V}=0\,}$

für alle ${\displaystyle {}j}$ bis auf endlich viele Ausnahmen. Wegen der Additivität des Integrals von Differentialformen und der Additivität der äußeren Ableitung kann man die Aussage für die einzelnen ${\displaystyle {}\omega _{j}}$ getrennt beweisen. Wir können also annehmen, dass eine stetig differenzierbare ${\displaystyle {}(n-1)}$-Differentialform gegeben ist, die kompakten Träger besitzt, der ganz in einer Kartenumgebung ${\displaystyle {}U}$ liegt.
Es liegt ein Diffeomorphismus ${\displaystyle {}\alpha \colon U\rightarrow V}$ mit ${\displaystyle {}V\subseteq H}$ offen vor, der zugleich einen Diffeomorphismus zwischen den Rändern ${\displaystyle {}\partial U=\partial M\cap U}$ und ${\displaystyle {}\partial V=\partial H\cap V}$ induziert. Dabei gilt

${\displaystyle {}\int _{\partial U}\omega =\int _{\partial V}\alpha ^{-1*}\omega \,}$

und

${\displaystyle {}\int _{U}d\omega =\int _{V}\alpha ^{-1*}(d\omega )=\int _{V}d{\left(\alpha ^{-1*}\omega \right)}\,}$

nach Lemma 20.2 (Differentialgeometrie (Osnabrück 2023))  (5). Wir können also von einer auf ${\displaystyle {}V\subseteq H}$ definierten stetig differenzierbaren Differentialform mit kompaktem Träger ausgehen, die wir auf ganz ${\displaystyle {}H}$ außerhalb des Trägers als Nullform fortsetzen können.
Wegen der Kompaktheit des Trägers gibt es einen hinreichend großen Quader ${\displaystyle {}Q\subseteq H}$, dessen eine Seite ${\displaystyle {}S}$ auf ${\displaystyle {}\partial H}$ liegt und der den Träger von ${\displaystyle {}\omega }$ nur in ${\displaystyle {}S}$ trifft. Auf allen anderen Seiten von ${\displaystyle {}Q}$ ist ${\displaystyle {}\omega }$ (und damit auch ${\displaystyle {}d\omega }$) die Nullform. Daher gilt einerseits

${\displaystyle {}\int _{H}d\omega =\int _{Q}d\omega \,}$

und andererseits

${\displaystyle {}\int _{\partial H}\omega =\int _{S}\omega =\int _{\partial Q}\omega \,.}$

Somit folgt die Aussage aus der Quaderversion des Satzes von Stokes.