欧氏子空间存在唯一的正交补空间，两个欧氏子空间维数相等则一定同构，正交子空间一定是余子空间，反之不成立，欧氏子空间如果正交，则其和一定是直和