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