正交子空间

设V₁，V₂是欧氏空间V中的两个子空间．如果对于任意的α∈V₁，β∈ V₂，恒有( α，β)=0，则称V₁，V₂是正交的，记作V₁⊥V₂。