Kurs:Lineare Algebra/Teil II/5/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	4	2	4	8	3	3	4	4	3	2	5	1	10	2	3	64

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Ein euklidischer Vektorraum.
2. Eine Kathete in einem rechtwinkligen Dreieck.
3. Eine zyklische Gruppe $G$.
4. Eine Äquivalenzrelation $\sim$ auf einer Menge $M$.
5. Der Spektralradius zu einem Endomorphismus

   $\phi :V⟶V$

   auf einem endlichdimensionalen $𝕂$-Vektorraum $V$.

6. Die aus einer $K$-linearen Abbildung

   $\phi :V⟶W$

   durch einen Körperwechsel $K\subseteq L$ gewonnene $L$-lineare Abbildung.

Lösung

1. Unter einem euklidischen Vektorraum versteht man einen reellen endlichdimensionalen Vektorraum mit Skalarprodukt.
2. Unter einer Kathete versteht man eine Seite eines rechtwinkligen Dreiecks, die an den rechten Winkel anliegt.
3. Eine Gruppe $G$ heißt zyklisch, wenn sie von einem Element erzeugt wird.
4. Eine Äquivalenzrelation $\sim$ auf einer Menge $M$ ist eine Relation, die die folgenden drei Eigenschaften besitzt (für beliebige $x,y,z\in M$).
   1. $x\sim x$.
   2. Aus $x\sim y$ folgt $y\sim x$.
   3. Aus $x\sim y$ und $y\sim z$ folgt $x\sim z$.
5. Der Spektralradius von $\phi$ ist

   $\rho (\phi )=max(|\lambda |,\lambda \text{ ist ein komplexer Eigenwert von }\phi ).$

6. Die Abbildung

   ${\phi }_L:V_L=L{\otimes }_{K}V⟶W_L=L{\otimes }_{K}W,b\otimes v⟼b\otimes \phi (v),$

   heißt die durch Körperwechsel gewonnene lineare Abbildung.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Der Satz über die Charakterisierung von reellen Isometrien mit Matrizen.
2. Der Satz über die (Norm)-Charakterisierung für normale Endomorphismen.
3. Der Satz über Basen in einem Dachprodukt.

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 $V$ ein endlichdimensionaler $𝕂$-Vektorraum mit Skalarprodukt $⟨-,-⟩$ und sei

   $\phi :V⟶V$

   ein Endomorphismus. Dann sind folgende Eigenschaften äquivalent.

   1. $\phi$ ist normal.
   2. Für alle $v,w\in V$ gilt

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

   3. Für alle $v\in V$ gilt

      $\Vert \hat{\phi }(v)\Vert =\Vert \phi (v)\Vert .$

3. Es sei $K$ ein Körper und $V$ ein endlichdimensionaler $K$-Vektorraum der Dimension $m$. Es sei $v_1,\dots ,v_m$ eine Basis von $V$ und es sei  $n\in \mathbb{N}$.  Dann bilden die Dachprodukte

   $v_{i_1}\wedge \dots \wedge v_{i_n}\text{ mit }1\le i_1<\dots <i_n\le m$

   eine Basis von $\stackrel{n}{\bigwedge }V$.

Aufgabe (4 (1+1+1+1) Punkte)

Es seien $P=(\frac{3}{4},-1)$ und $Q=(2,\frac{1}{5})$ zwei Punkte im ${ℝ}^2$. Bestimme den Abstand zwischen diesen beiden Punkten in

a) der euklidischen Metrik,

b) der Summenmetrik,

c) der Maximumsmetrik.

d) Vergleiche diese verschiedenen Abstände der Größe nach.

Lösung

Die Abstände der einzelnen Koordinaten sind

$2-\frac{3}{4}=\frac{8-3}{4}=\frac{5}{4}$

und

$\frac{1}{5}-(-1)=\frac{1+5}{5}=\frac{6}{5}.$

a) Der euklidische Abstand ist somit

$\sqrt{{\left(\frac{5}{4}\right)}^2+{\left(\frac{6}{5}\right)}^2}=\sqrt{\frac{25}{16}+\frac{36}{25}}=\sqrt{\frac{625+576}{400}}=\sqrt{\frac{1201}{400}}=\frac{\sqrt{1201}}{20}.$

b) In der Summenmetrik ist der Abstand

$\frac{5}{4}+\frac{6}{5}=\frac{25+24}{20}=\frac{49}{20}.$

c) Es ist

$\frac{5}{4}=\frac{25}{20}>\frac{24}{20}=\frac{6}{5},$

daher ist der Abstand in der Maximumsmetrik gleich $\frac{5}{4}$.

d) Wir behaupten, dass der Maximumsabstand kleiner als der euklidische Abstand und dass dieser kleiner als der Summenabstand ist. Um dies zu sehen, bringt man die drei Zahlen auf den Hauptnenner $20$ und muss dann für die Zähler

$25<\sqrt{1201}<49$

zeigen. Wegen  $25^2=625<1201$  und  $49^2>40^2=1600>1201$  ist das klar.

Aufgabe (2 Punkte)

Es seien  $u,v\in V$  von $0$ verschiedene Vektoren in einem reellen Vektorraum $V$ mit Skalarprodukt. Zeige, dass der Winkel zu $u$ und $v$ mit dem Winkel zu $su$ und $tv$ übereinstimmt, wobei $s,t$ positive reelle Zahlen sind.

Lösung

Es ist

$\frac{⟨su,tv⟩}{\Vert su\Vert \cdot \Vert tv\Vert }=\frac{st⟨u,v⟩}{st\Vert u\Vert \cdot \Vert v\Vert }=\frac{⟨u,v⟩}{\Vert u\Vert \cdot \Vert v\Vert },$

wobei wir rechts die Positivität von $s$ und $t$ ausgenutzt haben. Daher stimmt auch der Arkus Kosinus davon überein.

Aufgabe (4 Punkte)

Beweise den Satz des Thales.

Lösung

Ohne Einschränkung sei  $E={ℝ}^2$  und  $P=0$,  der Radius sei $r$. Wir schreiben „vektoriell“  $w=C$,   $v=A$,  somit ist  $B=-v$.  Der Verbindungsvektor von $A$ nach $C$ ist dann $-v+w$ und der Verbindungsvektor von $B$ nach $C$ ist dann $v+w$. Somit ist

$\begin{array}{cc}⟨-v+w,v+w⟩& =⟨-v,v⟩+⟨-v,w⟩+⟨w,v⟩+⟨w,w⟩\\ & =-⟨v,v⟩-⟨v,w⟩+⟨v,w⟩+⟨w,w⟩\\ & =-⟨v,v⟩+⟨w,w⟩\\ & =-r^2+r^2\\ & =0,\end{array}$

also sind diese Seiten senkrecht zueinander.

Aufgabe (8 Punkte)

Beweise das Minorenkriterium für den Typ einer symmetrischen Bilinearform.

Lösung

Da nach Voraussetzung insbesondere die Determinante der Gramschen Matrix nicht $0$ ist, ist nach Aufgabe 39.11 (Lineare Algebra (Osnabrück 2024-2025)) die Bilinearform nicht ausgeartet und daher hat der Typ die Form $(n-q,q)$. Wir müssen zeigen, dass  $q=a$  ist. Wir beweisen die Aussage durch Induktion über die Dimension von $V$, wobei der Induktionsanfang trivial ist. Die Aussage sei bis zur Dimension $n-1$ bewiesen und es liege ein $n$-dimensionaler Raum mit einer Basis $v_1,\dots ,v_n$ mit den angegebenen Eigenschaften vor. Der Untervektorraum

$U=⟨v_1,\dots ,v_{n-1}⟩$

hat die Dimension $n-1$ und die Folge der Determinanten der Untermatrizen der Gramschen Matrix zur eingeschränkten Form $⟨-,-⟩{|}_U$ stimmt mit der vorgegebenen Folge überein, wobei lediglich das letzte Glied

$D_n=det{M}_n=detG$

weggelassen wird. Nach Induktionsvoraussetzung besitzt $⟨-,-⟩{|}_U$ den Typ $(n-1-b,b)$, wobei $b$ die Anzahl der Vorzeichenwechsel in der Folge

$D_0=1,D_1,\dots ,D_{n-1}$

ist. Aufgrund der Definition des Typs ist

$b\le q\le b+1,$

da ein $q$-dimensionaler Untervektorraum  $W\subseteq V$,  auf dem die Bilinearform negativ definit ist, zu einem Untervektorraum

$W^{\prime }=U\cap W\subseteq U$

führt, der die Dimension $q$ oder $q-1$ besitzt und auf dem die eingeschränkte Form ebenfalls negativ definit ist. Nach Aufgabe 39.20 (Lineare Algebra (Osnabrück 2024-2025)) ist das Vorzeichen von $D_{n-1}$ gleich $(-1{)}^b$ und das Vorzeichen von $D_n$ gleich $(-1{)}^q$. Das bedeutet, dass zwischen $D_{n-1}$ und $D_n$ ein zusätzlicher Vorzeichenwechsel (und somit $a=b+1$) genau dann vorliegt, wenn

$q=b+1$

ist.

Aufgabe (3 Punkte)

Zeige, dass es eine Bilinearform $⟨-,-⟩$ auf einem Vektorraum $V$ geben kann, die nicht die Nullform ist, für die aber

$⟨v,v⟩=0$

für alle  $v\in V$  ist.

Lösung

Wir betrachten auf $V=K^2$ die Abbildung

$⟨\left(\begin{array}{c}{x}_1\\ y_1\end{array}\right),\left(\begin{array}{c}{x}_2\\ y_2\end{array}\right)⟩:=det\left(\begin{array}{cc}{x}_1& x_2\\ y_1& y_2\end{array}\right)=x_1{y}_2-x_2{y}_1.$

Nach grundlegenden Eigenschaften der Determinante ist dies eine Bilinearform, und zwar nicht die Nullform. Wenn aber vorne und hinten der gleiche Vektor steht, so ist das Ergebnis $0$.

Aufgabe (3 Punkte)

Es sei $V$ ein endlichdimensionaler $𝕂$-Vektorraum mit Skalarprodukt $⟨-,-⟩$ und sei

$\phi :V⟶V$

ein normaler Endomorphismus. Zeige

$\mathrm{kern}\phi =\mathrm{kern}\hat{\phi }.$

Lösung

Es sei $v\in V$ mit  $\phi (v)=0$.  Nach Lemma 42.5 (Lineare Algebra (Osnabrück 2024-2025))  (3) ist

$0=\Vert \phi (v)\Vert =\Vert \hat{\phi }(v)\Vert ,$

also ist auch  $\hat{\phi }(v)=0$  und $v\in \mathrm{kern}\hat{\phi }$. Wegen

$\hat{\hat{\phi }}=\phi$

gilt davon auch die Umkehrung.

Aufgabe (4 Punkte)

Die Kugeloberfläche $K$ wird im ${ℝ}^3$ als Nullstellenmenge der quadratischen Gleichung

$x^2+y^2+z^2=1$

beschrieben. Wir betrachten die lineare Abbildung

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

die bezüglich der Standardbasen durch die Matrix

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

beschrieben werde. Durch welche quadratische Form kann das Bild $\phi (K)$ beschrieben werden? Wie nennt man das geometrische Gebilde $\phi (K)$?

Lösung

In den neuen Koordinaten $u,v,w$ wird das Bild durch die Gleichung

$\frac{1}{4}{u}^2+\frac{1}{9}{v}^2+w^2=1$

beschrieben, es handelt sich also um die Oberfläche eines Ellipsoids. Ein Punkt mit den Koordinaten $\left(\begin{array}{c}x\\ y\\ z\end{array}\right)$ wird ja auf den Punkt $\left(\begin{array}{c}2x\\ 3y\\ -z\end{array}\right)$ abgebildet und die Bildpunkte der Kugeloberfläche erfüllen

$\frac{1}{4}(2x{)}^2+\frac{1}{9}(3y{)}^2+(-z{)}^2=x^2+y^2+z^2=1.$

Wenn umgekehrt ein Punkt $\left(\begin{array}{c}u\\ v\\ w\end{array}\right)$ die Gleichung erfüllt, so erfüllt das (eindeutig bestimmte) Urbild, also $\left(\begin{array}{c}\frac{1}{2}u\\ \frac{1}{3}v\\ -w\end{array}\right)$, wegen

${\left(\frac{1}{2}u\right)}^2+{\left(\frac{1}{3}v\right)}^2+{(-w)}^2=\frac{1}{4}{u}^2+\frac{1}{9}{v}^2+w^2=1$

die Ursprungsgleichung.

Aufgabe (4 Punkte)

Es sei $G$ eine Gruppe. Betrachte die Relation $\sim$ auf $G$, die durch

$x\sim y\text{ genau dann, wenn }x=y\text{ oder }x=y^{-1}$

erklärt ist. Zeige, dass $\sim$ eine Äquivalenzrelation ist.

Lösung

Die Relation ist offenbar reflexiv. Zum Nachweis der Symmetrie sei $x\sim y$. Im Fall $x=y$ ist natürlich auch $y=x$ und somit $y\sim x$. Im Fall

$x=y^{-1}$

ergibt sich durch Invertieren der Gleichung

$x^{-1}={\left(y^{-1}\right)}^{-1}=y,$

also ebenfalls $y\sim x$. Zum Nachweis der Transitivität sei $x\sim y$ und $y\sim z$. Hier gibt es insgesamt vier Fälle. Bei $x=y$ und $y=z$ ist natürlich $x=z$. Bei $x=y$ und $y=z^{-1}$ ist $x=z^{-1}$, also $x\sim z$. Bei $x=y^{-1}$ und $y=z$ ist $x=y^{-1}=z^{-1}$, also wieder $x\sim z$. Bei $x=y^{-1}$ und $y=z^{-1}$ ist

$x=y^{-1}={\left(z^{-1}\right)}^{-1}=z,$

also $x\sim z$.

Aufgabe (3 Punkte)

Es seien $G$ und $H$ Gruppen und sei

$\phi :G⟶H$

ein Gruppenhomomorphismus. Zeige, dass das Urbild ${\phi }^{-1}(N)$ eines Normalteilers  $N\subseteq H$  ein Normalteiler in $G$ ist.

Lösung

Wir setzen

$M:={\phi }^{-1}(N).$

Es sei $x\in G$ und $y\in M$. Wir müssen zeigen, dass $xy{x}^{-1}$ ebenfalls zu $M$ gehört. Es ist

$\phi (xy{x}^{-1})=\phi (x)\phi (y)(\phi (x){)}^{-1}.$

Wegen $\phi (y)\in N$ und da $N$ ein Normalteiler ist, gehört dies zu $N$. Also ist $xy{x}^{-1}\in {\phi }^{-1}(N)=M$.

Aufgabe (2 Punkte)

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

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

die gleiche Orientierung repräsentieren oder nicht.

Lösung

Die Determinante links ist

$1\cdot (-2)-(-4)\cdot 3=-2+12=10$

und die Determinante rechts ist

$6\cdot 4-(-5)\cdot (-5)=24-25=-1.$

Da erste Determinante ist also positiv und die zweite Determinante ist negativ, daher repräsentieren sie nicht die gleiche Orientierung des ${ℝ}^2$.

Aufgabe (5 (1+1+1+1+1) Punkte)

Wir betrachten im ${ℝ}^3$ den Würfel, dessen Ecken die Punkte $\left(\begin{array}{c}\pm 1\\ \pm 1\\ \pm 1\end{array}\right)$ sind.

1. Man gebe eine Matrixbeschreibung $M$ bezüglich der Standardbasis, die die Drehung des Würfels um die Raumdiagonale (also die Gerade durch den Punkt $\left(\begin{array}{c}1\\ 1\\ 1\end{array}\right)$) beschreibt, die den Eckpunkt $\left(\begin{array}{c}1\\ 1\\ -1\end{array}\right)$ in den Eckpunkt $\left(\begin{array}{c}1\\ -1\\ 1\end{array}\right)$ überführt.
2. Man gebe eine Matrixbeschreibung $N$ bezüglich der Standardbasis, die die Drehung des Würfels um $180$ Grad um die (ebene) Diagonale der $x-y$-Ebene beschreibt.
3. Berechne $M\circ N$ und bestimme die Drehachse.
4. Berechne $N\circ M$ und bestimme die Drehachse.
5. Bestimme die Determinante von $M,N,M\circ N$ und $N\circ M$.

Lösung

1. Die Standardvektoren $e_1,e_2,e_3$ liegen auf den an $(1,1,1)$ anliegenden Seiten, und die Drehung gibt vor, wie diese ineinander überführt werden. Also ist die Matrix gleich $M=\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 1& 0& 0\end{array}\right)$.
2. Der Standardvektor $e_3$ wird auf sein Negatives abgebildet und $e_1$ und $e_2$ werden vertauscht. Die Matrix ist also gleich $N=\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& -1\end{array}\right)$.
3. Es ist

   $\begin{array}{cc}M\circ N& =\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 1& 0& 0\end{array}\right)\circ \left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& -1\end{array}\right)\\ & =\left(\begin{array}{ccc}1& 0& 0\\ 0& 0& -1\\ 0& 1& 0\end{array}\right).\end{array}$

   Es wird also $e_1$ in sich überführt und daher ist die $x$-Achse die Drehachse.
4. Es ist

   $\begin{array}{cc}N\circ M& =\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& -1\end{array}\right)\circ \left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 1& 0& 0\end{array}\right)\\ & =\left(\begin{array}{ccc}0& 0& 1\\ 0& 1& 0\\ -1& 0& 0\end{array}\right).\end{array}$

   Es wird also $e_2$ in sich überführt und daher ist die $y$-Achse die Drehachse.
5. Da alles eigentliche Isometrien sind, ist ihre Determinante stets gleich $1$.

Aufgabe (1 Punkt)

Erstelle die Adjazenzmatrix zum gerichteten Graphen rechts.

Lösung

Die Adjazenzmatrix ist

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

Aufgabe (10 Punkte)

Beweise den Charakterisierungssatz für asymptotisch stabile Endomorphismen.

Lösung

Aus (1) folgt (2). Es sei  $v\in V$.  Wir können mit einer beliebigen Norm auf $V$ und auf dem Endomorphismenraum arbeiten, beispielsweise mit der Maximumsnorm. Dann konvergiert wegen

$\Vert {\phi }^n(v)\Vert \le \Vert {\phi }^n{\Vert }_{\mathrm{m}\mathrm{a}\mathrm{x}}\cdot \Vert v\Vert$

die Folge ${\phi }^n(v)$ gegen $0$. Von (2) nach (3) ist klar. Wenn umgekehrt (3) erfüllt ist, und

$v=a_1{v}_1+\cdots +a_m{v}_m$

eine Linearkombination ist, so ist

${\phi }^n(a_1{v}_1+\cdots +a_m{v}_m)=a_1{\phi }^n(v_1)+\cdots +a_m{\phi }^n(v_m)$

und aus der Konvergenz der beteiligten Folgen ${\phi }^n(v_j)$ gegen $0$ folgt die Konvergenz dieser Summenfolge gegen $0$. Von (2) bzw. (3) nach (4). Wir können  $𝕂=ℂ$  annehmen: Im reellen Fall kann man von  $V={ℝ}^d$  ausgehen und die Abbildung durch eine reelle Matrix ausdrücken und diese als komplexe Matrix auffassen. Das gegebene reelle Erzeugendensystem ist dann auch ein komplexes Erzeugendensystem für den ${ℂ}^d$. Es sei $\lambda$ ein Eigenwert und  $v\in V$  ein Eigenvektor zu $\lambda$. Da nach Voraussetzung

${\phi }^n(v)={\lambda }^{n}v$

gegen $0$ konvergiert, muss ${\lambda }^n$ gegen $0$ konvergieren und daher ist

$|\lambda |<1.$

Für den Schluss von (4) auf (1) verwenden wir Lemma 53.4 (Lineare Algebra (Osnabrück 2024-2025)), es ist also

$\begin{array}{cc}{\phi }^n& ={\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^n+n{\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^{n-1}\circ {\phi }_{\mathrm{n}\mathrm{i}\mathrm{l}}+(\genfrac{}{}{0ex}{}{n}{2}){\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^{n-2}\circ {\phi }_{\mathrm{n}\mathrm{i}\mathrm{l}}^2+(\genfrac{}{}{0ex}{}{n}{3}){\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^{n-3}\circ {\phi }_{\mathrm{n}\mathrm{i}\mathrm{l}}^3+\cdots +(\genfrac{}{}{0ex}{}{n}{k-1}){\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^{n-k+1}\circ {\phi }_{\mathrm{n}\mathrm{i}\mathrm{l}}^{k-1},\\ \end{array}$

wobei $k$ die Nilpotenzordnung des nilpotenten Anteils ${\phi }_{\mathrm{n}\mathrm{i}\mathrm{l}}$ ist. Die Eigenwerte von $\phi$ sind nach Aufgabe 28.13 (Lineare Algebra (Osnabrück 2024-2025)) die Eigenwerte des diagonalisierbaren Anteils ${\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}$, sie seien mit $z_j$ bezeichnet. Die Summanden sind von der Form

$p(n){\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^{n-s}\circ {\phi }_{\mathrm{n}\mathrm{i}\mathrm{l}}^s$

zu einem festen  $s<k$  und einem Polynom $p(n)$. Die Diagonaleinträge von $p(n){\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^{n-s}$ sind (nach Diagonalisieren) von der Form

$p(n)z_j^{n-s}$

und wegen  $|z_j|<1$  konvergiert dies für $n\to \mathrm{\infty }$ gegen $0$. Daher konvergiert $p(n){\phi }_{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}}^{n-s}$ gegen die Nullabbildung und dies gilt nach Aufgabe 53.7 (Lineare Algebra (Osnabrück 2024-2025)) auch für das Produkt mit der festen Abbildung ${\phi }_{\mathrm{n}\mathrm{i}\mathrm{l}}^s$. Daher konvergiert auch die Summe gegen die Nullabbildung.

Aufgabe (2 Punkte)

Drücke das Dachprodukt $\left(\begin{array}{c}4\\ -1\\ 2\end{array}\right)\wedge \left(\begin{array}{c}3\\ 5\\ -6\end{array}\right)$ in der Standardbasis von $\stackrel{2}{\bigwedge }{ℝ}^3$ aus.

Lösung

Es ist

$\begin{array}{cc}\left(\begin{array}{c}4\\ -1\\ 2\end{array}\right)\wedge \left(\begin{array}{c}3\\ 5\\ -6\end{array}\right)& =(4e_1-e_2+2e_3)\wedge (3e_1+5e_2-6e_3)\\ & =20e_1\wedge e_2-24e_1\wedge e_3-3e_2\wedge e_1+6e_2\wedge e_3+6e_3\wedge e_1+10e_3\wedge e_2\\ & =20e_1\wedge e_2-24e_1\wedge e_3+3e_1\wedge e_2+6e_2\wedge e_3-6e_1\wedge e_3-10e_2\wedge e_3\\ & =23e_1\wedge e_2-30e_1\wedge e_3-4e_2\wedge e_3.\end{array}$

Aufgabe (3 Punkte)

Es sei $V$ ein Vektorraum über dem Körper $K$ und

$\phi :V⟶V$

ein Endomorphismus. Es sei

$\stackrel{m}{\bigwedge }\phi :\stackrel{m}{\bigwedge }V⟶\stackrel{m}{\bigwedge }V$

das $m$-te Dachprodukt von $\phi$. Es seien $v_1,\dots ,v_m$ linear unabhängige Eigenvektoren zu $\phi$ zu den Eigenwerten $a_1,\dots ,a_m$. Zeige, dass $a_1\cdots a_m$ ein Eigenwert von $\stackrel{m}{\bigwedge }\phi$ ist.

Lösung

Nach Voraussetzung ist

$\phi (v_i)=a_i{v}_i$

und die $v_i$ sind untereinander linear unabhängig. Daher ist $v_1\wedge v_2\wedge \dots \wedge v_m$ in $\stackrel{m}{\bigwedge }V$ nach Satz 58.1 (Lineare Algebra (Osnabrück 2024-2025)) ein Element einer Basis und insbesondere nicht $0$. Es ist unter Verwendung von Korollar 58.5 (Lineare Algebra (Osnabrück 2024-2025))

$\begin{array}{cc}\stackrel{m}{\bigwedge }(\phi )(v_1\wedge v_2\wedge \dots \wedge v_m)& =\phi (v_1)\wedge \phi (v_2)\wedge \dots \wedge \phi (v_m)\\ & =(a_1{v}_1)\wedge (a_2{v}_2)\wedge \dots \wedge (a_m{v}_m)\\ & =(a_1\cdots a_m)\cdot v_1\wedge v_2\wedge \dots \wedge v_m.\end{array}$

Also ist $v_1\wedge v_2\wedge \dots \wedge v_m$ ein Eigenvektor von $\stackrel{m}{\bigwedge }$ zum Eigenwert $a_1\cdots a_m$.