ユニタリ行列
ユニタリ行列(ユニタリぎょうれつ、英: unitary matrix)は、次を満たす複素正方行列 U として定義される。
U ∗ U = U U ∗ = I {\displaystyle U^{*}U=UU^{*}=I}
ここで、I は単位行列、U は行列 U の随伴行列 (U = U )。
なお、実数で構成される行列の随伴は単に転置であるため実ユニタリ行列は直交行列に等しく、直交行列を複素数体へ拡張したものがユニタリ行列とも言える。