希尔伯特空间稠密张成子集的命题证明有效性问题

嘿，这个问题问到点子上了——不是所有命题都能只在A上证明就推广到整个H，得看你要证的命题本身的性质，咱们结合希尔伯特空间的特点慢慢说：

首先先回顾一下已知条件：咱们有希尔伯特空间H，子集A⊂H，且$\text{span}(A)$（A中元素的有限线性组合构成的集合）在H中稠密，这等价于$A^{\perp={0}$（A的正交补只有零向量），这是希尔伯特空间的核心性质之一，因为闭子空间的正交补满足$({\overline{\text{span}(A)}})}\perp = A^{\perp$，所以$\overline{\text{span}(A)}=H$当且仅当$A}\perp={0}$。

什么时候可以只在A上证明，再推广到H？ #

如果你的命题满足**“极限下保持不变”，或者说涉及的是连续映射/泛函**相关的性质，那这种方法完全可行，典型场景包括：

• 连续线性算子的性质：比如要证明连续线性算子$T:H\to K$（K是另一个巴拿赫空间）对所有$x\in H$满足$T(x)=0$。因为$\text{span}(A)$稠密，任意$x\in H$都能写成$\text{span}(A)$中序列${x_n}$的极限（$x=\lim_{n\to\infty}x_n$）。如果在A上$T(a)=0$，那$\text{span}(A)$里的元素都是A中元素的线性组合，所以$T(x_n)=0$，再由T的连续性，$T(x)=\lim_{n\to\infty}T(x_n)=0$，自然就推广到整个H了。
• 内积相关的连续性质：比如要证明对某个固定的$y\in H$，所有$x\in H$都满足$\langle x,y\rangle = c$（c是常数）。内积是连续映射，所以同样，先在A上验证$\langle a,y\rangle=c$，推广到$\text{span}(A)$（线性组合下内积保持线性），再通过极限传递到整个H。
• 满足“稠密性可延拓”的连续性质：比如某个关于x的命题$P(x)$，如果$P$在$\text{span}(A)$上成立，且只要$x_n\to x$且$P(x_n)$成立就有$P(x)$成立，那就能从A推广到H。

什么时候不能这么做？ #

如果命题不满足“极限下保持”，或者是非线性、不连续的性质，那只在A上证明就完全不够：

• 非连续的非线性性质：比如要证明“$f(x)$是整数”，假设A中所有元素a都满足$f(a)$是整数，但如果f是不连续的，那$\text{span}(A)$的极限点x可能满足$f(x)$不是整数，这时候就没法推广。
• 仅针对A中元素的性质：比如命题是“x属于A”，显然H中存在不在A里的元素（除非A本身就是H），只在A上证毫无意义。
• 不满足线性/极限封闭的性质：比如命题是“x是单位向量”，A中的元素可能都是单位向量，但$\text{span}(A)$里的线性组合（比如$2a$，$a\in A$）就不是单位向量，更别说极限点了。

总结一下：核心看命题是否能通过“线性组合”和“极限”这两步从A传递到整个H——希尔伯特空间中稠密张成的意义就在于，任何元素都能被$\text{span}(A)$中的元素逼近，只要你的命题能在这两种操作下保持成立，那只证A就足够；反之则不行。

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