Dachprodukt/Elementare Eigenschaften/Fakt/Beweis

Beweis

(1) folgt direkt aus der Konstruktion.
(2). Es liegt die zusammengesetzte Abbildung

V^{n} ⟶ H ≅ K^{(V^{n})} ⟶ H / U

vor, wobei

(v_{1}, \dots, v_{n})

auf

e_{(v_{1}, \dots, v_{n})}

und dies auf die Restklasse

v_{1} \land \dots \land v_{n}

abgebildet wird. Dabei sichert die Definition des Unterraums

U

, dass jeweils die Eigenschaften einer multilinearen alternierenden Abbildung erfüllt sind.

(3) gilt nach Fakt für jede alternierende Abbildung.
(4). Die erste Gleichung gilt nach Fakt für jede multilineare Abbildung. Wenn sich in dem Indextupel $(i_{1}, \dots, i_{n})$ ein Eintrag wiederholt, so ist $u_{i_{1}} \land \dots \land u_{i_{n}} = 0$ wegen alternierend. Wir müssen also nur noch Tupel betrachten, wo alle Einträge verschieden sind. Diese können nach Umordnen auf die Form $1 \leq i_{1} < \dots < i_{n} \leq m$ gebracht werden. Bei einem fixierten aufsteigenden Indextupel ist die Summe über alle dazu permutierten Indextupel gleich

\sum_{π \in S_{n}} \prod_{j = 1}^{n} a_{i_{π (j)} j} u_{i_{π (1)}} \land \dots \land u_{i_{π (n)}} = \sum_{π \in S_{n}} sgn (π) \prod_{j = 1}^{n} a_{i_{π (j)} j} u_{i_{1}} \land \dots \land u_{i_{n}} .

Zur bewiesenen Aussage