直交行列
転置行列と逆行列が等しい正方行列のこと
ユニタリ行列の一種
定義
$ ^tA=A^{-1}
転置行列と逆行列が等しいなら、直交行列
$ A{}^tA=^tAA=E
定理
行列式が$ \pm1になる
$ \det A=\pm1
参考
直交行列の５つの定義と性質の証明 | 高校数学の美しい物語