21.06.2014 Aufrufe

Lineare Algebra - SAM - ETH Zürich

Lineare Algebra - SAM - ETH Zürich

Lineare Algebra - SAM - ETH Zürich

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!