Dachprodukt/Endlichdimensional/Basis/Fakt/Beweis

Beweis

Wir zeigen zuerst, dass ein Erzeugendensystem vorliegt.  Da die Elemente der Form ${}w_{1}\wedge \ldots \wedge w_{n}$ nach Fakt  (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 Fakt  (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 Fakt  (3) (unter Inkaufnahme eines anderen Vorzeichens) erreichen, dass die Indizes (nicht notwendigerweise streng) aufsteigend geordnet sind. Wenn sich ein Index wiederholt, so ist nach Fakt  (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 Fakt, 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 Fakt, 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 Fakt multilinear und nach Fakt alternierend. Nach Fakt ist ${}\triangle (z_{1},\ldots ,z_{n})=0$ genau dann, wenn die Bilder von ${}z_{i}$ in ${}W$ keine Basis bilden.

Zur bewiesenen Aussage