实变函数论6-微分与不定积分6-L-S测度与积分3：定理

定理

(1)
$m_a^{\ast }(a,b)=\alpha (b-0)-\alpha (a+0);$
(2)
$m_a^{\ast }(a,b]=\alpha (b+0)-\alpha (a+0);$
(3)
$m_{\alpha }^{\ast }[a,b]=\alpha (b+0)-\alpha (a-0);$
(4)
$m_a^{\ast }[a,b)=\alpha (b-0)-\alpha (a-0).$

证明
只证开区间情形
先证

$$m_a^{\ast }(a,b)⩾\alpha (b-0)-\alpha (a+0).$$

为此任取 $a<x_1<x_2<b,$ 并设${\bigcup }_{i=1}^{\infty }{I}_i\supset (a,b),$ 当然${\bigcup }_{i=1}^{\infty }{I}_i\supset \left[x_1,x_2\right],$由海涅-博雷尔有限覆盖定理，存在有限个 $I_i,$ 不妨设为$I_1,I_2,\cdots ,I_n,$ 使得${\bigcup }_{i=1}^n{I}_i\supset \left[x_1,x_2\right].$由 $\alpha (x)$ 的单调性易知

$$\sum _{i=1}^n\left|I_i\right|⩾\alpha \left(x_2\right)-\alpha \left(x_1\right),$$

从而${\sum }_{i=1}^{\infty }\left|I_i\right|⩾\alpha \left(x_2\right)-\alpha \left(x_1\right).$令 $x_1\downarrow a,x_2\uparrow b$ 即得。

次证

$$m^{}$$