任意の正方行列 に対して
となる行列 を単位行列という.
2行2列の正方行列の単位行列 は,
3行3列の正方行列の単位行列 は,
である.
2行2列の正方行列の単位行列 を求める.単位行列の定義 より,
, とおくと,
となる.行列の積より,
と計算され,行列の各成分を比較することにより,連立方程式
が得られる.この連立方程式を整理すると,
となる. より,
この等式が任意の行列 で成り立つためには, でなければならない.(1)に を代入すると,
この等式が任意の行列 で成り立つためには, でなければならない.
また,. より,
この等式が任意の行列 で成り立つためには, でなければならない.(2)に を代入すると,
この等式が任意の行列 で成り立つためには, でなければならない.
以上より,単位行列 は
と導かれる. の場合も同様にして を導くことができる.
正方行列:行の数と列の数が等しい行列のことである.
最終更新日: 2023年2月9日