可分Hilbert空间闭子空间可分性证明中，投影序列{fₙ}的稠密性证明问询

嗨，我来帮你梳理清楚这个证明的关键环节，你卡在投影序列的稠密性这里，其实核心是要结合正交投影的性质和闭子空间的特性来推进～

首先先纠正一个小误区：你提到要找单个fₙ来逼近y，其实这里我们不需要用单个fₙ，而是用{fₙ}的有限线性组合的全体——这个集合是可数的，而且它在Y中稠密，这就足够证明Y可分了（因为可分的定义是存在可数稠密子集）。

接下来我们一步步来，重点用到Y的闭性：

• 首先，正交投影算子P_Y有个关键性质：对于闭子空间Y，任何y∈Y都满足P_Y y = y；同时P_Y是非扩张的，也就是对任意x∈X，$||P_Y x|| ≤ ||x||$。
• 因为X是可分Hilbert空间，{eₖ}是它的标准正交基，所以对任意y∈Y⊂X，以及任意ε>0，必然存在有限个基向量e₁,e₂,...,e_N，使得y和它们的线性组合的距离小于ε/2，也就是：
  $$
  \left| y - \sum_{k=1}^N \langle y,e_k \rangle e_k \right| < \frac{\varepsilon}{2}
  $$
• 现在我们对这个线性组合做Y上的正交投影，得到：
  $$
  P_Y\left( \sum_{k=1}^N \langle y,e_k \rangle e_k \right) = \sum_{k=1}^N \langle y,e_k \rangle P_Y e_k = \sum_{k=1}^N \langle y,e_k \rangle f_k
  $$
  记这个有限线性组合为S，它是{fₙ}的有限线性组合，属于由{fₙ}生成的子空间。
• 然后用投影的非扩张性和P_Y y = y的性质：
  $$
  | y - S | = | P_Y y - P_Y\left( \sum_{k=1}^N \langle y,e_k \rangle e_k \right) | \leq \left| y - \sum_{k=1}^N \langle y,e_k \rangle e_k \right| < \frac{\varepsilon}{2} < \varepsilon
  $$
  这就说明，y可以被{fₙ}的有限线性组合任意逼近。

那Y的闭性到底用在哪了？

• 第一，只有闭子空间才存在正交投影算子P_Y，这是我们整个推导的基础；
• 第二，正因为Y闭，对任意y∈Y才有P_Y y = y，这一步是把y和投影后的线性组合联系起来的核心；
• 另外，我们还可以用正交补的思路来验证：假设{fₙ}生成的子空间的闭包不是Y，那存在非零元z∈Y且z和所有fₙ正交，那么$\langle z,f_n \rangle = \langle z,P_Y e_n \rangle = \langle P_Y z,e_n \rangle = \langle z,e_n \rangle = 0$，这和{eₖ}是X的标准正交基矛盾（z在X中正交于所有基向量，只能是0），这也用到了Y闭的性质——只有闭子空间的正交补才是完备的，才能做这样的矛盾推导。

最后补充一下：{fₙ}的有限线性组合全体是可数的（因为指标是有限集，系数取有理系数的话，可数个元素的有限有理线性组合还是可数的），这个可数集在Y中稠密，所以Y满足可分的定义。

备注：内容来源于stack exchange，提问作者Hermi