Kurs:Analysis/Teil II/9/Klausur mit Lösungen

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die Abstandsfunktion auf einem reellen Vektorraum ${\displaystyle {}V}$ mit einem Skalarprodukt ${\displaystyle {}\left\langle -,-\right\rangle }$.
2. Die Vollständigkeit eines metrischen Raumes ${\displaystyle {}M}$.
3. Ein inhomogenes lineares gewöhnliches Differentialgleichungssystem mit konstanten Koeffizienten (über ${\displaystyle {}{\mathbb {C} }}$).
4. Eine symmetrische Bilinearform auf einem reellen Vektorraum ${\displaystyle {}V}$.
5. Die Hesse-Matrix zu einer zweimal stetig differenzierbaren Funktion

   ${\displaystyle f\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} }$

   in einem Punkt ${\displaystyle {}P\in \mathbb {R} ^{n}}$.

6. Die Integrabilitätsbedingung eines differenzierbaren Vektorfeldes

   ${\displaystyle G\colon U\longrightarrow \mathbb {R} ^{n},}$

   wobei ${\displaystyle {}U\subseteq \mathbb {R} ^{n}}$ eine offene Teilmenge ist.

Formuliere die folgenden Sätze.

1. Der Satz über die Eigenschaften des Abstandes auf einem reellen Vektorraum mit einem Skalarprodukt.
2. Der Satz von Schwarz.
3. Der Satz über die Grenzabbildung einer gleichmäßig konvergenten Abbildungsfolge

   ${\displaystyle f_{n}\colon L\longrightarrow M}$

   zwischen metrischen Räumen

   ${\displaystyle {}L}$ und ${\displaystyle {}M}$.

Es sei ${\displaystyle {}T\subseteq \mathbb {R} ^{n}}$ eine abzählbare Teilmenge (${\displaystyle {}n\geq 1}$). Es sei ${\displaystyle {}d}$ eine Metrik auf ${\displaystyle {}\mathbb {R} ^{n}}$ derart, dass ${\displaystyle {}d(x,y)}$ für ${\displaystyle {}x\not \in T}$ und ${\displaystyle {}y\in \mathbb {R} ^{n}}$ mit der euklidischen Metrik übereinstimmt. Zeige, dass ${\displaystyle {}d}$ auf ganz ${\displaystyle {}\mathbb {R} ^{n}}$ die euklidische Metrik ist.

Es seien ${\displaystyle {}P,Q\in \mathbb {R} ^{n}}$ zwei Punkte und ${\displaystyle {}G}$ die dadurch definierte Gerade. Wir identifizieren ${\displaystyle {}G}$ mit den reellen Zahlen, ${\displaystyle {}P}$ mit dem Nullpunkt und ${\displaystyle {}Q}$ mit einer positiven reellen Zahl. Die induzierte euklidische Metrik ist dann der Betrag. Der Durchschnitt ${\displaystyle {}T\cap G}$ ist ebenfalls abzählbar. Wir wählen ${\displaystyle {}u,v\in \mathbb {R} \setminus T}$ mit

${\displaystyle {}0<u<Q<v\,.}$

Mit der Dreiecksungleichung ist dann einerseits

${\displaystyle {}d(0,Q)\leq d(0,u)+d(u,Q)=\vert {u}\vert +\vert {Q-u}\vert =\vert {Q}\vert \,}$

und andererseits

${\displaystyle {}\vert {Q}\vert =\vert {v}\vert -\vert {Q-v}\vert =d(0,v)-d(v,Q)\leq d(0,Q)\,,}$

also ist

${\displaystyle {}d(0,Q)=\vert {Q}\vert \,.}$

Beweise das Folgenkriterium für die Stetigkeit einer Funktion ${\displaystyle {}f\colon L\rightarrow M}$ zwischen metrischen Räumen in einem Punkt ${\displaystyle {}x\in L}$.

Die Äquivalenz von (1) und (2) ist klar.
Es sei nun (2) erfüllt und sei ${\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }}$ eine Folge in ${\displaystyle {}L}$, die gegen ${\displaystyle {}x}$ konvergiert. Wir müssen zeigen, dass ${\displaystyle {}\lim _{n\rightarrow \infty }f(x_{n})=f(x)}$ ist. Dazu sei ${\displaystyle {}\epsilon >0}$ gegeben. Wegen (2) gibt es ein ${\displaystyle {}\delta }$ mit der angegebenen Eigenschaft und wegen der Konvergenz von ${\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }}$ gegen ${\displaystyle {}x}$ gibt es eine natürliche Zahl ${\displaystyle {}n_{0}}$ derart, dass für alle ${\displaystyle {}n\geq n_{0}}$ die Abschätzung

${\displaystyle {}d(x_{n},x)\leq \delta \,}$

gilt. Nach der Wahl von ${\displaystyle {}\delta }$ ist dann

${\displaystyle d(f(x_{n}),f(x))\leq \epsilon {\text{ für alle }}n\geq n_{0},}$

${\displaystyle {}f(x)}$

Es sei (3) erfüllt und ${\displaystyle {}\epsilon >0}$ vorgegeben.  Wir nehmen an, dass es für alle ${\displaystyle {}\delta >0}$ Elemente ${\displaystyle {}z\in L}$ gibt, deren Abstand zu ${\displaystyle {}x}$ maximal gleich ${\displaystyle {}\delta }$ ist, deren Wert ${\displaystyle {}f(z)}$ unter der Abbildung aber zu ${\displaystyle {}f(x)}$ einen Abstand größer als ${\displaystyle {}\epsilon }$ besitzt. Dies gilt dann insbesondere für die Stammbrüche ${\displaystyle {}\delta =1/n}$, ${\displaystyle {}n\in \mathbb {N} }$. D.h. für jede natürliche Zahl ${\displaystyle {}n}$ gibt es ein ${\displaystyle {}x_{n}\in L}$ mit

${\displaystyle d(x_{n},x)\leq {\frac {1}{n}}{\text{ und mit }}d(f(x_{n}),f(x))>\epsilon .}$

Diese so konstruierte Folge ${\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }}$ konvergiert gegen ${\displaystyle {}x}$, aber die Bildfolge konvergiert nicht gegen ${\displaystyle {}f(x)}$, da der Abstand der Bildfolgenwerte zu ${\displaystyle {}f(x)}$ zumindest ${\displaystyle {}\epsilon }$ ist. Dies ist ein Widerspruch zu (3).

a) Skizziere die (Bahn der) archimedische Spirale

${\displaystyle f\colon \mathbb {R} _{\geq 0}\longrightarrow \mathbb {R} ^{2},\,t\longmapsto \left(t\cos t,\,t\sin t\right).}$

b) Skizziere die (Bahn der) archimedische Spirale

${\displaystyle f\colon \mathbb {R} \longrightarrow \mathbb {R} ^{2},\,t\longmapsto \left(t\cos t,\,t\sin t\right).}$

b) Es ist

${\displaystyle {}{\begin{aligned}\left(-t\cos \left(-t\right),\,-t\sin \left(-t\right)\right)&=\left(-t\cos t,\,t\sin t\right)\\\end{aligned}}}$

D.h. der Wert des Weges an einer negativen Stelle ergibt sich aus dem Wert an der zugehörigen positiven Stelle, indem man in der ersten Komponenten negiert und die zweite Komponente beibehält. Die Bahn im Negativen ergibt sich also aus der Bahn im Positiven, indem man an der ${\displaystyle {}y}$-Achse spiegelt.

Beweise die Integralabschätzung für stetige Kurven.

Wenn ${\displaystyle {}\int _{a}^{b}g(t)\,dt=0}$ ist, so ist nichts zu zeigen. Es sei also

${\displaystyle {}\int _{a}^{b}g(t)\,dt=v\neq 0\,.}$

Es sei ${\displaystyle {}u_{1}:={\frac {v}{\Vert {v}\Vert }}}$. Das ergänzen wir zu einer Orthonormalbasis ${\displaystyle {}u_{1},u_{2},\ldots ,u_{n}}$ von ${\displaystyle {}V}$. Es seien ${\displaystyle {}g_{1},g_{2},\ldots ,g_{n}}$ die Koordinatenfunktionen von ${\displaystyle {}g}$ bezüglich dieser Basis. Dann besteht aufgrund unserer Basiswahl die Beziehung

${\displaystyle {}{\begin{aligned}v&=\int _{a}^{b}g(t)\,dt\\&={\left(\int _{a}^{b}g_{1}(t)\,dt\right)}u_{1}+\cdots +{\left(\int _{a}^{b}g_{n}(t)\,dt\right)}u_{n}\\&={\left(\int _{a}^{b}g_{1}(t)\,dt\right)}u_{1},\end{aligned}}}$

da ja ${\displaystyle {}v}$ ein Vielfaches von ${\displaystyle {}u_{1}}$ ist und somit die anderen Koeffizienten gleich ${\displaystyle {}0}$ sind. Daher ist

${\displaystyle {}{\begin{aligned}\Vert {\int _{a}^{b}g(t)\,dt}\Vert &=\vert {\int _{a}^{b}g_{1}(t)\,dt}\vert \\&\leq \int _{a}^{b}\vert {g_{1}(t)}\vert \,dt\\&\leq \int _{a}^{b}{\sqrt {(g_{1}(t))^{2}+\cdots +(g_{n}(t))^{2}}}\,dt\\&=\int _{a}^{b}\Vert {g_{1}(t)u_{1}+\cdots +g_{n}(t)u_{n}}\Vert \,dt\\&=\int _{a}^{b}\Vert {g(t)}\Vert \,dt.\end{aligned}}}$

Bestimme die Lösung ${\displaystyle {}\varphi }$ des Anfangswertproblems für das Zentralfeld

${\displaystyle F\colon \mathbb {R} \times \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(t,x,y)\longmapsto e^{t}x{\begin{pmatrix}x\\y\end{pmatrix}},}$

mit ${\displaystyle {}\varphi (0)={\begin{pmatrix}-1\\4\end{pmatrix}}}$.

Es handelt sich um ein Zentralfeld, das auf die eindimensionale Differentialgleichung

${\displaystyle {}z'=-e^{t}z^{2}\,}$

mit ${\displaystyle {}z(0)=1}$ führt. Dies ist eine Differentialgleichung mit getrennten Variablen. Es ist

${\displaystyle {}-{\frac {z'}{z^{2}}}=e^{t}\,}$

und somit

${\displaystyle {}z^{-1}=e^{t}+c\,.}$

Also ist

${\displaystyle {}z={\frac {1}{e^{t}+c}}\,}$

und wegen der Anfangsbedingung muss ${\displaystyle {}c=0}$ sein, also ist

${\displaystyle {}z=e^{-t}\,.}$

Die Lösung für das Zentralfeld ist somit

${\displaystyle {}{\begin{pmatrix}x(t)\\y(t)\end{pmatrix}}=e^{-t}{\begin{pmatrix}-1\\4\end{pmatrix}}\,.}$

Zeige für Polynomfunktionen

${\displaystyle f\colon {\mathbb {K} }^{n}\longrightarrow {\mathbb {K} }}$

direkt, dass

${\displaystyle {}{\frac {\partial }{\partial x_{i}}}{\frac {\partial f}{\partial x_{j}}}={\frac {\partial }{\partial x_{j}}}{\frac {\partial f}{\partial x_{i}}}\,}$

gilt.

Da partielle Ableitungen mit Addition und Skalarmultiplikation verträglich sind, und da ein Polynom eine Summe aus Monomen, multipiziert mit Konstanten ist, genügt es, die Aussage für Monome

${\displaystyle {}f=x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}\,}$

zu zeigen. Bei ${\displaystyle {}i=j}$ ist die Aussage richtig, sodass wir ${\displaystyle {}j>i}$ annehmen. Es ist

${\displaystyle {}{\frac {\partial x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}}{\partial x_{i}}}=k_{i}x_{1}^{k_{1}}\cdots x_{i-1}^{k_{i-1}}x_{i}^{k_{i}-1}x_{i+1}^{k_{i+1}}\cdots x_{n}^{k_{n}}\,.}$

Wenn ${\displaystyle {}k_{i}=0}$ ist, so ist dies ${\displaystyle {}0}$, und in diesem Fall sind auch ${\displaystyle {}{\frac {\partial }{\partial x_{j}}}{\frac {\partial f}{\partial x_{i}}}}$ und ${\displaystyle {}{\frac {\partial }{\partial x_{i}}}{\frac {\partial f}{\partial x_{j}}}}$ die Nullfunktion, also gleich. Dies ist auch bei ${\displaystyle {}k_{j}=0}$ der Fall. Es seien also ${\displaystyle {}k_{i},k_{j}\neq 0}$. Dann ist

${\displaystyle {}{\begin{aligned}{\frac {\partial }{\partial x_{j}}}{\left({\frac {\partial x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}}{\partial x_{i}}}\right)}&={\frac {\partial {\left(k_{i}x_{1}^{k_{1}}\cdots x_{i-1}^{k_{i-1}}x_{i}^{k_{i}-1}x_{i+1}^{k_{i+1}}\cdots x_{n}^{k_{n}}\right)}}{\partial x_{j}}}\\&=k_{i}k_{j}x_{1}^{k_{1}}\cdots x_{i-1}^{k_{i-1}}x_{i}^{k_{i}-1}x_{i+1}^{k_{i+1}}\cdots x_{j-1}^{k_{j-1}}x_{j}^{k_{j}-1}x_{j+1}{k_{j+1}}\cdots x_{n}^{k_{n}}.\end{aligned}}}$

Dies ist auch das Ergebnis in der umgekehrten Reihenfolge.

Man gebe ein Beispiel für eine stetige Funktion

${\displaystyle f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,}$

die im Nullpunkt partiell differenzierbar ist und dort die Eigenschaft besitzt, dass die Richtungsableitung in keine Richtung ${\displaystyle {}v=(a,b)}$ mit ${\displaystyle {}a,b\neq 0}$ existiert.

Beweise den Satz über die Offenheit der positiven Definitheit der Hesse-Form.

Es sei ${\displaystyle {}v_{1},\ldots ,v_{n}}$ eine Basis von ${\displaystyle {}V}$, und sei ${\displaystyle {}H(Q)}$ die Gramsche Matrix zur Hesse-Form ${\displaystyle {}\operatorname {Hess} _{Q}\,f}$ im Punkt ${\displaystyle {}Q\in G}$ bezüglich dieser Basis. Aufgrund der Differenzierbarkeitsvoraussetzungen hängt ${\displaystyle {}H(Q)}$ stetig von ${\displaystyle {}Q}$ ab. Daher hängen auch die Determinanten der quadratischen Untermatrizen von ${\displaystyle {}H(Q)}$ stetig von ${\displaystyle {}Q}$ ab. Die Determinanten

${\displaystyle {}D_{k}(P)=\det((H(P)_{i,j})_{1\leq i,j\leq k})\,}$

sind nach Korollar 48.12 (Analysis (Osnabrück 2021-2023)) alle von ${\displaystyle {}0}$ verschieden. Daher gibt es eine offene Umgebung ${\displaystyle {}U}$, ${\displaystyle {}P\in U\subseteq G}$, derart, dass für alle ${\displaystyle {}Q\in U}$ die Determinanten

${\displaystyle {}D_{k}(Q)=\det((H(Q)_{i,j})_{1\leq i,j\leq k})\,}$

das gleiche Vorzeichen haben wie ${\displaystyle {}D_{k}(P)}$. Da diese Vorzeichen nach Korollar 48.12 (Analysis (Osnabrück 2021-2023)) über die Definitheit entscheiden, folgt die Behauptung.

Wir betrachten die Abbildung

${\displaystyle \varphi \colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{2},\,(x,y,z)\longmapsto \left(x^{2}+y^{2}+z^{2},\,2x+3y+4z\right).}$

a) Bestimme die regulären Punkte der Abbildung ${\displaystyle {}\varphi }$. Zeige, dass ${\displaystyle {}P=(1,-2,1)}$ regulär ist.

b) Beschreibe für den Punkt ${\displaystyle {}P=(1,-2,1)}$ den Tangentialraum an die Faser ${\displaystyle {}F}$ von ${\displaystyle {}\varphi }$ durch ${\displaystyle {}P}$.

c) Man gebe für ${\displaystyle {}P=(1,-2,1)}$ einen lokalen Diffeomorphismus zwischen einem offenen Intervall und einer offenen Umgebung von ${\displaystyle {}P}$ in der Faser ${\displaystyle {}F}$ durch ${\displaystyle {}P}$ an.

a) Die Jacobi-Matrix der Abbildung ist

${\displaystyle {}J={\begin{pmatrix}2x&2y&2z\\2&3&4\end{pmatrix}}\,.}$

Diese Matrix besitzt maximalen Rang, wenn die erste Zeile kein Vielfaches der zweiten Zeile ist. Die Bedingung lautet also

${\displaystyle (x,y,z)=s(2,3,4),\,s\in \mathbb {R} .}$

D.h. die singulären Punkte der Abbildung sind die Punkte der von ${\displaystyle {}(2,3,4)}$ erzeugten Geraden. Der Punkt ${\displaystyle {}P=(1,-2,1)}$ gehört nicht zu dieser Geraden, da ${\displaystyle {}s(2,3,4)=(1,-2,1)}$ keine Lösung besitzt.

b) Der Tangentialraum an ${\displaystyle {}F}$ in ${\displaystyle {}P}$ ist der Kern des totalen Differentials, also der Kern von

${\displaystyle {}J={\begin{pmatrix}2&-4&2\\2&3&4\end{pmatrix}}\,.}$

Zur Bestimmung des Kerns muss man also das lineare Gleichungssystem

${\displaystyle {}{\begin{pmatrix}2&-4&2\\2&3&4\end{pmatrix}}{\begin{pmatrix}a\\b\\c\end{pmatrix}}=0\,}$

lösen. Durch Subtraktion der beiden Zeilen folgt ${\displaystyle {}7b+2c=0}$ und daher ist der Tangentialraum gleich der Geraden

${\displaystyle \{t(-11,-2,7),\,t\in \mathbb {R} \}.}$

c) Der Punkt ${\displaystyle {}P=(1,-2,1)}$ wird unter der Abbildung ${\displaystyle {}\varphi }$ auf ${\displaystyle {}(6,0)}$ abgebildet. Die Faser darüber wird durch die beiden Gleichungen

${\displaystyle x^{2}+y^{2}+z^{2}=6{\text{ und }}2x+3y+4z=0}$

beschrieben. Wir lösen die lineare Gleichung nach ${\displaystyle {}x}$ auf und setzen das Ergebnis

${\displaystyle {}x={\frac {-3y-4z}{2}}\,}$

in die quadratische Gleichung ein. Das ergibt

${\displaystyle {}{\frac {9y^{2}+16z^{2}+24yz}{4}}+y^{2}+z^{2}=6\,}$

bzw.

${\displaystyle {}13y^{2}+20z^{2}+24yz-24=0\,.}$

Wir lösen dies nach ${\displaystyle {}z}$ auf und erhalten zunächst

${\displaystyle {}z^{2}+{\frac {6}{5}}yz+{\frac {13}{20}}y^{2}-{\frac {6}{5}}=0\,}$

und durch quadratisches Ergänzen

${\displaystyle {}(z+{\frac {3}{5}}y)^{2}={\frac {9}{25}}y^{2}-{\frac {13}{20}}y^{2}+{\frac {6}{5}}=-{\frac {29}{100}}y^{2}+{\frac {6}{5}}\,.}$

Daraus ergibt sich

${\displaystyle {}z=\pm {\sqrt {-{\frac {29}{100}}y^{2}+{\frac {6}{5}}}}-{\frac {3}{5}}y\,.}$

Dabei ist die Wurzel für ${\displaystyle {}-{\sqrt {\frac {120}{29}}}\leq y\leq {\sqrt {\frac {120}{29}}}}$ und damit insbesondere für ${\displaystyle {}y=-2}$ definiert. Da für ${\displaystyle {}y=-2}$ ja ${\displaystyle {}z=1}$ sein soll, muss man das negative Vorzeichen nehmen. Somit liefert die Abbildung

${\displaystyle (-{\sqrt {\frac {120}{29}}},{\sqrt {\frac {120}{29}}})\longrightarrow \mathbb {R} ^{3},\,y\longmapsto ({\frac {-3y-4(-{\sqrt {-{\frac {29}{100}}y^{2}+{\frac {6}{5}}}}-{\frac {3}{5}}y)}{2}},y,-{\sqrt {-{\frac {29}{100}}y^{2}+{\frac {6}{5}}}}-{\frac {3}{5}}y)}$

eine Bijektion dieses offenen Intervalls mit der offenen Teilmenge der Faser ${\displaystyle {}F}$ durch ${\displaystyle {}P}$, die durch ${\displaystyle {}F\cap {\left\{(x,y,z)\mid -{\sqrt {\frac {120}{29}}}<y<{\sqrt {\frac {120}{29}}}\right\}}}$ gegeben ist. Es ist ein Diffeomorphismus, da diese Abbildung differenzierbar ist und ihre Ableitung wegen der zweiten Komponenten nirgendwo verschwindet.

Es sei ${\displaystyle {}V}$ ein endlichdimensionaler reeller Vektorraum und

${\displaystyle F\colon V\longrightarrow V}$

ein stetig differenzierbares Vektorfeld. Es sei ${\displaystyle {}C=C^{\infty }(V,\mathbb {R} )}$ die Menge der unendlich oft stetig differenzierbaren Funktionen von ${\displaystyle {}V}$ nach ${\displaystyle {}\mathbb {R} }$. Wir betrachten die Abbildung

${\displaystyle \delta =\delta _{F}\colon C\longrightarrow C,\,g\longmapsto \delta (g),}$

mit

${\displaystyle {}(\delta (g))(P)={\left(D_{F(P)}g\right)}{\left(P\right)}\,.}$

Man erhält also aus der Funktion ${\displaystyle {}g}$ die neue Funktion ${\displaystyle {}\delta (g)}$, indem man an einem Punkt ${\displaystyle {}P\in V}$ die Richtungsableitung der Funktion ${\displaystyle {}g}$ in Richtung ${\displaystyle {}F(P)}$ berechnet. Zeige, dass für ${\displaystyle {}g\in C}$ folgende Eigenschaften äquivalent sind.

1. Es ist ${\displaystyle {}\delta (g)=0}$.
2. Das Bild einer jeden Lösung zur Differentialgleichung ${\displaystyle {}y'=F(y)}$ liegt in einer Faser von ${\displaystyle {}g}$.

Von (1) nach (2). Es sei

${\displaystyle v\colon I\longrightarrow V,\,t\longmapsto v(t),}$

eine auf einem Intervall ${\displaystyle {}I}$ definierte Lösungskurve zur Differentialgleichung ${\displaystyle {}v'=F(v)}$, d.h. es gilt ${\displaystyle {}v'(t)=F(v(t))}$ für alle ${\displaystyle {}t\in I}$. Wir betrachten die Ableitung der Verknüpfung

${\displaystyle h\circ v\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto h(v(t)).}$

Nach der Kettenregel ist

${\displaystyle {}{\begin{aligned}(h\circ v)'(t)&={\left(Dh\right)}_{v(t)}{\left(v'(t)\right)}\\&={\left(Dh\right)}_{v(t)}{\left(F(v(t))\right)}\\&={\left(D_{F(v(t))}h\right)}{\left(v(t)\right)}\\&=(\delta (h))(v(t))\\&=0.\end{aligned}}}$

Also ist die Ableitung von ${\displaystyle {}h\circ v}$ gleich ${\displaystyle {}0}$ für alle ${\displaystyle {}t\in I}$ und daher ist ${\displaystyle {}h\circ v}$ konstant.

Von (2) nach (1). Es sei ${\displaystyle {}P\in V}$ fixiert. Nach dem Satz von Picard-Lindelöf gibt es zum Anfangswertproblem ${\displaystyle {}v'=F(v)}$ und ${\displaystyle {}v(0)=P}$ eine (eindeutige) Lösung, also eine differenzierbare Abbildung

${\displaystyle \gamma \colon I\longrightarrow V}$

mit ${\displaystyle {}\gamma '(t)=F(\gamma (t))}$ und ${\displaystyle {}\gamma (0)=P}$ (und ${\displaystyle {}0\in I}$). Nach Voraussetzung liegt das Bild von ${\displaystyle {}\gamma }$ ganz in einer Faser von ${\displaystyle {}g}$, d.h. die zusammengesetzte Abbildung

${\displaystyle g\circ \gamma \longrightarrow ,\,I\longmapsto \mathbb {R} }$

ist konstant. Daher ist die Ableitung davon gleich ${\displaystyle {}0}$ und somit ist

${\displaystyle {}{\left(Dg\right)}_{\gamma (t)}{\left(\gamma '(t)\right)}={\left(g\circ \gamma \right)}'(t)=0\,}$

für ${\displaystyle {}t\in I}$. Für ${\displaystyle {}t=0}$ bedeutet dies

${\displaystyle {}(\delta (g))(P)={\left(Dg\right)}_{P}{\left(F(P)\right)}={\left(Dg\right)}_{\gamma (0)}{\left(\gamma '(0)\right)}=0\,.}$

Skizziere den Graphen einer Funktion

${\displaystyle f\colon \mathbb {R} \longrightarrow \mathbb {R} _{\geq 0}}$

mit der Eigenschaft, dass der Subgraph ${\displaystyle {}{\left\{(x,y)\mid x\in \mathbb {R} ,\,0\leq y\leq f(x)\right\}}}$ nicht konvex, aber sternförmig ist.