求证赋范空间是准希尔伯特空间：关于l²(2)的理解疑问

嘿，我来帮你把这个问题拆解清楚～

先明确l²(2)到底是什么 #

你提到的l²(2)其实不是“l²的二维子空间”（虽然它可以嵌入到无穷维l²中），它本身是二维的l²型空间，也就是我们熟悉的二维欧几里得空间（实空间对应ℝ²，复空间对应ℂ²），配上标准内积和欧几里得范数：

• 实空间情形：内积为 <(x₁,x₂), (y₁,y₂)> = x₁y₁ + x₂y₂，范数为 ||(x₁,x₂)|| = √(x₁² + x₂²)
• 复空间情形：内积为 <(x₁,x₂), (y₁,y₂)> = x₁\(\overline{y₁}\) + x₂\(\overline{y₂}\)，范数为 ||(x₁,x₂)|| = √(|x₁|² + |x₂|²)

简单来说，l²(n)（n为正整数）就是n维的欧几里得空间，是有限维版本的无穷维l²空间——无穷维l²是所有平方可和的无穷序列构成的空间，而l²(2)就是仅含两个分量的“平方可和序列”（当然二维序列必然平方可和）构成的空间，结构完全对应二维欧几里得空间。

回到原命题：为什么“所有二维子空间≅l²(2)”等价于赋范空间是准希尔伯特空间？ #

核心在于平行四边形法则：一个赋范空间是准希尔伯特空间（范数由内积导出），当且仅当它的范数满足平行四边形法则：

||x + y||² + ||x - y||² = 2(||x||² + ||y||²)

而平行四边形法则是“局部”的性质：如果空间中任意两个向量张成的二维子空间的范数都满足平行四边形法则，那么整个空间的范数必然满足这个法则。

那为什么二维子空间满足平行四边形法则就等价于它同构于l²(2)呢？因为所有二维准希尔伯特空间都是等距同构的——你可以在二维子空间里取一组标准正交基，然后通过基映射把它和l²(2)对应起来，这个映射会保持内积和范数，也就是同构关系。

对你推测的补充 #

你说“假设l²(2)是l²的二维子空间”，这个说法不算错误——比如你可以把l²(2)中的元素(x₁,x₂)对应到无穷维l²中的序列(x₁,x₂,0,0,...)，这样它就成为了l²的一个二维子空间。但更本质的是，l²(2)本身就是一个独立的二维准希尔伯特空间，所有二维准希尔伯特空间都和它同构，不管是不是嵌入在无穷维空间里。

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