Alternierende Multilinearform/Dachprodukt/Einführung/Textabschnitt

Es sei $K$ ein Körper, $V$ ein $K$ -Vektorraum und $n \in ℕ$ . Wir konstruieren das sogenannte $n$ -te Dachprodukt von $V$ mit sich selbst, geschrieben $\overset{n}{⋀} V$ . Dazu betrachten wir die Menge $S$ aller Symbole der Form

(v_{1}, \dots, v_{n}) mit v_{i} \in V

und die zugehörige Menge der $e_{(v_{1}, \dots, v_{n})}$ . Wir betrachten den Vektorraum

H = K^{(S)},

das ist die Menge aller (endlichen) Summen

a_{1} e_{s_{1}} + \dots + a_{k} e_{s_{k}} mit a_{i} \in K und s_{i} \in S,

die $e_{s}$ bilden eine Basis. Dies ist mit der natürlichen Addition und der natürlichen Skalarmultiplikation ein Vektorraum, und zwar ein Untervektorraum des Abbildungsraumes $Abb (S, K)$ (es handelt sich bei $H$ um die Menge derjenigen Vektoren, die für fast alle Elemente $s \in S$ den Wert $0$ haben). In $H$ betrachten wir den Untervektorraum $U$ , der von den folgenden Elementen erzeugt wird (die man die Standardrelationen des Dachprodukts nennt).

e_{(v_{1}, \dots, v_{i - 1}, v + w, v_{i + 1}, \dots, v_{n})} - e_{(v_{1}, \dots, v_{i - 1}, v, v_{i + 1}, \dots, v_{n})} - e_{(v_{1}, \dots, v_{i - 1}, w, v_{i + 1}, \dots, v_{n})}

für beliebige $v_{1}, \dots, v_{i - 1}, v_{i + 1}, \dots, v_{n}, v, w \in V$ .

e_{(v_{1}, \dots, v_{i - 1}, a v, v_{i + 1}, \dots, v_{n})} - a e_{(v_{1}, \dots, v_{i - 1}, v, v_{i + 1}, \dots, v_{n})}

für beliebige $v_{1}, \dots, v_{i - 1}, v_{i + 1}, \dots, v_{n}, v \in V$ und $a \in K$ .

e_{(v_{1}, \dots, v_{i - 1}, v, v_{i + 1}, \dots, v_{j - 1}, v, v_{j + 1}, \dots, v_{n})}

für $i < j$ und beliebige $v_{1}, \dots, v_{i - 1}, v_{i + 1}, \dots,, v_{j - 1}, v_{j + 1}, \dots, v_{n}, v \in V$ .

Dabei ist der Leitgedanke, die Regeln, die für eine alternierende multilineare Abbildung gelten müssen, dadurch zu erzwingen, dass man die obigen Terme zu $0$ macht. Der erste Typ repräsentiert die Additivität in jedem Argument, die zweite die Verträglichkeit mit der skalaren Multiplikation, die dritte die alternierende Eigenschaft.

Man setzt nun

\overset{n}{⋀} V := H / U,

d.h. man bildet den Restklassenraum von $H$ modulo dem Unterraum $U$ .

Lemma

Es sei $K$ ein Körper und $V$ ein $K$ -Vektorraum. Dann gelten für die äußeren Potenzen folgende Aussagen.

Die Elemente der Form $v_{1} \land \dots \land v_{n}$ mit $v_{i} \in V$ bilden ein Erzeugendensystem von $\overset{n}{⋀} V$ .

Die Abbildung
$V^{n} ⟶ \overset{n}{⋀} V, (v_{1}, \dots, v_{n}) ⟼ v_{1} \land \dots \land v_{n},$

ist multilinear und alternierend.

Es ist
$v_{1} \land \dots \land v_{i - 1} \land v \land w \land v_{i + 2} \land \dots \land v_{n} = - v_{1} \land \dots \land v_{i - 1} \land w \land v \land v_{i + 2} \land \dots \land v_{n} .$

Es seien $u_{1}, \dots, u_{m} \in V$ gegeben und seien
$v_{j} = \sum_{i = 1}^{m} a_{i j} u_{i}$

für $j = 1, \dots, n$ . Dann ist

$\begin{matrix} v_{1} \land \dots \land v_{n} & = \sum_{(i_{1}, \dots, i_{n}) \in {1, \dots, m}^{n}} (\prod_{j = 1}^{n} a_{i_{j} j}) u_{i_{1}} \land \dots \land u_{i_{n}} \\ = \sum_{1 \leq i_{1} < \dots < i_{n} \leq m} (\sum_{π \in S_{n}} sgn (π) \prod_{j = 1}^{n} a_{i_{π (j)} j}) u_{i_{1}} \land \dots \land u_{i_{n}} . \end{matrix}$

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}} .

◻

Korollar

Es sei $K$ ein Körper und $V$ ein $K$ -Vektorraum und seien $v_{1}, \dots, v_{n}$ und $w_{1}, \dots, w_{n}$ Vektoren in $V$ , die miteinander in der Beziehung

(\begin{matrix} v_{1} \\ ⋮ \\ v_{n} \end{matrix}) = M (\begin{matrix} w_{1} \\ ⋮ \\ w_{n} \end{matrix})

stehen, wobei $M$ eine $n \times n$ -Matrix bezeichnet.

Dann gilt in $\overset{n}{⋀} V$ die Beziehung

$v_{1} \land \dots \land v_{n} = (det M) w_{1} \land \dots \land w_{n} .$

Beweis

Mit $M = (b_{j k})$ ist $v_{j} = \sum_{k = 1}^{n} b_{j k} w_{k}$ und mit der transponierten Matrix $M^{tr} = (a_{i j})$ ist $v_{j} = \sum_{i = 1}^{n} a_{i j} w_{i}$ . Damit sind wir in der Notation von Fakt (4) und es gilt

\begin{matrix} v_{1} \land \dots \land v_{n} & = \sum_{1 \leq i_{1} < \dots < i_{n} \leq n} (\sum_{π \in S_{n}} sgn (π) \prod_{j = 1}^{n} a_{i_{π (j)} j}) w_{i_{1}} \land \dots \land w_{i_{n}} \\ = \sum_{π \in S_{n}} sgn (π) \prod_{j = 1}^{n} a_{π (j) j} w_{1} \land \dots \land w_{n}, \end{matrix}

da dann $i_{j} = j$ sein muss. Daher folgt die Aussage aus der Leibniz-Formel für die Determinante.

◻

Satz

Es sei $K$ ein Körper, $V$ ein $K$ -Vektorraum und $n \in ℕ$ . Es sei

ψ : V^{n} ⟶ W

eine alternierende multilineare Abbildung in einen weiteren $K$ -Vektorraum $W$ .

Dann gibt es eine eindeutig bestimmte lineare Abbildung

$\tilde{ψ} : \overset{n}{⋀} V ⟶ W$

derart, dass das Diagramm

$\begin{matrix} V^{n} & \overset{}{⟶} & \overset{n}{⋀} V \\ ↘ & ↓ \\ W \end{matrix}$

kommutiert.

Beweis

Wir verwenden die Notation aus Fakt. Durch die Zuordnung

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

wird nach Fakt eine $K$ -lineare Abbildung

\bar{ψ} : H ⟶ W

definiert. Da $ψ$ multilinear und alternierend ist, wird unter $\bar{ψ}$ der Untervektorraum $U \subseteq H$ auf $0$ abgebildet. Nach Fakt gibt es daher eine $K$ -lineare Abbildung

\tilde{ψ} : H / U ⟶ W,

die mit $\bar{ψ}$ verträglich ist.
Die Eindeutigkeit ergibt sich daraus, dass die $v_{1} \land \dots \land v_{n}$ ein Erzeugendensystem von $\overset{n}{⋀} V$ bilden und diese auf $ψ (v_{1}, \dots, v_{n})$ abgebildet werden müssen.

◻

Korollar

Es sei $K$ ein Körper, $V$ ein $K$ -Vektorraum und $n \in ℕ$ .

Dann gibt es eine natürliche Isomorphie

${(\overset{n}{⋀} V)}^{*} ⟶ {Alt}^{n} (V, K), ψ ⟼ ((v_{1}, \dots, v_{n}) \mapsto ψ (v_{1} \land \dots \land v_{n})) .$

Beweis

Die Abbildung ist einfach die Verknüpfung $ψ \mapsto ψ \circ δ$ , wobei $δ : V \times \dots \times V \to \overset{n}{⋀} V$ die kanonische Abbildung bezeichnet. Die Linearität der Zuordnung ergibt sich aus den linearen Strukturen des Dualraumes und des Raumes der alternierenden Formen. Die Bijektivität der Abbildung folgt aus Fakt, angewendet auf $W = K$ .

◻

Satz

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 ℕ$ .

Dann bilden die Dachprodukte

$v_{i_{1}} \land \dots \land v_{i_{n}} mit 1 \leq i_{1} < \dots < i_{n} \leq m$

eine Basis von $\overset{n}{⋀} V$ .

Beweis

Wir zeigen zuerst, dass ein Erzeugendensystem vorliegt. Da die Elemente der Form $w_{1} \land \dots \land w_{n}$ nach Fakt (1) ein Erzeugendensystem von $\overset{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_{i j} v_{i}$ , daher kann man nach Fakt (4) die $w_{1} \land \dots \land w_{n}$ als Linearkombinationen von Dachprodukten der Basiselemente darstellen, wobei allerdings jede Reihenfolge vorkommen kann. Es sei also $v_{k_{1}} \land \dots \land v_{k_{n}}$ gegeben mit $k_{j} \in {1, \dots, 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}, \dots, i_{n}} \subseteq {1, \dots, m}$ (mit $i_{1} < \dots < i_{n}$ ) eine $K$ -lineare Abbildung

\overset{n}{⋀} V ⟶ K

gibt, die $v_{i_{1}} \land \dots \land 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

△ : V^{n} ⟶ K

anzugeben mit $△ (v_{i_{1}}, \dots, v_{i_{n}}) \neq 0$ , aber mit $△ (v_{j_{1}}, \dots, v_{j_{n}}) = 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, \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

△ : V^{n} ⟶ W^{n} ≅ (K^{n})^{n} \overset{det}{⟶} K .

Diese Abbildung ist nach Fakt multilinear und nach Fakt alternierend. Nach Fakt ist $△ (z_{1}, \dots, z_{n}) = 0$ genau dann, wenn die Bilder von $z_{i}$ in $W$ keine Basis bilden.

◻

Bei $V = K^{m}$ mit der Standardbasis $e_{1}, \dots, e_{m}$ nennt man die $e_{i_{1}} \land \dots \land e_{i_{n}}$ mit $i_{1} < \dots < i_{n}$ die Standardbasis von $\overset{n}{⋀} K^{m}$ .

Korollar

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

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

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

Beweis

Dies folgt direkt aus Fakt und Fakt.

◻

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

\overset{m}{⋀} V ⟶ K, (v_{1}, \dots, v_{m}) ⟼ det (v_{1}, \dots, v_{m}) .

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