リー群とリー代数では、リー代数に正方行列があって、リー群はその行列の指数関数という関係があった その話の中で、リー代数の方の正方行列が反対称行列であるとき、対応する指数行列はdet=+1の直交行列になる、という関係があった じゃあ、適当に反対称行…

原点を同じくする正規直交基底が２つある 一つの基底にでいくつかの軸を消失させる もう一つの基底についても同様にしていくつかの軸を消失させる 全体の次元がN、片方の直交基底での次元の減少分をt、もう一つの方での減少分をuとして、N-t-uの次元の空間と…