一段录音只有一声短爆音,误差到底大不大?
先把干净录音当作零信号。一秒钟里出现振幅为 1、持续 0.01 秒的方形爆音。如果你关心最大瞬时偏差,误差是 1;如果关心平均绝对偏差,误差是 0.01;如果关心均方根误差,则是 。
把持续时间再缩短到 0.0001 秒,峰值仍是 1,平均绝对误差变成 0.0001,均方根变成 0.01。三个数字都算对了,因为它们在问三个不同问题。
所以范数不是给“大小”换个玄乎名字,而是在选择衡量标准。产品若要求不能出现任何过高尖峰,应关注峰值;如果分析信号能量,平方积分更自然。先选问题,再选尺子。
三把尺子各自在惩罚什么
对一秒区间上的误差信号 ,最大范数只看最坏瞬间。积分一范数累积偏差绝对值;二范数先平方再累积,所以比一范数更重视高振幅。
比较两段噪声:A 振幅 1、持续 0.01 秒;B 振幅 0.1、持续 1 秒。A 的最大误差更大,但一范数为 0.01,小于 B 的 0.1。两者二范数恰好都为 0.1,因为平方能量都为 0.01。
因此“哪段噪声更严重”没有脱离目的的唯一答案。若你在保护电路免受峰值冲击,A 可能更危险;若累计某种绝对偏差,B 更大。数学范数把这个判断标准公开写出来,便于比较和证明。
用高度与宽度自己推导所有尖峰公式
对高度 、宽度 的矩形误差,
这三个式子值得亲手算:平方后高度为 ,积分得 ,最后开方。只要记得这套过程,就不必机械背不同尖峰的极限。
取 :一范数是 ,二范数是 1,最大范数是 。同一列误差可以在一把尺子下消失,在另一把下保持大小,在第三把下爆炸。
有限维为什么没有这么严重的分歧
若录音只保留固定 个采样点,最大坐标与总平方误差满足 。固定 时,两者趋零等价。
但随着采样越来越密, 不断增加, 不是统一常数。这提醒你:固定分辨率下成立的数值比较,未必在连续极限中保持同样强度。无限维分析不是故意挑刺,而是在控制“分辨率不断提高”时遗漏的因素。
读到“连续”时,把输入输出的尺子一起写下
同一套图像处理规则,按像素峰值误差与按均方误差衡量,可能有不同稳定性。函数是否连续也一样:不是只有公式本身决定,还需要知道定义域和值域怎么测距离。
后面求导算子的例子会把这个依赖展示得很直接:只测函数高度时,微小高频波纹会产生大斜率;连斜率一起纳入输入大小后,求导又能被统一控制。
带你做:误差高度翻倍、时间缩为四分之一
原爆音高度 、宽度 。新爆音高度 、宽度 。先不看公式答案,分别计算:峰值变成两倍;绝对面积变成原来的 ;平方能量变成 倍。
所以新爆音最大范数更大,一范数更小,二范数不变。它不是一个“哪个指标算错了”的矛盾,而是同一变化对不同损失的影响不同。
如果你的算法只报告平均绝对误差,会认为情况改善;监测峰值的安全系统却会认为更差。选范数在实际项目里就是选评价标准,不能等结果出来后再挑一个好看的指标。
进一步检查:在单位总时长上,一范数始终不超过二范数,二范数不超过最大范数。若算出的三个数违背这个次序,先核对平方、开根号和时长是否处理正确。
回头整理:定义、工具与练习
同一条尖峰,不同尺子给出不同大小
在 上,定义尖峰 。它的高度一直是 1,面积是 ,能量也是 。于是
它在平均误差和均方误差下趋零,在最大误差下不趋零。问“一列函数收敛吗”,必须先说用哪把尺子。
范数的三条要求
对向量空间 ,范数满足 且只对零向量为零;;。它诱导距离 。
上常用
在 上,可用相同的积分范数与最大值范数。对一般可测函数,积分范数会忽略零测集,需要改用等价类;这个细节下一阶段处理。
等价范数
若存在 ,使所有 都满足 ,则两范数等价。它们给出相同的收敛、连续性与完备性。
有限维空间上所有范数等价;例如 。证明一般结论可把坐标欧氏单位球的紧性与范数的连续性结合。
无限维中不等价:在 上取 ,则 ,,不存在统一常数 使 。
一点很高与整体很大
再取 ,则 ,但 ,。平均绝对误差小不保证均方误差小。
在总测度为 1 的空间,反方向却有 。对一般有限测度,需补上测度的幂因子;在无限测度空间不能直接套用。
练习与解答
- 证明 。
- 在 的二范数是否趋零?
- 是 上的范数吗?
解答:1. 分别应用两次三角不等式。2. 是,平方积分为 。3. 不是,非零函数 的该值为零;它是半范数。评价一个点不足以区分所有函数。