1 定義
対角行列は、正方行列の中でも特に単純な構造をもつ行列である。主対角線上にある成分だけが任意の値を取り、そこから外れた位置の要素はすべて 0 になる。この形のため、計算上の扱いが容易で、線形代数の多くの場面で基準的な例として用いられる。
1.1 行列の形
対角行列は、通常、対角成分を並べた形で表される。たとえば 3 次の対角行列は、左上から右下へ伸びる対角線上にだけ数値が並び、それ以外は 0 で埋められる。見た目が簡潔で、成分の配置が明確であることが特徴である。
1.2 主対角線と非対角成分
主対角線とは、左上から右下へ向かう要素の並びを指す。対角行列では、この線上の成分のみが自由に選べる一方、非対角成分、つまり対角線から外れた位置の要素はすべて 0 である。この性質が、後の演算や固有値の議論を大きく単純化する。
1.3 正方行列としての条件
対角行列は必ず正方行列である。行と列の個数が一致していなければ、主対角線を一貫して定めることができないためである。その意味で、対角行列は長方形の配列ではなく、n × n 型の行列として定義される。
2 基本的な性質
対角行列は、和、積、逆行列、行列式のいずれにおいても特有の簡潔さを示す。ゼロの配置が規則的であるため、一般の行列に比べて式変形が見通しやすい。
2.1 和と積
対角行列どうしの演算は、各対角成分ごとの処理に帰着しやすい。これは、非対角成分が最初から 0 であるため、演算の影響が限られるからである。
2.1.1 対角行列同士の演算
2 つの対角行列の和は、対応する対角成分をそれぞれ足し合わせた対角行列になる。積についても、同じ位置の対角成分どうしを掛け合わせた対角行列となる。したがって、演算結果の構造は元の形を保つ。
2.1.2 他の行列との積
対角行列と一般の行列の積では、各行または各列が独立にスケーリングされる。左から掛ければ行が、右から掛ければ列が対角成分に応じて伸縮される。このため、全体の計算量を抑えやすい。
2.2 逆行列
対角行列は、逆行列の存在条件が非常に明瞭である。各対角成分が 0 でなければ、逆行列もまた対角行列として得られる。
2.2.1 逆行列が存在する条件
逆行列が存在するのは、すべての対角成分が 0 でないときに限られる。ひとつでも 0 が含まれると、その方向の情報が失われ、可逆ではなくなる。条件が成分ごとに判定できる点が大きな利点である。
2.2.2 逆行列の対角成分
逆行列が存在する場合、その対角成分は元の対角成分の逆数になる。たとえば対角成分が 2, 5, -3 なら、逆行列の対角成分は 1/2, 1/5, -1/3 となる。非対角成分は引き続き 0 である。
2.3 行列式
対角行列の行列式は、特に計算が容易な場合の代表例である。成分の規則性により、複雑な展開を行わずに値を求められる。
2.3.1 行列式の計算
対角行列の行列式は、主対角線上の成分の積に等しい。これは、他の位置が 0 であるため、余因子展開をしなくても直ちに求められる。線形代数の初学段階でも重要な基本公式である。
2.3.2 零成分との関係
対角成分のどこかに 0 があれば、行列式全体も 0 になる。逆に、行列式が 0 でなければ、すべての対角成分は 0 でない。したがって、0 の有無だけで可逆性の判断が容易になる。
3 代数的な特徴
対角行列は、固有値や固有ベクトルの理解において最も扱いやすい例の一つである。冪乗や指数的な操作でも、成分ごとに独立した処理ができる。
3.1 固有値
対角行列の固有値は、対角成分と直接結びついている。一般の行列では固有値の決定は難しいが、対角行列では構造がほぼそのまま答えになる。
3.1.1 対角成分と固有値
対角行列の固有値は、対角線上の各成分に一致する。重複がある場合は同じ値が複数回現れる。固有値の列挙が行列の見た目からほぼ即座に分かる点は、対角行列の大きな特徴である。
3.1.2 固有空間
各固有値に対応する固有空間は、該当する対角成分に応じて座標軸方向に現れる。対角行列では、異なる成分が互いに干渉しないため、固有空間の構造も比較的明瞭である。
3.2 固有ベクトル
固有ベクトルは、対角行列の作用を最も素直に反映する。特に標準基底との関係は、行列の意味を理解するうえで重要である。
3.2.1 標準基底との対応
標準基底の各ベクトルは、対角行列によりそれぞれ独立に伸縮される。各基底ベクトルは固有ベクトルになり、その固有値は対応する対角成分で与えられる。これは、対角行列が座標方向ごとの作用を表すことを示している。
3.2.2 重複度
同じ固有値が複数の対角位置に現れると、その値の重複度が生じる。代数的重複度は対角成分の出現回数に一致し、幾何的重複度も対応する座標方向の数に応じて理解できる。結果として、重複の扱いも比較的明快である。
3.3 冪乗
対角行列の冪は、各成分を個別にべき乗するだけで求められる。反復計算の負担が小さいため、高いべきでも容易に扱える。
3.3.1 累乗計算の簡単さ
対角行列を n 乗すると、対角成分はそれぞれ n 乗され、非対角成分は依然として 0 のままである。一般の行列で必要となる複雑な積の展開が不要で、計算規則が極めて単純である。
3.3.2 指数関数的な演算への応用
冪級数で定義される行列指数関数などでも、対角行列は扱いやすい。各対角成分に対して通常の指数関数を適用すればよいため、解析的な操作が成分ごとに分離される。
4 関連する行列
対角行列は、他の特別な行列と密接な関係をもつ。中でも単位行列やスカラー行列は代表的であり、対角化や三角行列との比較も理解を深める助けになる。
4.1 単位行列
単位行列は、対角行列の中で最も基本的な例である。対角成分がすべて 1 で、その他は 0 という形をとる。
4.1.1 対角行列の特殊例
単位行列は、対角成分がすべて 1 の対角行列として表される。したがって、対角行列全体の中でも基準点のような役割を担う。行列の積における 1 の働きをそのまま反映している。
4.1.2 可逆性との関係
単位行列は常に可逆であり、その逆行列は自分自身である。対角行列一般の可逆性を考える際、この例は最も分かりやすい比較対象となる。すべての対角成分が 1 であるため、逆数をとっても形が変わらない。
4.2 スカラー行列
スカラー行列は、対角成分がすべて等しい対角行列である。単一の数値が全体の振る舞いを決める点に特徴がある。
4.2.1 対角成分がすべて等しい場合
すべての対角成分が同じ値なら、その行列はスカラー行列と呼ばれる。これは、ある数を単位行列に掛けた形として表せる。対角行列の中でも特に対称的で、扱いが簡潔である。
4.2.2 中心的役割
スカラー行列は、多くの代数的操作で中心的な位置を占める。一般の行列と交換可能であるなど、特別な性質をもつため、理論的な議論で基準として使われやすい。
4.3 対角化
対角化は、一般の行列を相似変換によって対角行列へ変える操作である。計算の簡略化と理論の整理の両面で重要である。
4.3.1 対角行列への変換
対角化が可能な行列は、ある基底を選ぶことで対角行列として表せる。これは、行列の本質的な作用を独立な方向の組に分解することを意味する。変換後は、固有値が対角成分として現れる。
4.3.2 対角化可能性
すべての行列が対角化できるわけではない。十分な数の一次独立な固有ベクトルをもつときに限り、対角化が成立する。対角行列は、その理想形を具体的に示す標本といえる。
4.4 三角行列との比較
三角行列は、対角線の片側だけが 0 になっている行列であり、対角行列より広い概念である。両者を比べると、対角行列の特異性が際立つ。
4.4.1 上三角行列
上三角行列では、対角線より下の成分が 0 になる。対角行列は、その中でも上側の非対角成分もすべて 0 にした場合に相当する。つまり、対角行列は上三角行列のより制限された形である。
4.4.2 下三角行列
下三角行列では、対角線より上の成分が 0 になる。こちらについても、対角行列は両側の非対角成分をすべて消した特別な場合である。三角行列の中で最も対称的な構造を示すのが対角行列である。
5 応用
対角行列は、理論的な簡潔さだけでなく、実用面でも広く用いられる。線形変換の記述、数値計算、分解理論などにおいて有用である。
5.1 線形変換の表現
対角行列は、線形変換を座標ごとの独立な操作として表すのに適している。各軸に別々の係数を与えることで、変換の意味が直感的になる。
5.1.1 座標ごとの拡大縮小
対角成分は、それぞれの座標方向に対する拡大率または縮小率として解釈できる。ある方向は伸び、別の方向は縮むといった変換を、簡潔な形で記述できる。
5.1.2 軸ごとの独立な作用
対角行列では、1 つの座標の変化が他の座標に直接影響しない。各軸が独立に処理されるため、変換の挙動を分けて考えやすい。これは幾何学的な理解にも役立つ。
5.2 数値計算
数値計算では、対角行列の簡単さが大きな利点となる。演算の負担が少なく、誤差管理の面でも扱いやすい。
5.2.1 計算の簡略化
対角行列に対する演算は、非対角成分を考慮しなくてよいため高速である。積、逆行列、冪などの計算が成分単位で完結しやすく、大規模計算でも効率が良い。
5.2.2 アルゴリズムでの利用
多くの数値アルゴリズムでは、対角行列は中間結果や近似表現として現れる。反復法や分解法の中で、処理を単純化する部品として働くことが多い。実装面でも扱いやすい。
5.3 理論的応用
対角行列は、抽象的な理論の中でも重要な役割を果たす。特にスペクトル分解や連立方程式の整理において、構造を見通しやすくする。
5.3.1 スペクトル分解
スペクトル分解では、行列を固有値と固有ベクトルに基づいて分解する。対角行列はこの考え方の中心にあり、分解後の基本形として現れる。理論の骨格を理解するうえで不可欠である。
5.3.2 連立方程式への応用
対角行列を係数行列にもつ連立方程式は、各未知数が互いに独立に決まるため、解法がきわめて単純になる。これにより、複雑な問題をより易しい形に置き換える手法としても利用される。