几乎处处相等会改变所研究的对象
目标: 需要什么额外定理才能对 Sobolev 等价类合法使用逐点语言？
Lebesgue 空间不记住函数在孤立点或任意零测集上的取值。其元素是代表元的等价类。这不是表面约定：弱导数、范数与 PDE 解默认都是关于等价类的陈述，除非后续正则性定理选出连续代表元。 计算前先写明开区域 Ω、维数 n、测度、函数或分布空间、指数、测试类、边界条件以及“相等”的含义。本章准确证明的结论是：若 f=g a.e.，则二者具有相同 L^p 范数；对每个使乘积可积的有界紧支撑可测函数，它们的积分相同；由积分诱导的分布也相同。点取值 f(x_0) 在一般 L^p 等价类上没有良好定义。
请从定义逐个读懂新符号：在可测集合 Ω 上，若 {x∈Ω:f(x)≠g(x)} 的测度为零，就写 f=g almost everywhere，缩写为 f=g a.e.。空间 L^p(Ω)（1≤p≤∞）由该等价关系下 p 范数有限的等价类组成。 弱意义或分布意义陈述，是对指定测试函数成立的恒等式；它并不声称尚未证明的逐点导数存在。
请沿配对、积分、范数或能量计算逐行重建例题“在 Ω=(−1,1) 上，令 f(x) 恒为 0；令 g(0)=1，而 x≠0 时 g(x)=0。比较二者的 L^2 距离、对 ψ(x)=1−x² 的积分以及点值。”。随后检验第一个邻近失效情形：对一个裸 L^2 等价类写 u(0)=0 没有意义。只有证明并选取连续代表元、定义平均值或拟连续值，或者通过迹算子解释边界值后，它才有意义。“几乎处处相等”也不等于“每点相等”。
若 f=g a.e.，则二者具有相同 L^p 范数；对每个使乘积可积的有界紧支撑可测函数，它们的积分相同；由积分诱导的分布也相同。点取值 f(x_0) 在一般 L^p 等价类上没有良好定义。
差 f−g 在零测集 N 外为零。把 |f−g|^p 在 Ω 上积分得到零，所以二者 L^p 距离为零。
若 ψ 有界且紧支撑，并且乘积可积，则 (f−g)ψ 也在 N 外为零，所以 ∫(f−g)ψ=0。
改变单点值 f(x_0) 不改变等价类。因此若某规则给等价类指定点值，它会给同一元素两个不同答案，因而不可能良好定义。
在 Ω=(−1,1) 上，令 f(x) 恒为 0；令 g(0)=1，而 x≠0 时 g(x)=0。比较二者的 L^2 距离、对 ψ(x)=1−x² 的积分以及点值。
- 二者不同的集合是 {0}，其 Lebesgue 测度为零，所以 f=g a.e.。
- 因此 ||f−g||_2²=∫_{−1}^1|f−g|²dx=0，且 ∫fψdx=∫gψdx=0。
- 然而 f(0)=0、g(0)=1。这两个公式是同一个 L^2 元素的不同代表元。
结果: 二者 L^2 距离及两个测试积分均为零，但所选点值不同；L^2 把它们识别为同一元素。