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

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

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine Isometrie

   $\phi :V⟶W$

   zwischen euklidischen Vektorräumen.

2. Eine nicht-ausgeartete Bilinearform.
3. Ein normaler Endomorphismus

   $\phi :V⟶V$

   auf einem endlichdimensionalen $𝕂$-Vektorraum mit Skalarprodukt $⟨-,-⟩$.

4. Die Restklassengruppe zu einem Normalteiler  $H\subseteq G$  in einer Gruppe $G$.
5. Die Stetigkeit einer Abbildung

   $f:L⟶M$

   zwischen metrischen Räumen $L$ und $M$ in einem Punkt  $x\in L$. 

6. Die $n$-te äußere Potenz zu einem $K$-Vektorraum $V$ (es genügt, das Symbol dafür anzugeben).

Lösung

1. Die Abbildung $\phi$ heißt eine Isometrie, wenn für alle $v,w\in V$ gilt:

   $⟨\phi (v),\phi (w)⟩=⟨v,w⟩.$

2. Die Bilinearform

   $V\times V⟶K,(v,w)⟼⟨v,w⟩,$

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

   $V⟶K,w⟼⟨v,w⟩,$

   und für alle $w\in V,w\ne 0$, die induzierten Abbildungen

   $V⟶K,v⟼⟨v,w⟩,$

   nicht die Nullabbildung sind.

3. Ein Endomorphismus

   $\phi :V⟶V$

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

4. Die Quotientenmenge

   $G/H$

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

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

   $f\left(B(x,\delta )\right)\subseteq B(f(x),ϵ)$

   gilt.

6. Man nennt den $K$-Vektorraum $\stackrel{n}{\bigwedge }V$ das $n$-te Dachprodukt von $V$.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Der Satz über die Charakterisierung von reellen Isometrien mit Matrizen.
2. Das Minorenkriterium für den Typ einer symmetrischen Bilinearform.
3. Der Charakterisierungssatz für asymptotisch stabile Endomorphismen.

Lösung

1. Es sei $V$ ein euklidischer Vektorraum und $u_1,\dots ,u_n$ eine Orthonormalbasis von $V$. Es sei

   $\phi :V⟶V$

   eine lineare Abbildung und $M$ die beschreibende Matrix zu $\phi$ bezüglich der gegebenen Basis. Dann ist $\phi$ genau dann eine Isometrie, wenn

   $M^{\text{tr}}M=E_n$

   ist.
2. Es sei $⟨-,-⟩$ eine symmetrische Bilinearform auf einem endlichdimensionalen reellen Vektorraum $V$ und sei $v_1,\dots ,v_n$ eine Basis von $V$. Es sei $G$ die Gramsche Matrix zu $⟨-,-⟩$ bezüglich dieser Basis. Die Determinanten $D_k$ der quadratischen Untermatrizen

   $M_k=(⟨v_i,v_j⟩{)}_{1\le i,j\le k}$

   seien alle von $0$ verschieden für $k=1,\dots ,n$. Es sei $q$ die Anzahl der Vorzeichenwechsel in der Folge

   $D_0=1,D_1=det{M}_1,D_2=det{M}_2,\dots ,D_n=det{M}_n=detG.$

   Dann ist $⟨-,-⟩$ vom Typ

   $(n-q,q)$.
3. Es sei $V$ ein endlichdimensionaler $𝕂$-Vektorraum und

   $\phi :V⟶V$

   ein Endomorphismus. Dann sind folgende Eigenschaften äquivalent.

   1. $\phi$ ist asymptotisch stabil.
   2. Zu jedem $v\in V$ konvergiert die Folge ${\phi }^n(v)$, $n\in \mathbb{N}$, gegen $0\in V$.
   3. Es gibt ein Erzeugendensystem $v_1,\dots ,v_m\in V$ derart, dass ${\phi }^n(v_j)$, $j=1,\dots ,m$, gegen $0$ konvergiert.
   4. Der Betrag eines jeden komplexen Eigenwerts von $\phi$ ist kleiner als $1$.

Aufgabe (1 Punkt)

Bestimme das orthogonale Komplement zu dem von $\left(\begin{array}{c}-2\\ 8\\ 9\end{array}\right)$ erzeugten Untervektorraum im ${ℝ}^3$.

Lösung

Die Vektoren $\left(\begin{array}{c}8\\ 2\\ 0\end{array}\right)$ und $\left(\begin{array}{c}9\\ 0\\ 2\end{array}\right)$ stehen offenbar senkrecht auf der gegebenen Geraden und sind zueinander linear unabhängig. Daher und aus Dimensionsgründen ist der Orthonormalraum gleich

$\{r\left(\begin{array}{c}8\\ 2\\ 0\end{array}\right)+s\left(\begin{array}{c}9\\ 0\\ 2\end{array}\right)\mid r,s\in ℝ\}.$

Aufgabe (7 Punkte)

Es sei $V$ ein euklidischer Vektorraum und sei

$\phi :V⟶V$

eine lineare Abbildung mit der Eigenschaft, dass die Determinante von $\phi$ gleich $1$ oder $-1$ ist. Ferner besitze $\phi$ die Eigenschaft, dass zueinander orthogonale Vektoren stets auf orthogonale Vektoren abgebildet werden. Zeige, dass $\phi$ eine Isometrie ist.

Lösung

Es sei $u_1,\dots ,u_n$ eine Orthonormalbasis und $v_i=\phi (u_i)$. Nach Voraussetzung sind diese Vektoren $\ne 0$ und stehen paarweise senkrecht aufeinander. Es sei

$w_i=\frac{v_i}{\Vert v_i\Vert }$

die zugehörige Orthonormalbasis. Wir betrachten die durch

$u_i\mapsto w_i$

gegebene lineare Abbildung $\psi$. Diese ist nach Lemma 33.7 (Lineare Algebra (Osnabrück 2024-2025)) (oder nach Aufgabe 33.23 (Lineare Algebra (Osnabrück 2024-2025))) eine Isometrie und hat Determinante $1$ oder $-1$. Wir schreiben

$\phi =\theta \circ \psi ,$

wobei $\theta$ die Form $w_i\mapsto s_i{w}_i$ besitzt. Aufgrund des Determinantenmultiplikationssatzes ist die Determinante von $\theta$ ebenfalls $1$ oder $-1$. Die Orthogonalitätsbedingung gilt mit $\phi$ und $\psi$ auch für $\theta =\phi \circ {\psi }^{-1}$. Es genügt somit zu zeigen, dass $\theta$ eine Isometrie ist, wozu es genügt, zu zeigen, dass alle $s_i$ betragsmäßig gleich $1$ sind. Nehmen wir an, dass es ein $i$ mit

$|s_i|>1$

gibt. Wegen der Eigenschaft der Determinante ist

$\prod _{i=1}^n|s_i|=1$

und daher gibt es auch ein $j$ mit

$|s_j|<1.$

Die Vektoren $w_i+w_j$ und $w_i-w_j$ sind wegen

$⟨w_i+w_j,w_i-w_j⟩=⟨w_i,w_i⟩-⟨w_j,w_j⟩=1-1=0$

orthogonal zueinander. Ihre Bilder $s_i{w}_i+s_j{w}_j$ und $s_i{w}_i-s_j{w}_j$ sind aber wegen

$⟨s_i{w}_i+s_j{w}_j,s_i{w}_i-s_j{w}_j⟩=s_i^2⟨w_i,w_i⟩-s_j^2⟨w_j,w_j⟩=s_i^2-s_j^2>0$

nicht orthogonal zueinander.

Aufgabe (4 Punkte)

Bestimme den Abstand zwischen dem Punkt $\left(\begin{array}{c}5\\ -6\end{array}\right)$ und der durch

$3x-7y=8$

gegebenen Geraden und den Lotfußpunkt des Punktes auf der Geraden.

Lösung

Es ist $\left(\begin{array}{c}12\\ 4\end{array}\right)$ ein Punkt der Geraden, die durch

$\left(\begin{array}{c}12\\ 4\end{array}\right)+s\left(\begin{array}{c}7\\ 3\end{array}\right)$

parametrisiert wird. Auf dieser Geraden steht der Vektor $\left(\begin{array}{c}3\\ -7\end{array}\right)$ senkrecht, daher lautet der Ansatz

$\left(\begin{array}{c}5\\ -6\end{array}\right)=\left(\begin{array}{c}12\\ 4\end{array}\right)+s\left(\begin{array}{c}7\\ 3\end{array}\right)+t\left(\begin{array}{c}3\\ -7\end{array}\right)$

bzw.

$\left(\begin{array}{c}-7\\ -10\end{array}\right)=s\left(\begin{array}{c}7\\ 3\end{array}\right)+t\left(\begin{array}{c}3\\ -7\end{array}\right).$

Dies führt auf

$58t=49$

und somit ist

$t=\frac{49}{58}$

und

$s=-\frac{79}{58}.$

Der Lotfußpunkt ist also

$\left(\begin{array}{c}12\\ 4\end{array}\right)-\frac{79}{58}\left(\begin{array}{c}7\\ 3\end{array}\right)=\left(\begin{array}{c}\frac{143}{58}\\ -\frac{5}{58}\end{array}\right)$

und der Abstand ist

$\Vert \frac{49}{58}\left(\begin{array}{c}3\\ -7\end{array}\right)\Vert =\frac{49}{58}\sqrt{58}.$

Aufgabe (5 Punkte)

Beweise den Kathetensatz vektoriell.

Lösung

Wir setzen  $v=C-A$  und  $w=B-C$.  Der Verbindungsvektor von $A$ nach $B$ ist dann gleich $v+w$. Nach Lemma 32.14 (Lineare Algebra (Osnabrück 2024-2025)) ist der Höhenfußpunkt gleich

$\begin{array}{cc}D& =A+p_{(v+w)ℝ}(v)\\ & =A+⟨v,\frac{v+w}{\Vert v+w\Vert }⟩\frac{v+w}{\Vert v+w\Vert }\\ & =A+\frac{⟨v,v⟩}{\Vert v+w{\Vert }^2}(v+w)\\ & =A+\frac{⟨v,v⟩}{⟨v,v⟩+⟨w,w⟩}(v+w).\end{array}$

Daher ist

$\begin{array}{cc}d(A,D)\cdot d(A,B)& =\frac{⟨v,v⟩}{⟨v,v⟩+⟨w,w⟩}\Vert v+w\Vert \cdot \Vert v+w\Vert \\ & =\frac{⟨v,v⟩}{⟨v,v⟩+⟨w,w⟩}⟨v+w,v+w⟩\\ & =⟨v,v⟩\\ & =\Vert v{\Vert }^2\\ & =d(A,C{)}^2.\end{array}$

Aufgabe (2 Punkte)

Es sei $V$ ein $n$-dimensionaler $ℝ$-Vektorraum mit einer symmetrischen Bilinearform vom Typ $(p,q)$ und es sei  $U\subseteq V$  ein $d$-dimensionaler Untervektorraum. Die Einschränkung der Bilinearform sei vom Typ $(p^{\prime },q^{\prime })$. Zeige

$p^{\prime }\ge d+p-n.$

Lösung

Es sei  $W\subseteq V$  ein Untervektorraum der Dimension $p$, auf dem die eingeschränkte Bilinearform positiv definit ist. Einen solchen Untervektorraum muss es nach der Definition des Typs geben. Nach der Dimensionsabschätzung für den Durchschnitt von Untervektorräumen besitzt $U\cap W$ mindestens die Dimension $d+p-n$. Da dies ein Untervektorraum von $U$ ist, auf dem die Form positiv definit ist, gilt

$p^{\prime }\ge d+p-n.$

Aufgabe (8 (4+4) Punkte)

Es sei $V$ ein endlichdimensionaler $𝕂$-Vektorraum mit Skalarprodukt und es sei

$V=V_1\oplus V_2$

die direkte Summe der Untervektorräume $V_1$ und $V_2$. Es seien

${\phi }_1:V_1⟶V_1$

und

${\phi }_2:V_2⟶V_2$

lineare Abbildungen und

$\phi ={\phi }_1\oplus {\phi }_2$

die Summe davon.

a) Die Summenzerlegung sei zusätzlich orthogonal, d.h. $V_1$ und $V_2$ stehen senkrecht aufeinander. Zeige

$\hat{\phi }=\widehat{{\phi }_1}\oplus \widehat{{\phi }_2}.$

b) Zeige, dass die Aussage aus Teil (1) nicht gilt, wenn die Summenzerlegung nicht orthogonal ist.

Lösung

a) Es seien  $v,w\in V$  und

$v=v_1+v_2$

und

$w=w_1+w_2$

sei ihre Summenzerlegung. Dann ist

$\begin{array}{cc}⟨\phi (v),w⟩& =⟨\phi (v_1+v_2),w_1+w_2⟩\\ & =⟨{\phi }_1(v_1)+{\phi }_2(v_2),w_1+w_2⟩\\ & =⟨{\phi }_1(v_1),w_1⟩+⟨{\phi }_1(v_1),w_2⟩+⟨{\phi }_2(v_2),w_1⟩+⟨{\phi }_2(v_2),w_2⟩\\ & =⟨{\phi }_1(v_1),w_1⟩+⟨{\phi }_2(v_2),w_2⟩\\ & =⟨v_1,\widehat{{\phi }_1}(w_1)⟩+⟨v_2,\widehat{{\phi }_2}(w_2)⟩\\ & =⟨v_1,\widehat{{\phi }_1}(w_1)⟩+⟨v_1,\widehat{{\phi }_2}(w_2)⟩+⟨v_2,\widehat{{\phi }_1}(w_1)⟩+⟨v_2,\widehat{{\phi }_2}(w_2)⟩\\ & =⟨v_1+v_2,\widehat{{\phi }_1}(w_1)+\widehat{{\phi }_2}(w_2)⟩\\ & =⟨v,\widehat{{\phi }_1}(w_1)+\widehat{{\phi }_2}(w_2)⟩,\end{array}$

wobei wir für die vierte und die sechste Gleichung die Orthogonalität verwendet haben. Die Summe $\widehat{{\phi }_1}(w_1)+\widehat{{\phi }_2}(w_2)$ erfüllt also die für den adjungierten Endomorphismus charakteristische Eigenschaft, daher ist es der adjungierte Endomorphismus.

b) Wir betrachten die Matrix $\left(\begin{array}{cc}1& 1\\ 0& 2\end{array}\right)$ als lineare Abbildung von ${ℝ}^2$ nach ${ℝ}^2$. Diese Abbildung besitzt die beiden Eigenwerte $1$ und $2$ mit den Eigenvektoren $\left(\begin{array}{c}1\\ 0\end{array}\right)$ und $\left(\begin{array}{c}1\\ 1\end{array}\right)$. Mit  $V_1=ℝ\left(\begin{array}{c}1\\ 0\end{array}\right)$  und  $V_2=ℝ\left(\begin{array}{c}1\\ 1\end{array}\right)$  und  ${\phi }_1=1$  und  ${\phi }_2=2$  ist

$\phi ={\phi }_1\oplus {\phi }_2.$

Da ${\phi }_1$ und ${\phi }_2$ reelle Streckungen sind, stimmen sie mit ihren adjungierten Endomorphismen überein, und somit ist die Summe der adjungierten Endomorphismen gleich $\phi$. Es ist aber einerseits

$⟨\phi \left(\begin{array}{c}1\\ 0\end{array}\right),\left(\begin{array}{c}1\\ 1\end{array}\right)⟩=⟨\left(\begin{array}{c}1\\ 0\end{array}\right),\left(\begin{array}{c}1\\ 1\end{array}\right)⟩=1$

und andererseits

$⟨\left(\begin{array}{c}1\\ 0\end{array}\right),\phi \left(\begin{array}{c}1\\ 1\end{array}\right)⟩=⟨\left(\begin{array}{c}1\\ 0\end{array}\right),\left(\begin{array}{c}2\\ 2\end{array}\right)⟩=2,$

sodass $\phi$ nicht der adjungierte Endomorphismus ist.

Aufgabe (1 Punkt)

Bestimme, ob die durch die Gaußklammer gegebene Abbildung

$\mathbb{Q}⟶\mathbb{Z},q⟼\lfloor q\rfloor ,$

ein Gruppenhomomorphismus ist oder nicht.

Lösung

Die Gaußklammer definiert keinen Gruppenhomomorphismus, da  $q=\lfloor \frac{1}{2}\rfloor =0$  ist und damit

$\lfloor \frac{1}{2}+\frac{1}{2}\rfloor =\lfloor 1\rfloor =1,$

aber

$\lfloor \frac{1}{2}\rfloor +\lfloor \frac{1}{2}\rfloor =0+0=0$

ist.

Aufgabe (3 Punkte)

Es sei $M$ eine Menge mit $n$ Elementen. Bestimme die Anzahl der Relationen auf $M$, die

1. reflexiv
2. symmetrisch
3. reflexiv und symmetrisch

sind.

Lösung

Es sei  $M=\{1,\dots ,n\}$.  Eine Relation $R$ ist gegeben durch eine bestimmte Menge von geordneten Paaren $(x,y)$, $x,y\in M$. Daher kann man sich eine Relation auf $M$ so vorstellen, dass in einer $n\times n$-Tabelle gewisse Stellen angekreuzt werden und andere nicht.

Bei einer beliebigen Relation gibt es keine weiteren Bedingungen, sodass es $2^{n^2}$ Relationen gibt (das war nicht gefragt).

Bei einer reflexiven Relation muss auf der Diagonalen immer ein Kreuz sein, ansonsten hat man keine Bedingung, es gibt also  $n^2-n=n(n-1)$  freie Stellen und daher $2^{n(n-1)}$ reflexive Relationen.

Bei einer symmetrischen Relation hat man oberhalb der Diagonalen (einschließlich dieser) volle Freiheiten (unterhalb der Diagonalen muss sich der Eintrag wiederholen). Da gibt es  $\frac{n^2-n}{2}+n=\frac{n^2+n}{2}$  Plätze und somit gibt es $2^{\frac{n^2+n}{2}}$ symmetrische Relationen.

Bei einer symmetrischen und reflexiven Relation hat man echt oberhalb der Diagonalen volle Wahlfreiheiten. Davon gibt es $\frac{n^2-n}{2}$ Plätze, sodass es $2^{\frac{n^2-n}{2}}$ symmetrische und reflexive Relationen gibt.

Aufgabe (4 Punkte)

Es sei ${𝔽}_q$ ein endlicher Körper (mit $q$ Elementen). Bestimme die Anzahl der Elemente in

${\mathrm{GL}}_n\left({𝔽}_q\right).$

Lösung

Es sei $M=(v_1,\dots ,v_n)$ eine invertierbare Matrix über ${𝔽}_q$. Dies bedeutet, dass die Spaltenvektoren eine Basis von ${𝔽}_q^n$ bilden und dies bedeutet wiederum, dass die $v_1,\dots ,v_i$ einen $i$-dimensionalen Untervektorraum erzeugen. Ein $i$-dimensionaler Untervektorraum besitzt $q^i$ Elemente. Wenn $v_1,\dots ,v_i$ fixiert sind, so gibt es $q^n-q^i$ Vektoren $v_{i+1}$, die sicherstellen, dass der von den Vektoren $v_1,\dots ,v_i,v_{i+1}$ erzeugte Untervektorraum eine Dimension mehr hat. Daher ist die Gesamtzahl von solchen Matrizen gleich

$\begin{array}{cc}(q^n-1)(q^n-q)(q^n-q^2)\cdots (q^n-q^{n-1})& =q{q}^2\cdots q^{n-1}(q^n-1)(q^{n-1}-1)\cdots (q-1)\\ & =q^{(\genfrac{}{}{0ex}{}{n}{2})}(q^n-1)(q^{n-1}-1)\cdots (q-1).\end{array}$

Aufgabe (4 Punkte)

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

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

die gleiche Orientierung repräsentieren oder nicht.

Lösung

Die Vektoren

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

besitzen bezüglich der Standardbasis die Übergangsmatrix

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

deren Determinante ist

$-20+9+4\cdot 6=13.$

Daher repräsentiert diese Basis die Standardorientierung.

Die Vektoren

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

besitzen bezüglich der Standardbasis die Übergangsmatrix

$\left(\begin{array}{ccc}-3& -4& -6\\ 7& 5& 0\\ 2& -1& 11\end{array}\right),$

deren Determinante ist

$-3\cdot 55-7(-44-6)+2\cdot 30=-165+350+60=245>0.$

Daher repräsentiert diese Basis ebenfalls die Standardorientierung, und damit repräsentieren beide Basen die gleiche Orientierung.

Aufgabe (3 Punkte)

Zeige, dass ein Endomorphismus

$\phi :V⟶V$

mit endlicher Ordnung auf einem endlichdimensionalen $𝕂$-Vektorraum $V$ stabil ist.

Lösung

Da $\phi$ endliche Ordnung besitzt, gibt es ein  $k\in {\mathbb{N}}_{+}$  mit  ${\phi }^k={\mathrm{Id}}_V$.  Damit ist auch

${\phi }^{n+k}={\phi }^n$

für alle $n$ und somit kommen in der Potenzfolge ${\phi }^n$, $n\in \mathbb{N}$, überhaupt nur endlich viele verschiedene Endomorphismen vor. Es sei  $m=max(\Vert {\phi }^n\Vert ,0\le n<k)$.  Dann ist

$\Vert {\phi }^n\Vert \le m$

für alle  $n\in \mathbb{N}$  und somit ist die Folge normbeschränkt, also stabil.

Aufgabe (3 Punkte)

Es sei $M$ eine spaltenstochastische Matrix. Zeige, dass das Bild eines jeden Verteilungsvektors wieder ein Verteilungsvektor ist.

Lösung

Es sei

$M={\left(a_{ij}\right)}_{1\le i,j\le n}$

spaltenstochastisch, also  $a_{ij}\ge 0$  und  $\sum _{i=1}^n{a}_{ij}=1$  für alle $j$ und es sei  $v=\left(\begin{array}{c}{v}_1\\ ⋮\\ v_n\end{array}\right)$  ein Verteilungsvektor, also  $v_j\ge 0$  und  $\sum _{j=1}^n{v}_j=1$.  Wegen der Nichtnegativität aller Einträge hat auch der Bildvektor $Mv$ nichtnegative Einträge. Ferner ist

$\sum _{i=1}^n(Mv{)}_i=\sum _{i=1}^n\left(\sum _{j=1}^n{a}_{ij}{v}_j\right)=\sum _{j=1}^n{v}_j\left(\sum _{i=1}^n{a}_{ij}\right)=\sum _{j=1}^n{v}_j=1.$

Aufgabe (3 Punkte)

Berechne in ${ℂ}^2{\otimes }_{ℂ}{ℂ}^3$ das Tensorprodukt

$\left(\begin{array}{c}3-5\mathrm{i}\\ 4+\mathrm{i}\end{array}\right)\otimes \left(\begin{array}{c}6\\ 1-\mathrm{i}\\ 2+3\mathrm{i}\end{array}\right).$

Lösung

Es ist

$\begin{array}{cc}& \left(\begin{array}{c}3-5\mathrm{i}\\ 4+\mathrm{i}\end{array}\right)\otimes \left(\begin{array}{c}6\\ 1-\mathrm{i}\\ 2+3\mathrm{i}\end{array}\right)\\ & =((3-5\mathrm{i})e_1+(4+\mathrm{i})e_2)\otimes (6e_1+(1-\mathrm{i})e_2+(2+3\mathrm{i})e_3)\\ & =(18-30\mathrm{i})e_1\otimes e_1+(-2-8\mathrm{i})e_1\otimes e_2+(21-\mathrm{i})e_1\otimes e_3\\ & +(24+6\mathrm{i})e_2\otimes e_1+(5-3\mathrm{i})e_2\otimes e_2+(5+14\mathrm{i})e_2\otimes e_3.\end{array}$

Aufgabe (10 Punkte)

Beweise den Satz über Basen in einem Dachprodukt zu einem endlichdimensionalen $K$-Vektorraum $V$.

Lösung

Wir zeigen zuerst, dass ein Erzeugendensystem vorliegt.  Da die Elemente der Form $w_1\wedge \dots \wedge w_n$ nach Lemma 57.5 (Lineare Algebra (Osnabrück 2024-2025))  (1) ein Erzeugendensystem von $\stackrel{n}{\bigwedge }V$ bilden, genügt es zu zeigen, dass man diese durch die angegebenen Elemente darstellen kann. Für jedes $w_j$ gibt es eine Darstellung  $w_j=\sum _{i=1}^m{a}_{ij}{v}_i$,  daher kann man nach Lemma 57.5 (Lineare Algebra (Osnabrück 2024-2025))  (4) die $w_1\wedge \dots \wedge w_n$ als Linearkombinationen von Dachprodukten der Basiselemente darstellen, wobei allerdings jede Reihenfolge vorkommen kann. Es sei also $v_{k_1}\wedge \dots \wedge v_{k_n}$ gegeben mit  $k_j\in \{1,\dots ,m\}$.  Durch Vertauschen von benachbarten Vektoren kann man nach Lemma 57.5 (Lineare Algebra (Osnabrück 2024-2025))  (3) (unter Inkaufnahme eines anderen Vorzeichens) erreichen, dass die Indizes (nicht notwendigerweise streng) aufsteigend geordnet sind. Wenn sich ein Index wiederholt, so ist nach Lemma 57.5 (Lineare Algebra (Osnabrück 2024-2025))  (2) das Dachprodukt $0$. Also wiederholt sich kein Index und diese Dachprodukte sind in der gewünschten Form.

Zum Nachweis der linearen Unabhängigkeit zeigen wir unter Verwendung von Lemma 14.8 (Lineare Algebra (Osnabrück 2024-2025)), dass es zu jeder $n$-elementigen Teilmenge  $I=\{i_1,\dots ,i_n\}\subseteq \{1,\dots ,m\}$  (mit $i_1<\dots <i_n$) eine $K$-lineare Abbildung

$\stackrel{n}{\bigwedge }V⟶K$

gibt, die $v_{i_1}\wedge \dots \wedge v_{i_n}$ nicht auf $0$ abbildet, aber alle anderen in Frage stehenden Dachprodukte auf $0$ abbildet. Dazu genügt es nach Satz 57.7 (Lineare Algebra (Osnabrück 2024-2025)), eine alternierende multilineare Abbildung

$\mathrm{△}:V^n⟶K$

anzugeben mit  $\mathrm{△}(v_{i_1},\dots ,v_{i_n})\ne 0$,  aber mit  $\mathrm{△}(v_{j_1},\dots ,v_{j_n})=0$  für jedes andere aufsteigende Indextupel. Es sei $U$ der von den $v_i$, $i\ne i_k$, erzeugte Untervektorraum von $V$ und  $W=V/U$  der Restklassenraum. Dann bilden die Bilder der $v_{i_k}$, $k=1,\dots ,n$, eine Basis von $W$, und die Bilder von allen anderen $n$-Teilmengen der gegebenen Basis bilden dort keine Basis, da mindestens ein Element davon auf $0$ geht. Wir betrachten nun die zusammengesetzte Abbildung

$\mathrm{△}:V^n⟶W^n\cong (K^n{)}^n\stackrel{det}{⟶}K.$

Diese Abbildung ist nach Satz 16.9 (Lineare Algebra (Osnabrück 2024-2025)) multilinear und nach Satz 16.10 (Lineare Algebra (Osnabrück 2024-2025)) alternierend. Nach Satz 16.11 (Lineare Algebra (Osnabrück 2024-2025)) ist  $\mathrm{△}(z_1,\dots ,z_n)=0$  genau dann, wenn die Bilder von $z_i$ in $W$ keine Basis bilden.