Kurs:Analysis 3/7/Klausur mit Lösungen

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	$\sum$
Punkte	3	3	3	2	6	8	3	4	5	13	3	5	3	4	65

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die von einem Mengensystem $ℰ$ auf einer Menge $M$ erzeugte $\sigma$-Algebra $\sigma (ℰ)$.
2. Das Zählmaß auf einer Menge $M$.
3. Ein translationsinvariantes Maß auf $({ℝ}^n,ℬ({ℝ}^n))$.
4. Eine $C^1$-differenzierbare Mannigfaltigkeit $M$.
5. Die Tangentialabbildung in einem Punkt  $P\in M$  zu einer differenzierbaren Abbildung

   $\phi :M⟶N,$

   wobei $M$ und $N$ differenzierbare Mannigfaltigkeiten sind.

6. Ein überdeckungskompakter topologischer Raum.

Lösung

1. Unter der von $ℰ$ erzeugten $\sigma$-Algebra versteht man die kleinste $\sigma$-Algebra, die $ℰ$ enthält.
2. Man nennt das auf $(M,𝔓(M))$ durch

   $z(T)=\{\begin{array}{c}\mathrm{\#}\left(T\right),\text{ falls }T\text{ endlich},\\ \mathrm{\infty }\text{ sonst},\end{array}$

   definierte Maß das Zählmaß auf $M$.

3. Ein Maß auf $({ℝ}^n,ℬ({ℝ}^n))$ heißt translationsinvariant, wenn für alle messbaren Teilmengen $T\subseteq {ℝ}^n$ und alle Vektoren $v\in {ℝ}^n$ die Gleichheit

   $\mu (T)=\mu (T+v)$

   gilt.

4. Ein topologischer Hausdorffraum $M$ zusammen mit einer offenen Überdeckung $M=\bigcup _{i\in I}{U}_i$ und Karten

   ${\alpha }_i:U_i⟶V_i$

   mit $V_i\subseteq {ℝ}^n$ offen derart, dass die Übergangsabbildungen

   ${\alpha }_j\circ ({\alpha }_i{)}^{-1}:V_i\cap {\alpha }_i(U_i\cap U_j)⟶V_j\cap {\alpha }_j(U_i\cap U_j)$

   $C^1$-Diffeomorphismen für alle $i,j\in I$ sind, heißt differenzierbare Mannigfaltigkeit.

5. Unter der Tangentialabbildung im Punkt $P$ versteht man die Abbildung

   $T_{P}M⟶T_{\phi (P)}N,[\gamma ]⟼[\phi \circ \gamma ].$

6. Ein topologischer Raum $X$ heißt überdeckungskompakt, wenn es zu jeder offenen Überdeckung

   $X=\bigcup _{i\in I}{U}_i\text{ mit }{U}_i\text{ offen und einer beliebigen Indexmenge }$

   eine endliche Teilmenge $J\subseteq I$ derart gibt, dass

   $X=\bigcup _{i\in J}{U}_i$

   ist.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Das Lemma von Fatou.
2. Der Satz von Heine-Borel.
3. Der Satz von Green für den Flächeninhalt.

Lösung

1. Es sei $(M,𝒜,\mu )$ ein $\sigma$-endlicher Maßraum und es sei

   $f_n:M⟶{\overline{ℝ}}_{\ge 0}$

   eine Folge von nichtnegativen messbaren numerischen Funktionen. Dann gilt

   ${\int }_M\lim \inf \left(f_n\right)d\mu \le \lim \inf \left({\int }_M{f}_{n}d\mu \right)$

2. Es sei $T\subseteq {ℝ}^n$ eine Teilmenge. Dann sind folgende Aussagen äquivalent.
   1. $T$ ist überdeckungskompakt.
   2. Jede Folge ${\left(x_n\right)}_{n\in \mathbb{N}}$ in $T$ besitzt einen Häufungspunkt in $T$.
   3. Jede Folge ${\left(x_n\right)}_{n\in \mathbb{N}}$ in $T$ besitzt eine in $T$ konvergente Teilfolge.
   4. $T$ ist abgeschlossen und beschränkt.
3. Es sei $M\subseteq {ℝ}^2$ eine kompakte Mannigfaltigkeit mit Rand $\delta M$. Dann ist der Flächeninhalt von $M$ gleich

   ${\lambda }^2(M)={\int }_{\partial M}xdy=-{\int }_{\partial M}ydx.$

Aufgabe (3 Punkte)

Eine Klorolle hat einen äußeren Durchmesser von $12$ cm und einen inneren Durchmesser von $4$ cm. Das ausgewickelte Klopapier ergibt eine Länge von $20$ Metern. Wie dick ist das Klopapier?

Lösung

Es sei $b$ die Breite des Papiers (alles in Zentimetern). Das Volumen des aufgewickelten Papiers ist

$b\pi (6^2-2^2)=b\pi 32.$

Die unbekannte Dicke sei $d$. Das abgewickelte Klopapier bilden einen Quader mit dem gleichen Volumen, also

$2000bd=b\pi 32.$

Somit ist

$d=\frac{\pi 32}{2000}\cong \frac{100}{2000}=\frac{1}{20}.$

Die Dicke ist also ungefähr ein halber Millimeter.

Aufgabe (2 Punkte)

Auf der Menge der natürlichen Zahlen $\mathbb{N}$ sei ein Maß $\mu$ durch

$\mu (\{n\})=n$

gegeben. Bestimme

$\mu (\{0,1,2,\dots ,n\}).$

Lösung

Aufgrund der Additivitätseigenschaft eines Maßes ist

$\begin{array}{cc}\mu (\{0,1,2,\dots ,n\})& =\mu (\{0\})+\mu (\{1\})+\mu (\{2\})+\cdots +\mu (\{n\})\\ & =0+1+2+\cdots +n\\ & =\frac{n(n+1)}{2}\end{array}$

nach der bekannten Regel für die Summe der ersten $n$ Zahlen.

Aufgabe (6 (1+4+1) Punkte)

Es sei $M$ eine Menge und es seien

$T_1,T_2,\dots ,T_n\subseteq M$

Teilmengen ($n\ge 1$). Wir betrachten die Menge $𝒜$, die aus allen Teilmengen von $M$ besteht, die man als Durchschnitte der Form

$S_1\cap \dots \cap S_k$

erhalten kann, wobei die Menge $S_i$ jeweils ein $T_j$ oder ein $M\setminus T_j$ ist.

a) Zeige, dass man auf diese Art nur endlich viele Teilmengen von $M$ erhalten kann.

b) Zeige, dass es in $𝒜$ eindeutig bestimmte, nichtleere Mengen $A_1,\dots ,A_m$ mit

$M=\underset{\ell =1}{\overset{m}{⨄}}{A}_{\ell }$

und mit der Eigenschaft gibt, dass jedes $A\in 𝒜$, $A\ne \mathrm{\varnothing }$, ein $A_{\ell }$ umfasst.

c) Zeige, dass man jede Menge $T_j$ als

$T_j=\underset{\ell \in L_j}{⨄}{A}_{\ell }$

mit einer eindeutig bestimmten Teilmenge  $L_j\subseteq \{1,\dots ,m\}$  darstellen kann.

Lösung

a) Da die Wiederholung einer Menge in einem Durchschnitt den Durchschnitt nicht ändert, und da  $T_j\cap (M\setminus T_j)=\mathrm{\varnothing }$  ist, muss man nur Durchschnitte betrachten, wo jede Menge maximal einmal vorkommt, und zwar entweder selbst oder ihr Komplement. Da nur endlich viele Mengen zur Verfügung stehen, gibt es nur endlich viele Durchschnitte.

b) Es seien $A_1,\dots ,A_m$ die nichtleeren Mengen aus $𝒜$ derart, dass es zwischen $\mathrm{\varnothing }$ und $A_{\ell }$ keine weiteren Mengen aus $𝒜$ gibt. Diese Mengen sind zueinander disjunkt, da ein Durchschnitt $A_{\ell }\cap A_{{\ell }^{\prime }}$ nach Konstruktion zu $𝒜$ gehört und bei $\ell \ne {\ell }^{\prime }$ echt in $A_{\ell }$ enthalten sein muss, also leer sein muss. Jedes Element  $x\in M$  liegt entweder in $T_j$ oder in $M\setminus T_j$ und somit in einer Schnittmenge der Form

$\bigcap _{j\in J}{T}_j\cap \bigcap _{j\in \{1,\dots ,n\}\setminus J}M\setminus T_j$

für eine gewisse Teilmenge  $J\subseteq \{1,\dots ,n\}$.  Solche Mengen sind minimal in $𝒜$, da jede Menge $T_j$ verarbeitet ist. Zu  $A\ne \mathrm{\varnothing }$  gibt es daher auch ein $A_{\ell }$ mit  $A\cap A_{\ell }\ne \mathrm{\varnothing }$.  Wegen der Wahl der $A_{\ell }$ ist dann aber direkt

$A_{\ell }\subseteq A.$

Wenn $B_1,\dots ,B_{m^{\prime }}$ eine weitere Familie mit den angegebenen Eigenschaften wäre, so gäbe es für jedes $B_{{\ell }^{\prime }}$ ein $A_{\ell }$ mit nichtleerem Durchschnitt. Dann ist direkt $A_{\ell }\subseteq B_{{\ell }^{\prime }}$ und somit gilt Gleichheit.

c) Es sei $T_j$ gegeben. Bei  $T_j=\mathrm{\varnothing }$  nimmt man die leere Vereinigung. Es sei also  $T_j\ne \mathrm{\varnothing }$.  Bei  $T_j\cap A_{\ell }\ne \mathrm{\varnothing }$  ist sogar  $T_j\supseteq A_{\ell }$,  und $T_j$ ist die Vereinigung dieser $A_{\ell }$.

Aufgabe (8 Punkte)

Es sei $\mu$ ein translationsinvariantes Maß auf dem ${ℝ}^n$, das auf dem Einheitswürfel endlich sei. Es sei $U\subset {ℝ}^n$ ein echter Untervektorraum. Zeige $\mu (U)=0$.

Lösung

 Es sei  $U\subset {ℝ}^n$  ein Untervektorraum der Dimension  $d<n$  und nehmen wir an, dass  $\mu (U)>0$  ist. Es sei $u_1,\dots ,u_d$ eine Basis von $U$ und

$P=\{a_1{u}_1+\cdots +a_d{u}_d\mid a_i\in [0,1]\}$

das davon erzeugte $d$-dimensionale Parallelotop. Dies lässt sich durch endlich viele verschobene Einheitswürfel überpflastern und besitzt demnach ein endliches Maß. Die verschobenen Parallelotope

$P_k=P+k_1{u}_1+\cdots +k_d{u}_d,k=(k_1,\dots ,k_d)\in {\mathbb{Z}}^d$

besitzen wegen der Translationsinvarianz alle dasselbe Maß und bilden eine Überpflasterung von $U$. Da es abzählbar viele sind, muss  $\mu (P)>0$  gelten. Es sei nun $u_{d+1},\dots ,u_n$ eine Ergänzung der Basis zu einer Basis von $V$, und sei

$R=\{a_1{u}_1+\cdots +a_d{u}_d+\cdots +a_n{u}_n\mid a_i\in [0,1]\}$

das zugehörige $n$-dimensionale Parallelotop. Für dieses ist

$\mu (R)<\mathrm{\infty }.$

Wir betrachten nun die abzählbar unendlich vielen Parallelotope

$P_q=P+q{u}_n\text{ mit }q\in [0,1]\cap \mathbb{Q}.$

Diese liegen alle innerhalb von $R$ und besitzen wegen der Translationsinvarianz alle das gleiche Maß wie $P$. Ferner sind sie paarweise disjunkt, da andernfalls ein nichttriviales Vielfaches von $u_n$ zu $U$ gehören würde. Aus

$\sum _{q\in [0,1]\cap \mathbb{Q}}\mu (P_q)=\mu \left(\bigcup _{q\in [0,1]\cap \mathbb{Q}}{P}_q\right)\le \mu (R)$

folgt  $\mu (R)=\mathrm{\infty }$,  ein Widerspruch.

Aufgabe (3 Punkte)

Berechne das Integral zur Funktion

$f(r,s,t)=rst+t\sin s$

über dem Einheitswürfel $W=[0,1{]}^3$.

Lösung

Aufgrund des Satzes von Fubini ist

$\begin{array}{cc}{\int }_{W}rst+t\sin sd{\lambda }^3& ={\int }_0^1{\int }_0^1{\int }_0^1(rst+t\sin s)drdsdt\\ & ={\int }_0^1{\int }_0^1(\frac{1}{2}{r}^{2}st+rt\sin s){|}_0^{1}dsdt\\ & ={\int }_0^1{\int }_0^1(\frac{1}{2}st+t\sin s)dsdt\\ & ={\int }_0^1(\frac{1}{4}{s}^{2}t-t\cos s){|}_0^{1}dt\\ & ={\int }_0^1(\frac{1}{4}t-t\cos 1+t)dt\\ & ={\int }_0^1\left((\frac{5}{4}-\cos 1)t\right)dt\\ & =\left(\frac{1}{2}(\frac{5}{4}-\cos 1)t^2\right){|}_0^1\\ & =\frac{5}{8}-\frac{1}{2}\cos 1.\end{array}$

Aufgabe (4 Punkte)

Berechne den Flächeninhalt des Bildes des Rechtecks  $Q=[-1,3]\times [0,2]$  unter der Abbildung

$\phi :{ℝ}^2⟶{ℝ}^2,(x,y)⟼(x^3,y-x^2).$

Lösung

Die Abbildung ist bijektiv mit der Umkehrabbildung

${ℝ}^2⟶{ℝ}^2,(u,v)⟼(u^{\frac{1}{3}},v+u^{\frac{2}{3}}).$

Die Jacobi-Matrix ist

$\left(\begin{array}{cc}3x^2& 0\\ -2x& 1\end{array}\right)$

mit der Jacobi-Determinante

$3x^2.$

Für die Punkte mit $x=0$ liegt also kein lokaler Diffeomorphismus vor und für die Punkte mit $x\ne 0$ liegt ein Diffeomorphismus auf das Bild vor. Auf $ℝ\setminus \{0\}\times ℝ$ ist also die Transformationsformel anwendbar. Die Ausnahmemenge $Q\cap \{(x,y)\mid x=0\}$ hat den Flächeninhalt $0$ und das gilt nach Fakt ***** auch für das Bild davon. Daher kann man die Transformationsformel anwenden und nach Fubini ist somit

${\lambda }^2(\phi (Q))={\int }_{Q}3x^{2}d{\lambda }^2=3\left({\int }_{-1}^3{x}^{2}dx\right)\left({\int }_0^{2}1dy\right)=2x^3{|}_{-1}^3=2(27+1)=56.$

Aufgabe (5 Punkte)

Man gebe ein Beispiel einer zweidimensionalen zusammenhängenden differenzierbaren Mannigfaltigkeit $M$ und einem Punkt  $P\in M$  derart, dass $M$ und $M\setminus \{P\}$ zueinander diffeomorph sind.

Lösung

Es sei

$M={ℝ}^2\setminus {\mathbb{N}}_{+}={ℝ}^2\setminus \{(1,0),(2,0),(3,0),\dots \},$

es werden also aus dem ${ℝ}^2$ die auf der $x$-Achse platzierten positiven natürlichen Zahlen herausgenommen. Dies ist eine offene Teilmenge im ${ℝ}^2$ und damit eine differenzierbare Mannigfaltigkeit. Diese ist wegzusammenhängend, da man beispielsweise jeden Punkt aus $M$ mit $y\ge 0$ durch einen geraden Weg mit $(0,1)$ und jeden Punkt aus $M$ mit $y\le 0$ durch einen geraden Weg mit $(0,-1)$ verbinden kann und diese beiden Punkte ebenfalls gerade verbindbar sind. Es sei nun

$P=(0,0)$

und

$M^{\prime }=M\setminus \{P\}.$

Die Abbildung

${ℝ}^2⟶{ℝ}^2,(x,y)⟼(x-1,y),$

ist (als Verschiebung) ein Diffeomorphismus und das Bild von $M$ ist genau $M^{\prime }$. Daher sind $M$ und $M^{\prime }=M\setminus \{P\}$ zueinander diffeomorph.

Aufgabe weiter

Wir betrachten den  ${ℝ}^6={\left({ℝ}^2\right)}^3$  als Menge aller (auch entarteter) Dreiecke, indem wir ein Dreieck mit den (geordneten) Eckpunkten  $P_1=\left(\begin{array}{c}{x}_1\\ y_1\end{array}\right)$,   $P_2=\left(\begin{array}{c}{x}_2\\ y_2\end{array}\right)$  und  $P_3=\left(\begin{array}{c}{x}_3\\ y_3\end{array}\right)$,  mit dem Koordinatentupel

$(x_1,y_1,x_2,y_2,x_3,y_3)$

identifizieren.

1. Zeige, dass die Menge der Dreiecke, bei denen zwei Eckpunkte zusammenfallen, eine abgeschlossene Teilmenge des ${ℝ}^6$ ist (das Komplement davon ist somit eine offene Menge in ${ℝ}^6$, die wir $U$ nennen).
2. Zeige, dass die Menge der Dreiecke, bei denen alle drei Eckpunkte auf einer Geraden liegen, eine abgeschlossene Teilmenge des ${ℝ}^6$ ist (das Komplement davon, das aus allen nichtentarteten Dreiecken besteht, ist somit eine offene Menge in ${ℝ}^6$, die wir $V$ nennen).
3. Erstelle eine Funktionsvorschrift, die die Abbildung

   $F:{ℝ}^6⟶ℝ$

   beschreibt, die einem Dreieck seinen Umfang zuordnet.

4. Zeige, dass die Funktion $F$ aus Teil (3) auf der Menge $U$ stetig differenzierbar ist.
5. Berechne die partielle Ableitung von $F$ nach $x_1$ auf $U$.
6. Zeige, dass die Menge der nichtentarteten Dreiecke mit Umfang $1$ eine abgeschlossene Untermannigfaltigkeit von $V$ bildet. Was ist die Dimension?

Lösung

1. Die Eckpunkte $P_1$ und $P_2$ stimmen genau dann überein, wenn ihre beiden Koordinaten übereinstimmen, wenn also  $x_1=x_2$  und  $y_1=y_2$  ist. Eine solche Bedingung definiert eine abgeschlossene Teilmenge, da es sich um die Faser einer (stetigen) linearen Abbildung handelt. Da eine endliche Vereinigung von abgeschlossenen Teilmengen wieder abgeschlossen ist, ist die in Frage stehende Menge abgeschlossen.
2. Wir betrachten die Verbindungsvektoren

   $P_2-P_1=\left(\begin{array}{c}{x}_2-x_1\\ y_2-y_1\end{array}\right)\text{ und }{P}_3-P_1=\left(\begin{array}{c}{x}_3-x_1\\ y_3-y_1\end{array}\right)$

   Die drei Punkte sind genau dann kollinear, wenn diese zwei Vektoren linear abhängig sind, und dies ist genau dann der Fall, wenn ihre Determinante $0$ ist. Die Kollinearitätssbedingung lautet somit

   $H(x_1,x_2,x_3,y_1,y_2,y_3)=(x_2-x_1)(y_3-y_1)-(x_3-x_1)(y_2-y_1)=0.$

   Da $H$ eine polynomiale Abbildung und damit stetig ist, ist die Faser zu $0$ eine abgeschlossene Teilmenge.

3. Da der Umfang einfach die Summe der drei beteiligten Dreiecksseiten ist, gilt

   $\begin{array}{cc}F(x_1,x_2,x_3,y_1,y_2,y_3)& =d(P_1,P_2)+d(P_1,P_3)+d(P_2,P_3)\\ & =\sqrt{(x_2-x_1{)}^2+(y_2-y_1{)}^2}+\sqrt{(x_3-x_1{)}^2+(y_3-y_1{)}^2}+\sqrt{(x_3-x_2{)}^2+(y_3-y_2{)}^2}.\end{array}$

4. Für einen Punkt aus $U$ ist jeder Radikand als polynomiale Funktion stetig differenzierbar und echt positiv, somit sind auch die Quadratwurzeln daraus stetig differenzierbar.
5. Die partielle Ableitung ist

   $\begin{array}{cc}\frac{\partial F}{\partial x_1}& =\frac{1}{2}{((x_2-x_1{)}^2+(y_2-y_1{)}^2)}^{-1/2}(2x_1-2x_2)+\frac{1}{2}{((x_3-x_1{)}^2+(y_3-y_1{)}^2)}^{-1/2}(2x_1-2x_3)\\ & ={((x_2-x_1{)}^2+(y_2-y_1{)}^2)}^{-1/2}(x_1-x_2)+{((x_3-x_1{)}^2+(y_3-y_1{)}^2)}^{-1/2}(x_1-x_3).\end{array}$

6. Auf $U$ sind die Radikanden positiv, somit verschwindet die partielle Ableitung nach $x_1$ nur, falls $x_1=x_2=x_3$ ist. Ein Dreieck mit dieser Bedingung ist aber kollinear. Das bedeutet, dass auf $V$ die partielle Ableitung nach $x_1$ nie $0$ wird und das bedeutet insbesondere, dass der Gradient auf $V$ nirgends verschwindet, also regulär ist. Nach Fakt ***** ist die Faser eine abgeschlossene Untermannigfaltigkeit, und zwar der Dimension

   $6-1=5.$

Aufgabe (3 (2+1) Punkte)

Wir betrachten im ${ℝ}^3$ die drei Vektoren

$\left(\begin{array}{c}1\\ 2\\ 3\end{array}\right),\left(\begin{array}{c}0\\ 2\\ -2\end{array}\right),\left(\begin{array}{c}x\\ 5\\ 7\end{array}\right).$

a) Wie muss man $x$ wählen, damit diese drei Vektoren die Standardorientierung des ${ℝ}^3$ repräsentieren?

b) Wie muss man $x$ wählen, damit diese drei Vektoren die der Standardorientierung entgegengesetzte Orientierung repräsentieren?

Lösung

a) Die Vektoren repräsentieren die Standardorientierung genau dann, wenn ihre Determinante positiv ist. Diese ist

$det\left(\begin{array}{ccc}1& 0& x\\ 2& 2& 5\\ 3& -2& 7\end{array}\right)=14-4x-6x+10=-10x+24,$

und dies ist positiv genau dann, wenn $x<2,4$ ist.

b) Die entgegengesetzte Orientierung liegt genau dann vor, wenn die Determinante negativ ist, und dies ist genau bei $x>2,4$ der Fall.

Aufgabe (5 Punkte)

Zeige, dass der Flächeninhalt der Rotationsfläche, die entsteht, wenn man den Graphen

$\Gamma =\{(x,e^x)\mid x\le 0\}$

um die $x$-Achse rotieren lässt, kleiner als $10$ ist.

Lösung

Wir betrachten die Oberfläche für $s\le x\le 0$ mit einer beliebigen negativen Zahl $s$. Der Flächeninhalt ist nach der Rotationsformel gleich

$2\pi {\int }_s^0\sqrt{1+e^{2t}}{e}^{t}dt.$

Da $t$ sich im negativen Bereich bewegt, ist $e^{2t}\le 1$ und somit ist der Integrand $\le \sqrt{2}{e}^t$. Damit ist dieses Integral kleiner/gleich

$2\pi \sqrt{2}{\int }_s^0{e}^{t}dt=2\pi \sqrt{2}(1-e^s)\le 2\pi \sqrt{2}\le 2\cdot \mathrm{3,2}\cdot \mathrm{1,5}=2\cdot \mathrm{4,8}<10.$

Diese Abschätzung gilt auch für $s\to -\mathrm{\infty }$.

Aufgabe (3 Punkte)

Berechne die äußere Ableitung $d\omega$ der $1$-Differentialform

$\omega =\frac{x^2}{y}dx-\frac{x}{y^2}dy$

auf  $U=\{(x,y)\in {ℝ}^2\mid y\ne 0\}$. 

Lösung

Es ist

$\begin{array}{cc}d\omega & =d\frac{x^2}{y}\wedge dx-d\frac{x}{y^2}\wedge dy\\ & =-\frac{x^2}{y^2}dy\wedge dx-\frac{1}{y^2}dx\wedge dy\\ & =\frac{x^2-1}{y^2}dx\wedge dy.\end{array}$

Aufgabe (4 Punkte)

Es sei $M$ eine Mannigfaltigkeit mit Rand. Zeige, dass jede offene Teilmenge  $N\subseteq M$  ebenfalls eine Mannigfaltigkeit mit (eventuell leerem) Rand ist, und dass

$\partial N=\partial M\cap N$

gilt.

Lösung

Es sei $P\in N$ und $P\in U$ ein Kartengebiet von $M$. Es sei

$\alpha :U⟶V$

eine Karte mit einer offenen Menge $V\subseteq H$, $H={ℝ}_{\ge 0}\times {ℝ}^{n-1}$. Diese Karte induziert einen Homöomorphismus

$N\cap U⟶\alpha (N\cap U).$

Diese Karten nehmen wir für $N$. Die Diffeomorphieeigenschaft der Kartenwechsel zu $M$ überträgt sich direkt auf die Karten zu $N$. Es sei $P\in N\cap \partial M$. Dann wird $P$ unter einer Karte auf einen Randpunkt von $H$ abgebildet, und da die Karten für $N$ Einschränkungen von solchen Karten sind, bleibt diese Eigenschaft erhalten. Wenn umgekehrt $P\in \partial N$ ist, so ist natürlich einerseits $P\in N\subseteq M$. Andererseits gibt es zu $P$ eine Karte zu $N$, die durch Einschränkung von einer Karte zu $M$ herrührt, in der $P$ auf einen Randpunkt von $H$ abgebildet wird.