为何$H^1(0,1)$与$L^2(0,1)$的希尔伯特空间同构并不实用？

嘿，这个问题问到点子上了！我刚学泛函分析的时候也被这个结论晃过神，后来做PDE多了才明白——这玩意儿就是个“抽象漂亮但实战拉胯”的典型，咱们一点点说清楚：

首先，你反感它的核心原因，是这个同构完全无视了我们研究这些空间的“初心”：

• $H^{1(0,1)$里的元素可不是随便的平方可积函数，它们是本身平方可积、弱导数也平方可积的函数（或者说等价类）——简单说，这些函数是“有一定光滑性”的；而$L}2(0,1)$里啥都有，包括那些连弱导数都不在$L^2$里的“糙得不行”的函数。
• 那个希尔伯特空间同构，只是从“无限维希尔伯特空间的结构等价”这个抽象角度出发，证明存在一个双射保内积，但它根本不管元素的实际意义——就像把“会开车的人”和“完全不会开车的人”强行划等号，当你要找司机的时候，这个等价关系屁用没有。

然后，咱们做PDE的时候最在意的就是正则性层级：一个解在$H^{1$里还是仅仅在$L}2$里，直接决定了它能不能满足方程的弱形式、有没有经典解、能不能做后续的估计。那个抽象同构会把$H^{1$里的光滑元素和$L}2$里的粗糙元素对应起来，完全打乱了我们用来判断正则性的标准——这就像你把优等生和差生放在一个组里，老师根本没法按水平布置作业。

那什么样的同构才算“好”的？至少得满足这几点：

• 尊重空间的固有结构：对于Sobolev空间来说，就是要保留我们关心的运算，比如导数。比如把$H^{1(0,1)$映射到$L}2(0,1) \times L^2(0,1)$的同构（$u \mapsto (u, \partial u)$），就很实用——它直接把$H^{1$的正则性拆成了两个$L}2$条件，完全保留了导数的信息。
• 有实际操作性：抽象同构往往只是存在性证明（比如靠希尔伯特基的对应构造），你根本写不出具体的表达式，更别说用它来计算解的正则性了。好的同构应该是能明确写出来的，比如傅里叶变换在某些Sobolev空间上的同构，它不仅保内积，还能把导数运算变成乘法，这在做估计的时候特别好用。
• 适配研究目标：我们研究这些空间是为了解PDE、做变分问题，好的同构应该帮我们简化问题，而不是混淆问题。比如把$H^{1_0(0,1)$和某个带权重的$L}2$空间同构，能帮我们把边值问题转化为更简单的积分方程，这才是有用的工具。

简单说，那个抽象同构就像数学里的“花架子”，只证明了两个空间的抽象等价，但完全没考虑我们用这些空间来干嘛——咱们做应用分析的，要的是能干活的工具，不是这种漂亮但没用的抽象结论。

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