定理
(1)
m a ∗ ( a , b ) = α ( b − 0 ) − α ( a + 0 ) ; m _ { a } ^ { * } ( a , b ) = \alpha ( b - 0 ) - \alpha ( a + 0 ) ; ma∗(a,b)=α(b−0)−α(a+0);
(2)
m a ∗ ( a , b ] = α ( b + 0 ) − α ( a + 0 ) ; m _ { a } ^ { * } ( a , b ] = \alpha ( b + 0 ) - \alpha ( a + 0 ) ; ma∗(a,b]=α(b+0)−α(a+0);
(3)
m α ∗ [ a , b ] = α ( b + 0 ) − α ( a − 0 ) ; m _ { \alpha } ^ { * } [ a , b ] = \alpha ( b + 0 ) - \alpha ( a - 0 ) ; mα∗[a,b]=α(b+0)−α(a−0);
(4)
m a ∗ [ a , b ) = α ( b − 0 ) − α ( a − 0 ) . m _ { a } ^ { * } [ a , b ) = \alpha ( b - 0 ) - \alpha ( a - 0 ) . ma∗[a,b)=α(b−0)−α(a−0).
证明
只证开区间情形
先证
m a ∗ ( a , b ) ⩾ α ( b − 0 ) − α ( a + 0 ) . m _ { a } ^ { * } ( a , b ) \geqslant \alpha ( b - 0 ) - \alpha ( a + 0 ) . ma∗(a,b)⩾α(b−0)−α(a+0).
为此任取 a < x 1 < x 2 < b , a < x _ { 1 } < x _ { 2 } < b , a<x1<x2<b, 并设 ⋃ i = 1 ∞ I i ⊃ ( a , b ) , \bigcup _ { i = 1 } ^ { \infty } I _ { i } \supset ( a , b ) , ⋃i=1∞Ii⊃(a,b), 当然 ⋃ i = 1 ∞ I i ⊃ [ x 1 , x 2 ] , \bigcup _ { i = 1 } ^ { \infty } I _ { i } \supset \left[ x _ { 1 } , x _ { 2 } \right] , ⋃i=1∞Ii⊃[x1,x2],由海涅-博雷尔有限覆盖定理,存在有限个 I i , I _ { i } , Ii, 不妨设为 I 1 , I 2 , ⋯ , I n , I _ { 1 } , I _ { 2 } , \cdots , I _ { n } , I1,I2,⋯,In, 使得 ⋃ i = 1 n I i ⊃ [ x 1 , x 2 ] . \bigcup _ { i = 1 } ^ { n } I _ { i } \supset \left[ x _ { 1 } , x _ { 2 } \right] . ⋃i=1nIi⊃[x1,x2].由 α ( x ) \alpha ( x ) α(x) 的单调性易知
∑ i = 1 n ∣ I i ∣ ⩾ α ( x 2 ) − α ( x 1 ) , \sum _ { i = 1 } ^ { n } \left| I _ { i } \right| \geqslant \alpha \left( x _ { 2 } \right) - \alpha \left( x _ { 1 } \right) , i=1∑n∣Ii∣⩾α(x2)−α(x1),
从而 ∑ i = 1 ∞ ∣ I i ∣ ⩾ α ( x 2 ) − α ( x 1 ) . \sum _ { i = 1 } ^ { \infty } \left| I _ { i } \right| \geqslant \alpha \left( x _ { 2 } \right) - \alpha \left( x _ { 1 } \right) . ∑i=1∞∣Ii∣⩾α(x2)−α(x1).令 x 1 ↓ a , x 2 ↑ b x _ { 1 } \downarrow a , x _ { 2 } \uparrow b x1↓a,x2↑b 即得。
次证
m α ∗ ( a , b ) ⩽ α ( b − 0 ) − α ( a + 0 ) . m _ { \alpha } ^ { * } ( a , b ) \leqslant \alpha ( b - 0 ) - \alpha ( a + 0 ) . m