直交行列
転置行列と逆行列が等しくなる正方行列のことを直交行列（orthogonal Matrix）という。
$ A
を直交行列とすると、以下が成立する。
$ A^{-1} = A^\top
$ A^\top A = AA^\top = I
複素行列における
ユニタリ行列
に対応する概念である。