Hilbert空间中子空间包含与正交投影等价性的证明问询

先直接给你结论：你写的这个$\Rightarrow$方向的证明完全正确哦！逻辑清晰，每一步都精准贴合正交投影的核心性质，我们再把这个思路梳理得更明确些：

已知$U,V$是Hilbert空间$H$的闭子空间，$P_U,P_V$是对应正交投影，当$U\subset V$时：

1. 任取$x_0\in H$，令$y_0=P_U(x_0)$，根据正交投影的定义，$y_0\in U$；
2. 因为$U\subset V$，所以$y_0\in V$；
3. 正交投影的关键性质之一是：对任意属于值域的元素$z\in V$，$P_V(z)=z$；
4. 因此$P_VP_U(x_0)=P_V(y_0)=y_0=P_U(x_0)$，对所有$x_0\in H$成立，即$P_VP_U=P_U$；
5. 又因为正交投影是自伴算子（$P_U^{*=P_U$），所以$P_UP_V=(P_VP_U)}=P_U^=P_U$，这样就同时得到了$P_U=P_VP_U=P_UP_V$，完美完成$\Rightarrow$方向的证明。

接下来帮你搞定$\Leftarrow$方向的证明，核心思路是利用正交投影的值域恰好是对应的闭子空间这一对应关系：

我们知道正交投影$P_U$的值域$\text{ran}(P_U)=U$，$P_V$的值域$\text{ran}(P_V)=V$，所以只需证明$\text{ran}(P_U)\subset\text{ran}(P_V)$即可。

具体步骤如下：

• 任取$u\in U$，根据正交投影的性质，$P_U(u)=u$（因为$u$在$U$里，投影到自身就是自己）；
• 已知条件给出$P_U=P_VP_U$，将$u$代入这个等式：$u=P_U(u)=P_VP_U(u)=P_V(u)$；
• 而$P_V(u)$是$u$在$V$上的正交投影，必然属于$V$，因此$u\in V$；
• 由于$u$是$U$中任意取的元素，所以$U\subset V$，$\Leftarrow$方向得证。

如果你想从内积的角度再验证一遍，也可以这样做：

• 对任意$u\in U$，要证$u\in V$，等价于证明$u-P_V(u)=0$（因为$V$是闭子空间，$u-P_V(u)$是$u$在$V^\perp$中的分量，若分量为0则$u\in V$）；
• 计算范数平方：$|u-P_V(u)|^2=\langle u-P_V(u),u-P_V(u)\rangle=|u|^2-2\langle P_V(u),u\rangle+|P_V(u)|^2$；
• 由$P_UP_V=P_U$，可得$\langle P_V(u),u\rangle=\langle P_V(u),P_U(u)\rangle=\langle u,P_UP_V(u)\rangle=\langle u,P_U(u)\rangle=\langle u,u\rangle=|u|^2$；
• 同时$|P_V(u)|^2=\langle P_V(u),P_V(u)\rangle=\langle u,P_V(u)\rangle=|u|^2$；
• 代入后得到$|u-P_V(u)|^2=|u|2-2|u|^2+|u|2=0$，所以$u=P_V(u)\in V$，同样得到结论。

内容的提问来源于stack exchange，提问作者user249018