Analysis 2/Gemischte Definitionsabfrage/25/Aufgabe/Lösung

1. Ein Skalarprodukt auf ${}V$ ist eine Abbildung

   $V\times V\longrightarrow {\mathbb {C} },\,(v,w)\longmapsto \left\langle v,w\right\rangle ,$

   mit folgenden Eigenschaften:

   1. Es ist

      ${}\left\langle \lambda _{1}x_{1}+\lambda _{2}x_{2},y\right\rangle =\lambda _{1}\left\langle x_{1},y\right\rangle +\lambda _{2}\left\langle x_{2},y\right\rangle \,$

      für alle ${}\lambda _{1},\lambda _{2}\in {\mathbb {C} }$, ${}x_{1},x_{2},y\in V$ und

      ${}\left\langle x,\lambda _{1}y_{1}+\lambda _{2}y_{2}\right\rangle ={\overline {\lambda _{1}}}\left\langle x,y_{1}\right\rangle +{\overline {\lambda _{2}}}\left\langle x,y_{2}\right\rangle \,$

      für alle ${}\lambda _{1},\lambda _{2}\in {\mathbb {C} }$, ${}x,y_{1},y_{2}\in V$.

   2. Es ist

      ${}\left\langle v,w\right\rangle ={\overline {\left\langle w,v\right\rangle }}\,$

      für alle ${}v,w\in V$.

   3. Es ist ${}\left\langle v,v\right\rangle \geq 0$ für alle ${}v\in V$ und ${}\left\langle v,v\right\rangle =0$ genau dann, wenn ${}v=0$ ist.
2. Eine Teilmenge ${}U\subseteq M$ heißt offen, wenn für jedes ${}x\in U$ ein ${}\epsilon >0$ mit

   ${}U{\left(x,\epsilon \right)}\subseteq U\,$

   existiert.

3. Die Abbildung ${}f$ heißt stetig in ${}x$, wenn für jedes ${}\epsilon >0$ ein ${}\delta >0$ derart existiert, dass

   ${}f{\left(B\left(x,\delta \right)\right)}\subseteq B\left(f(x),\epsilon \right)\,$

   gilt.

4. Eine Abbildung

   $v\colon J\longrightarrow V,\,t\longmapsto v(t),$

   auf einem offenen (Teil)Intervall ${}J\subseteq I$ heißt eine Lösung der Differentialgleichung, wenn folgende Eigenschaften erfüllt sind.

   1. Es ist ${}v(t)\in U$ für alle ${}t\in J$.
   2. Die Abbildung ${}v$ ist differenzierbar.
   3. Es ist ${}v'(t)=f(t,v(t))$ für alle ${}t\in J$.
5. Man sagt, dass ${}f$ in ${}x\in M$ ein lokales Minimum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in M$ mit ${}d(x,x')\leq \epsilon$ die Abschätzung

   ${}f(x)\leq f(x')\,$

   gilt.

6. Es sei ${}V$ ein endlichdimensionaler reeller Vektorraum mit einer symmetrischen Bilinearform ${}\left\langle -,-\right\rangle$. Man sagt, dass eine solche Bilinearform den Typ

   $(p,q)$

   besitzt, wobei

   ${}p:={\max {\left(\dim _{\mathbb {R} }{\left(U\right)},U\subseteq V,\,\left\langle -,-\right\rangle {|}_{U}{\text{ positiv definit}}\right)}}\,$

   und

   ${}q:={\max {\left(\dim _{\mathbb {R} }{\left(U\right)},U\subseteq V,\,\left\langle -,-\right\rangle {|}_{U}{\text{ negativ definit}}\right)}}\,$

   ist.

Zur gelösten Aufgabe