ユニタリ行列
以下の条件は、複素正方行列 U がユニタリ行列であることと同値である:
行列 U は UU = I を満たす
行列 U は UU = I を満たす
行列 U は正則行列で U = U を満たす
行列 U の列は正規直交基底である
行列 U の行は正規直交基底である
行列 U は等長写像である
行列 U は単位円上に固有値をもつ正規行列である