Schurkomplement

Schurkomplement

In der linearen Algebra bezeichnet das Schur-Komplement eine Matrix, die sich aus den einzelnen Blöcken einer größeren Matrix berechnet. Das Schur-Komplement ist nach Issai Schur benannt.

Inhaltsverzeichnis

Definition

Sei M eine (n+m) \times (n+m)-Matrix, die aus vier Teilblöcken zusammengesetzt ist:

M=\left(\begin{matrix} A & B \\ C & D \end{matrix}\right).

Dabei sei A eine n \times n-, B eine n \times m-, C eine m \times n- und D eine m \times m-Matrix. Des Weiteren sei vorausgesetzt, dass A invertierbar ist.

Die Matrix

S = D - C A^{-1} B\,

heißt Schur-Komplement von A in M.

Interpretation als Ergebnis der Gaußelimination

Das Schur-Komplement lässt sich als Ergebnis eines Schritts des Gaußschen Eliminationsverfahrens auf Ebene der Matrixblöcke interpretieren: Die formale Anwendung der Gaußelimination auf die 2 \times 2-Blockmatrix M entspricht der Multiplikation von links mit der Matrix

L=\left(\begin{matrix} I_n & 0 \\ -C A^{-1} & I_m \end{matrix}\right),

wobei In und Im die n \times n bzw. m \times m Einheitsmatrizen bezeichnen. Das Schur-Komplement erscheint dann im unteren, rechten Block der Produktmatrix:

L M = \left(\begin{matrix} A & B \\ 0 & -C A^{-1} B + D \end{matrix}\right).

Daher kann die Inverse von M aus der Inversen von A und seines Schur-Komplements S berechnet werden:

\left(\begin{matrix} A & B \\ C & D \end{matrix}\right)^{-1} = \left(\begin{matrix} A^{-1} + A^{-1} B S^{-1} C A^{-1} & -A^{-1} B S^{-1} \\ -S^{-1} C A^{-1} & S^{-1} \end{matrix}\right)

oder auch

\left(\begin{matrix} A & B \\ C & D \end{matrix}\right)^{-1} = 
\left(\begin{matrix} I_n & -A^{-1} B \\ 0 & I_m \end{matrix}\right)
\left(\begin{matrix} A^{-1} & 0 \\ 0 & S^{-1} \end{matrix}\right)
\left(\begin{matrix} I_n & 0 \\ -C A^{-1} & I_m \end{matrix}\right).

Eigenschaften

Unter der Voraussetzung, dass M symmetrisch ist, ist M dann und nur dann positiv definit, wenn A und das Schur-Komplement S positiv definit sind.

Analog zur oben angegebenen Definition lässt sich auch das Schur-Komplement zum Block D bilden.

Für zwei invertierbare Matrizen gleicher Größe M1 und M2 mit den Teilmatrizen A1,B1,C1,D1 bzw. A2,B2,C2,D2 seien S1 und S2 die entsprechenden Schur-Komplemente von A1 in M1, bzw. A2 in M2. Mit der Definition des folgenden Matrix-Produkts

A * B = A(A + B) − 1B und wenn S * das Schur-Komplent von M1 * M2 bezeichnet, das in entsprechender Weise wie für M1,M2 gebildet wird, gilt, dass das Schur-Komplement des Produkt gleich dem Produkt der Schur-Komplemente ist: S * = S1 * S2

Anwendung bei der Lösung linearer Gleichungssysteme

Das Schur-Komplement kann zur Lösung von linearen Gleichungssystemen der Form

\left(\begin{matrix} A & B \\ C & D \end{matrix}\right) \left(\begin{matrix} x \\ y \end{matrix}\right) = \left(\begin{matrix} f \\ g \end{matrix}\right)

eingesetzt werden. Dabei bezeichnen x und f Vektoren der Länge n und y und g Vektoren der Länge m.

Multiplikation der ersten Gleichung von links mit CA − 1 und Addition zur zweiten Gleichung liefert

(D-C A^{-1} B) y = g - C A^{-1} f.\,

Wenn man also A und S invertieren kann, dann kann man diese Gleichung für y lösen und dann

A x = f - By\,

berechnen, um die Lösung (x,y) des ursprünglichen Problems zu erhalten.

Die Lösung eines (n+m) \times (n+m)-Systems reduziert sich damit auf die Lösung eines n \times n- und eines m \times m-Systems.

Eine wichtige Bemerkung in diesem Zusammenhang ist die Tatsache, dass die inverse Matrix A − 1 in manchen iterativen numerischen Algorithmen wie Krylov-Unterraum-Verfahren nicht explizit gebildet werden muss. Wie eine genauere Betrachtung der zu lösenden Gleichungssysteme zeigt, wird nur die Wirkung von A − 1 auf die Vektoren f und, im Laufe der iterativen Lösung von (DCA − 1B)y = gCA − 1f, auf die vorherige Lösung yalt benötigt, sodass die Bildung der Inversen als Lösung eines linearen Gleichungssystems aufgefasst werden kann. Gerade bei dünn besetzten Matrizen ist dadurch eine sehr effiziente Lösung möglich.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Issai Schur — Issai Schur[1] (* 10. Januar 1875 in Mogiljow; † 10. Januar 1941 in Tel Aviv) war ein Mathematiker, der die meiste Zeit seines Lebens in Deutschland arbeitete. Als Student von Frobenius arbeitete er über Darstellungstheorie von Gruppen, aber auch …   Deutsch Wikipedia

  • Komplement — (lateinisch: complementum = „Ergänzung“, „Vervollständigung[smittel]“ – complere = „erfüllen“, „ergänzen“) steht für folgende Begriffe: Komplementäres Gut, in den Wirtschaftswissenschaften ein bestimmtes Gut Komplementsystem, in der Medizin …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”