定義

自身のエルミート転置が元の行列の逆行列となる複素正方行列 $U$ を ユニタリー行列 という。

\[U^* = U^{-1}\]

言い換えると、$I$ を単位行列として

\[U^* U = U U^* = I\]

実数空間のユニタリー行列を直交行列と呼ぶ。

特殊ケース

性質