1597 字
8 分钟
泛函分析 03|范数与不同的收敛方式

数学总导航 · 本课程目录 · ← 上一章 · 下一章 →

一段录音只有一声短爆音,误差到底大不大?#

先把干净录音当作零信号。一秒钟里出现振幅为 1、持续 0.01 秒的方形爆音。如果你关心最大瞬时偏差,误差是 1;如果关心平均绝对偏差,误差是 0.01;如果关心均方根误差,则是 0.01=0.1\sqrt{0.01}=0.1。

把持续时间再缩短到 0.0001 秒,峰值仍是 1,平均绝对误差变成 0.0001,均方根变成 0.01。三个数字都算对了,因为它们在问三个不同问题。

所以范数不是给“大小”换个玄乎名字,而是在选择衡量标准。产品若要求不能出现任何过高尖峰,应关注峰值;如果分析信号能量,平方积分更自然。先选问题,再选尺子。

三把尺子各自在惩罚什么#

对一秒区间上的误差信号 e(t)e(t),最大范数只看最坏瞬间。积分一范数累积偏差绝对值;二范数先平方再累积,所以比一范数更重视高振幅。

比较两段噪声:A 振幅 1、持续 0.01 秒;B 振幅 0.1、持续 1 秒。A 的最大误差更大,但一范数为 0.01,小于 B 的 0.1。两者二范数恰好都为 0.1,因为平方能量都为 0.01。

因此“哪段噪声更严重”没有脱离目的的唯一答案。若你在保护电路免受峰值冲击,A 可能更危险;若累计某种绝对偏差,B 更大。数学范数把这个判断标准公开写出来,便于比较和证明。

二维中三种范数的单位预算

用高度与宽度自己推导所有尖峰公式#

对高度 HH、宽度 ww 的矩形误差,

∥e∥∞=H,∥e∥1=Hw,∥e∥2=Hw.\|e\|_\infty=H,\quad\|e\|_1=Hw,\quad\|e\|_2=H\sqrt w.

这三个式子值得亲手算:平方后高度为 H2H^2,积分得 H2wH^2w,最后开方。只要记得这套过程,就不必机械背不同尖峰的极限。

取 H=n,w=1/n2H=n,w=1/n^2:一范数是 1/n1/n,二范数是 1,最大范数是 nn。同一列误差可以在一把尺子下消失,在另一把下保持大小,在第三把下爆炸。

有限维为什么没有这么严重的分歧#

若录音只保留固定 dd 个采样点,最大坐标与总平方误差满足 ∥x∥∞≤∥x∥2≤d∥x∥∞\|x\|_\infty\le\|x\|_2\le\sqrt d\|x\|_\infty。固定 dd 时,两者趋零等价。

但随着采样越来越密,dd 不断增加,d\sqrt d 不是统一常数。这提醒你:固定分辨率下成立的数值比较,未必在连续极限中保持同样强度。无限维分析不是故意挑刺,而是在控制“分辨率不断提高”时遗漏的因素。

读到“连续”时,把输入输出的尺子一起写下#

同一套图像处理规则,按像素峰值误差与按均方误差衡量,可能有不同稳定性。函数是否连续也一样:不是只有公式本身决定,还需要知道定义域和值域怎么测距离。

后面求导算子的例子会把这个依赖展示得很直接:只测函数高度时,微小高频波纹会产生大斜率;连斜率一起纳入输入大小后,求导又能被统一控制。

带你做:误差高度翻倍、时间缩为四分之一#

原爆音高度 HH、宽度 ww。新爆音高度 2H2H、宽度 w/4w/4。先不看公式答案,分别计算:峰值变成两倍;绝对面积变成原来的 2/4=1/22/4=1/2;平方能量变成 4/4=14/4=1 倍。

所以新爆音最大范数更大,一范数更小,二范数不变。它不是一个“哪个指标算错了”的矛盾,而是同一变化对不同损失的影响不同。

如果你的算法只报告平均绝对误差,会认为情况改善;监测峰值的安全系统却会认为更差。选范数在实际项目里就是选评价标准,不能等结果出来后再挑一个好看的指标。

进一步检查:在单位总时长上,一范数始终不超过二范数,二范数不超过最大范数。若算出的三个数违背这个次序,先核对平方、开根号和时长是否处理正确。

回头整理:定义、工具与练习#

同一条尖峰,不同尺子给出不同大小#

在 [0,1][0,1] 上,定义尖峰 fn=1(0,1/n)f_n=\mathbf1_{(0,1/n)}。它的高度一直是 1,面积是 1/n1/n,能量也是 1/n1/n。于是

∥fn∥∞=1,∥fn∥1=1n,∥fn∥2=1n.\|f_n\|_\infty=1,\qquad \|f_n\|_1=\frac1n,\qquad \|f_n\|_2=\frac1{\sqrt n}.

它在平均误差和均方误差下趋零,在最大误差下不趋零。问“一列函数收敛吗”,必须先说用哪把尺子。

窄尖峰的高度、面积和平方积分比较

范数的三条要求#

对向量空间 XX,范数满足 ∥x∥≥0\|x\|\ge0 且只对零向量为零;∥ax∥=∣a∣∥x∥\|ax\|=|a|\|x\|;∥x+y∥≤∥x∥+∥y∥\|x+y\|\le\|x\|+\|y\|。它诱导距离 d(x,y)=∥x−y∥d(x,y)=\|x-y\|。

Rd\mathbb R^d 上常用

∥x∥1=∑∣xj∣,∥x∥2=(∑∣xj∣2)1/2,∥x∥∞=max⁡j∣xj∣.\|x\|_1=\sum|x_j|,\quad \|x\|_2=(\sum|x_j|^2)^{1/2},\quad \|x\|_\infty=\max_j|x_j|.

在 C[0,1]C[0,1] 上,可用相同的积分范数与最大值范数。对一般可测函数,积分范数会忽略零测集,需要改用等价类;这个细节下一阶段处理。

等价范数#

若存在 c,C>0c,C>0,使所有 xx 都满足 c∥x∥a≤∥x∥b≤C∥x∥ac\|x\|_a\le\|x\|_b\le C\|x\|_a,则两范数等价。它们给出相同的收敛、连续性与完备性。

有限维空间上所有范数等价;例如 ∥x∥∞≤∥x∥2≤d∥x∥∞\|x\|_\infty\le\|x\|_2\le\sqrt d\|x\|_\infty。证明一般结论可把坐标欧氏单位球的紧性与范数的连续性结合。

无限维中不等价:在 C[0,1]C[0,1] 上取 fn(t)=tnf_n(t)=t^n,则 ∥fn∥∞=1\|f_n\|_\infty=1,∥fn∥1=1/(n+1)\|f_n\|_1=1/(n+1),不存在统一常数 CC 使 ∥f∥∞≤C∥f∥1\|f\|_\infty\le C\|f\|_1。

一点很高与整体很大#

再取 gn=n1(0,1/n2)g_n=n\mathbf1_{(0,1/n^2)},则 ∥gn∥1=1/n→0\|g_n\|_1=1/n\to0,但 ∥gn∥2=1\|g_n\|_2=1,∥gn∥∞=n\|g_n\|_\infty=n。平均绝对误差小不保证均方误差小。

在总测度为 1 的空间,反方向却有 ∥f∥1≤∥f∥2≤∥f∥∞\|f\|_1\le\|f\|_2\le\|f\|_\infty。对一般有限测度,需补上测度的幂因子;在无限测度空间不能直接套用。

练习与解答#

  1. 证明 ∣∥x∥−∥y∥∣≤∥x−y∥|\|x\|-\|y\||\le\|x-y\|。
  2. xn(t)=tnx_n(t)=t^n 在 C[0,1]C[0,1] 的二范数是否趋零?
  3. ∥f∥=∣f(0)∣\|f\|=|f(0)| 是 C[0,1]C[0,1] 上的范数吗?

解答:1. 分别应用两次三角不等式。2. 是,平方积分为 1/(2n+1)1/(2n+1)。3. 不是,非零函数 f(t)=tf(t)=t 的该值为零;它是半范数。评价一个点不足以区分所有函数。


数学总导航 · 本课程目录 · ← 上一章 · 下一章 →

泛函分析 03|范数与不同的收敛方式
https://f1yingwhite.github.io/posts/数学/泛函分析/03-范数与不同的收敛方式/
作者
F1yingWhite
发布于
2026-11-03
许可协议
CC BY-NC-SA 4.0