Lineare Algebra - SAM - ETH Zürich
Lineare Algebra - SAM - ETH Zürich
Lineare Algebra - SAM - ETH Zürich
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Kapitel 8 — Determinanten <strong>Lineare</strong> <strong>Algebra</strong> (2007)<br />
8.4 Determinanten von Blockdreiecksmatrizen<br />
Man könnte hoffen, für eine 2 × 2 Blockmatrix gelte<br />
∣ A B<br />
C D ∣ = det A det D − det B det C ,<br />
aber schon ein ganz simples Beispiel wie<br />
2 0 1 0<br />
0 2 0 1<br />
1 0 2 0<br />
= 71 ≠ 15 = 4 · 4 − 1 · 1<br />
∣ 0 1 0 2 ∣<br />
zeigt, dass dies im allgemeinen falsch ist. In der speziellen Situation,<br />
wo B = O oder C = O ist, gilt aber in der Tat folgendes:<br />
Satz 8.13 Für eine 2 × 2 Blockdreiecksmatrix ist<br />
∣ A B<br />
∣ ∣∣∣ O D ∣ = det A det D bzw. A O<br />
C D ∣ = det A det D .<br />
(8.18)<br />
Beweis: Wir betrachten den Fall der oberen Blockdreiecksmatrix und<br />
nehmen an, A sei ein m×m Block und D ein (n−m)×(n−m) Block. In<br />
unserer Definition (8.6) leisten offenbar nur jene Permutationen p einen<br />
Beitrag, für die p(1), . . . , p(m) ∈ {1, . . . , m} gilt; die anderen führen auf<br />
mindestens einen Faktor aus B = O. Die relevanten Permutationen p<br />
haben also die Form<br />
(1, . . . , m; m+1, . . . n) ↦→ ( p A (1), . . . , p A (n); m+p D (1), . . . , m+p D (n−m) )<br />
mit p A ∈ S m und p D ∈ S n−m . Dabei ist sign p = sign p A · sign p D . Aus<br />
der Summe in (8.6) wird damit<br />
∣ A B<br />
O D ∣ =<br />
∑<br />
sign p A · sign p D · a 1,pA (1) · · · a m,pA (m) ×<br />
p A ∈S m<br />
p D ∈S n−m × d 1,pD (1) · · · d n−m,pD (n−m)<br />
= ∑<br />
p A ∈S m<br />
sign p A · a 1,pA (1) · · · a m,pA (m) ×<br />
×<br />
∑<br />
p D ∈S n−m<br />
sign p D · d 1,pD (1) · · · d n−m,pD (n−m)<br />
= det A det D .<br />
Durch rekursive Anwendung ergibt sich aus diesem Satz sofort:<br />
Korollar 8.14 Die Determinante einer Blockdreiecksmatrix ist<br />
gleich dem Produkt der Determinanten der diagonalen Blöcke.<br />
LA-Skript 8-12 30. September 2007 c○M.H. Gutknecht