楼层: 首页/ 数学/ 研究生进阶/ 测度论入门:给"大小"立宪法
13

测度论入门:给"大小"立宪法

Measure Theory · σ-代数、可测函数、勒贝格积分
先想个场景:实变函数那节说"横着切披萨",可到底哪些点能算"一块披萨"?不是所有集合都能量长度——巴拿赫-塔斯基悖论说一个球能切成五个再拼成两个球。数学家被逼着立法:哪些集合有权谈"测度"。

是什么:严格定义"可测集、可测函数、测度 μ"三件套。生活比喻:σ-代数是"允许讨论的话题清单",不在清单上的集合(不可测集)一律不许提,免得悖论钻空子。

卡必背公式 / 记忆口诀
外测度→内测度→可测
可数可加性
Lebesgue 可数加优于 Riemann 有限加
口诀:测度给大小立宪法
这一节在走廊里的位置:进阶补全分析:给"大小"立宪法。它是概率测度的严格版,随机过程、信息论的度量语言。
这节要学:σ-代数 → 外测度 → 勒贝格测度 → 可测函数

因三件套的法律条文

σ-代数:集族 F 满足:① ∅ ∈ F;② 补集封闭;③ 可数并封闭。(X, F) 叫可测空间。

测度 μ:F 上的函数 μ: F → [0,∞],满足 μ(∅)=0 且可数可加:两两不交 {Aₙ} 有 μ(∪Aₙ) = Σμ(Aₙ)。(X,F,μ) 叫测度空间。

可测函数:f: X→ℝ 可测 ⟺ ∀a, {x: f(x) < a} ∈ F。只有可测函数才允许积分。

勒贝格积分:从简单函数(有限取值)∫ s dμ = Σ cₙ μ(Eₙ) 起步,非负函数取上确界,一般函数拆正负部相减。

路考点心法:看到「测度论入门:给"大小"立宪法」先想什么

• 直觉优先:研究生数学从具体到抽象——先用生活直觉类比理解,再看严格定义

• 反例思维:对任意定理,先想一个反例看看它到底在保证什么条件

• 历史脉络:每门抽象数学都有几十年的酝酿——知道为什么需要它才能真正懂

完整解法:为什么有理数测度为 0

证明 [0,1] 中全体有理数的勒贝格测度为 0。
审题:有理数可数,用可数可加性。
思路把有理数排成 r₁, r₂, …,每个用总长 ε/2ⁿ 的小区间盖住。 逐步① 每个 rₙ 用长度 ε/2ⁿ 的区间盖住;② 总长度 ≤ Σ ε/2ⁿ = ε;③ ε 任意小,故外测度 ≤ 0,即 μ = 0。 答案有理数可数无穷 → 勒贝格测度 0。密密麻麻却"占 0 长度",这就是"几乎处处"的出处。
交叉应用

概率论 = 测度论的特例(概率测度 P 满足 μ(Ω)=1);随机过程、鞅、布朗运动全活在测度空间上;金融风险度量、机器学习的泛化理论都引用"几乎处处"。

费曼学习法:讲给别人听
① 用自己的话讲:测度就是"给集合的大小立个宪法":长度/面积/体积都被统一成一个可加的 μ,可测函数就是"能套进这套大小"的函数。
② 举个反例(什么条件下不成立):不是所有集合都可测(选择公理造出来的不可测集);测度为零不代表空集。
③ 哪里还说不清:σ-代数、可测空间、测度空间这三层套娃,为什么这么设计?
记
这节你该带走

① σ-代数圈定可谈集合,测度 μ 可数可加。

② 可测函数才积分;概率论 = μ(Ω)=1 的测度论。

费曼学习法
合上书,给一个完全不懂的人讲清楚「测度论入门:给"大小"立宪法」——说不清楚的地方就是你没真懂的。

证测度论入门:给"大小"立宪法的关键定理与公式

核心性质:① 测度可数可加:互不相交时 $\mu(\bigcup_{n}A_n)=\sum_n\mu(A_n)$;② Lebesgue 积分单调:若 $f\le g$ 则 $\int f\,d\mu\le\int g\,d\mu$;③ 控制收敛定理:若 $f_n\to f$ 且 $|f_n|\le g\in L^1$,则 $\int f_n\,d\mu\to\int f\,d\mu$。

推导思路:① 可数可加是测度公理,把"长度/面积"推广到复杂集合的地基;② 单调由定义直接得到;③ 控制收敛:由 $|f_n-f|\le2g$ 与 Fatou 引理,上下界夹逼 $\limsup\int f_n\le\int f\le\liminf\int f_n$,从而极限与积分可交换。

直觉把握:测度论给"大小"立宪——哪些集合能量、积分怎么定义才不自相矛盾;概率论就是"总质量为 1 的测度",机器学习的期望、KL 散度都建在它上面。

④ 用途与案例

工程:测度论入门:给"大小"立宪法

在工程、物理、计算机、金融等领域,测度论入门:给"大小"立宪法是基础工具——理解"使用场景"比死记公式重要。

日常:你见过但没注意的测度论入门:给"大小"立宪法

生活中处处有测度论入门:给"大小"立宪法——价格波动、几何造型、统计图表、游戏设计——只不过没人告诉你这就是数学。

防坑警示:测度论入门:给"大小"立宪法常见陷阱

• 陷阱1:忽略边界条件(如定义域、等号条件、0 的特殊性)

• 陷阱2:混淆概念——测度论入门:给"大小"立宪法容易和相邻概念搞混

• 陷阱3:计算跳步——哪怕简单题也别心算跳步,一错全错

练习与答案

1.【基础】 用测度的语言重述"概率":概率空间 $(\Omega,\mathcal F,P)$ 中 $P(\Omega)=?$,且对两两不交的事件列 $\{A_n\}$ 满足什么可数可加性?

思路与解答$P(\Omega)=1$;若 $A_n$ 两两不交,则 $P(\bigcup_n A_n)=\sum_n P(A_n)$。这正是"测度总质量为 1"的特例。
【自评反馈】和答案对得上 → 继续下一题;对不上 → 回到本页"是什么"和例题区,把卡住的那步再推一遍。

2.【进阶】 控制收敛定理中"控制函数 $g\in L^1$"为什么必不可少?举一个无控制时极限与积分不能交换的反例。

思路与解答若无控制,质量可能泄漏到无穷远处。例:$f_n=n\mathbf{1}_{(0,1/n)}$,则逐点 $f_n\to0$ 但 $\int f_n=1\not\to0$;只有被一个可积函数 $g$ "罩住",才能交换极限与积分。
【自评反馈】和答案对得上 → 继续下一题;对不上 → 回到本页"是什么"和例题区,把卡住的那步再推一遍。

3.【挑战】 设 $f_n\to f$ 且 $|f_n|\le g\in L^1$,证明 $\int f_n\,d\mu\to\int f\,d\mu$。

思路与解答由 $|f_n-f|\le2g$,对 $2g\pm(f_n-f)$ 分别用 Fatou 引理得 $\limsup\int f_n\le\int f\le\liminf\int f_n$,从而上下界夹逼到同一值,极限与积分可交换。
【自评反馈】和答案对得上 → 继续下一题;对不上 → 回到本页"是什么"和例题区,把卡住的那步再推一遍。