Uzupełnienie Schura

Uzupełnienie Schura – pojęcie w algebrze liniowej i teorii macierzy wiążące elementy macierzy blokowej.

Załóżmy, że A , B , C , D {\displaystyle A,B,C,D} są macierzami o wymiarach p × p , {\displaystyle p\times p,} p × q , {\displaystyle p\times q,} q × p {\displaystyle q\times p} i q × q , {\displaystyle q\times q,} oraz że D {\displaystyle D} jest odwracalna.

Niech

M = [ A B C D ] {\displaystyle M=\left[{\begin{matrix}A&B\\C&D\end{matrix}}\right]}

tak, że M {\displaystyle M} jest macierzą blokową o wymiarach ( p + q ) × ( p + q ) . {\displaystyle (p+q)\times (p+q).} Wtedy uzupełnieniem Schura bloku D {\displaystyle D} macierzy M {\displaystyle M} jest macierz o wymiarach p × p {\displaystyle p\times p} dana przez

A B D 1 C . {\displaystyle A-BD^{-1}C.}

Uzupełnienie Schura jest wykorzystywane m.in. w eliminacji Gaussa rozwiązywania układów równań liniowych.

Zastosowania w algebrze liniowej

Uzupełnienie Schura jest w sposób naturalny wykorzystywane przy rozwiązywaniu układu równań liniowych

A x + B y = a , {\displaystyle Ax+By=a,}
C x + D y = b . {\displaystyle Cx+Dy=b.}

gdzie x {\displaystyle x} oraz a {\displaystyle a} są wektorami o wymiarach p , {\displaystyle p,} natomiast y , b {\displaystyle y,b} są wektorami o wymiarach q . {\displaystyle q.} Macierze A , B , C , D {\displaystyle A,B,C,D} są zdefiniowane jak powyżej. Po pewnych przekształceniach dostajemy

( A B D 1 C ) x = a B D 1 b . {\displaystyle (A-BD^{-1}C)x=a-BD^{-1}b.}

Wobec tego, jeżeli można odwrócić zarówno macierz D , {\displaystyle D,} jak i jej uzupełnienie Schura, wtedy można znaleźć x {\displaystyle x} i używając równania C x + D y = b {\displaystyle Cx+Dy=b} wyznaczyć y . {\displaystyle y.} W ten sposób problem odwracania macierzy ( p + q ) × ( p + q ) {\displaystyle (p+q)\times (p+q)} został zredukowany do problemu odwracania macierzy p × p {\displaystyle p\times p} oraz q × q . {\displaystyle q\times q.} Jednak w praktyce algorytm ten może nie być dokładny.

Bibliografia

  • Z. Fuzhen, The Schur Complement and Its Applications, Springer, 2005, ISBN 0-387-24271-6.