可测集

可测集 (Measurable Set)

可测集是测度论中能被赋予"大小"（测度）的集合。它构成了实分析与勒贝格积分理论的基础——并非所有集合都可测，可测集恰好是那些行为"良好"、允许一致度量操作的集合。这一概念由亨利·勒贝格在 1902 年引入，解决了黎曼积分对"坏"函数失效的根本问题。

直观动机

回忆初等几何中，区间 $[a,b]$ 的长度是 $b-a$，矩形的面积是长乘宽。但康托尔集这种处处不连通的集合呢？更极端地，能否构造一个无法以任何一致方式指定长度的 $\mathbb{R}$ 的子集？这些追问直接导向可测集的定义。

Carathéodory 条件

集合 $E \subseteq \mathbb{R}^n$ 称为 勒贝格可测，当且仅当对任意集合 $A \subseteq \mathbb{R}^n$，满足：

其中 $m^*$ 是勒贝格外测度。该条件的意义在于：$E$ 必须能"干净地"分割任何测试集 $A$，使得内外测度一致。这一定义不依赖先验的测度概念，仅凭外测度即可刻画可测性。

σ-代数的结构

全体勒贝格可测集构成一个 σ-代数 $\mathcal{L}$，满足：

• 全集可测：$\mathbb{R}^n \in \mathcal{L}$。
• 补集封闭：若 $E \in \mathcal{L}$，则 $E^c \in \mathcal{L}$。
• 可数并封闭：若 $E_1, E_2, \ldots \in \mathcal{L}$，则 $\bigcup_{k=1}^\infty E_k \in \mathcal{L}$。

可数可加性是测度论区别于初等面积理论的关键：它使测度 $\mu$ 满足

对互不相交的可测集序列成立。

可测集的范围

以下几类集合均为勒贝格可测：

• 区间与矩形：所有开区间、闭区间及高维矩形。
• 开集与闭集：$\mathbb{R}^n$ 中所有开集和闭集。
• 博雷尔集：由开集生成的 σ-代数 $\mathcal{B}$ 中的所有元素——这已涵盖分析中遇到的绝大多数集合。
• 零测集：外测度为零的任意集合，包括康托尔集等分形。
• 勒贝格可测但非博雷尔集：存在这样的集合——博雷尔 σ-代数严格小于勒贝格 σ-代数。

不可测集

并非所有集合都可测。典型反例是 维塔利集：利用选择公理，在 $[0,1]$ 中构造一个集合 $V$，使得其有理平移的副本构成 $[0,1]$ 的划分。若 $V$ 可测，其测度既不能为零（否则并集测度为零），也不能为正（否则并集测度无穷大或超出 $[0,1]$），矛盾。这一结果表明：可测性是集合的非平凡属性，而非自动满足。

与勒贝格积分的关系

可测集理论直接支撑勒贝格积分：函数 $f$ 勒贝格可积的必要条件是所有上水平集 $\{x: f(x) > t\}$ 均可测。这使积分在更广泛函数类上收敛，克服了黎曼积分的局限性——例如 Dirichlet 函数在有理点取值 1、无理点取值 0，黎曼不可积但勒贝格可积，积分值为 0。

推广

可测集的概念可推广到抽象测度空间 $(X, \mathcal{F}, \mu)$，其中 $\mathcal{F}$ 是任意 σ-代数，其元素称为 $\mathcal{F}$-可测集。这一框架统一了概率论（概率空间）、随机过程和遍历理论中的测度结构，使可测集成为现代分析学的通用语言。