Lineare Algebra - SAM - ETH Zürich
Lineare Algebra - SAM - ETH Zürich
Lineare Algebra - SAM - ETH Zürich
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kapitel 3 — LR–Zerlegung <strong>Lineare</strong> <strong>Algebra</strong> (2007)<br />
3.4 Die Cholesky-Zerlegung<br />
In Abschnitt 3.1 haben wir darauf hingewiesen, siehe (3.25)–(3.26),<br />
dass man die LR–Zerlegung PA = LR (mit Zeilenvertauschungen)<br />
jederzeit durch eine äquivalente LDR–Zerlegung PA = LDR 1 ersetzen<br />
kann, wo D die Diagonale von R und R 1 :≡ D −1 R ist.<br />
Ist A symmetrisch oder Hermitesch und die Zerlegung ohne Zeilenvertauschen<br />
möglich, so ist dabei P = I und automatisch R 1 = L T<br />
bzw. R 1 = L H , so dass gilt:<br />
A = LDL T bzw. A = LDL H . (3.62)<br />
Sind zudem die Diagonalelemente d ii :≡ r ii von D positiv, so kann<br />
man ihre Quadratwurzeln berechnen und jene von D definieren als<br />
Setzt man nun<br />
D 1 2 :≡ diag (<br />
√<br />
r11 , √ r 22 , . . . , √ r nn ) . (3.63)<br />
˜R :≡ D 1 2 L<br />
T<br />
bzw. ˜R :≡ D<br />
1<br />
2 L H , (3.64)<br />
erhält man die Cholesky-Zerlegung 2 [Cholesky decomposition]<br />
A = ˜R T ˜R bzw. A = ˜RH ˜R . (3.65)<br />
Bei der linken Version setzt man dabei voraus, dass die Matrizen<br />
reell sind, aus einem Grund, auf den wir gleich kommen werden.<br />
Nun haben wir in Abschnitt 3.3 gesehen, dass man die LR–Zerlegung<br />
(theoretisch) ohne Zeilenvertauschungen ausführen kann genau dann,<br />
wenn die führenden Hauptuntermatrizen A k (k = 1, ..., n − 1) regulär<br />
sind. Aber wann können wir das garantieren? Und wann sind<br />
dann zudem die Diagonalelemente von D positiv?<br />
Es gibt eine wichtige Klasse reell symmetrischer oder Hermitescher<br />
Matrizen, wo das gewährleistet ist.<br />
Definition: Eine reell symmetrische n × n Matrix A heisst positiv<br />
definit [positive definite] oder, kurz, eine spd Matrix, falls<br />
x T Ax > 0 für alle x ∈ R n , x ≠ o . (3.66)<br />
Eine Hermitesche n × n Matrix A heisst positiv definit [positive<br />
definite] oder, kurz, eine Hpd Matrix, falls<br />
x H Ax > 0 für alle x ∈ C n , x ≠ o . (3.67)<br />
Gilt (3.66) bzw. (3.67) nur mit dem ≥–Zeichen, so heisst die Matrix<br />
positiv semidefinit [positive semidefinite].<br />
<br />
2 André Louis Cholesky (15.10.1875 – 31.10.1918), französischer Offizier,<br />
der unter anderem Vermessungen in Algerien und Tunesien durchführte und<br />
im ersten Weltkrieg als Regimentskommandant fiel; Ritter der Ehrenlegion.<br />
LA-Skript 3-16 30. September 2007 c○M.H. Gutknecht