Lineare Algebra 2/Gemischte Definitionsabfrage/17/Aufgabe/Lösung

1. Unter einem euklidischen Vektorraum versteht man einen reellen endlichdimensionalen Vektorraum mit Skalarprodukt.
2. Die Bilinearform

   $V\times V\longrightarrow K,\,(v,w)\longmapsto \left\langle v,w\right\rangle ,$

   heißt nicht ausgeartet, wenn für alle ${}v\in V,\,v\neq 0$, die induzierten Abbildungen

   $V\longrightarrow K,\,w\longmapsto \left\langle v,w\right\rangle ,$

   und für alle ${}w\in V,\,w\neq 0$, die induzierten Abbildungen

   $V\longrightarrow K,\,v\longmapsto \left\langle v,w\right\rangle ,$

   nicht die Nullabbildung sind.

3. Ein Endomorphismus

   $\varphi \colon V\longrightarrow V$

   heißt normal, wenn ${}\varphi$ und ${}{\hat {\varphi }}$ vertauschbar sind.

4. Die Relation ${}\preccurlyeq$ heißt Ordnungsrelation, wenn folgende drei Bedingungen erfüllt sind.
   1. Es ist ${}i\preccurlyeq i$ für alle ${}i\in I$.
   2. Aus ${}i\preccurlyeq j$ und ${}j\preccurlyeq k$ folgt stets ${}i\preccurlyeq k$.
   3. Aus ${}i\preccurlyeq j$ und ${}j\preccurlyeq i$ folgt ${}i=j$.
5. Die Quotientenmenge

   $G/H$

   mit der eindeutig bestimmten Gruppenstruktur heißt Restklassengruppe von ${}G$ modulo ${}H$.

6. Zu den ${}K$-linearen Abbildungen

   $\varphi _{i}\colon V_{i}\longrightarrow W_{i}$

   heißt die lineare Abbildung

   $V_{1}\otimes _{}\cdots \otimes _{}V_{n}\longrightarrow W_{1}\otimes _{}\cdots \otimes _{}W_{n},\,v_{1}\otimes _{}\cdots \otimes _{}v_{n}\longmapsto \varphi _{1}(v_{1})\otimes _{}\cdots \otimes _{}\varphi _{n}(v_{n}),$

   das Tensorprodukt der ${}\varphi _{i}$.

Zur gelösten Aufgabe