证明n维欧氏空间V的全体正交变换作成V上一般线性群GL（V)的一个子群，这个群称为V上正交群。用记号O（V)表示。