实变函数论第三章知识点总结

实变函数论第三章知识点总结实变函数论第三章的核心是“可测函数与积分”，它把黎曼积分的几何直观彻底抽象成集合论语言，使积分不再依赖区间分割，而依赖“可测”这一集合属性。本章从可测函数的定义出发，逐步建立积分的三层阶梯：非负简单函数、非负可测函数、一般可测函数，最终把极限与积分交换的门槛降到“单调”或“控制”即可。以下用“知识点—典型题型—完整试卷—答案解析”四位一体的方式展开，全文无标题、无导语、无结尾赘言，直接切入。一、可测函数的定义与等价刻画设(X,ℱ(1)∀a∈ℝ(2)∀a∈ℝ(3)∀a∈ℝ(4)∀a∈ℝ(5)∀B∈ℬ证明套路：(1)⇒(2)用可数交，(2)⇒(3)取补，(3)⇒(4)用可数并，(4)⇒(1)取补，(1)⇔(5)由生成ℬ的最小σ代数性质即得。题型1（等价性应用）设E⊂为Lebesgue可测集，f:E→ℝ解：不能。反例：取E=[0,1]，A⊂[0二、可测函数的运算封闭性若f,g可测，则f±g，fg，max(f,g)，min(f,题型2（复合可测）设f:ℝ→ℝ可测，解：对任意开集U⊂ℝ，(U三、几乎处处（a.e.）与可测函数若f=ga.e.且f可测，则g可测；若→fa.e.且可测，则题型3（a.e.收敛的陷阱）设:[0,1]解：是。因连续函数Borel可测，a.e.极限保持可测性。四、简单函数与可测函数的结构定理非负可测函数f可表示为单调递增收敛的简单函数列↗f(={x:题型4（结构定理量化）设f(x)=于[0解：n=2，=16，划分[0,16={x:(x∫=五、非负可测函数的积分定义fdμ=性质：(1)单调性：f≤(2)线性：∫(af(3)可数可加：f=∑f(4)Fatou：∫lim inf(5)单调收敛（MCT）：↗f题型5（Fatou反向不等式失效）构造:[0,解：令=，n=+k，0≤k<，则六、一般可测函数的积分f=−，若∫<∞或∫<性质：(1)线性：∫((2)绝对值不等：|∫(3)控制收敛（DCT）：→fa.e.，||≤(4)有界收敛：μ(X)<∞，→题型6（DCT边界例子）设(x)=n(x)解：控制函数g需满足||≤g且∫g<∞，但任何候选g必须在七、积分与测度的关系对非负可测f，定义集函数ν(E)=fdμ，则ν为测度，且ν≪μ，即μ(E)=题型7（Radon–Nikodym计算）设μ为Lebesgue测度于[0,1]，解：由定义直接得(x八、乘积测度与Fubini定理设(X,ℱ,μ)，(Y,𝒢,ν)为f题型8（Fubini反例）设X=Y=f证明fd解：内层积分dy=[=，故dx=arctan九、完备测度与积分的完备化若μ完备，则f=ga.e.且f可测题型9（完备化必要性）设μ为Lebesgue测度在[0,1]上的限制，A⊂[0解：若μ完备，则A含于零测集，g可测；若μ不完备，A未必含于零测，g可能不可测。十、空间与积分的范数视角对1≤p<∞，定义‖f=(∫|f；题型10（Hölder优化）设f∈([0,解：由Hölder，∫xf≤‖x十一、收敛模式(1)一致收敛⇒点态收敛⇒a.e.收敛；(2)‖−f→(3)μ(关系：→依测度⇒存在子列a.e.收敛；a.e.收敛+μ(X)题型11（Egorov构造）设(x)=于[0,1]，对ε=0.1解：取E=[0,0.9]，则十二、符号测度与全变差设ν:ℱ→ℝ―满足ν(∅)=0，可数可加，且至多取+∞或−题型12（全变差计算）设ν(E)解：(E)=3d十三、完整试卷【试卷】1.（定义等价）设f:ℝ→ℝ，证明2.（运算封闭）设f,g可测且有限a.e.，证明3.（简单函数逼近）构造[0,1]上简单函数列4.（Fatou计算）设(x)=nx于[5.（DCT应用）证明dx6.（Fubini交换）计算dy7.（Hölder逆命题）若∫|fg|≤C‖8.（Egorov验证）设(x)=sin(【答案与解析】1.证：(⇒){f≥2.证：{f3.解：(x)=4.