Tag
#可测函数
拆测度（值域）的解法
以高次矩恒定判定示性函数为母题：按函数值分层，用超水平集估计排除大于 1 的部分，再以相邻矩相等消灭中间值，并处理有符号情形。
简单函数逼近定理
用截断与二进制量化构造非负简单函数列，严格证明其从下方单调逐点逼近非负可测函数，并讨论有界情形的一致收敛与紧支集版本。
函数的通常分解：正部、负部与非负化方法
严格理解实值函数的正部与负部，证明通常分解、可测性等价和最小性，并说明它如何把一般函数问题转化为非负函数问题。
Tag
以高次矩恒定判定示性函数为母题：按函数值分层，用超水平集估计排除大于 1 的部分，再以相邻矩相等消灭中间值，并处理有符号情形。
用截断与二进制量化构造非负简单函数列，严格证明其从下方单调逐点逼近非负可测函数，并讨论有界情形的一致收敛与紧支集版本。
严格理解实值函数的正部与负部，证明通常分解、可测性等价和最小性，并说明它如何把一般函数问题转化为非负函数问题。