有了向量正交的概念,类似于有限维欧氏空间,就可以在一般的内积空间中建立起相应的几何学,
引理1
设 X X X 是内积空间, M M M 是 X X X 的 线性子空间, x ∈ X , x \in X , x∈X, 若存在 y ∈ M , y \in M , y∈M, 使得 ∥ x − y ∥ = d ( x , M ) , \| x - y \| = d ( x , M ) , ∥x−y∥=d(x,M), 那么, x − y ⊥ M . x - y \perp M . x−y⊥M.
证明
令 z = x − y , z = x - y , z=x−y, 若 z z z 不垂直于 M , M , M, 那 么必有 y 1 ∈ M , y _ { 1 } \in M , y1∈M,使得
⟨ z , y 1 ⟩ ≠ 0. ( 5 ) \left\langle z , y _ { 1 } \right\rangle \neq 0 .\quad\quad(5) ⟨z,y