嘿，这个问题问到点子上了——很多刚接触泛函分析的同学都会有这个疑惑：不就是把子空间上的泛函延拓到整个空间吗？直接把子空间外的基元映射到0不就行了，为啥非得搞个Hahn-Banach定理这么复杂的结果？咱们一步步拆解来聊：

首先，平凡延拓的核心问题：不一定保范 #

你提到的“平凡延拓”（子空间外的基元映射为0）确实是一种线性延拓，但它没法保证延拓后的泛函和原泛函有相同的范数，甚至可能让范数大幅膨胀。给你举个具体的反例，一看就懂：

考虑赋范空间$C[0,1]$（用上确界范数，即$|x| = \sup_{t \in [0,1]} |x(t)|$），取子空间$X = \text{span}{t}$——也就是所有形如$x(t)=kt$（$k$是实数）的函数构成的一维空间。
定义子空间上的线性泛函$f: X \to \mathbb{R}$为$f(kt) = k$（本质就是取函数在$t=1$处的值：$f(x)=x(1)$）。
先算$f$的范数：对任意$x \in X$，$\frac{|f(x)|}{|x|} = \frac{|k|}{\sup_{t}|kt|} = \frac{|k|}{|k|} = 1$，所以$|f|=1$。

现在做平凡延拓：我们给$X$补一个基元（比如常数函数$1$），定义延拓后的泛函$F: C[0,1] \to \mathbb{R}$，让$F(t)=1$，$F(1)=0$，其他基元也映射到0。那对于任意函数$x(t)=kt + c$（$c$是常数），$F(x)=k$。

现在看$F$的范数：找一个$|x|=1$的函数，比如$x(t)=2t-1$，此时$\sup_{t \in [0,1]} |2t-1|=1$（$t=0$时是1，$t=1$时也是1），而$F(x)=2$，这就意味着$|F| \geq 2$，远大于原泛函的范数1。显然这个平凡延拓完全不满足“保范”的要求。

为什么Hahn-Banach定理是特殊结果？ #

Hahn-Banach的核心价值不在于“能延拓”——随便找个基做平凡延拓也能延拓——而在于它保证了保范延拓的存在性，而且这个结论的适用范围极广：不管空间是有限维还是无限维，只要是赋范空间，子空间上的任意有界线性泛函，都能找到至少一个延拓到整个空间，且延拓后的泛函范数和原泛函完全一样。

另外，在无限维空间中，我们甚至不一定能明确构造出一组基（这依赖选择公理），但Hahn-Banach定理不需要依赖基的具体构造，直接给出了延拓的存在性。这个结果是泛函分析的基石之一：比如用来证明对偶空间非空，或者构造满足特定性质的泛函（比如分离两个不相交凸集的泛函），这些都是平凡延拓做不到的。

关键补充：平凡延拓的本质问题 #

平凡延拓肯定是线性且有界的，但它的问题在于无法控制范数的大小。我们要的不是“随便一个有界延拓”，而是“和原泛函范数完全一致的延拓”——这才是Hahn-Banach定理解决的核心需求，也是它成为特殊结果的原因。

总结一下：

• 平凡延拓只是线性延拓的一种，但它无法保证保范，甚至会让范数大幅增大；
• Hahn-Banach定理的特殊性在于，它在最一般的条件下，保证了保范延拓的存在性，这是平凡延拓替代不了的；
• 这个结果的应用场景非常广泛，是泛函分析中很多重要结论的基础。

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