シューア補行列

線型代数学関連分野におけるシューア補行列（シューアほぎょうれつ、; シューア補元）は区分行列に対して定義される。名称はイサイ・シューアがシューアの補題の証明に用いたことに由来するが、それ以前からの使用が認められる。これを Schur complement と呼び始めたのはエミリー・ヘインズワースである。シューア補行列は数値解析 (特に数値線形代数) や統計学、行列解析の分野では主要な道具の一つとなっている。

定義 
行列  のサイズをそれぞれ , , ,  として区分行列  を考える。全体として  は  行列になっている。以下本項で  と書けば断りなくこの区分行列を意味するものとする。

 が正則であるとき、区分行列  の区画  に関するシューア補行列とは  で定義される  行列を言う。同様に  が正則であるとき、 の  に関するシューア補行列とは  で定義される  行列を言う。

 や  が正則でない場合にも、逆行列の代わりに一般化逆行列を用いることにより、一般化シューア補行列を定義することはできる。

背景 
シューア補行列は上記の行列  にブロック下半三角行列 （ は  単位行列）を右から掛けるという形でガウス消去法を施した結果として生じる（ を掛ければ、上側の  行列としてシューア補行列が現れる）。実際、行列の積は  となっている。これはLDU分解のブロック行列版となるもので、実際  について解けば  であり、 の逆行列は  が正則かつ  に関するシューア補行列の逆行列が（存在するならば）既知のときには、 の逆行列だけから  と計算できる。

の項では、上記の式と  の役割を入れ替えて同様の導出をした式との間の関係性が詳しく述べられる。

性質 
 区分行列  が正定値対称行列ならば、シューア補行列  もそうである。
  が全てスカラー（）のとき、 行列の逆行列の公式  はよく知られている（ただし  は零でないものとする）。
 一般のサイズの場合、 が正則とすれば  が逆行列の存在する限りにおいて成立する。
 区分行列  の行列式は明らかに  で計算できる。これは  行列の行列式の定義式を区分行列版に一般化したものと見なせる。
 ガットマンの階数加法定理: 区分行列  の階数は  で与えられる。
 : 区分行列  の慣性指数は  の慣性指数と  の慣性指数との和に等しい。

線型方程式の解法への応用 
 が -次元列ベクトル、 が -次元列ベクトルで、区分行列  が上記の如く与えられているとき、線型方程式系  の解法にシューア補行列は自然に表れる。 が可逆のとき、下の式に  を掛けて上の式から引けば  を得るから、シューア補行列  も可逆ならば、 について解ける（さらに  から  も分かる）。これにより、もともとのサイズ  の係数行列の逆行列を計算する問題が、それぞれのサイズが  と  のふたつの行列の逆行列を計算することに帰着される。実用上は、このアルゴリズムが数値的に良い評価を与えるようにするために、 が十分素性が良いものとなるような条件を課す。

電気工学においては、このことをしばしばノード除去 (node elimination) やなどと言う。

確率論・統計学への応用 
確率列ベクトル  および  はそれぞれ  および  を動くものとし、ベクトル  は共分散が正定値対称行列  で与えられる多変量正規分布に従うものとする。ただし、 は  の共分散行列、 は  の共分散行列、 は  と  の間の共分散行列である。

このとき、 が既知であるときの  の は  に関する  のシューア補行列によって  と与えられる（条件付き期待値は  となる）。

上記の如く  を（しかし確率ベクトルの共分散としてではなく）標本共分散として与えたならば、ウィッシャート分布に従う。この場合、シューア補行列  もまたウィッシャート分布に従う。

定値性の判定条件 
対称行列  は  で与えられるものとする。このとき、 の  および  に関するシューア補行列は  と書ける。

  が正定値となるための必要十分条件は、 および  がともに正定値となることである: 
  が正定値となるための必要十分条件は  および  がともに正定値となることである: 
  が正定値のとき、 が半正定値となるための必要十分条件は  が半正定値となることである。
  が正定値のとき、 が半正定値となるための必要十分条件は  が半正定値となることである。 

1. および 3. は  を止めて  の函数とみた量  の最小化を考えることで導出できる。さらに、 である（半正定値でも同様のことが言える）から、1. および 3. からそれぞれ 2. および 4. が直ちに得られる。

同じように、一般化シューア補行列を用いても  の半正定値性を判定する必要十分条件を述べることができる。つまり、 を  の一般化逆行列とすれば  および  が成り立つ。

関連項目 
 
 準ニュートン法
 
 ガウス過程

参考文献

外部リンク 
 
 

線型代数学
人名を冠した数式
数学に関する記事