区分行列(くぶんぎょうれつ)もしくはブロック行列 (block matrix) とは、いくつかの長方形のブロックに「区分け」された行列である。
例えば、4つの行列
![{\displaystyle A={\begin{bmatrix}2&-1&5\\-1&4&1\\8&1&-2\end{bmatrix}},\quad B={\begin{bmatrix}-3&6\\1&3\\4&1\end{bmatrix}},\quad C={\begin{bmatrix}-4&2&6\end{bmatrix}},\quad D={\begin{bmatrix}9&1\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/eece18e5b2b88432f9ed933076e541e3f07cc5cc)
を並べてできる 4 × 5 行列
![{\displaystyle {\begin{bmatrix}A&B\\C&D\end{bmatrix}}={\begin{bmatrix}2&-1&5&&-3&6\\-1&4&1&&1&3\\8&1&-2&&4&1\\&&&&&\\-4&2&6&&9&1\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b70a90f5a11bbb0e1f740386be0a81734870a055)
を、A, B, C, D をブロックとする区分行列と呼ぶ。ブロックは小行列とも呼ばれる。行列をブロックに分けることを区分けという。
一般の区分けでは、行や列をそれぞれいくつに分割してもよい。Aij たちをブロックとする区分行列
![{\displaystyle {\begin{bmatrix}A_{11}&A_{12}&\cdots &A_{1q}\\A_{21}&A_{22}&\cdots &A_{2q}\\\vdots &\vdots &\ddots &\vdots \\A_{p1}&A_{p2}&\cdots &A_{pq}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/515debd7776dec8950b34a2acc3cf14a3719a4d6)
が区分けの一般的な形である。ただし、同じ行にあるブロックの行数は等しくなければならず、同じ列にあるブロックの列数は等しくなければならない。Ai j が mi × nj 行列である場合、この形の区分けを (m1, …, mq; n1, …, nr) 型と呼ぶ。
ふたつの区分行列
![{\displaystyle A={\begin{bmatrix}A_{11}&A_{12}&\cdots &A_{1q}\\A_{21}&A_{22}&\cdots &A_{2q}\\\vdots &\vdots &\ddots &\vdots \\A_{p1}&A_{p2}&\cdots &A_{pq}\end{bmatrix}},\quad B={\begin{bmatrix}B_{11}&B_{12}&\cdots &B_{1r}\\B_{21}&B_{22}&\cdots &B_{2r}\\\vdots &\vdots &\ddots &\vdots \\B_{q1}&B_{q2}&\cdots &B_{qr}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ac60ed628c5d55386d50a4a9a9fdfd1407e8d2c0)
の区分けがそれぞれ (l1, …, lp; m1, …, mq) 型、(m1, …, mq; n1, …, nr) 型であるとき、その積 AB の (l1, …, lp; n1, …, nr) 型の区分け
![{\displaystyle AB={\begin{bmatrix}C_{11}&C_{12}&\cdots &C_{1r}\\C_{21}&C_{22}&\cdots &C_{2r}\\\vdots &\vdots &\ddots &\vdots \\C_{p1}&C_{p2}&\cdots &C_{pr}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/88be000d47c5f2c9d58b19f25d6a37c2b753c17c)
の各ブロックは
![{\displaystyle C_{ij}=\sum _{k=1}^{q}A_{ik}B_{kj}}](//wikimedia.org/api/rest_v1/media/math/render/svg/e55c062f56ed9334c0aa5e40ad2bac93e22fa8ec)
で与えられる。すなわち、区分行列の積は(適切に区分けされていれば)各ブロックをあたかも行列の成分のように見なして計算できる。
正方行列 P の区分け
![{\displaystyle P={\begin{bmatrix}A_{11}&A_{12}&\dots &A_{1r}\\A_{21}&A_{22}&\dots &A_{2r}\\\vdots &\vdots &\ddots &\vdots \\A_{r1}&A_{r2}&\dots &A_{rr}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/64632c07325e87dc2c8c0f848ca5ed0a50e19f56)
において、主対角線上のブロック A1 1, A2 2, … Ar r がすべて正方行列であるとき、これを対称区分けという。特に、主対角線より下のブロックが全て零行列である場合、その行列式について
![{\displaystyle |P|=\prod _{k=1}^{r}|A_{kk}|}](//wikimedia.org/api/rest_v1/media/math/render/svg/f998ba2a0b0925ce048679537996308963ed3f9e)
が成り立つ。よって、そのような P が正則であるための必要十分条件は、主対角線上のブロックが全て正則であることである。
本節では、A は正則行列、D は正方行列とし、区分行列
![{\displaystyle P={\begin{bmatrix}A&B\\C&D\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ce8d28ad4f1a8ac0228450392f22312c9f1fa177)
の逆行列を与える。
まず、行列式について、
![{\displaystyle |P|=|A||D-CA^{-1}B|\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/e5bbdde81c34d7b4499fba97904c643565820999)
が成り立つ。よって、P が正則であるための必要十分条件は、D − CA−1B も正則であることであり、このとき逆行列は
![{\displaystyle {\begin{bmatrix}A&B\\C&D\end{bmatrix}}^{-1}={\begin{bmatrix}A^{-1}+A^{-1}B(D-CA^{-1}B)^{-1}CA^{-1}&-A^{-1}B(D-CA^{-1}B)^{-1}\\-(D-CA^{-1}B)^{-1}CA^{-1}&(D-CA^{-1}B)^{-1}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8db67a30de30350db5068c661dde0c9050ed2b18)
で与えられる。D も正則な場合は
![{\displaystyle {\begin{bmatrix}A&B\\C&D\end{bmatrix}}^{-1}={\begin{bmatrix}(A-BD^{-1}C)^{-1}&-A^{-1}B(D-CA^{-1}B)^{-1}\\-(D-CA^{-1}B)^{-1}CA^{-1}&(D-CA^{-1}B)^{-1}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/69233a17764d4ecc0aef0dcfccd0285a839cde58)
と表される。さらに C が零行列 O に等しい場合は
![{\displaystyle {\begin{bmatrix}A&B\\O&D\end{bmatrix}}^{-1}={\begin{bmatrix}A^{-1}&-A^{-1}BD^{-1}\\O&D^{-1}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/27db723f981e51451a98ea164cb7ee5dce93bdb4)
となる。