単位行列 — 性質と線形代数での役割
線形代数の乗法単位元である単位行列を理解します。その性質、逆行列との関係、変換での役割を学びます。
Special Matrices
詳細な説明
単位行列
単位行列 I（n x n単位行列の場合 I_n）は主対角線に1、それ以外にすべて0を持ちます：
I_3 = | 1 0 0 |
| 0 1 0 |
| 0 0 1 |
定義的性質
互換性のある次元を持つ任意の行列Aに対して：
A * I = I * A = A
これによりIは行列の乗法単位元となり、スカラー乗算における数値1に類似しています。
性質
- det(I) = 1 — 単位行列の行列式は1
- I^(-1) = I — 単位行列は自身の逆
- I^T = I — 単位行列は対称
- I^n = I — Iの任意の冪乗はI
- すべての固有値は1 — 重複度n
- trace(I_n) = n — トレースは次元に等しい
定義における役割
単位行列は多くの基本的な定義に登場します：
- 逆行列: A^(-1)はA * A^(-1) = Iを満たす行列
- 直交行列: QがQ^T * Q = Iを満たすとき直交
- 固有値方程式: Av = lambda * vは(A - lambda * I)v = 0と書ける
- 特性多項式: det(A - lambda * I) = 0
変換としての単位行列
単位行列は恒等変換を表します — すべてのベクトルを自身に写像します。コンピュータグラフィックスでは、回転、スケーリング、移動変換を適用する前の開始点として機能します。
ユースケース
単位行列は3Dグラフィックスで変換パイプラインを構築する出発点です。モデル-ビュー-プロジェクション行列を初期化します。数値解法では反復アルゴリズムの出発点として使用されます（例：行列方程式のニュートン-ラフソン法）。チホノフ正則化（行列にlambda * Iを加える）など正則化技法の基礎としても機能します。