概念

外测度与σ-代数

卡拉西奥多里构造从外测度生成测度，博雷尔集是包含开集的σ-代数，是测度论的公理框架。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

已是本主题的起点

外测度与σ-代数实分析

01定义

外测度用开区间覆盖的下确界给任意集合定义「大小」，但不满足可加性；卡拉西奥多里以「切割条件」筛出可测集，它们构成 σ-代数——对补、可列并封闭，是测度论的公理框架。

卡拉西奥多里条件：A 可测当且仅当对一切 E 切割不损测度

$m^*(A)=\inf\sum|I_k|$ （ $A\subset\bigcup I_k$ ）：任何集合都有外测度；单调、次可列可加，但可加性可能失效（维塔利集）。

对补与可列并封闭的集族；博雷尔 σ-代数由开集生成——「能谈测度」的最小范围；可测集全体也是 σ-代数。

从外测度到测度、从生成元到 σ-代数——同一套「最小封闭结构」思想贯穿测度论、拓扑与范畴论。

m^*(A)=\inf\Bigl\{\sum_{k=1}^\infty|I_k|:A\subset\bigcup_{k=1}^\infty I_k\Bigr\}

博雷尔 1898 年引入可列可加性；勒贝格 1902 年博士论文以区间覆盖定义测度；卡拉西奥多里 1918 年给出优雅的切割判据，成为标准构造。

概率论的公理化（柯尔莫哥洛夫以 σ-代数定义事件域）、金融的测度变换（风险中性定价）、测度论在数据科学的可测性问题。

外测度：开区间覆盖逼近m*(E) = inf Σ|Iₖ|：用可数开区间覆盖任意集合

区间数3