行列のブロック分割

こんにちは、おぐえもん(@oguemon_com)です。

前回の記事では、行列を扱う上で注意すべきことについて扱いました。

さて、行列の話で忘れてはならないのは、行列は$2 \times 2$行列や$3 \times 3$行列のようなミニサイズのものばかりでなく、その何回りも大きなサイズについても考える必要があることです。

$$A=\left( \begin{array}{cccccccccc} a_{11} & a_{12} & a_{13} & a_{14} & a_{15} & \ldots & a_{1n} \\ a_{21} & a_{22} & a_{23} & a_{24} & a_{25} & \ldots & a_{2n} \\ a_{31} & a_{32} & a_{33} & a_{34} & a_{35} & \ldots & a_{3n} \\ a_{41} & a_{42} & a_{43} & a_{44} & a_{45} & \ldots & a_{4n} \\ a_{51} & a_{52} & a_{53} & a_{54} & a_{55} & \ldots & a_{5n} \\ a_{61} & a_{62} & a_{63} & a_{64} & a_{65} & \ldots & a_{6n} \\ \vdots & \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & a_{m3} & a_{m4} & a_{m5} & \ldots & a_{mn} \end{array} \right)$$

そのような大規模な行列も含めた、行列の一般的な性質を考える上で、行列を縦横で切って何個かの部分に分割すると、色々捗る場合があります。今回は、行列を小分けにするテクニック「ブロック分割」を解説します。

ブロック行列って何？

まずは例を示しましょう。以下の$5 \times 5$行列

$$A=\left( \begin{array}{ccccc} a_{11} & a_{12} & a_{13} & a_{14} & a_{15} \\ a_{21} & a_{22} & a_{23} & a_{24} & a_{25} \\ a_{31} & a_{32} & a_{33} & a_{34} & a_{35} \\ a_{41} & a_{42} & a_{43} & a_{44} & a_{45} \\ a_{51} & a_{52} & a_{53} & a_{54} & a_{55} \end{array} \right)$$

について、3 列目の右を縦方向にカットし、４行目の下を横方向にカットすると、以下の 4 パーツが生まれます。

$$\begin{aligned} A_{11}&=\left( \begin{array}{ccc} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \\ a_{41} & a_{42} & a_{43} \end{array} \right), A_{12}&=\left( \begin{array}{cc} a_{14} & a_{15} \\ a_{24} & a_{25} \\ a_{34} & a_{35} \\ a_{44} & a_{45} \end{array} \right) \\ A_{21}&=\left( \begin{array}{ccc} a_{51} & a_{52} & a_{53} \end{array} \right), A_{22}&=\left( \begin{array}{cc} a_{54} & a_{55} \end{array} \right) \end{aligned}$$

これで、もとの行列は次のように表されます。

$$A= \left( \begin{array}{cc} A_{11} & A_{12} \\ A_{21} & A_{22} \end{array} \right)$$

このような分割を、行列$A$のブロック分割と呼び、また、分割された小さい行列を小行列と呼びます。

縦横のカットが行列を貫いてさえいれば、カットの幅や高さは自由です。

行や列への分割

行列を行ごとや列ごとにカットするシチュエーションが多々あります。

こういった分割を、それぞれ「行への分割」「列への分割」といいます。

ブロック分割の演算

大きな行列を小行列の集まりだと見たときの計算について見てみます。

ブロック分割の和とスカラー倍

行列の和が、対応する成分同士の足し算だったことを踏まえると、和の小行列が 2 つの小行列の和になるのは明らかです。差についても一緒ですよ〜

スカラー倍は各成分に掛け合わせるのでした。よって、各小行列にスカラーを掛けた場合と同じことになります。

ブロック分割の積

めちゃくちゃ複雑な条件が伴います。

要は、これから出てくる式が定義できる（積の条件を満たす）ように条件づくりをしているわけです。

上の条件が整った時、$A$と$B$の積はこうなります。

条件さえ整えば、ブロック分割した大きな行列同士の積は、小行列を成分みたいに扱って積の式を組むことができるのですね。

注意点

注意して欲しいのは、これらの式は行列を小行列の集まりとみなしたときの計算上の関係を示したものに過ぎず、演算結果の成分を求めたいときに、計算量が減るものではありません（むしろ手間が増えます）。

これらの関係式は、例えば大きい行列なんかで、行列の一部にしか用がないときに初めて役に立ちます。（無用な部分を計算する必要がないから）

おわりに

今回は、行列を縦横に分断して考える「ブロック分割」というテクニックについて、その性質を交えて解説しました。

これで、線形代数のキホンにあたる部分は終了です！これからは、「連立方程式」と絡めた議論や、「行列式」という特別な指標を交えた議論、さらには高校時代の空間ベクトルに立ち返るリバイバル企画など、様々なネタが展開されていきます。決してゴールは近くないのですが、一歩ずつ頑張っていきましょう！

＞＞カテゴリートップ（大学 1 年生と再履生のための線形代数入門）へ戻る