如何证明带确界范数的C[0,1]空间不是任意内积下的希尔伯特空间

嘿，我来帮你理清这个问题的正确思路～你之前尝试构造柯西序列收敛到非连续函数的方向其实走偏了——因为$C[0,1]$配备上确界范数本身就是巴拿赫空间（完备的赋范空间），所有柯西序列都会收敛到空间内的连续函数，这个路径没法证明它不是希尔伯特空间。

要证明一个赋范空间不是希尔伯特空间，核心是验证它的范数不满足平行四边形法则——这是范数能由内积诱导的充要条件，而希尔伯特空间的范数必须是由内积诱导的。

平行四边形法则的定义是：对空间中任意两个元素$f,g$，必须满足：
$$|f+g|^2 + |f-g|^2 = 2|f|^2 + 2|g|^2$$

我们在$C[0,1]$里选两个简单的连续函数来验证：

• 令$f(x) = x$，$x\in[0,1]$
• 令$g(x) = 1 - x$，$x\in[0,1]$

现在分别计算等式两边的值：

左边计算 #

• $f+g(x) = x + (1-x) = 1$，所以$|f+g| = \sup_{x\in[0,1]}|1| = 1$，平方后为$1^2=1$
• $f-g(x) = x - (1-x) = 2x - 1$，这个函数在$[0,1]$上的最大值是1（$x=1$时），最小值是-1（$x=0$时），所以$|f-g| = \sup_{x\in[0,1]}|2x-1| = 1$，平方后为$1^2=1$
• 左边总和：$1 + 1 = 2$

右边计算 #

• $|f| = \sup_{x\in[0,1]}|x| = 1$，平方后为$1^2=1$
• $|g| = \sup_{x\in[0,1]}|1-x| = 1$，平方后为$1^2=1$
• 右边总和：$21 + 21 = 4$

显然$2 \neq 4$，这说明上确界范数不满足平行四边形法则，因此它无法由任何内积诱导，也就证明了$C[0,1]$配备上确界范数不是希尔伯特空间。

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