直交行列
定義
$ U^T = U^{-1}
転置行列
と
逆行列
が等しくなる
正方行列
など(他4つ。それらは同値)
https://manabitimes.jp/math/1218