1 定義
単位行列は、正方行列のうち、対角成分がすべて1で、対角以外の成分がすべて0であるものをいう。行列の積において、他の行列の値や構造を変えない基準的な役割を担うため、線形代数の中核概念として扱われる。サイズが明示されることが多く、次元ごとに別個の対象として記述される。
1.1 正方行列としての条件
単位行列は、縦と横の成分数が等しい正方行列でなければならない。長方形の配列では、すべての成分を1または0で配置しても、乗法の単位元としての性質を満たせない。したがって、行と列が同数であることが本質的な条件となる。
1.2 成分表示
n次の単位行列は、i行j列の成分を \(a_{ij}\) とすると、\(i=j\) のとき \(a_{ij}=1\)、それ以外では \(a_{ij}=0\) となる。これは、対角線上に1が並び、周囲が0で埋められた形として表される。成分表示により、行列のサイズにかかわらず同じ規則で定義できる。
1.3 単位行列の記号
単位行列は、一般に \(I\) で表される。サイズを区別する必要がある場合には \(I_n\) のように書き、n次の単位行列であることを示す。分野や文脈によっては、\(E\) や \(\mathrm{Id}\) などの記号が用いられることもあるが、\(I\) が最も広く使われる。
2 基本性質
単位行列の性質は、行列演算の枠組みを理解するうえで基礎となる。特に、積の単位元であること、逆行列との関係、べき乗を考えたときの安定性が重要である。これらは抽象代数の単位元の考え方とも対応している。
2.1 乗法における単位元
適合するサイズの行列Aに対して、単位行列Iを左または右から掛けると、\(IA=A\)、\(AI=A\) が成り立つ。これは数の掛け算で1を掛けても値が変わらないことに対応する性質である。行列の積が定義される範囲では、この性質が演算の基準として働く。
2.2 べき乗と冪等性
単位行列を何回掛けても結果は変わらず、\(I^k=I\) が任意の正の整数kで成立する。また、\(I^2=I\) であるため、冪等な行列の典型例でもある。ただし、冪等性を示す行列は他にも多数存在し、単位行列はその最も基本的な例である。
2.3 逆行列との関係
逆行列は、ある行列を単位行列に戻す行列として定義される。したがって、単位行列は可逆性を論じる際の基準点となる。逆行列の存在や一意性は、この対象を中心に整理される。
2.3.1 可逆行列との対応
正方行列Aが可逆であるとは、ある行列Bが存在して \(AB=BA=I\) を満たすことをいう。このときBをAの逆行列と呼ぶ。つまり、単位行列は「可逆であることの到達点」として機能する。
2.3.2 逆行列の一意性
逆行列が存在する場合、それは一つに定まる。もしBとCがともにAの逆行列なら、\(B=BI= B(AC)=(BA)C=IC=C\) となり、両者は一致する。ここでも単位行列は、等式変形の中間点として決定的な役割を果たす。
3 具体例
単位行列は次元ごとに具体的な形が定まるため、低次元の例から高次元、さらには無限次元の枠組みまで一貫して把握できる。例示によって、抽象的な定義が視覚的に理解しやすくなる。
3.1 ２次の単位行列
2次の単位行列は、 \[ \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \] である。最も基本的な例として、行列計算や連立方程式の説明に頻繁に用いられる。低次元でありながら、一般のn次の場合と同じ性質をすべて備えている。
3.2 ３次以上の単位行列
3次以上では、対角線上に1が3個以上並び、他の成分はすべて0になる。次元が増えても構造は単純で、規則性は変わらない。大きな行列では、必要に応じてブロックごとの記述や省略表記が用いられることがある。
3.3 無限次元への拡張
無限次元の線形空間でも、恒等的な作用を行う演算子は単位行列に相当するものとして扱われる。ただし、有限次元の行列そのものとは区別され、作用素として定式化される場合が多い。解析学や関数空間では、この拡張が重要になる。
4 線形代数での役割
単位行列は、線形代数における各種概念をつなぐ中心的な基準である。行列の積、線形写像、固有値の理論などで繰り返し現れ、理論の整合性を支える。定義だけでなく、他の対象を特徴づける参照点としても働く。
4.1 行列の積
行列の積では、単位行列を挟んでも他方の行列の成分配置や線形結合の関係はそのまま保たれる。これは、積の定義において対角成分だけが寄与し、非対角成分が0であるためである。計算上も理論上も、基準的な比較対象になる。
4.2 線形写像
線形写像を行列で表すとき、単位行列は恒等的な変換に対応する。ベクトルをそのまま自分自身へ送る写像であり、変換の合成や表現の切り替えを考える際の基盤となる。行列表示と写像の対応を明確にする役割も大きい。
4.2.1 恒等写像との対応
恒等写像は、空間の各要素を変えずに対応させる写像である。これを標準基底に関して表したものが単位行列に相当する。したがって、単位行列は線形写像の最も単純な例であり、他の写像の比較基準にもなる。
4.2.2 基底変換との関係
基底を変えても、恒等的な作用を表す対象は本質的に変わらない。ただし、座標表示は基底に依存するため、単位行列は同じ基底で記述されたときに直接的な意味を持つ。基底変換の理論では、写像の表現と対象そのものを区別することが重要である。
4.3 固有値と固有ベクトル
単位行列は固有値の議論においても分かりやすい例を与える。任意の非零ベクトルはそのまま写されるため、方向は変化しない。これにより、抽象的な定義が具体的に確認できる。
4.3.1 固有値の特徴
単位行列の固有値は1のみである。非零ベクトルvに対し、\(Iv=v\) だから、固有方程式 \(Iv=\lambda v\) では \(\lambda=1\) が得られる。重複度の議論を除けば、最も単純なスペクトル構造を持つ。
4.3.2 最小多項式との関係
単位行列の最小多項式は \(x-1\) である。これは、\(I\) に \(x\) を代入した際の消去条件が1次式で足りることを示す。代数的な性質が極めて簡潔であり、一般の行列の最小多項式を考える際の比較例となる。
5 関連概念
単位行列は、他の基本的な行列や作用素と対照させることで理解が深まる。零行列や対角行列とは見た目が似ていても役割が異なり、抽象化すると単位元一般の考えに接続する。
5.1 零行列
零行列はすべての成分が0の行列であり、単位行列とは対照的である。積においては消去的に働き、単位行列のように元の行列を保つことはない。両者を比較すると、行列演算の構造が見えやすくなる。
5.2 対角行列
対角行列は、対角成分以外が0である行列の総称である。単位行列はその特別な場合で、対角成分がすべて1に固定されている。したがって、単位行列は対角行列の中で最も対称的な例といえる。
5.3 恒等作用素
恒等作用素は、対象を変えずに自分自身へ写す作用素である。有限次元では単位行列がその表現に対応し、無限次元ではより一般の枠組みで扱われる。両者は本質的に同じ考え方を別の形式で表している。
5.4 単位元の一般化
単位行列は、より一般の代数的構造における単位元の具体例である。群、環、代数などでは、演算に対して不変な要素を単位元として定義する。行列の場合、その役割を担うのが単位行列である。
6 応用
単位行列は理論的な概念にとどまらず、計算や解析の現場でも広く用いられる。連立方程式の整理、分解法の記述、数値計算の安定性評価などに登場し、実務的な意味を持つ。
6.1 連立一次方程式
連立一次方程式を行列形式で表すと、係数行列と未知ベクトルの関係が明確になる。解法の途中で単位行列が現れると、変形が正しく進んでいるかを確認しやすい。掃き出し法でも、最終形として単位行列を目標にすることが多い。
6.2 行列分解
LU分解や他の分解法では、単位行列が因子の一部として自然に現れる。下三角行列や上三角行列の記述では、対角を1にそろえた形が便利である。分解の表現を簡潔にし、計算手順を整理する助けになる。
6.3 数値計算
数値計算では、単位行列は理想的な基準行列として使われる。近似計算の誤差や反復の収束を調べる際、どの程度単位行列からずれているかが一つの尺度になる。理論値と計算値を比較するうえでも参照点となる。
6.3.1 反復法での利用
反復法では、更新式の安定性や収束性を記述するために単位行列が式の中に現れる。たとえば、反復行列が単位行列からどの程度離れているかで振る舞いを評価することがある。これにより、計算過程を構造的に把握できる。
6.3.2 誤差評価との関係
誤差評価では、理想的な変換としての単位行列との差を測ることで、近似の品質を判定する。特に、計算機上の丸め誤差や条件の悪さを議論するとき、単位行列は比較の基準として扱われる。精度解析においても重要な役割を持つ。