第 7 章起 · 测度与外测度的再审视

收官部分回到理论深处：抽象测度、乘积测度（Fubini）、Hausdorff 测度与分形维数。这一节是地图与要点。

抽象测度与 Radon-Nikodym

把勒贝格测度公理化：任意集合 $X$ 上满足可数可加的函数 $\mu$。两大结构定理：

• Carathéodory-Hahn 延拓：从半环（如区间）上的预测度延拓成测度——勒贝格测度只是实例；
• Radon-Nikodym：$\mu \ll \nu$（绝对连续）时存在函数 $f$ 使 $\mu = f\nu$——密度函数的定义性定理，概率论的"条件期望、似然比"的数学本体。

Fubini：高维积分的通行证

两个版本：Tonelli（非负，无条件换序）+ Fubini（可积，先证 $\int|f| < \infty$ 再换序）。顺序敏感：存在两个逐次积分都存在但不相等的函数——"先验可积"是换序的门票。概率论的联合分布/边缘分布、PDE 的分离变量全靠它。

Hausdorff 测度与维数

以任意尺度 $s$ 定义 $s$-维 Hausdorff 测度：集合的"真实维数" $= \inf\{s : \mathcal{H}^s = 0\}$。Cantor 集维数 $\log 2/\log 3$、布朗轨道维数 2——分形几何的测量仪。这是测度论跳出"长度面积体积"后的第二次生命。

老师的提醒

• 使用 Fubini 的检查顺序固定：非负？→ Tonelli 直接用。变号？→ 先算 $\int|f|$。省略这一步是高维积分题的头号扣分点。
• Radon-Nikodym 的直觉版：测度的"密度"。概率里似然、PDE 里权函数，都是这个定理的身份证。

自检

• Tonelli 与 Fubini 的分工是什么？
• Radon-Nikodym 定理陈述什么关系？
• Hausdorff 维数怎么定义 Cantor 集的维数？

更深一层：Fubini 的"门票制度"与逐次积分的陷阱

高维积分换序（Fubini/Tonelli）有一套严格的门票制度：非负函数免票（Tonelli：$\int\int f = \int\int f$ 恒成立，哪怕两边都是 $+\infty$）；变号函数要验票（Fubini：必须先证 $\int|f| < \infty$）。制度的存在理由是一个著名反例：$f(x,y) = \frac{xy^2 - x^2y}{(x+y)^3}$ 在单位方形上两个逐次积分分别等于 $1/2$ 与 $-1/2$——都存在但互为相反数，因为 $|f|$ 的积分发散。这个反例的教学价值：换序不是"交换主义的信仰"，而是"绝对可积"这张门票的特权。每次写逐次积分前先验票，是高维分析的第一纪律（联合概率密度恒非负所以概率论里 Tonelli 直接合法——这就是概率论极少踩这个坑的原因）。

Radon-Nikodym 定理（$\mu \ll \nu \Rightarrow \mu = f\nu$）也值得配一张工程卡：它说"一个比另一个细腻的测度必有密度函数"。概率论里它是似然比与条件期望的定义性工具；信号处理里它是频谱（测度）对勒贝格测度的密度；统计里"有密度"这个假设本身就是这个定理的引用——RN 导数 = 测度世界的汇率。

推导细读：Hausdorff 测度——给"分形"配尺

勒贝格测度（1 维长度）对 Cantor 集给出的读数是 0——但它明明"有点东西"。Hausdorff 测度换一把可调的尺子：用直径 $\le \delta$ 的集合覆盖目标，代价 $\sum (\mathrm{diam})^s$ 随尺度 $s$ 变化——存在临界维数 $d_0$：$s < d_0$ 时测度无穷、$s > d_0$ 时测度为零。Cantor 集的 $d_0 = \log 2/\log 3 \approx 0.63$、Sierpinski 三角 $= \log 3/\log 2$、布朗轨迹 $= 2$。这个"维数"不再必须是整数——分形几何由此获得度量基础。测度论在这里完成了第二次生命：从丈量长度面积，到丈量"粗糙度本身"。

在真实世界里：乘积测度的两笔工程账

乘积测度（Fubini 的舞台）在工程里的两大账本：概率论的联合分布——联合密度对一方积分给边缘分布（每做一次都是 Fubini 的调用），独立性 = 联合 = 边缘之积；数值积分——多维求积的"逐维积分"策略（张量积求积公式）合法性由 Fubini/Tonelli 担保，而自适应多维积分的难点（原点尖峰）正是逐次积分不相等的温床。每一次"先固定 x 对 y 积分"都在刷 Fubini 的卡——本章的全部纪律就是确保卡里有钱（可积性）。

专题深入：Fubini 的"门票制度"与逐次积分的陷阱

高维积分换序（Fubini/Tonelli）有一套严格的门票制度：非负函数免票（Tonelli：$\int\int f = \int\int f$ 恒成立，哪怕两边都是 $+\infty$）；变号函数要验票（Fubini：必须先证 $\int|f| < \infty$）。制度的存在理由是一个著名反例：$f(x,y) = \frac{xy^2 - x^2y}{(x+y)^3}$ 在单位方形上两个逐次积分分别等于 $1/2$ 与 $-1/2$——都存在但互为相反数，因为 $|f|$ 的积分发散。这个反例的教学价值：换序不是"交换主义的信仰"，而是"绝对可积"这张门票的特权。每次写逐次积分前先验票，是高维分析的第一纪律。

数学细节展开：Radon-Nikodym 与 Hausdorff 测度的"两把新尺"

抽象测度的两大结构定理值得配卡：Radon-Nikodym（$\mu \ll \nu \Rightarrow \mu = f\nu$——密度函数的定义性定理，概率论的似然比与条件期望的数学本体）；Hausdorff 测度（以任意尺度 $s$ 定义——Cantor 集维数 $\log 2/\log 3$、布朗轨迹维数 2——分形几何的测量仪）。测度论在这里完成了第二次生命：从丈量长度面积，到丈量"粗糙度本身"。RN 导数 = 测度世界的汇率——概率里似然、PDE 里权函数，都是这个定理的身份证。

工程案例细节：乘积测度的两笔工程账

乘积测度（Fubini 的舞台）在工程里的两大账本：概率论的联合分布——联合密度对一方积分给边缘分布（每做一次都是 Fubini 的调用），独立性 = 联合 = 边缘之积；数值积分——多维求积的"逐维积分"策略（张量积求积公式）合法性由 Fubini/Tonelli 担保，而自适应多维积分的难点（原点尖峰）正是逐次积分不相等的温床。每一次"先固定 x 对 y 积分"都在刷 Fubini 的卡——本章的全部纪律就是确保卡里有钱（可积性）。