Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil II/Vorlesung 58/kontrolle

Eigenschaften des Dachprodukts

Satz Satz 58.1 ändern

Es sei ${}K$ ein Körper und ${}V$ ein endlichdimensionaler ${}K$- Vektorraum der Dimension ${}m$. Es sei ${}v_{1},\ldots ,v_{m}$ eine Basis von ${}V$ und es sei ${}n\in \mathbb {N}$.

Dann bilden die Dachprodukte

$v_{i_{1}}\wedge \ldots \wedge v_{i_{n}}{\text{ mit }}1\leq i_{1}<\ldots <i_{n}\leq m$

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

Beweis

Wir zeigen zuerst, dass ein Erzeugendensystem vorliegt.  Da die Elemente der Form ${}w_{1}\wedge \ldots \wedge w_{n}$ nach Lemma 57.5  (1) ein Erzeugendensystem von ${}\bigwedge ^{n}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  (4) die ${}w_{1}\wedge \ldots \wedge w_{n}$ als Linearkombinationen von Dachprodukten der Basiselemente darstellen, wobei allerdings jede Reihenfolge vorkommen kann. Es sei also ${}v_{k_{1}}\wedge \ldots \wedge v_{k_{n}}$ gegeben mit ${}k_{j}\in \{1,\ldots ,m\}$. Durch Vertauschen von benachbarten Vektoren kann man nach Lemma 57.5  (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  (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.7, dass es zu jeder ${}n$-elementigen Teilmenge ${}I=\{i_{1},\ldots ,i_{n}\}\subseteq \{1,\ldots ,m\}$ (mit $i_{1}<\ldots <i_{n}$) eine ${}K$-lineare Abbildung

$\bigwedge ^{n}V\longrightarrow K$

gibt, die ${}v_{i_{1}}\wedge \ldots \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, eine alternierende multilineare Abbildung

$\triangle \colon V^{n}\longrightarrow K$

anzugeben mit ${}\triangle {\left(v_{i_{1}},\ldots ,v_{i_{n}}\right)}\neq 0$, aber mit ${}\triangle {\left(v_{j_{1}},\ldots ,v_{j_{n}}\right)}=0$ für jedes andere aufsteigende Indextupel. Es sei ${}U$ der von den ${}v_{i}$, ${}i\neq i_{k}$, erzeugte Untervektorraum von ${}V$ und ${}W=V/U$ der Restklassenraum. Dann bilden die Bilder der ${}v_{i_{k}}$, ${}k=1,\ldots ,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

$\triangle :V^{n}\longrightarrow W^{n}\cong (K^{n})^{n}{\stackrel {\det }{\longrightarrow }}K.$

Diese Abbildung ist nach Satz 16.9 multilinear und nach Satz 16.10 alternierend. Nach Satz 16.11 ist ${}\triangle (z_{1},\ldots ,z_{n})=0$ genau dann, wenn die Bilder von ${}z_{i}$ in ${}W$ keine Basis bilden.

$\Box$

Bei ${}V=K^{m}$ mit der Standardbasis ${}e_{1},\ldots ,e_{m}$ nennt man die ${}e_{i_{1}}\wedge \ldots \wedge e_{i_{n}}$ mit ${}i_{1}<\ldots <i_{n}$ die Standardbasis von ${}\bigwedge ^{n}K^{m}$.

Bemerkung   Referenznummer erstellen

Zu Basen ${}v_{1},\ldots ,v_{m}$ und ${}w_{1},\ldots ,w_{m}$ eines ${}K$- Vektorraumes ${}V$ mit den Beziehungen

${}v_{j}=\sum _{i=1}^{m}a_{ij}w_{i}\,$

erhält man zwischen den Basen

$v_{i_{1}}\wedge \ldots \wedge v_{i_{n}}{\text{ mit }}1\leq i_{1}<\ldots <i_{n}\leq m\,\,{\text{ und }}\,\,w_{i_{1}}\wedge \ldots \wedge w_{i_{n}}{\text{ mit }}1\leq i_{1}<\ldots <i_{n}\leq m$

des ${}\bigwedge ^{n}V$ die Beziehung

${}v_{j_{1}}\wedge \ldots \wedge v_{j_{n}}=\sum _{1\leq i_{1}<\cdots <i_{n}\leq m}{\left(\sum _{\pi \in S_{n}}\operatorname {sgn} (\pi )\prod _{s=1}^{n}a_{i_{s}j_{\pi (s)}}\right)}w_{i_{1}}\wedge \ldots \wedge w_{i_{n}}\,$

Dies beruht gemäß Lemma 57.5  (4) auf

${}{\begin{aligned}v_{j_{1}}\wedge \ldots \wedge v_{j_{n}}&={\left(\sum _{i=1}^{m}a_{ij_{1}}w_{i}\right)}\wedge \ldots \wedge {\left(\sum _{i=1}^{m}a_{ij_{n}}w_{i}\right)}\\&=\sum _{1\leq i_{1}<\cdots <i_{n}\leq m}{\left(\sum _{\pi \in S_{n}}\operatorname {sgn} (\pi )\prod _{s=1}^{n}a_{i_{s}j_{\pi (s)}}\right)}w_{i_{1}}\wedge \ldots \wedge w_{i_{n}}.\end{aligned}}$

Korollar Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein endlichdimensionaler ${}K$- Vektorraum der Dimension ${}m$.

Dann besitzt das ${}n$-te äußere Produkt ${}\bigwedge ^{n}V$ die Dimension

${\binom {m}{n}}.$

Beweis

Dies folgt direkt aus Satz 58.1 und Aufgabe 3.15 (Analysis (Osnabrück 2014-2016)).

$\Box$

Insbesondere ist die äußere Potenz für ${}n=0$ eindimensional (es ist $\bigwedge ^{0}V=K$) und für ${}n=1$ ${}m$-dimensional (es ist $\bigwedge ^{1}V=V$). Für ${}n=m$ ist ${}\bigwedge ^{m}V$ eindimensional, und die Determinante induziert (nach einer Identifizierung von ${}V$ mit ${}K^{m}$) einen Isomorphismus

$\bigwedge ^{m}V\longrightarrow K,\,(v_{1},\ldots ,v_{m})\longmapsto \det(v_{1},\ldots ,v_{m}).$

Für ${}n>m$ sind die äußeren Produkte der Nullraum und besitzen die Dimension ${}0$.

Wir erweitern die in der letzten Vorlesung gezeigte natürliche Isomorphie ${}{\left(\bigwedge ^{n}V\right)}^{*}\cong \operatorname {Alt} ^{n}(V,K)$ zu einer natürlichen Isomorphie

${}\bigwedge ^{n}V^{*}\cong {\left(\bigwedge ^{n}V\right)}^{*}\cong \operatorname {Alt} ^{n}(V,K)\,.$

Satz Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein dimensionaler Vektorraum. Es sei ${}k\in \mathbb {N}$.

Dann gibt es eine natürliche Isomorphie

$\psi \colon \bigwedge ^{k}V^{*}\longrightarrow {\left(\bigwedge ^{k}V\right)}^{*}$

mit

${}(\psi (f_{1}\wedge \ldots \wedge f_{k}))(v_{1}\wedge \ldots \wedge v_{k})=\det(f_{i}(v_{j}))_{ij}\,$

(mit $f_{i}\in V^{*}$ und $v_{j}\in V$).

Beweis

Wir betrachten die Abbildung (mit ${}k$ Faktoren)

$V^{*}\times \cdots \times V^{*}\longrightarrow \operatorname {Abb} \,(V\times \cdots \times V,K)$

mit

$(f_{1},\ldots ,f_{k})\longmapsto {\left((v_{1},\ldots ,v_{k})\longmapsto \det {\left(f_{i}(v_{j})\right)}_{ij}\right)}.$

Für fixierte ${}f_{1},\ldots ,f_{k}$ ist die Abbildung rechts multilinear und alternierend, wie eine direkte Überprüfung unter Verwendung der Determinantenregeln zeigt. Daher entspricht diese nach Korollar 57.8 einem Element in ${}{\left(\bigwedge ^{k}V\right)}^{*}$. Insgesamt liegt also eine Abbildung

$V^{*}\times \cdots \times V^{*}\longrightarrow {\left(\bigwedge ^{k}V\right)}^{*}$

vor. Eine direkte Prüfung zeigt, dass die Gesamtzuordung ebenfalls multilinear und alternierend ist. Aufgrund der universellen Eigenschaft gibt es daher eine lineare Abbildung

$\psi \colon \bigwedge ^{k}V^{*}\longrightarrow {\left(\bigwedge ^{k}V\right)}^{*}.$

Diese müssen wir als Isomorphismus nachweisen. Es sei dazu ${}v_{1},\ldots ,v_{n}$ eine Basis von ${}V$ mit der zugehörigen Dualbasis ${}v_{1}^{*},\ldots ,v_{n}^{*}$. Nach Satz 58.1 bilden die

$v_{i_{1}}^{*}\wedge \ldots \wedge v_{i_{k}}^{*},1\leq i_{1}<\ldots <i_{k}\leq n,$

eine Basis von ${}\bigwedge ^{k}V^{*}$. Ebenso bilden die

$v_{i_{1}}\wedge \ldots \wedge v_{i_{k}},1\leq i_{1}<\ldots <i_{k}\leq n,$

eine Basis von ${}\bigwedge ^{k}V$ mit zugehöriger Dualbasis ${}{\left(v_{i_{1}}\wedge \ldots \wedge v_{i_{k}}\right)}^{*}$. Wir zeigen, dass ${}v_{i_{1}}^{*}\wedge \ldots \wedge v_{i_{k}}^{*}$ unter ${}\psi$ auf ${}(v_{i_{1}}\wedge \ldots \wedge v_{i_{k}})^{*}$ abgebildet wird. Für ${}1\leq j_{1}<\ldots <j_{k}\leq n$ ist

${\left(\psi {\left(v_{i_{1}}^{*}\wedge \ldots \wedge v_{i_{k}}^{*}\right)}\right)}{\left(v_{j_{1}}\wedge \ldots \wedge v_{j_{k}}\right)}=\det {\left(v_{i_{r}}^{*}{\left(v_{j_{s}}\right)}_{1\leq r,s\leq k}\right)}\,.$

Bei ${}\{i_{1},\ldots ,i_{k}\}\neq \{j_{1},\ldots ,j_{k}\}$ gibt es ein ${}i_{r}$, das von allen ${}j_{s}$ verschieden ist. Daher ist die ${}r$-te Zeile der Matrix ${}0$ und somit ist die Determinante ${}0$. Wenn dagegen die Indexmengen übereinstimmen, so ergibt sich die Einheitsmatrix mit der Determinante ${}1$. Diese Wirkungsweise stimmt mit der von ${}{\left(v_{i_{1}}\wedge \ldots \wedge v_{i_{k}}\right)}^{*}$ überein.

$\Box$

Dachprodukte bei linearen Abbildungen

Korollar Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ und ${}W$ seien ${}K$- Vektorräume und

$\varphi \colon V\longrightarrow W$

sei eine ${}K$- lineare Abbildung.

Dann gibt es zu jedem ${}n\in \mathbb {N}$ eine ${}K$-lineare Abbildung

$\bigwedge ^{n}\varphi \colon \bigwedge ^{n}V\longrightarrow \bigwedge ^{n}W$

mit ${}v_{1}\wedge \ldots \wedge v_{n}\mapsto \varphi (v_{1})\wedge \ldots \wedge \varphi (v_{n})$.

Beweis

Die Abbildung

$V^{n}{\stackrel {\varphi \times \cdots \times \varphi }{\longrightarrow }}W^{n}{\stackrel {\delta }{\longrightarrow }}\bigwedge ^{n}W$

ist nach Aufgabe 16.27 multilinear und alternierend. Daher gibt es nach Satz 57.7 eine eindeutig bestimmte lineare Abbildung

$\bigwedge ^{n}V\longrightarrow \bigwedge ^{n}W$

mit ${}v_{1}\wedge \ldots \wedge v_{n}\mapsto \varphi (v_{1})\wedge \ldots \wedge \varphi (v_{n})$.

$\Box$

Proposition Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ und ${}W$ seien ${}K$- Vektorräume und

$\varphi \colon V\longrightarrow W$

sei eine ${}K$- lineare Abbildung. Zu ${}n\in \mathbb {N}$ sei

$\bigwedge ^{n}\varphi \colon \bigwedge ^{n}V\longrightarrow \bigwedge ^{n}W$

die zugehörige ${}K$-lineare Abbildung. Dann gelten folgende Eigenschaften.

1. Wenn ${}\varphi$ surjektiv ist, dann ist auch ${}\bigwedge ^{n}\varphi$ surjektiv.
2. Wenn ${}\varphi$ injektiv ist, dann ist auch ${}\bigwedge ^{n}\varphi$ injektiv.
3. Wenn ${}U$ ein weiterer ${}K$-Vektorraum und

   $\psi \colon U\longrightarrow V$

   eine weitere ${}K$-lineare Abbildung ist, so gilt

   ${}\bigwedge ^{n}(\varphi \circ \psi )={\left(\bigwedge ^{n}\varphi \right)}\circ {\left(\bigwedge ^{n}\psi \right)}\,.$

Beweis

(1). Es seien ${}w_{1},\ldots ,w_{n}\in W$ gegeben und seien ${}v_{1},\ldots ,v_{n}\in V$ Urbilder davon, also ${}\varphi (v_{i})=w_{i}$. Dann ist

${}{\left(\bigwedge ^{n}\varphi \right)}(v_{1}\wedge \ldots \wedge v_{n})=w_{1}\wedge \ldots \wedge w_{n}\,.$

Nach Lemma 57.5  (1) ergibt sich die Surjektivität.
(2). Wir können aufgrund der Konstruktion des Dachproduktes annehmen, dass ${}V$ und ${}W$ endlichdimensional sind. Die Aussage folgt dann aufgrund der expliziten Beschreibung der Basen in Satz 58.1.
(3). Es genügt, die Gleichheit für das Erzeugendensystem ${}u_{1}\wedge \ldots \wedge u_{n}$ mit ${}u_{i}\in U$ zu zeigen, wofür es klar ist.

$\Box$

Orientierungen und das Dachprodukt

Unter Bezug auf das Dachprodukt kann man generell die Orientierung auf einem reellen Vektorraum auf die Orientierung einer Geraden zurückführen, wie die folgende Aussage zeigt.

Lemma Referenznummer erstellen

Es sei ${}V\neq 0$ ein endlichdimensionaler reeller Vektorraum der Dimension ${}n$.

Dann entsprechen durch die Zuordnung

$[v_{1},\ldots ,v_{n}]\longmapsto [v_{1}\wedge \ldots \wedge v_{n}]$

die Orientierungen auf ${}V$ den Orientierungen auf ${}\bigwedge ^{n}V$.

Beweis

Es seien ${}v_{1},\ldots ,v_{n}$ und ${}w_{1},\ldots ,w_{n}$ zwei Basen von ${}V$ mit der Beziehung

${}{\begin{pmatrix}v_{1}\\\vdots \\v_{n}\end{pmatrix}}=M{\begin{pmatrix}w_{1}\\\vdots \\w_{n}\end{pmatrix}}\,.$

Dann gilt nach Korollar 57.6

${}v_{1}\wedge \ldots \wedge v_{n}=(\det M)w_{1}\wedge \ldots \wedge w_{n}\,,$

woraus die Wohldefiniertheit der Abbildung und die Aussage folgt.

$\Box$