.如果是n维欧氏空间的一个正交变换，那么的不变子空间的正交补也是的不变子空间