泛函分析基础9-内积空间2-1-投影定理7：投影定理【设Y是希尔伯特空间X的闭子空间，那么有X=Y+Y^⊥】

定义2

设 $X$ 是内积空间， $M$ 是 $X$ 的 子集，称集合

M ⊥ = { x ∈ X : x ⊥ M } M ^ { \perp } = \{ x \in X : x \perp M \} M⊥={x∈X:x⊥M}

为 $M$ 在 $X$ 中的正交补。

读者不难证明 $M^{\perp }$ 是 $X$中的闭线性子空间.又由正交补的定义可知，若 $M$ 是 $X$ 的线性子空间，则 M ∩ M ⊥ = { 0 } . M \cap M ^ { \perp } = \{ 0 \} . M∩M⊥={0}.

---

当 $X$是希尔伯特空间时，我们有下面的投影定理

定理2

设 $Y$ 是希尔伯特空间 $X$ 的 闭子空间，那么有

$$X=Y+Y^{\perp }.(6)$$

证明
因为 $Y$ 是 $X$ 的闭子空间，所以 $Y$ 是 $X$ 的完备子空间，由定理1的推论及引理1，对于任意 $x\in X,$ 存在唯一 $y\in Y$ 及 $z\in Y^{\perp },$使

$$x=y+z,(7)$$

又若另有 $y_1\in Y$ 及 $z_1\in Y^{\perp },$ 使$x=y_1+z_1,$ 则 $y-y_1=z_1-z,$ 因$y-y_1\in Y,z_1-z\in Y^1,$ 于是$y_1-y$ = z 1 − z ∈ Y ∩ Y ⊥ = { 0 } , = z _ { 1 } - z \in Y \cap Y ^ { \perp } = \{ 0 \} , =z1​−z∈Y∩Y⊥={0}, 因此，$y=y_1,z=z_1,$ 这就证明了 $X=Y+Y^1.$

当 $X=Y+Z,$ 且 $Y\perp Z$ 时，称 $X$ 是 $Y$ 和 $Z$ 的 正交和，记为$X=Y\oplus Z,$ 因此(6)式可以写成

$$X=Y\oplus Y^1.(8)$$

若 $y\perp z,x=y+z,$ 则写 $x=y\oplus z.$ 定理2告诉我们，当$Y$ 是希尔伯特空间 $X$ 的闭子空间时，对每个 $x\in X,$ 存在唯一 $y\in Y$ 及 $z\in Y^1,$ 使得$x=y\oplus z,$ 称 $y$ 为 $x$ 在 空间 $Y$ 上的正交投影简称为投影.利用投影，可以定义 $X$ 到 $Y$ 上 的映射 $P$ 如下：对任意$x\in X,$ 令

$$Px=y,$$

其中 $y$ 是 $x$ 在 $Y$ 上 的投影，称 $P$ 为 $X$ 到 $Y$上的投影算子读者不难证明，投影算子具有下列一系列性质.

• $1^{\circ }P$ 是 $X$ 到 $Y$ 上 的有界线性算子，且当 Y ≠ { 0 } Y \neq \{ 0 \} Y={0}时， $\Vert P\Vert =1.$
• 2 ∘ P X = Y , P Y = Y , P Y ⊥ = { 0 } . 2 ^ { \circ } P X = Y , P Y = Y , P Y ^ { \perp } = \{ 0 \} . 2∘PX=Y,PY=Y,PY⊥={0}.
• $3^{\circ }{P}^2=P,$ 其中 $P^2=PP.$

设 $X$ 是 内积空间， $M$ 是 $X$ 的 子集，记${\left(M^{\perp }\right)}^{\perp }=M^{\perp \perp },$ 显然

$$M\subset M^{\perp \perp }.(9)$$

反之，有下面的引理.

引理2

设 $Y$ 是希尔伯特空间 $X$ 的闭子空间，则有

$$Y=Y^{\perp \perp }.(10)$$

证明
由(9)式，只要证明 $Y^{1-1}\subset Y$ 即可.设$x\in Y^{1-1},$ 由投影定理，存在 $y\in Y\subset$$Y^{1-1}$ 及 $z\in Y^{\perp },$ 使得 $x=y\oplus z.$ 因为$x\in Y^{1-1},$ 并且 $Y^{1+1}$ 是线性空间，所以$x-y\in Y^{1-1},$ 因此 $z$ = x − y ∈ Y 1 ∩ Y 1 − 1 = { 0 } , = x - y \in Y ^ { 1 } \cap Y ^ { 1 - 1 } = \{ 0 \} , =x−y∈Y1∩Y1−1={0}, 即 $z=0,$ 所以$x=y\in Y.$ 这就证明了 $Y^{1-1}\subset Y.$

利用正交补，可以得到内积空间 $X$ 中子集 $M$ 的 线性包在 $X$中稠密的判断方法

引理3

设 $M$ 是希尔伯特空间 $X$ 中非空子集，则 $M$ 的线性包$\mathrm{span}M$ 在 $X$ 中稠密的充要条件为 M ⊥ = { 0 } . M ^ { \perp } = \{ 0 \} . M⊥={0}.

证明
设 $x\in M^{\perp },$ 若 $\mathrm{span}M$ 在 $X$中稠密，则 $x\in \mathrm{span}M,$ 因此，存在$x_n\in \mathrm{span}M,n$$=1,2,\cdots ,$ 使$x_n\to x(n\to \infty ),$ 又因$x\in M^{\perp },$ 所以$⟨x_n,x⟩=0,n=1,2,\cdots ,$由内积连续性，得到 $⟨x,x⟩=0,$ 因而 $x=0,$ 即 M 1 = { 0 } . M ^ { 1 } = \{ 0 \} . M1={0}. 反之，设 M 1 = { 0 } , M ^ { 1 } = \{ 0 \} , M1={0}, 如果$x\perp \mathrm{span}M,$ 则 $x\perp M,$ 即$x\in M^{\perp },$ 所以 $x=0,$ 因此 ( span ⁡ M ) ⊥ = { 0 } . ( \operatorname { s p a n } M ) ^ { \perp } = \{ 0 \} . (spanM)⊥={0}. 但$(\mathrm{span}M{)}^{\perp }=(\mathrm{span}M{)}^{\perp },$由投影定理 $X=$$\mathrm{spanM},$ 即 $\mathrm{span}M$ 在 $X$中稠密。