贡献者： JierPeter
本节为实变函数的一部分，因此讨论中涉及的集合均为实数集合 $\mathbb{R}^n$ 或者其子集。
1. 从 Riemann 积分到 Lebesgue 积分
在微积分或数学分析中，介绍积分的时候通常都是指 Riemann 积分。Riemann 积分的思路是对定义域作分划，在每个分划区间里取一个代表的函数值作为 “高度”，分划区间作为 “底部”，构成许多 “柱子”，计算这些柱子的 “体积” 并求和。这种思路的好处是逻辑上容易处理，只需要有极限的概念就能讨论清楚怎么积分。但是它有很多局限性，比如严重依赖函数的连续性，导致理论不完备，无法处理很多例外情况。比较典型的例子有 Riemman 函数和 Dirichlet 函数。
Lebesgue 积分就是换了一种积分的思路，反过来对值域作分划，计算各函数值（“高度”）对应的自变量集合的 “底面积”，以此来计算 “柱子体积” 并求和。上面提到的 Riemann 积分处理不了的病态函数，就可以用 Lebesgue 积分来处理，并且对于 Riemann 积分能处理的函数，两种积分算出来的结果是一样的。
考虑 Riemann 函数，函数值为整数 $q$ 的点是 $[0, 1]$ 上的全体形如 $p/q$ 的既约真分数，记它们构成的集合为 $A_q$。现在知道柱子的高度是 $q$ 了，计算柱子的体积还需要底面积，也就是 $A_q$ 的 “面积”。从这里就能看出 Lebesgue 积分的特别之处，即需要考虑非开区间的集合的 “面积”。
集合的 “面积”，被称为 “测度（measure）”。本节我们就来讨论测度的概念。
2. 点集的外测度
开集的体积
定义 1 “开方块”的体积
设 $I=I_1\times I_2\times I_3\times\cdots\times I_n$ 是 $\mathbb{R}^n$ 上开区间的笛卡尔积，其中 $I_i=(x_i, y_i)$，那么定义 $I$ 的体积为 $ \left\lvert I \right\rvert = \prod_{i=1}^n \left\lvert y_i-x_i \right\rvert $。
$\mathbb{R}^n$ 的任意开集都能表示为形如定义 1 中 $I$ 的 “开方块” 的不交并，因此开集的体积就可以直接定义为这些开方块的体积之和。
定理 1
开集的体积具有如下性质：
- 正定性：对于任意开集$U$ 有 $ \left\lvert U \right\rvert \geq 0$，且等号只在 $U=\varnothing$ 时成立；
- 单调性：如果两个开集满足 $U_1\subseteq U_2$，那么 $ \left\lvert U_1 \right\rvert \leq \left\lvert U_2 \right\rvert $；
- 可数次可加性：对于任意可数多个开集$U_i$，有 $ \left\lvert U_1\cup U_2\cup U_3\cup \cdots \right\rvert \leq \left\lvert U_1 \right\rvert + \left\lvert U_2 \right\rvert + \left\lvert U_3 \right\rvert +\cdots$；
- 完全可加性：对于至多可数个两两不交的开集$U_n$，有 $ \left\lvert \bigcup U_n \right\rvert =\sum \left\lvert U_n \right\rvert $。
任意点集的外测度
有了开集的体积概念，我们就可以定义一种测度了。
定义 2 外测度
设 $A$ 是 $\mathbb{R}^n$ 上的任意点集，定义 $ \operatorname {m^*}(A)=\inf\{ \left\lvert U \right\rvert : U\text{是}\mathbb{R}^n\text{的开集}\}$ 为 $A$ 的外测度，有时候也表示为 $ \operatorname {m^*}A$。
外测度可以这样理解：要测量一个物体的体积，就用不同形状和大小的容器去容纳它，整理出所有能容纳它的容器，那这些容器的体积的下确界就是该物体的体积。要注意的是，开集都是开区间或者开方块的并集，所以每个容器开集也都可以理解为用一系列不相交的开区间或开方块来覆盖待测的集合 $A$。
这就是为什么我们要先定义开集的测度，因为它最直观，最容易理解，用开集来做容器再合适不过。
可以类比，如果先定义闭集的体积，就可以定义任意点集的内测度，即反过来用给定的任意点集做容器，看它能容纳的闭集体积的上确界是什么。使用闭集建立内测度理论稍麻烦些，我们这里只用外测度。
外测度的性质
利用开集体积的性质和外测度的定义，很容易证明该定理，故在此省略证明。用简练的数学语言，可以把定理 2 写成：$ \operatorname {m^*}(U)= \left\lvert U \right\rvert $，其中 $U$ 是一个 $\mathbb{R}^n$ 上的开集。
显然，外测度是体积的推广，也继承了体积的一些性质：
定理 3
- 非负性：对于任意集合$E$ 有 $ \operatorname {m^*}{E}\geq 0$，且 $ \operatorname {m^*}\varnothing=0$1；
- 单调性：如果两个集合满足 $E_1\subseteq E_2$，那么 $ \operatorname {m^*}{E_1}\leq \operatorname {m^*}{E_2}$；
- 可数次可加性：对于任意可数多个集合$E_i$，有 $ \operatorname {m^*}({E_1\cup E_2\cup E_3\cup \cdots})\leq \operatorname {m^*}{E_1}+ \operatorname {m^*}{E_2}+ \operatorname {m^*}{E_3}$；
- 分离条件下的可数可加性：对于至多可数个集合$E_i$，如果存在对应的开集 $U_i$，使得 $E_i\subseteq U_i$，且各 $U_i$ 两两不相交，那么就有 $ \operatorname {m^*}{\bigcup U_n}=\sum \operatorname {m^*}{U_n}$。
注意比较定理 1 和定理 2 的异同。定理 3 的第 1 和第 2 条很容易证明，留作习题。下面证明后两条。
证明：
可数次可加性：
应用开集体积的可数次可加性以及外测度的定义即可。任取开集 $U_i$ 使得各 $E_i\subseteq U_i$，那么有
\begin{equation}
E_1\cup E_2\cup E_3\cup \cdots \subseteq U_1\cup U_2\cup U_3\cup \cdots~
\end{equation}
又因为
\begin{equation}
\left\lvert U_1\cup U_2\cup U_3\cup \cdots \right\rvert \leq \left\lvert U_1 \right\rvert + \left\lvert U_2 \right\rvert + \left\lvert U_3 \right\rvert \cdots~
\end{equation}
任何能容纳 $E_1\cup E_2\cup E_3\cup \cdots $ 的开集，总可以写成 $U_1\cup U_2\cup U_3\cup \cdots$ 的形式，其中 $U_i$ 是任取的能容纳 $E_i$ 的开集。因此由式 2 可得，能容纳 $E_1\cup E_2\cup E_3\cup \cdots $ 的开集的体积，小于等于能容纳各 $E_i$ 的开集的体积之和——换句话说，即可数可加性。
分离条件下的可数可加性：
应用开集体积的完全可加性以及外测度的定义即可。
取开集 $V_i$ 使得 $E_i\subseteq V_i\subseteq U_i$，那么由开集体积的完全可加性，$ \left\lvert V_1\cup V_2\cup V_3\cup \cdots \right\rvert = \left\lvert V_1 \right\rvert + \left\lvert V_2 \right\rvert + \left\lvert V_3 \right\rvert +\cdots$。因此，每个能容纳 $E_1\cup E_2\cup E_3\cup\cdots$ 的开集的体积，都等于一组能容纳各 $E_i$ 的开集的体积之和——换句话说，即 $ \operatorname {m^*}(E_1\cup E_2\cup E_3)\geq \operatorname {m^*}E_1+ \operatorname {m^*}E_2+ \operatorname {m^*}E_3+\cdots$。
再结合 $ \operatorname {m^*}({E_1\cup E_2\cup E_3\cup \cdots})\leq \operatorname {m^*}{E_1}+ \operatorname {m^*}{E_2}+ \operatorname {m^*}{E_3}$，可知
\begin{equation}
\operatorname {m^*}({E_1\cup E_2\cup E_3\cup \cdots})\leq \operatorname {m^*}{E_1}+ \operatorname {m^*}{E_2}+ \operatorname {m^*}{E_3}~,
\end{equation}
得证。
证毕。
最后，我们要再讨论一个引理，在下一节可测集合中会很有用。
引理 1 集合极限的测度
设 $\{A_i\}_{i=1}^\infty$ 是一列集合，且 $A_{i}\subseteq A_{i+1}$ 恒成立，再记 $A_0=\bigcup_{i=1}^\infty A_i$。则
\begin{equation}
\operatorname {m^*}A_0=\lim\limits_{i\to\infty} \operatorname {m^*}A_i~.
\end{equation}
证明：
由外测度的单调性，知 $ \operatorname {m^*}A_0\geq\lim\limits_{i\to\infty} \operatorname {m^*}A_i$。
反设 $ \operatorname {m^*}A_0-x_0=\lim\limits_{i\to\infty} \operatorname {m^*}A_i$，其中 $x_0$ 是一个正实数，那么由于 $A_{i}\subseteq A_{i+1}$ 恒成立，可知应该存在一个 $S\subseteq A$，使得 $ \operatorname {m^*}S=x_0$ 且 $A_i\cap S=\varnothing$ 恒成立。
但是由集合的极限可知，$A_0=\lim\limits_{i\to\infty} A_i$，因此使得 $A_i\cap S=\varnothing$ 恒成立的 $S$ 必须是空集 $\varnothing$，而这和 $ \operatorname {m^*}S=x_0>0$ 矛盾。
因此假设不成立，引理得证。
证毕。
3. 可加性与可测性
可加性是定义 Lebesgue 积分时极为基础的性质，它是说，任取两个不相交的集合，则它们的并集的测度等于各自测度的和。如果这个性质成立，那么 Lebesgue 积分就可以很自然地定义了。但是很可惜的是，它并不成立，我们用以下反例来说明：
例 1 不具有可加性的集合
取区间 $(0, 1)$ 上的任意一点 $x$，定义与该点相关的集合 $Q_x=\{r\in(0, 1)|r-x\in\mathbb{Q}\}$。由于有理数相加减仍是有理数，故 $Q_x$ 可以看作对 $(0, 1)$ 区间进行的等价划分，即各 $Q_x$ 两两不相交。
从各 $Q_x$ 中分别取一个元素，构成一个新的集合，记为 $S$。把区间 $(-1, 1)$ 中的有理数进行排列（编号）2：
\begin{equation}
q_1, q_2, q_3, \cdots ~
\end{equation}
构造集合 $S_i=\{s+q_i|s\in S\}$3。显然，各 $S_i$ 互不相交。并且由于都是 $S$ 平移的结果，各 $S_i$ 的外测度也相等。
对于任意 $Q_x$，从中取任何一个元素 $y$，都有 $Q_y=Q_x$，且全体 $Q_x$ 的并集就是 $(0, 1)$。因此，$\bigcup_{i=1}^\infty S_i\supseteq (0, 1)$。同时，又易证 $\bigcup_{i=1}^\infty S_i\subseteq (-1, 2)$。综合这两个属于关系，可以得到
\begin{equation}
1\leq \operatorname {m^*}(\bigcup_{i=1}^\infty S_i)\leq 3~.
\end{equation}
可见，我们构造出了一类集合 $S_i$，它们各自的测度都相等，彼此不相交，但是可数无穷多个它们的并集，测度却是个非负的有限数。有了这些信息就很容易得到不具有可加性的集合了：
假设对于任意编号 $k$，都有 $ \operatorname {m^*}(\bigcup_{i=1}^{k+1} S_i)= \operatorname {m^*}(\bigcup_{i=1}^k S_i)+ \operatorname {m^*}S_{k+1}$，那么应有 $ \operatorname {m^*}(\bigcup_{i=1}^{k} S_i)=k \operatorname {m^*}(S_0)$。问题是这样一来，要么 $ \operatorname {m^*}(S_0)=0$，使得 $ \operatorname {m^*}(\bigcup_{i=1}^\infty S_i)=0$；要么 $ \operatorname {m^*}(S_0)>0$，使得 $ \operatorname {m^*}(\bigcup_{i=1}^\infty S_i)=+\infty$。不论如何，都违反了式 6 。因此假设不成立。
因此，必然存在一个 $k$ 使得 $ \operatorname {m^*}(\bigcup_{i=1}^{k+1} S_i) \neq \operatorname {m^*}(\bigcup_{i=1}^k S_i)+ \operatorname {m^*}S_{k+1}$。于是，$\bigcup_{i=1}^k S_i$ 和 $S_{k+1}$ 就是两个不相交的集合，但它们并集的测度不等于测度之和。
我们能不能通过修改外测度的定义，来让任意不相交的集合之间都满足可加性呢？答案是不能，因为例 1 的推导中只用到了外测度的非负性、单调性、可数次可加性、平移不变性以及定理 2 ，这些都是开集的体积也拥有的性质。因此，不管怎么定义外测度，只要它是体积的推广，就不可能绕开例 1 的问题。
所以，为了能正常研究积分，我们只好对集合的性质进行限制了，详见可测集合。
1. ^ 注意，这不是正定性，即非空集合的测度也可以为零，比如只有一个点的集合。
2. ^ 注意，不是按大小顺序编号（这是不可能做到的），而是用任意的编号方式。其中一种方式可以参见康托尔的三角编号法。给有理数编号而不是直接说取有理数，是为了方便之后构造并集。
3. ^ 即 $S_i$ 是 $S$ 平移的结果。使用区间 $(-1, 1)$ 是为了保证全体 $S_i$ 的并能包含 $(0, 1)$。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。