希尔伯特空间中无界算子S的无界性证明思路问询

嘿，我来给你拆解一下这个算子$S$无界的核心证明思路，不用复杂的完整证明，抓几个关键点就行：

• 用反证法切入：先假设$S$是有界线性算子。因为$X$在$Y$中稠密，根据有界线性算子的延拓定理，我们可以把$S$延拓到整个$Y$空间上，得到一个定义在$Y$上的有界算子。
• 推导范数等价性：利用定义里的内积等式$(Su,v)_Y = (u,v)_X$（对所有$v \in X$），结合柯西-施瓦茨不等式，能推出$X$的范数和$Y$的范数是等价的：
  • 已知嵌入连续，所以存在常数$C>0$，对任意$u \in X$有$||u||_Y \leq C||u||_X$；
  • 另一方面，$||u||_X^2 = (u,u)_X = (Su,u)_Y \leq ||Su||_Y ||u||_Y$，如果$S$有界，就有$||Su||_Y \leq M||u||_Y$，代入后得到$||u||_X^2 \leq M||u||_Y^2$，也就是$||u||_X \leq \sqrt{M}||u||_Y$。
• 导出矛盾：范数等价意味着$X$和$Y$的拓扑是完全一样的，但题目里$X$是$Y$的严格稠密子空间（嵌入连续但$X \neq Y$，$Y$的拓扑比$X$更弱），这就产生了矛盾。所以最初的假设不成立，$S$必然是无界的。

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