Kurs:Lineare Algebra/Teil II/4/Klausur mit Lösungen

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	$\sum$
Punkte	3	3	1	4	6	4	7	6	4	1	3	1	2	7	5	3	4	64

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Orthogonale Vektoren $v,w\in V$ in einem reellen Vektorraum $V$ mit Skalarprodukt.
2. Die Gramsche Matrix zu einer Bilinearform $⟨-,-⟩$ auf einem $K$-Vektorraum $V$ bezüglich einer Basis $v_1,\dots ,v_n$ von $V$.
3. Ein selbstadjungierter Endomorphismus

   $\phi :V⟶V$

   auf einem $𝕂$-Vektorraum $V$ mit Skalarprodukt.

4. Der Index einer Untergruppe $H\subseteq G$ in einer Gruppe $G$.
5. Eine Ordnungsrelation $\preccurlyeq$ auf einer Menge $I$.
6. Eine Körpererweiterung.

Lösung

1. Zwei Vektoren $v,w\in V$ heißen orthogonal zueinander, wenn

   $⟨v,w⟩=0$

   ist.

2. Die $n\times n$-Matrix

   ${⟨v_i,v_j⟩}_{1\le i,j\le n}$

   heißt die Gramsche Matrix von $⟨-,-⟩$ bezüglich der Basis.

3. Der Endomorphismus $\phi$ heißt selbstadjungiert, wenn

   $⟨\phi (u),v⟩=⟨u,\phi (v)⟩$

   für alle $u,v\in V$ gilt.

4. Der Index ist die Anzahl der (Links- oder Rechts-)Nebenklassen von $H$ in $G$.
5. 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$.
6. Es sei $L$ ein Körper und  $K\subseteq L$  ein Unterkörper von $L$. Dann heißt die Inklusion  $K\subseteq L$  eine Körpererweiterung.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Die Polarisationsformel für ein Skalarprodukt auf einem reellen Vektorraum.
2. Der Charakterisierungssatz für eine eigentliche Isometrie in der reellen Ebene.
3. Der Satz über die universelle Eigenschaft des Dachproduktes.

Lösung

1. Die Polarisationsformel besagt

   $⟨v,w⟩=\frac{1}{2}(\Vert v+w{\Vert }^2-\Vert v{\Vert }^2-\Vert w{\Vert }^2).$

2. Jede eigentliche, lineare Isometrie

   $\phi :{ℝ}^2⟶{ℝ}^2$

   ist eine Drehung.
3. Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum und $n\in \mathbb{N}$. Es sei

   $\psi :V^n⟶W$

   eine alternierende multilineare Abbildung in einen weiteren $K$-Vektorraum $W$. Dann gibt es eine eindeutig bestimmte lineare Abbildung

   $\tilde{\psi }:\stackrel{n}{\bigwedge }V⟶W$

   derart, dass das Diagramm

   $\begin{array}{cccc}{V}^n& \stackrel{}{⟶}& \stackrel{n}{\bigwedge }V& \\ & \searrow & \downarrow & \\ & & W& \end{array}$

   kommutiert.

Aufgabe (1 Punkt)

Berechne das komplexe Standardskalarprodukt $⟨\mathrm{i},\mathrm{i}⟩$.

Lösung

Es ist

$⟨\mathrm{i},\mathrm{i}⟩=\mathrm{i}\cdot \bar{\mathrm{i}}=\mathrm{i}(-\mathrm{i})=1.$

Aufgabe (4 Punkte)

Wende das Schmidtsche Orthonormalisierungsverfahren auf die Basis

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

des ${ℝ}^3$ an.

Lösung

Der Vektor $v_1=\left(\begin{array}{c}2\\ 1\\ 0\end{array}\right)$ besitzt die Norm $\sqrt{5}$, somit ist

$u_1=\frac{v_1}{\Vert v_1\Vert }=\left(\begin{array}{c}\frac{2}{\sqrt{5}}\\ \frac{1}{\sqrt{5}}\\ 0\end{array}\right)$

der zugehörige normierte Vektor. Nun berechnen wir

$w_2=v_2-⟨v_2,u_1⟩u_1=\left(\begin{array}{c}1\\ 0\\ -1\end{array}\right)-\frac{2}{\sqrt{5}}\left(\begin{array}{c}\frac{2}{\sqrt{5}}\\ \frac{1}{\sqrt{5}}\\ 0\end{array}\right)=\left(\begin{array}{c}\frac{1}{5}\\ -\frac{2}{5}\\ -1\end{array}\right)$

als einen orthogonalen Vektor zu $u_1$, der zusammen mit $u_1$ den gleichen Untervektorraum wie $v_1$ und $v_2$ aufspannt. Normieren liefert

$u_2=\frac{w_2}{\Vert w_2\Vert }=\left(\begin{array}{c}\frac{1}{\sqrt{30}}\\ -\frac{2}{\sqrt{30}}\\ -\frac{5}{\sqrt{30}}\end{array}\right)$

als zweiten Vektor der Orthonormalbasis. Ein weiterer Vektor, der orthogonal auf $u_1$ und $u_2$ steht, ist

$\begin{array}{cc}{w}_3& =v_3-⟨v_3,u_1⟩u_1-⟨v_3,u_2⟩u_2\\ & =\left(\begin{array}{c}0\\ 0\\ 3\end{array}\right)-0\left(\begin{array}{c}\frac{2}{\sqrt{5}}\\ \frac{1}{\sqrt{5}}\\ 0\end{array}\right)+\frac{15}{\sqrt{30}}\left(\begin{array}{c}\frac{1}{\sqrt{30}}\\ -\frac{2}{\sqrt{30}}\\ -\frac{5}{\sqrt{30}}\end{array}\right)\\ & =\left(\begin{array}{c}\frac{1}{2}\\ -1\\ \frac{1}{2}\end{array}\right).\end{array}$

Somit ist

$u_3=\frac{w_3}{\Vert w_3\Vert }=\left(\begin{array}{c}\frac{1}{\sqrt{6}}\\ -\frac{2}{\sqrt{6}}\\ \frac{1}{\sqrt{6}}\end{array}\right)$

ein dritter Vektor der Orthonormalbasis.

Aufgabe (6 Punkte)

Es seien $V$ und $W$ euklidische Vektorräume und sei

$\phi :V⟶W$

eine lineare Abbildung. Zeige, dass die folgenden Aussagen äquivalent sind:

1. $\phi$ ist eine Isometrie.
2. Für jede Orthonormalbasis $u_i,i=1,\dots ,n$, von $V$ ist $\phi (u_i),i=1,\dots ,n$, Teil einer Orthonormalbasis von $W$.
3. Es gibt eine Orthonormalbasis $u_i,i=1,\dots ,n$, von $V$ derart, dass $\phi (u_i),i=1,\dots ,n$, Teil einer Orthonormalbasis von $W$ ist.

Lösung

Aus (1) folgt (2). Wenn eine Isometrie vorliegt, und $u_i$, $i=1,\dots ,n$, eine Orthonormalbasis von $V$ ist, so ist

$⟨\phi (u_i),\phi (u_j)⟩=⟨u_i,u_j⟩={\delta }_{ij}$

und somit ist $\phi (u_i)$, $i=1,\dots ,n$, eine Orthonormalbasis von $\phi (V)$. Diese kann man zu einer Orthonormalbasis von $W$ ergänzen.

Von (2) nach (3) ist klar, da es Orthonormalbasen von $V$ gibt.

Von (3) nach (1). Es sei $u_i$, $i=1,\dots ,n$, eine Orthonormalbasis von $V$ mit der Eigenschaft, dass

$\phi (u_i),i=1,\dots ,n,$

Teil einer Orthonormalbasis von $W$ ist. Für zwei beliebige Vektoren $u=\sum _{i=1}^n{a}_i{u}_i$ und $v=\sum _{i=1}^n{b}_i{u}_i$ von $V$ ist dann

$\begin{array}{cc}⟨\phi (u),\phi (v)⟩& =⟨\sum _{i=1}^n{a}_i\phi (u_i),\sum _{j=1}^n{b}_j\phi (u_j)⟩\\ & =\sum _{1\le i,j\le n}{a}_i{b}_j⟨\phi (u_i),\phi (u_j)⟩\\ & =\sum _{1\le i\le n}{a}_i{b}_i\\ & =\sum _{1\le i,j\le n}{a}_i{b}_i⟨u_i,u_j⟩\\ & =⟨\sum _{i=1}^n{a}_i{u}_i,\sum _{j=1}^n{b}_j{u}_j⟩\\ & =⟨u,v⟩,\end{array}$

es liegt also eine Isometrie vor.

Aufgabe (4 Punkte)

Wir betrachten das Dreieck, das durch die Ecken $(0,0),(2,0),(0,1)$ gegeben ist. Bestimme die Schnittpunkte der Dreiecksseiten mit der durch

$y=2x-1$

gegebenen Geraden.

Lösung

Die $x$-Achse beinhaltet eine Dreiecksseite, der Schnittpunkt mit der gegebenen Geraden ist $(\frac{1}{2},0)$, was zu dieser Dreiecksseite gehört. Die $y$-Achse beinhaltet ebenfalls eine Dreiecksseite, der Schnittpunkt mit der gegebenen Geraden ist $(0,-1)$, was nicht zur Dreiecksseite gehört. Die dritte Seite des Dreiecks ist durch die beiden Punkte $(0,1)$ und $(2,0)$ bestimmt, die entsprechende Seitengerade ist durch

$y=-\frac{1}{2}x+1$

gegeben. Gleichsetzen führt auf

$2x-1=-\frac{1}{2}x+1$

bzw.

$5x=4,$

also

$x=\frac{4}{5}.$

Der Schnittpunkt der beiden Geraden ist somit $(\frac{4}{5},\frac{3}{5})$, was zur Dreiecksseite gehört.

Aufgabe (7 Punkte)

Es seien $A,B$ verschiedene Punkte in einer euklidischen Ebene. Zeige, dass die Mittelsenkrechte zu $A$ und $B$ aus allen Punkten besteht, die zu $A$ und $B$ den gleichen Abstand haben.

Lösung

Es sei

$M=\frac{1}{2}(A+B)$

der Mittelpunkt der beiden Eckpunkte und $u$ ein zu $\overrightarrow{AB}$ senkrechter Vektor, sodass die Punkte auf der Mittelsenkrechten gleich $M+su$ mit  $s\in ℝ$  sind.

Es sei zunächst  $P\in {ℝ}^2$  ein Punkt der Mittelsenkrechte, den wir als

$P=M+su$

ansetzen können. Es ist unter Verwendung des Satzes des Pythagoras

$d(P,A{)}^2=\Vert P-A{\Vert }^2=\Vert su-\frac{1}{2}(B-A){\Vert }^2=\Vert su{\Vert }^2+\Vert \frac{1}{2}(B-A){\Vert }^2.$

Das gleiche Ergebnis ergibt sich für $d(P,B{)}^2$.

Es sei nun  $P\in {ℝ}^2$  ein Punkt, der zu $A$ und $B$ den gleichen Abstand besitzt. Der Abstand von $P$ zur Geraden durch $A$ und $B$ werde im Punkt $Q$ angenommen. Dann steht die Gerade durch $P$ und $Q$ senkrecht auf der Geraden durch $A$ und $B$ und nach dem Satz des Pythagoras gilt

$d(P,A{)}^2=d(P,Q{)}^2+d(Q,A{)}^2$

und entsprechend

$d(P,B{)}^2=d(P,Q{)}^2+d(Q,B{)}^2.$

Nach Voraussetzung ist also

$d(Q,A)=d(Q,B)$

und somit ist

$Q=M$

der Mittelpunkt der Strecke von $A$ nach $B$. Also liegt $P$ auf der Mittelsenkrechten.

Aufgabe (6 Punkte)

Beweise den Trägheitssatz von Sylvester.

Lösung

Bezüglich einer Orthogonalbasis $u_1,\dots ,u_n$ von $V$ (die es nach Satz 38.15 (Lineare Algebra (Osnabrück 2024-2025)) gibt) hat die Gramsche Matrix natürlich Diagonalgestalt. Es sei $p^{\prime }$ die Anzahl der positiven Diagonaleinträge und $q^{\prime }$ die Anzahl der negativen Diagonaleinträge. Die Basis sei so geordnet, dass die ersten $p^{\prime }$ Diagonaleinträge positiv, die folgenden $q^{\prime }$ Diagonaleinträge negativ und die übrigen $0$ seien. Auf dem $p^{\prime }$-dimensionalen Unterraum  $U=⟨u_1,\dots ,u_{p^{\prime }}⟩$  ist die eingeschränkte Bilinearform positiv definit, sodass  $p^{\prime }\le p$  gilt. Es sei  $W=⟨u_{p^{\prime }+1},\dots ,u_n⟩$,  auf diesem Unterraum ist die Bilinearform negativ semidefinit. Dabei ist  $V=U\oplus W$,  und diese beiden Räume sind orthogonal zueinander.

 Angenommen, es gebe einen Unterraum $U^{\prime }$, auf dem die Bilinearform positiv definit ist, und dessen Dimension $p$ größer als $p^{\prime }$ ist. Die Dimension von $W$ ist $n-p^{\prime }$ und daher ist  $W\cap U^{\prime }\ne 0$  nach Korollar 9.8 (Lineare Algebra (Osnabrück 2024-2025)).

Für einen Vektor $w\in W\cap U^{\prime }$, $w\ne 0$, ergibt sich aber direkt der Widerspruch  $⟨w,w⟩>0$  und  $⟨w,w⟩\le 0$. 

Aufgabe (4 Punkte)

Bestimme mit dem Eigenwertkriterium den Typ der durch die Matrix

$\left(\begin{array}{ccc}5& 0& 0\\ 0& 2& -3\\ 0& -3& 4\end{array}\right)$

gegebenen symmetrischen Bilinearform.

Lösung

Das charakteristische Polynom der Matrix ist

$\begin{array}{cc}det\left(\begin{array}{ccc}x-5& 0& 0\\ 0& x-2& 3\\ 0& 3& x-4\end{array}\right)& =(x-5)((x-2)(x-4)-9)\\ & =(x-5)(x^2-6x+8-9)\\ & =(x-5)(x^2-6x-1).\end{array}$

Das Polynom $x^2-6x-1$ hat die Nullstellen

$x_{1,2}=\pm \sqrt{10}+3,$

wobei die eine positiv und die andere negativ ist. Da die $5$ eine weitere Nullstelle des charakteristische Polynoms ist, besitzt dieses $2$ positive und eine negative Nullstelle. Daher ist der Typ der Bilinearform gleich $(2,1)$.

Aufgabe (1 Punkt)

Ist die Einschränkung einer Minkowski-Form im ${ℝ}^n$ auf einen $n-1$-dimensionalen Untervektorraum wieder eine Minkowski-Form?

Lösung

Da eine Minkowski-Form nach Definition vom Typ $(n-1,1)$ ist, gibt es einen $n-1$-dimensionalen Untervektorraum, auf dem die Einschränkung positiv definit, also keine Minkowski-Form ist.

Aufgabe (3 Punkte)

Zeige anhand der Matrix

$\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right),$

dass ein $\phi$-invarianter Untervektorraum  $U\subseteq {ℝ}^2$  nicht invariant unter dem adjungierten Endomorphismus $\hat{\phi }$ sein muss.

Lösung

Wir betrachten die lineare Abbildung

$\phi :{ℝ}^2⟶{ℝ}^2,$

die durch die Matrix

$\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$

bezüglich der Standardbasis gegeben ist. Es ist  $U=ℝe_1$  invariant unter $\phi$. Nach Lemma 41.6 (Lineare Algebra (Osnabrück 2024-2025)) wird der adjungierte Endomorphismus durch die Matrix

$\left(\begin{array}{cc}1& 0\\ 1& 1\end{array}\right)$

beschrieben. Daher gilt

$\hat{\phi }(e_1)=e_1+e_2$

und somit ist $U$ nicht invariant unter $\hat{\phi }$.

Aufgabe (1 Punkt)

Es sei $G$ eine kommutative Gruppe und

$\phi :G⟶H$

ein surjektiver Gruppenhomomorphismus. Zeige, dass $H$ ebenfalls kommutativ ist.

Lösung

Es seien $h_1,h_2\in H$. Dann gibt es $g_1,g_2\in G$ mit $\phi (g_1)=h_1$ und $\phi (g_2)=h_2$. Dann ist

$h_1{h}_2=\phi (g_1)\phi (g_2)=\phi (g_1{g}_2)=\phi (g_2{g}_1)=\phi (g_2)\phi (g_1)=h_2{h}_1.$

Aufgabe (2 Punkte)

Bestimme, ob die beiden Basen des ${ℝ}^2$,

$\left(\begin{array}{c}2\\ 4\end{array}\right),\left(\begin{array}{c}-5\\ 7\end{array}\right)\text{ und }\left(\begin{array}{c}-3\\ 6\end{array}\right),\left(\begin{array}{c}2\\ -5\end{array}\right),$

die gleiche Orientierung repräsentieren oder nicht.

Lösung

Die Determinante links ist

$2\cdot 7-4\cdot (-5)=14+20=34$

und die Determinante rechts ist

$(-3)(-5)-6\cdot 2=15-12=3.$

Da beide Determinanten positiv sind, repräsentieren sie die gleiche Orientierung des ${ℝ}^2$.

Aufgabe (7 (3+2+2) Punkte)

a) Zeige, dass die Gruppe $\mathbb{Z}/(2)\times \mathbb{Z}/(2)\times \mathbb{Z}/(2)$ nicht die eigentliche Symmetriegruppe einer Teilmenge  $T\subseteq {ℝ}^3$  ist.

b) Zeige, dass man die Gruppe $\mathbb{Z}/(2)\times \mathbb{Z}/(2)\times \mathbb{Z}/(2)$ als Untergruppe der vollen Isometriegruppe ${\mathrm{O}}_3\left(ℝ\right)$ realisieren kann.

c)

Betrachte die eigentliche Symmetriegruppe eines Quaders mit drei verschiedenen Seitenlängen. Bei ihm ist zu jeder Geraden durch gegenüberliegende Seitenmittelpunkte die Halbdrehung um diese Achse eine Symmetrie. Widerspricht dies nicht Teil (a)?

Lösung

a) Die endlichen Gruppen, die als eigentliche Bewegungsgruppe eines geometrischen Objektes  $T\subseteq {ℝ}^3$  auftreten, sind in Satz 51.8 (Lineare Algebra (Osnabrück 2024-2025)) klassifiziert. Die Gruppe  $G=\mathbb{Z}/(2)\times \mathbb{Z}/(2)\times \mathbb{Z}/(2)$  hat acht Elemente, deshalb scheiden die Tetraedergruppe, die Würfelgruppe und die Ikosaedergruppe aus. Aufgrund der Anzahl könnte $G$ höchstens die zyklische Gruppe der Ordnung $8$, also $\mathbb{Z}/(8)$ sein, oder die Diedergruppe $D_4$. Diese enthält aber die zyklische Gruppe der Ordnung vier. In $G$ haben aber alle Elemente außer dem neutralen Element die Ordnung $2$, sodass auch diese beiden Gruppen ausgeschlossen sind.

b) Die acht Matrizen

$\left(\begin{array}{ccc}\pm 1& 0& 0\\ 0& \pm 1& 0\\ 0& 0& \pm 1\end{array}\right)$

sind allesamt Isometrien, und da es sich um Diagonalmatrizen handelt, bilden sie eine Gruppe, die isomorph zu

$\{\pm 1\}\times \{\pm 1\}\times \{\pm 1\}\cong \mathbb{Z}/(2)\times \mathbb{Z}/(2)\times \mathbb{Z}/(2)$

ist.

c) Die Hintereinanderschaltung von zwei Halbdrehungen um verschiedene Quaderachsen ergibt die Halbdrehung um die dritte Achse, deshalb ist die Symmetriegruppe nicht $\mathbb{Z}/(2)\times \mathbb{Z}/(2)\times \mathbb{Z}/(2)$, sondern $\mathbb{Z}/(2)\times \mathbb{Z}/(2)$.

Aufgabe (5 Punkte)

Der Matrizenraum  ${\mathrm{Mat}}_n(ℝ)\cong {ℝ}^{n^2}$  sei mit der euklidischen Norm (bezogen auf die $n^2$ Einträge) versehen. Zeige, dass $n\times n$-Matrizen $A,B$ die Abschätzung

$\mid \mid A\circ B\mid {\mid }_{\mathrm{euk}}\le \mid \mid A\mid {\mid }_{\mathrm{euk}}\cdot \mid \mid B\mid {\mid }_{\mathrm{euk}}$

erfüllen.

Lösung

Es sei

$A={\left(a_{ij}\right)}_{ij}$

und

$B={\left(b_{k\ell }\right)}_{k\ell }.$

Die Produktmatrix

$AB={\left(c_{rs}\right)}_{rs}$

besitzt die Einträge

$c_{rs}=\sum _{j=1}^n{a}_{rj}{b}_{js}=⟨a_r,b_s⟩,$

wobei $a_r$ die $r$-te Zeile von $A$ und $b_s$ die $s$-te Spalte von $B$ bezeichnet. Das Quadrat der euklidischen Norm des Produktes erfüllt also unter Verwendung von Satz 31.8 (Lineare Algebra (Osnabrück 2024-2025))

$\begin{array}{cc}\mid \mid AB\mid {\mid }_{\mathrm{euk}}^2& =\sum _{r,s}{⟨a_r,b_s⟩}^2\\ & \le \sum _{r,s}\mid \mid a_r\mid {\mid }_{\mathrm{euk}}^2\cdot \mid \mid b_s\mid {\mid }_{\mathrm{euk}}^2\\ & =(\sum _r\mid \mid a_r\mid {\mid }_{\mathrm{euk}}^2)(\sum _s\mid \mid b_s\mid {\mid }_{\mathrm{euk}}^2)\\ & =\mid \mid A\mid {\mid }_{\mathrm{euk}}^2\cdot \mid \mid B\mid {\mid }_{\mathrm{euk}}^2.\end{array}$

Übergang zu den Quadratwurzeln ergibt die Behauptung.

Aufgabe (3 Punkte)

Es sei $M$ eine spaltenstochastische Matrix, bei der eine Zeile ausschließlich aus positiven Einträgen bestehe. Zeige, dass die Folge $M^n$ gegen eine Matrix $N$ konvergiert, bei der jede Spalte gleich ist.

Lösung

Nach Satz 54.11 (Lineare Algebra (Osnabrück 2024-2025)) konvergiert unter der gegebenen Voraussetzung für jede Startverteilung $v$ die Folge $M^{n}v$, $n\in \mathbb{N}$, gegen die eindeutig bestimmte Eigenverteilung $w$. Dies gilt insbesondere für die Standardverteilungen $e_1,\dots ,e_n$. Da $M^n{e}_i$ die $i$-te Spalte der Matrix $M^n$ ist, konvergiert $M^n$ gegen diejenige Matrix, deren sämtliche Spalten gleich der Eigenverteilung $w$ sind.

Aufgabe (4 Punkte)

Beweise die universelle Eigenschaft des Dachprodukts.

Lösung

Wir verwenden die Notation aus Konstruktion 57.3 (Lineare Algebra (Osnabrück 2024-2025)). Durch die Zuordnung

$e_{(v_1,\dots ,v_n)}⟼\psi (v_1,\dots ,v_n)$

wird nach Satz 10.10 (Lineare Algebra (Osnabrück 2024-2025)) eine $K$-lineare Abbildung

$\overline{\psi }:H⟶W$

definiert. Da $\psi$ multilinear und alternierend ist, wird unter $\overline{\psi }$ der Untervektorraum  $U\subseteq H$  auf $0$ abgebildet. Nach Satz 47.16 (Lineare Algebra (Osnabrück 2024-2025)) gibt es daher eine $K$-lineare Abbildung

$\tilde{\psi }:H/U⟶W,$

die mit $\overline{\psi }$ verträglich ist.
Die Eindeutigkeit ergibt sich daraus, dass die $v_1\wedge \dots \wedge v_n$ ein Erzeugendensystem von $\stackrel{n}{\bigwedge }V$ bilden und diese auf $\psi (v_1,\dots ,v_n)$ abgebildet werden müssen.