ユニタリ行列
$ U^* U = U U^* = I
を満たす行列$ Uをユニタリ行列とよぶ。
$ ^*はエルミート転置(複素共役転置)。
実数行列における直交行列を複素行列に対して拡張したものである。
エルミート行列