实变函数论3-测度论0-3：测度【“内侧度”：不足测量的“最大值”（上确界）】【“外侧度”：有余测量的“最小值”（下确界）】【内填外包法：当“内测度”的上确界=“外侧度”的下确界时，该集合是可测的】

本章内容的核心是找出一个可列可加测度 $m,$ 以及关于 $m$ 的 可测集类$\mathcal{M}.$ 那 么，我们从哪里入手呢？

同时引入“内侧度”与“外侧度”来定义可测有些繁琐，我们希望只通过“外侧度”就可以定义“可测”。

首先想到最常用的方法：内填外包法.

从小学就知道，要测量一块不规则图形的面积，就将图形及其周围分割成许多正方形格子.

• 外部包围图形的那些格子的面积之和中最小者，以及内部填满图形的那些格子的面积之和中的最大者，分别是该图形的过剩近似值和不足近似值.
• 当格子越来越密，小正方形面积趋于 $0$ 时，过剩与不足近似值能够趋于同一个值，这个值便是图形的面积
• 微积分中求曲边梯形的面积，也是用达布大和与达布小和趋于同一个值（当分点越来越细时)，作为曲边梯形存在面积（相当于函数可积）的判据.

于是，我们想到对 ${\mathbf{R}}^n$中可数可加测度的确定，以及一个集合是否可测的判定，也可以采用内填外包的办法.

首先，在第1节引进外测度概念.这时外包的集合不会再是小