最近まで、ユニタリー行列の行列式は必ず±1であると思いこんでいました。 たぶん直行行列の場合と混同していたせいです。 実際には、 と絶対値が1の複素数になります。 証明は次の様にします。 ユリタリー行列Uの性質から、 この両辺の行列式を計算すると、 …