均方收敛与逐点、一致收敛有什么区别？¶

先备知识¶

掌握正交投影、Fourier 系数和有限部分和。

学习目标¶

用定义、蕴含与反例区分三种收敛方式。

牵引问题¶

误差积分趋零，能否保证每一点或最大误差都趋零？

探索与猜想¶

先在有限阶上展开误差平方；无限结论只能在逼近输入得到后再取极限。

概念与理论¶

一致收敛控制 \(\sup_x|f_N-f|\)，在有限区间上推出均方收敛。逐点收敛只逐个固定 \(x\) 控制，均方收敛只控制误差面积；后二者一般互不推出，也都不自动推出一致收敛。

反例一：\(g_n=\mathbf1_{(0,1/n)}\) 在 \([0,1]\) 上均方收敛到 0，但取 \(x_n=1/(2n)\) 可见不一致。反例二：移动窄峰可使每个固定点最终为 0 而峰高、总面积按另一个尺度变化；必须直接检查范数。对含跳跃的方波，连续函数部分和不可能一致收敛到不连续极限，但 Dirichlet 定理仍给逐点半和，Parseval 给均方收敛。

障碍¶

系数能量上界、误差趋零与逐点行为是不同命题，不能相互替代。

证明路线¶

从有限正交恒等式出发，逐项标明取极限所需的输入。

逐步证明¶

先分别写出三个量词结构，再只声明有证明的箭头。一致收敛到有界函数时，以区间长度乘最大误差平方控制积分。其余方向由反例否定，不从图像作结论。

假设用在何处¶

可积性保证系数与能量有定义；额外逼近或光滑条件只在相应极限步骤使用。

失败边界¶

有限计算和抽样图像都不是无限级数等式或收敛方式的证书。

例题与迁移¶

例 1：核心计算¶

方波同时展示逐点与均方成立而一致失败。

例 2：边界核对¶

尖峰序列展示均方小不等于最大误差小。

即时检验与回望¶

即时检验 1¶

本单元首先证明有限还是无限结论？

即时检验 2¶

图像能否替代理论条件？

常见误区与后续¶

• 先核对归一化，再代入系数。
• 不把均方、逐点与一致收敛混为一谈。

习题与答案¶

习题 1¶

误差积分趋零，能否保证每一点或最大误差都趋零？

习题 2¶

说明本单元结论中的第 2 个核对步骤。

习题 3¶

说明本单元结论中的第 3 个核对步骤。

习题 4¶

说明本单元结论中的第 4 个核对步骤。

习题 5¶

说明本单元结论中的第 5 个核对步骤。

习题 6¶

说明本单元结论中的第 6 个核对步骤。

习题 7¶

说明本单元结论中的第 7 个核对步骤。

习题 8¶

说明本单元结论中的第 8 个核对步骤。

习题 9¶

说明本单元结论中的第 9 个核对步骤。

习题 10¶

说明本单元结论中的第 10 个核对步骤。