勒贝格测度
勒贝格可测集包含所有开闭集且测度满足正则性，零测集（如康托尔集等）可被忽略而不影响积分。
所属主题：实分析 ↗阅读路径
参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。
01定义
勒贝格测度是 上的标准测度：平移不变、区间测度等于体积、在博雷尔集上正则。它把「长度/面积/体积」扩展到极广的集合类，零测集（康托尔集等）可被安全忽略。
02核心要点
01
基本性质
可列可加、平移不变、；正则性：可测集可由开集从外、闭集从内任意逼近——测度与拓扑的良好配合。
02
零测集的哲学
「几乎处处」允许忽略零测集：可数集零测、康托尔集零测但不可数；测度论的等式几乎都在 a.e. 意义下成立。
03
不可测的边界
选择公理给出维塔利集——不可勒贝格测度的集合；索洛维模型等研究「所有集都可测」的一致性公理（与 AD 相关）。
03关键公式
04历史沿革
勒贝格 1902 年建立测度与积分理论；康托尔 1883 年的三分集预示了「零测而不可数」的奇异现象；维塔利 1905 年构造出不可测集。
05应用与延伸
概率论（概率即测度）、统计物理的相空间体积、遍历论与动力系统的不变测度、机器学习中「几乎处处」型的收敛保证。
06交互演示
勒贝格 vs 黎曼：横切与纵切黎曼竖直切分定义域，勒贝格水平切分值域