Gramsche Determinante

Man kann in der Matrizenrechnung nur Determinanten von quadratischen Matrizen als Maß für die Volumenänderung ihrer Abbildung definieren. Für nichtquadratische Matrizen gibt es Minoren und Gramsche Determinanten (nach Jørgen Pedersen Gram), die Ähnliches leisten.

## Definition

[Bearbeiten | Quelltext bearbeiten]

Für alle Matrizen  A ∈ K m × n {\displaystyle A\in K^{m\times n}} mit  m ≥ n {\displaystyle m\geq n} nennt man  Gram ⁡ ( A ) = det ( A T A ) {\displaystyle \operatorname {Gram} (A)=\det(A^{T}A)} die Gramsche Determinante. Es gilt:  Gram ⁡ ( A ) {\displaystyle \operatorname {Gram} (A)} ist für  K = R {\displaystyle K=\mathbb {R} } nie negativ und genau dann  0 {\displaystyle 0} , wenn  rang ⁡ A < n {\displaystyle \operatorname {rang} A<n} , also wenn die Spalten von  A {\displaystyle A} linear abhängig sind. Man kann die Gramsche Determinante auch nach dem Satz von Binet-Cauchy als Summe über das Quadrat aller maximalen Minoren schreiben.

## Gramsche Matrix

[Bearbeiten | Quelltext bearbeiten]

Für  A ∈ R m × n {\displaystyle A\in \mathbb {R} ^{m\times n}} sind die Einträge der Matrix  A T A =: M {\displaystyle A^{T}A=:M} die kanonischen Skalarprodukte der Spalten von  A {\displaystyle A} . Hierzu betrachtet man die folgende Verallgemeinerung:

Sei auf einem  n {\displaystyle n} -dimensionalen K-Vektorraum V {\displaystyle V} mit der Basis ( v 1 , . . , v n ) {\displaystyle (v_{1},..,v_{n})} eine Bilinearform ⟨ ⋅ , ⋅ ⟩ : V × V -> K , ( v , w ) ↦ ⟨ v , w ⟩ {\displaystyle \langle \cdot ,\cdot \rangle \colon V\times V\to K,\quad (v,w)\mapsto \langle v,w\rangle } definiert. Dann nennt man die Matrix

M := ( ⟨ v 1 , v 1 ⟩ ⋯ ⟨ v 1 , v n ⟩ ⋮ ⋮ ⟨ v n , v 1 ⟩ ⋯ ⟨ v n , v n ⟩ ) {\displaystyle M:={\begin{pmatrix}\langle v_{1},v_{1}\rangle &\cdots &\langle v_{1},v_{n}\rangle \\\\\vdots &&\vdots \\\\\langle v_{n},v_{1}\rangle &\cdots &\langle v_{n},v_{n}\rangle \end{pmatrix}}}

die zur Bilinearform  ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } gehörige Gramsche Matrix, bzw. darstellende Matrix der Bilinearform. Letzte wird durch die Einträge der Gram-Matrix vollständig festgelegt. Die Bilinearform  ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } ist genau dann ein Skalarprodukt, wenn  M {\displaystyle M} symmetrisch und positiv definit ist.

Ist  ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } ein Skalarprodukt,  v 1 , … , v n {\displaystyle v_{1},\dots ,v_{n}} eine beliebige Menge von Vektoren aus  V {\displaystyle V} , so bezeichnet man  M {\displaystyle M} als die Gram-Matrix von  v 1 , … , v n {\displaystyle v_{1},\dots ,v_{n}} . Eine wichtige Anwendung in diesem Fall ist das Kriterium der linearen Unabhängigkeit: Die Vektoren sind genau dann linear unabhängig, wenn ihre Gramsche Determinante (Determinante der Gram-Matrix) nicht Null ist. Da die Gramsche Determinante in diesem Falle nichtnegativ ist, kann man aus ihr die Wurzel ziehen und durch

Vol ⁡ ( v 1 , … , v n ) := det ( M ) {\displaystyle \operatorname {Vol} (v_{1},\dotsc ,v_{n}):={\sqrt {\det(M)}}}

das  n {\displaystyle n} -dimensionale Volumen des durch  v 1 , … , v n {\displaystyle v_{1},\dots ,v_{n}} aufgespannten Spates erklären.

## Siehe auch

[Bearbeiten | Quelltext bearbeiten]

* Spatprodukt#Doppeltes Spatprodukt

## Literatur

[Bearbeiten | Quelltext bearbeiten]

* Gerd Fischer: Lineare Algebra: Eine Einführung für Studienanfänger. 13. Auflage. Vieweg, 2002, ISBN 3-528-97217-3.
* Albrecht Beutelspacher: Lineare Algebra. 6. Auflage. Vieweg, 2009, ISBN 978-3-528-56508-4.