定義

正方行列 $A$ に 逆行列 が存在するとき、$A$ を 正則行列 という。
別名：可逆行列

\[A^{-1}A = AA^{-1} = I\]

性質

• $A$ を列ベクトルを並べたものと見たとき、各列ベクトルは線形独立
• 行列式がゼロでない
• $A$ のエルミート共役 $A^*$ も正則行列