Tag

#简单函数

从简单函数、阶梯函数到连续紧支函数，严格证明三类规则函数在 Lp 空间中的稠密性，并揭示小测度误差与三角不等式拼接的统一机制。

从有限积分质量的视角，严格证明 L1 函数的紧集尾部控制与 Lebesgue 积分的绝对连续性，并提炼递增耗尽和简单函数逼近两类通用证明模板。

从非负简单函数的上确界定义出发，用缩放下界与增集列严格证明 Levi 单调收敛定理，并辨析双指标简单函数逼近中的量词、无穷积分与循环论证陷阱。

用截断与二进制量化构造非负简单函数列，严格证明其从下方单调逐点逼近非负可测函数，并讨论有界情形的一致收敛与紧支集版本。