ユニタリ行列

ユニタリ行列（ユニタリぎょうれつ、）は、次を満たす複素正方行列 として定義される。
ここで、 は単位行列、 は行列 の随伴行列 ()。
なお、実数で構成される行列の随伴は単に転置であるため実ユニタリ行列は直交行列に等しく、直交行列を複素数体へ拡張したものがユニタリ行列とも言える。
同値条件.
以下の条件は、複素正方行列 がユニタリ行列であることと同値である：