测度空间
测度的定义与性质
定义2.1
B
\mathscr{B}
B 是
X
X
X 上的集系,如果
∅
∈
B
\emptyset\in\mathscr{B}
∅ ∈ B ,
μ
\mu
μ 是定义在
B
\mathscr{B}
B 上的非负广义实函数,如果满足: (1)
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 (2)
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
B
\mathscr{B}
B 内两两不交的一个集列,并且
⋃
n
=
1
∞
A
n
=
A
∈
B
\displaystyle\bigcup_{n=1}^\infty A_n=A\in\mathscr{B}
n = 1 ⋃ ∞ A n = A ∈ B ,则有
μ
(
A
)
=
∑
n
=
1
∞
μ
(
A
n
)
\mu(A)=\sum_{n=1}^\infty \mu(A_n)
μ ( A ) = n = 1 ∑ ∞ μ ( A n ) 则称
μ
\mu
μ 是
B
\mathscr{B}
B 上的测度,如果对任意的
A
∈
B
A\in\mathscr{B}
A ∈ B ,
μ
(
A
)
<
+
∞
\mu(A)<+\infty
μ ( A ) < + ∞ ,则称
μ
\mu
μ 是
B
\mathscr{B}
B 上的
有
限
测
度
‾
\underline{有限测度}
有 限 测 度 ,如果存在
B
\mathscr{B}
B 中的集列
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } ,
μ
(
A
n
)
<
+
∞
,
n
=
1
,
2
,
⋯
\displaystyle\mu(A_n)<+\infty,n=1,2,\cdots
μ ( A n ) < + ∞ , n = 1 , 2 , ⋯ ,
X
=
⋃
n
=
1
∞
A
n
X=\bigcup_{n=1}^\infty A_n
X = ⋃ n = 1 ∞ A n ,则称
μ
\mu
μ 是
B
\mathscr{B}
B 上的
σ
有
限
测
度
‾
\underline{\sigma有限测度}
σ 有 限 测 度
定义2.1中的(2)我们称为是可列可加性 ,下面我们给出长度、面积、体积的其他一些直观上应该有的性质
有限可加性 :
{
A
1
,
A
2
,
⋯
,
A
n
}
\{A_1,A_2,\cdots,A_n\}
{ A 1 , A 2 , ⋯ , A n } 是
B
\mathscr{B}
B 上两两不交的集合,
A
=
⋃
k
=
1
n
A
k
∈
B
\displaystyle A=\bigcup_{k=1}^n A_k\in\mathscr{B}
A = k = 1 ⋃ n A k ∈ B ,则
μ
(
A
)
=
∑
k
=
1
n
μ
(
A
k
)
\mu(A)=\sum_{k=1}^n\mu(A_k)
μ ( A ) = k = 1 ∑ n μ ( A k ) 可减性 :
A
∈
B
,
B
∈
B
,
A
⊂
B
A\in \mathscr{B},B\in\mathscr{B},A\subset B
A ∈ B , B ∈ B , A ⊂ B ,如果
B
−
A
∈
B
B-A\in\mathscr{B}
B − A ∈ B ,
μ
(
A
)
<
+
∞
\mu(A)<+\infty
μ ( A ) < + ∞ ,则
μ
(
B
−
A
)
=
μ
(
B
)
−
μ
(
A
)
\mu(B-A)=\mu(B)-\mu(A)
μ ( B − A ) = μ ( B ) − μ ( A ) 单调性 :
A
∈
B
,
B
∈
B
,
A
⊂
B
A\in\mathscr{B},B\in\mathscr{B},A\subset B
A ∈ B , B ∈ B , A ⊂ B ,
μ
(
A
)
≤
μ
(
B
)
\mu(A)\le\mu(B)
μ ( A ) ≤ μ ( B ) 有限次可加性 :
{
A
1
,
A
2
,
⋯
,
A
n
}
\{A_1,A_2,\cdots,A_n\}
{ A 1 , A 2 , ⋯ , A n } 是
B
\mathscr{B}
B 内的集合,
A
∈
B
A\in\mathscr{B}
A ∈ B ,并且
A
⊂
⋃
k
=
1
n
A
k
\displaystyle A\subset\bigcup_{k=1}^n A_k
A ⊂ k = 1 ⋃ n A k ,则
μ
(
A
)
≤
∑
k
=
1
n
μ
(
A
k
)
\mu(A)\le\sum_{k=1}^n\mu(A_k)
μ ( A ) ≤ k = 1 ∑ n μ ( A k ) 次可加性 :
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
B
\mathscr{B}
B 内的一个集列,
A
∈
B
A\in\mathscr{B}
A ∈ B ,并且
A
⊂
⋃
n
=
1
∞
A
n
\displaystyle A\subset\bigcup_{n=1}^\infty A_n
A ⊂ n = 1 ⋃ ∞ A n ,则有
μ
(
A
)
≤
∑
n
=
1
∞
μ
(
A
n
)
\mu(A)\le \sum_{n=1}^\infty \mu(A_n)
μ ( A ) ≤ n = 1 ∑ ∞ μ ( A n ) 下连续性 :
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
B
\mathscr{B}
B 内的一个渐升列,并且
A
n
↑
A
∈
B
A_n\uparrow A\in\mathscr{B}
A n ↑ A ∈ B ,则
lim
n
→
∞
μ
(
A
n
)
=
μ
(
A
)
\lim_{n\to\infty}\mu(A_n)=\mu(A)
n → ∞ lim μ ( A n ) = μ ( A ) 上连续性 :
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
B
\mathscr{B}
B 内的一个渐降列,并且
A
n
↓
A
∈
B
A_n\downarrow A\in\mathscr{B}
A n ↓ A ∈ B ,
μ
(
A
1
)
<
+
∞
\mu(A_1)<+\infty
μ ( A 1 ) < + ∞ ,则
lim
n
→
∞
μ
(
A
n
)
=
μ
(
A
)
\lim_{n\to\infty}\mu(A_n)=\mu(A)
n → ∞ lim μ ( A n ) = μ ( A ) 直观上,测度应该拥有以上所有的性质,但遗憾的是,如果不对集系加以限制,可能测度会丢失某些性质:
例2.1
X
=
{
a
,
b
,
c
}
,
B
=
{
∅
,
{
a
,
b
}
,
{
b
,
c
}
,
{
a
,
b
,
c
}
}
X=\left\{a,b,c\right\},\mathscr{B}=\{\emptyset,\left\{a,b\right\},\{b,c\},\{a,b,c\}\}
X = { a , b , c } , B = { ∅ , { a , b } , { b , c } , { a , b , c } } ,规定集函数:
μ
(
∅
)
=
0
,
μ
(
{
a
,
b
}
)
=
2
,
μ
(
{
b
,
c
}
)
=
3
,
μ
(
{
a
,
b
,
c
}
)
=
6
\mu\left(\emptyset\right)=0,\mu\left(\{a,b\}\right)=2,\ \mu\left(\{b,c\}\right)=3,\mu\left(\{a,b,c\}\right)=6
μ ( ∅ ) = 0 , μ ( { a , b } ) = 2 , μ ( { b , c } ) = 3 , μ ( { a , b , c } ) = 6 容易验证这是一个测度,但
μ
\mu
μ 不满足单调性,有限次可加性,当然也不满足可列可加性
例2.2
X
=
{
x
n
}
X=\{x_n\}
X = { x n } 是两两互异的数列,
B
=
{
∅
}
∪
{
{
x
i
}
i
=
1
n
:
n
=
1
,
2
,
…
}
∪
X
\mathscr{B}=\left\{\emptyset\right\}\cup\left\{\left\{x_i\right\}_{i=1}^n:n=1,2,\ldots\right\}\cup{X}
B = { ∅ } ∪ { { x i } i = 1 n : n = 1 , 2 , … } ∪ X ,规定集函数:
μ
(
∅
)
=
0
,
μ
(
{
x
i
}
i
=
1
n
)
=
n
(
n
≥
1
)
,
μ
(
X
)
=
1
\mu\left(\emptyset\right)=0,\ \mu\left(\left\{x_i\right\}_{i=1}^n\right)=n(n\geq1),\mu\left(X\right)=1
μ ( ∅ ) = 0 , μ ( { x i } i = 1 n ) = n ( n ≥ 1 ) , μ ( X ) = 1 容易验证这是一个测度,但
μ
\mu
μ 不满足下连续性,并且不难看出
B
\mathscr{B}
B 还是个
π
\pi
π 系
例2.3
X
=
{
x
n
}
X=\{x_n\}
X = { x n } 是两两互异的数列,
B
=
{
∅
}
∪
{
{
x
i
}
i
=
n
+
1
∞
:
n
=
1
,
2
,
…
}
∪
X
\mathscr{B}=\left\{\emptyset\right\}\cup\left\{\left\{x_i\right\}_{i=n+1}^\infty:n=1,2,\ldots\right\}\cup{X}
B = { ∅ } ∪ { { x i } i = n + 1 ∞ : n = 1 , 2 , … } ∪ X ,规定集函数:
μ
(
∅
)
=
0
,
μ
(
{
x
i
}
i
=
n
+
1
∞
)
=
n
(
n
≥
1
)
,
μ
(
X
)
=
1
\mu\left(\emptyset\right)=0,\ \mu\left(\left\{x_i\right\}_{i=n+1}^\infty\right)=n(n\geq1),\mu\left(X\right)=1
μ ( ∅ ) = 0 , μ ( { x i } i = n + 1 ∞ ) = n ( n ≥ 1 ) , μ ( X ) = 1 容易验证这是一个测度,但
μ
\mu
μ 不满足上连续性。
这说明了,我们需要对集系的结构作限制,考察任意集系上的测度是没有意义的。实际上,我们只需要将集系限制为半环,就能使得测度拥有上面所有的性质。上面的例2.2也说明
π
\pi
π 系上的测度可能不具有以上全部性质,我们需要的集系至少是半环以上,下面我们证明:半环上的测度具有以上全部性质:
定理2.1
R
\mathscr{R}
R 是
X
X
X 上的半环,
∅
∈
R
\emptyset\in\mathscr{R}
∅ ∈ R ,
μ
\mu
μ 是
R
\mathscr{R}
R 上的测度,则
μ
\mu
μ 具有有限可加性、可减性、单调性、次可加性、有限次可加性及上下连续性
我们来进行逐个验证:下面假设
B
\mathscr{B}
B 是
X
X
X 上的一个半环,
μ
\mu
μ 是
B
\mathscr{B}
B 上的一个测度
有限可加性 :
{
A
1
,
A
2
,
⋯
,
A
n
}
\{A_1,A_2,\cdots,A_n\}
{ A 1 , A 2 , ⋯ , A n } 是
B
\mathscr{B}
B 上两两不交的集合,
A
=
⋃
k
=
1
n
A
k
∈
B
\displaystyle A=\bigcup_{k=1}^n A_k\in\mathscr{B}
A = k = 1 ⋃ n A k ∈ B ,再令
A
k
=
∅
,
k
=
n
+
1
,
n
+
2
,
n
+
3
,
⋯
A_{k}=\emptyset,k=n+1,n+2,n+3,\cdots
A k = ∅ , k = n + 1 , n + 2 , n + 3 , ⋯ ,再应用可列可加性即可证得
可减性 :
A
∈
B
,
B
∈
B
,
A
⊂
B
A\in \mathscr{B},B\in\mathscr{B},A\subset B
A ∈ B , B ∈ B , A ⊂ B ,如果
B
−
A
∈
B
B-A\in\mathscr{B}
B − A ∈ B ,
μ
(
A
)
<
+
∞
\mu(A)<+\infty
μ ( A ) < + ∞ ,则
B
=
(
B
−
A
)
∪
A
B=(B-A)\cup A
B = ( B − A ) ∪ A ,且
A
∩
(
B
−
A
)
=
∅
A\cap (B-A)=\emptyset
A ∩ ( B − A ) = ∅ ,由有限可加性,就有
μ
(
B
−
A
)
+
μ
(
A
)
=
μ
(
B
)
\mu(B-A)+\mu(A)=\mu(B)
μ ( B − A ) + μ ( A ) = μ ( B ) 这就证得了可减性
从证明过程也可以看出,以上两个性质和
B
\mathscr{B}
B 的结构并无多大的关系,任意的集系上的测度都满足以上的性质
单调性 :
A
∈
B
,
B
∈
B
,
A
⊂
B
A\in\mathscr{B},B\in\mathscr{B},A\subset B
A ∈ B , B ∈ B , A ⊂ B ,则存在
B
\mathscr{B}
B 内两两不交的
n
n
n 个集合
C
1
,
C
2
,
⋯
,
C
n
C_1,C_2,\cdots,C_n
C 1 , C 2 , ⋯ , C n ,使得
B
−
A
=
⋃
k
=
1
n
C
k
B-A=\bigcup_{k=1}^n C_k
B − A = k = 1 ⋃ n C k 而
A
∩
⋃
k
=
1
n
C
k
=
∅
\displaystyle A\cap \bigcup_{k=1}^n C_k=\emptyset
A ∩ k = 1 ⋃ n C k = ∅ ,即
⋃
k
=
1
n
A
∩
C
k
=
∅
\displaystyle\bigcup_{k=1}^n A\cap{C_k}=\emptyset
k = 1 ⋃ n A ∩ C k = ∅ ,从而
A
∩
C
k
=
∅
,
k
=
1
,
2
,
⋯
,
n
A\cap C_k=\emptyset,k=1,2,\cdots,n
A ∩ C k = ∅ , k = 1 , 2 , ⋯ , n ,故
{
A
,
C
1
,
C
2
,
⋯
,
C
k
}
\{A,C_1,C_2,\cdots,C_k\}
{ A , C 1 , C 2 , ⋯ , C k } 两两不交,并且
B
=
A
∪
⋃
k
=
1
n
C
k
B=A\cup \bigcup_{k=1}^n C_k
B = A ∪ k = 1 ⋃ n C k 由有限可加性,可以得到
μ
(
B
)
=
μ
(
A
)
+
∑
k
=
1
n
μ
(
C
k
)
≥
μ
(
A
)
\mu(B)=\mu(A) +\sum_{k=1}^n \mu(C_k)\ge \mu(A)
μ ( B ) = μ ( A ) + k = 1 ∑ n μ ( C k ) ≥ μ ( A ) 这就证得单调性
次可加性 :
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
B
\mathscr{B}
B 内的一个集列,
A
∈
B
A\in\mathscr{B}
A ∈ B ,并且
A
⊂
⋃
n
=
1
∞
A
n
\displaystyle A\subset\bigcup_{n=1}^\infty A_n
A ⊂ n = 1 ⋃ ∞ A n ,由于
B
\mathscr{B}
B 是一个
π
\pi
π 系,因此,
A
=
⋃
n
=
1
∞
(
A
n
∩
A
)
\displaystyle A=\bigcup_{n=1}^\infty (A_n\cap A)
A = n = 1 ⋃ ∞ ( A n ∩ A ) ,令
B
n
=
A
n
∩
A
∈
B
,
n
=
1
,
2
,
⋯
B_n=A_n\cap A\in\mathscr{B},n=1,2,\cdots
B n = A n ∩ A ∈ B , n = 1 , 2 , ⋯ ,则
A
=
⋃
n
=
1
∞
B
n
A=\bigcup_{n=1}^\infty B_n
A = n = 1 ⋃ ∞ B n 我们只要证明了
μ
(
A
)
≤
∑
n
=
1
∞
μ
(
B
n
)
\mu(A)\le \sum_{n=1}^\infty\mu(B_n)
μ ( A ) ≤ n = 1 ∑ ∞ μ ( B n ) 再由单调性
μ
(
B
n
)
≤
μ
(
A
n
)
,
n
=
1
,
2
,
⋯
\mu(B_n)\le \mu(A_n),n=1,2,\cdots
μ ( B n ) ≤ μ ( A n ) , n = 1 , 2 , ⋯ 那么就有
μ
(
A
)
≤
∑
n
=
1
∞
μ
(
A
n
)
\mu(A)\le\sum_{n=1}^\infty\mu(A_n)
μ ( A ) ≤ n = 1 ∑ ∞ μ ( A n ) 如果
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是两两不交的,那么自然有
μ
(
A
)
=
∑
n
=
1
∞
μ
(
B
n
)
\mu(A)= \sum_{n=1}^\infty\mu(B_n)
μ ( A ) = n = 1 ∑ ∞ μ ( B n ) 否则,我们作如下处理:对于任意的
i
≠
j
i\neq j
i = j ,由于
B
\mathscr{B}
B 是半环,存在
N
(
i
,
j
)
N(i,j)
N ( i , j ) 个两两不交的
B
\mathscr{B}
B 中的集合
C
i
j
1
,
C
i
j
2
,
⋯
,
C
i
j
N
(
i
,
j
)
C_{ij1},C_{ij2},\cdots,C_{ijN(i,j)}
C i j 1 , C i j 2 , ⋯ , C i j N ( i , j ) ,使得
B
i
−
B
j
=
⋃
k
=
1
N
(
i
,
j
)
C
i
j
k
B_i-B_j=\bigcup_{k=1}^{N(i,j)}C_{ijk}
B i − B j = k = 1 ⋃ N ( i , j ) C i j k 则
B
n
+
1
−
⋃
k
=
1
n
B
k
=
⋂
k
=
1
n
(
B
n
+
1
−
B
k
)
=
⋂
k
=
1
n
⋃
i
=
1
N
(
n
+
1
,
k
)
C
(
n
+
1
)
k
i
=
⋃
i
1
=
1
N
(
n
+
1
,
1
)
⋯
⋃
i
n
=
1
N
(
n
+
1
,
n
)
(
C
(
n
+
1
)
1
i
1
∩
C
(
n
+
1
)
2
i
2
∩
⋯
∩
C
(
n
+
1
)
n
i
n
)
\begin{aligned} B_{n+1}-\bigcup_{k=1}^nB_k=&\bigcap_{k=1}^n(B_{n+1}-B_k)\\ =&\bigcap_{k=1}^n\bigcup_{i=1}^{N(n+1,k)}C_{(n+1)ki}\\ =&\bigcup_{i_1=1}^{N(n+1,1)}\cdots\bigcup_{i_n=1}^{N(n+1,n)}(C_{(n+1)1i_1}\cap C_{(n+1)2i_2}\cap\cdots\cap C_{(n+1)ni_n}) \end{aligned}
B n + 1 − k = 1 ⋃ n B k = = = k = 1 ⋂ n ( B n + 1 − B k ) k = 1 ⋂ n i = 1 ⋃ N ( n + 1 , k ) C ( n + 1 ) k i i 1 = 1 ⋃ N ( n + 1 , 1 ) ⋯ i n = 1 ⋃ N ( n + 1 , n ) ( C ( n + 1 ) 1 i 1 ∩ C ( n + 1 ) 2 i 2 ∩ ⋯ ∩ C ( n + 1 ) n i n ) 分解式右边的集合两两不交,且由于
B
\mathscr{B}
B 是
π
\pi
π 系,故都在
B
\mathscr{B}
B 内,下面我们证明:
∑
i
1
=
1
N
(
n
+
1
,
1
)
⋯
∑
i
n
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
1
i
1
∩
C
(
n
+
1
)
2
i
2
∩
⋯
∩
C
(
n
+
1
)
n
i
n
)
≤
μ
(
B
n
+
1
)
\sum_{i_1=1}^{N(n+1,1)}\cdots\sum_{i_n=1}^{N(n+1,n)}\mu(C_{(n+1)1i_1}\cap C_{(n+1)2i_2}\cap\cdots\cap C_{(n+1)ni_n})\le \mu(B_{n+1})
i 1 = 1 ∑ N ( n + 1 , 1 ) ⋯ i n = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) 1 i 1 ∩ C ( n + 1 ) 2 i 2 ∩ ⋯ ∩ C ( n + 1 ) n i n ) ≤ μ ( B n + 1 ) 由数学归纳法不难证明,半环任意有限个集合之并可以表为半环内有限个两两不交集合之并,则
⋃
k
=
1
n
B
k
\displaystyle\bigcup_{k=1}^nB_k
k = 1 ⋃ n B k 可表为
⋃
k
=
1
n
B
k
=
⋃
k
=
1
N
n
D
k
\bigcup_{k=1}^nB_k=\bigcup_{k=1}^{N_n}D_k
k = 1 ⋃ n B k = k = 1 ⋃ N n D k 其中
D
1
,
⋯
,
D
N
n
D_1,\cdots,D_{N_n}
D 1 , ⋯ , D N n 为
B
\mathscr{B}
B 中两两不交的集合,故
B
n
+
1
=
⋃
k
=
1
N
n
D
k
∪
⋃
i
1
=
1
N
(
n
+
1
,
1
)
⋯
⋃
i
n
=
1
N
(
n
+
1
,
n
)
(
C
(
n
+
1
)
1
i
1
∩
C
(
n
+
1
)
2
i
2
∩
⋯
∩
C
(
n
+
1
)
n
i
n
)
B_{n+1}=\bigcup_{k=1}^{N_n}D_k\cup\bigcup_{i_1=1}^{N(n+1,1)}\cdots\bigcup_{i_n=1}^{N(n+1,n)}(C_{(n+1)1i_1}\cap C_{(n+1)2i_2}\cap\cdots\cap C_{(n+1)ni_n})
B n + 1 = k = 1 ⋃ N n D k ∪ i 1 = 1 ⋃ N ( n + 1 , 1 ) ⋯ i n = 1 ⋃ N ( n + 1 , n ) ( C ( n + 1 ) 1 i 1 ∩ C ( n + 1 ) 2 i 2 ∩ ⋯ ∩ C ( n + 1 ) n i n ) 且分解式右边两两不交(由构造是显然的),因此,由有限可加性
μ
(
B
n
+
1
)
=
∑
k
=
1
N
n
μ
(
D
k
)
+
∑
i
1
=
1
N
(
n
+
1
,
1
)
⋯
∑
i
n
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
1
i
1
∩
C
(
n
+
1
)
2
i
2
∩
⋯
∩
C
(
n
+
1
)
n
i
n
)
≥
∑
i
1
=
1
N
(
n
+
1
,
1
)
⋯
∑
i
n
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
1
i
1
∩
C
(
n
+
1
)
2
i
2
∩
⋯
∩
C
(
n
+
1
)
n
i
n
)
\begin{aligned} \mu(B_{n+1})=&\sum_{k=1}^{N_n}\mu(D_k)+\sum_{i_1=1}^{N(n+1,1)}\cdots\sum_{i_n=1}^{N(n+1,n)}\mu(C_{(n+1)1i_1}\cap C_{(n+1)2i_2}\cap\cdots\cap C_{(n+1)ni_n})\\ \ge&\sum_{i_1=1}^{N(n+1,1)}\cdots\sum_{i_n=1}^{N(n+1,n)}\mu(C_{(n+1)1i_1}\cap C_{(n+1)2i_2}\cap\cdots\cap C_{(n+1)ni_n}) \end{aligned}
μ ( B n + 1 ) = ≥ k = 1 ∑ N n μ ( D k ) + i 1 = 1 ∑ N ( n + 1 , 1 ) ⋯ i n = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) 1 i 1 ∩ C ( n + 1 ) 2 i 2 ∩ ⋯ ∩ C ( n + 1 ) n i n ) i 1 = 1 ∑ N ( n + 1 , 1 ) ⋯ i n = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) 1 i 1 ∩ C ( n + 1 ) 2 i 2 ∩ ⋯ ∩ C ( n + 1 ) n i n ) 那么显然
A
=
B
1
∪
⋃
n
=
1
∞
⋃
i
1
=
1
N
(
n
+
1
,
1
)
⋯
⋃
i
n
=
1
N
(
n
+
1
,
n
)
(
C
(
n
+
1
)
1
i
1
∩
C
(
n
+
1
)
2
i
2
∩
⋯
∩
C
(
n
+
1
)
n
i
n
)
A=B_1\cup\bigcup_{n=1}^\infty\bigcup_{i_1=1}^{N(n+1,1)}\cdots\bigcup_{i_n=1}^{N(n+1,n)}(C_{(n+1)1i_1}\cap C_{(n+1)2i_2}\cap\cdots\cap C_{(n+1)ni_n})
A = B 1 ∪ n = 1 ⋃ ∞ i 1 = 1 ⋃ N ( n + 1 , 1 ) ⋯ i n = 1 ⋃ N ( n + 1 , n ) ( C ( n + 1 ) 1 i 1 ∩ C ( n + 1 ) 2 i 2 ∩ ⋯ ∩ C ( n + 1 ) n i n ) 显然由构造可知分解式右边的集合都在
B
\mathscr{B}
B 内且两两不交,由可列可加性
μ
(
A
)
=
μ
(
B
1
)
+
∑
n
=
1
∞
∑
i
1
=
1
N
(
n
+
1
,
1
)
⋯
∑
i
n
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
1
i
1
∩
C
(
n
+
1
)
2
i
2
∩
⋯
∩
C
(
n
+
1
)
n
i
n
)
≤
μ
(
B
1
)
+
∑
n
=
1
∞
μ
(
B
n
+
1
)
\begin{aligned} \mu(A)=&\mu(B_1)+\sum_{n=1}^\infty\sum_{i_1=1}^{N(n+1,1)}\cdots\sum_{i_n=1}^{N(n+1,n)}\mu(C_{(n+1)1i_1}\cap C_{(n+1)2i_2}\cap\cdots\cap C_{(n+1)ni_n})\\ \le&\mu(B_1)+\sum_{n=1}^\infty \mu(B_{n+1}) \end{aligned}
μ ( A ) = ≤ μ ( B 1 ) + n = 1 ∑ ∞ i 1 = 1 ∑ N ( n + 1 , 1 ) ⋯ i n = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) 1 i 1 ∩ C ( n + 1 ) 2 i 2 ∩ ⋯ ∩ C ( n + 1 ) n i n ) μ ( B 1 ) + n = 1 ∑ ∞ μ ( B n + 1 ) 这就证明了次可加性
有限次可加性 :
{
A
1
,
A
2
,
⋯
,
A
n
}
\{A_1,A_2,\cdots,A_n\}
{ A 1 , A 2 , ⋯ , A n } 是
B
\mathscr{B}
B 内的集合,
A
∈
B
A\in\mathscr{B}
A ∈ B ,并且
A
⊂
⋃
k
=
1
n
A
k
\displaystyle A\subset\bigcup_{k=1}^n A_k
A ⊂ k = 1 ⋃ n A k ,再令
A
k
=
∅
,
k
=
n
+
1
,
n
+
2
,
n
+
3
,
⋯
A_{k}=\emptyset,k=n+1,n+2,n+3,\cdots
A k = ∅ , k = n + 1 , n + 2 , n + 3 , ⋯ ,再应用次可加性即可证得
下连续性 :
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
B
\mathscr{B}
B 内的一个渐升列,并且
A
n
↑
A
∈
B
A_n\uparrow A\in\mathscr{B}
A n ↑ A ∈ B ,实际上,由单调性
{
μ
(
A
n
)
}
\{\mu(A_n)\}
{ μ ( A n ) } 是渐升列,则极限
lim
n
→
∞
μ
(
A
n
)
\lim_{n\to\infty}\mu(A_n)
n → ∞ lim μ ( A n ) 存在(可以是无穷),并且由
μ
\mu
μ 的单调性,就有
μ
(
A
n
)
≤
μ
(
A
)
n
=
1
,
2
,
⋯
\mu(A_n)\le \mu(A)\quad n=1,2,\cdots
μ ( A n ) ≤ μ ( A ) n = 1 , 2 , ⋯ 令
n
→
∞
n\to\infty
n → ∞ 取极限即有
lim
n
→
∞
μ
(
A
n
)
≤
μ
(
A
)
\lim_{n\to\infty}\mu(A_n)\le \mu(A)
n → ∞ lim μ ( A n ) ≤ μ ( A ) 由于
B
\mathscr{B}
B 是半环,存在
N
(
i
,
j
)
N(i,j)
N ( i , j ) 个两两不交的
B
\mathscr{B}
B 中的集合
C
i
j
1
,
C
i
j
2
,
⋯
,
C
i
j
N
(
i
,
j
)
C_{ij1},C_{ij2},\cdots,C_{ijN(i,j)}
C i j 1 , C i j 2 , ⋯ , C i j N ( i , j ) ,使得
A
i
−
A
j
=
⋃
k
=
1
N
(
i
,
j
)
C
i
j
k
A_i-A_j=\bigcup_{k=1}^{N(i,j)}C_{ijk}
A i − A j = k = 1 ⋃ N ( i , j ) C i j k 则
A
=
A
1
∪
(
A
2
−
A
1
)
∪
(
A
3
−
A
2
)
⋯
=
A
1
∪
⋃
n
=
1
∞
(
A
n
+
1
−
A
n
)
=
A
1
∪
⋃
n
=
1
∞
⋃
k
=
1
N
(
n
+
1
,
n
)
C
(
n
+
1
)
n
k
\begin{aligned} A=&A_1\cup(A_2-A_1)\cup(A_3-A_2)\cdots=A_1\cup\bigcup_{n=1}^\infty(A_{n+1}-A_n)\\ =&A_1\cup\bigcup_{n=1}^\infty\bigcup_{k=1}^{N(n+1,n)}C_{(n+1)nk} \end{aligned}
A = = A 1 ∪ ( A 2 − A 1 ) ∪ ( A 3 − A 2 ) ⋯ = A 1 ∪ n = 1 ⋃ ∞ ( A n + 1 − A n ) A 1 ∪ n = 1 ⋃ ∞ k = 1 ⋃ N ( n + 1 , n ) C ( n + 1 ) n k 分解式右边的各集合都在
B
\mathscr{B}
B 内且两两不交,因此,成立
μ
(
A
)
=
μ
(
A
1
)
+
∑
n
=
1
∞
∑
k
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
n
k
)
(1)
\tag{1} \mu(A)=\mu(A_1)+\sum_{n=1}^\infty\sum_{k=1}^{N(n+1,n)}\mu(C_{(n+1)nk})
μ ( A ) = μ ( A 1 ) + n = 1 ∑ ∞ k = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) n k ) ( 1 ) 并且对任意的
n
=
2
,
3
,
⋯
n=2,3,\cdots
n = 2 , 3 , ⋯ ,成立
μ
(
A
n
)
=
μ
(
A
1
)
+
∑
i
=
1
n
∑
j
=
1
N
(
i
+
1
,
i
)
μ
(
C
(
i
+
1
)
i
j
)
\mu(A_n)=\mu(A_1)+\sum_{i=1}^{n}\sum_{j=1}^{N(i+1,i)}\mu(C_{(i+1)ij})
μ ( A n ) = μ ( A 1 ) + i = 1 ∑ n j = 1 ∑ N ( i + 1 , i ) μ ( C ( i + 1 ) i j ) 当
μ
(
A
)
<
+
∞
\mu(A)<+\infty
μ ( A ) < + ∞ 时,(1)式等号右边的级数是收敛的,因而对任意的
ε
>
0
\varepsilon>0
ε > 0 ,存在正整数
N
N
N ,有
∑
n
=
N
+
1
∞
∑
k
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
n
k
)
<
ε
\sum_{n=N+1}^\infty\sum_{k=1}^{N(n+1,n)}\mu(C_{(n+1)nk})<\varepsilon
n = N + 1 ∑ ∞ k = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) n k ) < ε 故
μ
(
A
)
=
μ
(
A
1
)
+
∑
n
=
1
∞
∑
k
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
n
k
)
=
μ
(
A
N
)
+
∑
n
=
N
+
1
∞
∑
k
=
1
N
(
n
+
1
,
n
)
μ
(
C
(
n
+
1
)
n
k
)
<
μ
(
A
N
)
+
ε
≤
lim
n
→
∞
μ
(
A
n
)
+
ε
\begin{aligned} \mu(A)=&\mu(A_1)+\sum_{n=1}^\infty\sum_{k=1}^{N(n+1,n)}\mu(C_{(n+1)nk})\\ =&\mu(A_N)+\sum_{n=N+1}^\infty\sum_{k=1}^{N(n+1,n)}\mu(C_{(n+1)nk})\\ <&\mu(A_N)+\varepsilon\le\lim_{n\to\infty}\mu(A_n)+\varepsilon \end{aligned}
μ ( A ) = = < μ ( A 1 ) + n = 1 ∑ ∞ k = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) n k ) μ ( A N ) + n = N + 1 ∑ ∞ k = 1 ∑ N ( n + 1 , n ) μ ( C ( n + 1 ) n k ) μ ( A N ) + ε ≤ n → ∞ lim μ ( A n ) + ε 再由
ε
\varepsilon
ε 的任意性,有
μ
(
A
)
≤
lim
n
→
∞
μ
(
A
n
)
\mu(A)\le \lim_{n\to\infty}\mu(A_n)
μ ( A ) ≤ n → ∞ lim μ ( A n ) 这就证得了
μ
(
A
)
=
lim
n
→
∞
μ
(
A
n
)
\mu(A)=\lim_{n\to\infty}\mu(A_n)
μ ( A ) = n → ∞ lim μ ( A n ) 而
μ
(
A
)
=
+
∞
\mu(A)=+\infty
μ ( A ) = + ∞ 时,(1)式右边的级数发散,因此,
{
μ
(
A
n
)
}
\{\mu(A_n)\}
{ μ ( A n ) } 也应该无界,故
μ
(
A
)
=
lim
n
→
∞
μ
(
A
n
)
=
+
∞
\mu(A)=\lim_{n\to\infty}\mu(A_n)=+\infty
μ ( A ) = n → ∞ lim μ ( A n ) = + ∞
上连续性 :
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
B
\mathscr{B}
B 内的一个渐降列,并且
A
n
↓
A
∈
B
A_n\downarrow A\in\mathscr{B}
A n ↓ A ∈ B ,
μ
(
A
1
)
<
+
∞
\mu(A_1)<+\infty
μ ( A 1 ) < + ∞ ,则
A
n
=
A
∪
⋃
k
=
n
∞
(
A
k
−
A
k
+
1
)
A_n=A\cup \bigcup_{k=n}^\infty (A_k-A_{k+1})
A n = A ∪ k = n ⋃ ∞ ( A k − A k + 1 ) 类似于上连续性即可证得下连续性
下面我们来举一个半环上的测度的例子: 若
F
(
x
)
F(x)
F ( x ) 是
R
R
R 上单调不减且右连续的函数,
R
\mathscr{R}
R 是
R
R
R 上全体左开右闭区间构成的集系,我们已经证明了
R
\mathscr{R}
R 是半环,定义
μ
(
a
,
b
]
=
F
(
b
)
−
F
(
a
)
\mu(a,b]=F(b)-F(a)
μ ( a , b ] = F ( b ) − F ( a ) 下面我们证明
μ
\mu
μ 是
R
\mathscr{R}
R 上的测度:
①显然,
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 ,首先我们来证明
μ
\mu
μ 具有有限可加性,如果
I
=
(
a
,
b
]
I=(a,b]
I = ( a , b ] 满足:
I
=
⋃
k
=
1
n
I
k
I=\bigcup_{k=1}^nI_k
I = k = 1 ⋃ n I k 其中
I
1
,
I
2
,
⋯
,
I
n
I_1,I_2,\cdots,I_n
I 1 , I 2 , ⋯ , I n 都是两两不交的左开右闭区间,记
I
k
=
(
a
k
,
b
k
]
,
k
=
1
,
2
,
⋯
,
n
I_k=(a_k,b_k],k=1,2,\cdots,n
I k = ( a k , b k ] , k = 1 , 2 , ⋯ , n ,设
a
1
≤
a
2
≤
a
3
≤
⋯
≤
a
n
a_1\le a_2\le a_3\le \cdots \le a_n
a 1 ≤ a 2 ≤ a 3 ≤ ⋯ ≤ a n ,否则调整排序即可,不难证明
b
1
=
a
2
,
b
2
=
a
3
,
⋯
,
b
n
−
1
=
a
n
b_1=a_2,b_2=a_3,\cdots,b_{n-1}=a_n
b 1 = a 2 , b 2 = a 3 , ⋯ , b n − 1 = a n ,故
μ
(
I
)
=
F
(
b
)
−
F
(
a
)
∑
k
=
1
n
μ
(
I
k
)
=
∑
k
=
1
n
[
μ
(
b
k
)
−
μ
(
a
k
)
]
=
F
(
b
)
−
F
(
a
)
\mu(I)=F(b)-F(a)\\ \sum_{k=1}^n\mu(I_k)=\sum_{k=1}^n[\mu(b_k)-\mu(a_k)]=F(b)-F(a)
μ ( I ) = F ( b ) − F ( a ) k = 1 ∑ n μ ( I k ) = k = 1 ∑ n [ μ ( b k ) − μ ( a k ) ] = F ( b ) − F ( a ) 因此有限可加性成立
②有限次可加性也成立:我们来证明一个更一般的结论:
R
\mathscr{R}
R 是
X
X
X 上的半环,
μ
\mu
μ 是
R
\mathscr{R}
R 上有限可加的非负广义集函数,则
μ
\mu
μ 满足有限次可加性: 首先,
μ
\mu
μ 满足单调性,因为对任意的
A
⊂
B
,
A
∈
R
,
B
∈
R
A\subset B,A\in\mathscr{R},B\in\mathscr{R}
A ⊂ B , A ∈ R , B ∈ R ,存在两两不交的
R
\mathscr{R}
R 上的集合
C
1
,
⋯
,
C
m
C_1,\cdots,C_m
C 1 , ⋯ , C m ,使得
B
−
A
=
⋃
k
=
1
n
C
k
\displaystyle B-A=\bigcup_{k=1}^n C_k
B − A = k = 1 ⋃ n C k ,由有限可加性
μ
(
B
)
=
μ
(
A
)
+
∑
k
=
1
n
μ
(
C
k
)
≥
μ
(
A
)
\mu(B)=\mu(A)+\sum_{k=1}^n\mu(C_k)\ge \mu(A)
μ ( B ) = μ ( A ) + k = 1 ∑ n μ ( C k ) ≥ μ ( A ) 故
μ
\mu
μ 满足单调性 因此,如果
A
1
,
A
2
,
⋯
,
A
n
∈
R
A_1,A_2,\cdots,A_n\in\mathscr{R}
A 1 , A 2 , ⋯ , A n ∈ R ,
A
∈
R
A\in\mathscr{R}
A ∈ R ,
A
⊂
⋃
k
=
1
n
A
k
\displaystyle A\subset\bigcup_{k=1}^nA_k
A ⊂ k = 1 ⋃ n A k ,由于
R
\mathscr{R}
R 是半环,从而
R
\mathscr{R}
R 是
π
\pi
π 系,
B
k
=
A
∩
A
k
∈
R
,
k
=
1
,
2
,
⋯
,
n
B_k=A\cap A_k\in\mathscr{R},k=1,2,\cdots,n
B k = A ∩ A k ∈ R , k = 1 , 2 , ⋯ , n 。只要证明
μ
(
A
)
≤
∑
k
=
1
n
μ
(
B
k
)
\mu(A)\le\sum_{k=1}^n\mu(B_k)
μ ( A ) ≤ k = 1 ∑ n μ ( B k ) 接下来的证明过程与证明半环上的测度满足次可加性是完全一致的,这里不再重复。利用这个结论
μ
\mu
μ 满足单调性和有限次可加性
③我们再证明一个一般性的结论:
R
\mathscr{R}
R 是
X
X
X 上的半环,
μ
\mu
μ 是
R
\mathscr{R}
R 上有限可加的非负广义集函数,如果
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
R
\mathscr{R}
R 上一列两两不交的集合,
A
∈
R
A\in\mathscr{R}
A ∈ R ,
⋃
n
=
1
∞
A
n
⊂
A
\displaystyle\bigcup_{n=1}^\infty A_n\subset A
n = 1 ⋃ ∞ A n ⊂ A ,则
∑
n
=
1
∞
μ
(
A
n
)
≤
μ
(
A
)
\sum_{n=1}^\infty\mu(A_n)\le\mu(A)
n = 1 ∑ ∞ μ ( A n ) ≤ μ ( A ) 证明如下: 由于
R
\mathscr{R}
R 是半环,容易证明,对任意的
n
≥
1
n\ge 1
n ≥ 1 ,存在两两不交的
R
\mathscr{R}
R 中的集合
B
1
,
⋯
,
B
m
B_1,\cdots,B_m
B 1 , ⋯ , B m ,满足
A
−
⋃
k
=
1
n
A
k
=
⋃
k
=
1
m
B
k
A-\bigcup_{k=1}^nA_k=\bigcup_{k=1}^mB_k
A − k = 1 ⋃ n A k = k = 1 ⋃ m B k 则
A
=
⋃
k
=
1
n
A
k
∪
⋃
k
=
1
m
B
k
A=\bigcup_{k=1}^nA_k\cup\bigcup_{k=1}^mB_k
A = k = 1 ⋃ n A k ∪ k = 1 ⋃ m B k 分解式右边是两两不交的,故由有限可加性
μ
(
A
)
=
∑
k
=
1
n
μ
(
A
k
)
+
∑
k
=
1
m
μ
(
B
k
)
≥
∑
k
=
1
n
μ
(
A
k
)
\mu(A)=\sum_{k=1}^n\mu(A_k)+\sum_{k=1}^m\mu(B_k)\ge \sum_{k=1}^n\mu(A_k)
μ ( A ) = k = 1 ∑ n μ ( A k ) + k = 1 ∑ m μ ( B k ) ≥ k = 1 ∑ n μ ( A k ) 再令
n
→
∞
n\to\infty
n → ∞ ,即可得到结论
④证明
μ
\mu
μ 满足可列可加性:
{
I
n
,
n
=
1
,
2
,
⋯
}
\{I_n,n=1,2,\cdots\}
{ I n , n = 1 , 2 , ⋯ } 是
R
\mathscr{R}
R 内两两不交的一个集列,并且
⋃
n
=
1
∞
I
n
=
I
∈
R
\displaystyle\bigcup_{n=1}^\infty I_n=I\in\mathscr{R}
n = 1 ⋃ ∞ I n = I ∈ R ,则由上面的结论(这里不是一般的半环,而是全体左开右闭区间构成的集系),就有
∑
n
=
1
∞
μ
(
I
n
)
≤
μ
(
I
)
\sum_{n=1}^\infty\mu(I_n)\le \mu(I)
n = 1 ∑ ∞ μ ( I n ) ≤ μ ( I ) 只要证明
μ
(
I
)
≤
∑
n
=
1
∞
μ
(
I
n
)
\displaystyle\mu(I)\le \sum_{n=1}^\infty\mu(I_n)
μ ( I ) ≤ n = 1 ∑ ∞ μ ( I n ) ,对任意的
ε
>
0
\varepsilon>0
ε > 0 ,由
F
F
F 的右连续性,存在
δ
>
0
\delta>0
δ > 0 ,要求
a
+
δ
<
b
a+\delta<b
a + δ < b ,
F
(
a
+
δ
)
−
F
(
a
)
<
ε
F(a+\delta)-F(a)<\varepsilon
F ( a + δ ) − F ( a ) < ε ,对任意的
n
≥
1
n\ge 1
n ≥ 1 ,假设
I
n
=
(
a
n
,
b
n
]
I_n=(a_n,b_n]
I n = ( a n , b n ] ,由右连续性,存在
δ
n
>
0
\delta_n>0
δ n > 0 ,
F
(
b
n
+
δ
n
)
−
F
(
b
n
)
<
ε
2
n
F(b_n+\delta_n)-F(b_n)<\frac{\varepsilon}{2^n}
F ( b n + δ n ) − F ( b n ) < 2 n ε ,取
I
n
′
=
(
a
n
,
b
n
+
δ
n
)
I_n^\prime=(a_n,b_n+\delta_n)
I n ′ = ( a n , b n + δ n ) ,则
{
I
n
′
,
n
=
1
,
2
,
⋯
}
\{I_n^\prime,n=1,2,\cdots\}
{ I n ′ , n = 1 , 2 , ⋯ } 是
[
a
+
δ
,
b
]
[a+\delta,b]
[ a + δ , b ] 的一个开覆盖,由有限覆盖定理,存在
I
n
1
′
,
⋯
,
I
n
m
′
I_{n_1}^\prime,\cdots,I_{n_m}^\prime
I n 1 ′ , ⋯ , I n m ′ ,使得
[
a
+
δ
,
b
]
⊂
⋃
k
=
1
m
I
n
k
′
[a+\delta,b]\subset\bigcup_{k=1}^mI_{n_k}^\prime
[ a + δ , b ] ⊂ k = 1 ⋃ m I n k ′ 再令
I
k
′
=
(
a
n
k
,
b
n
k
+
δ
n
k
]
I_k^\prime=(a_{n_k},b_{n_k}+\delta_{n_k}]
I k ′ = ( a n k , b n k + δ n k ] ,故
(
a
+
δ
,
b
]
⊂
⋃
k
=
1
m
I
k
′
(a+\delta,b]\subset \bigcup_{k=1}^m I_k^\prime
( a + δ , b ] ⊂ k = 1 ⋃ m I k ′
F
(
b
)
−
F
(
a
+
δ
)
=
F
(
b
)
−
F
(
a
)
−
[
F
(
a
+
δ
)
−
F
(
a
)
]
>
F
(
b
)
−
F
(
a
)
−
ε
F(b)-F(a+\delta)=F(b)-F(a)-[F(a+\delta)-F(a)]>F(b)-F(a)-\varepsilon
F ( b ) − F ( a + δ ) = F ( b ) − F ( a ) − [ F ( a + δ ) − F ( a ) ] > F ( b ) − F ( a ) − ε 由有限次可加性
F
(
b
)
−
F
(
a
+
δ
)
≤
∑
k
=
1
m
[
F
(
b
n
k
+
δ
n
k
)
−
F
(
a
n
k
)
]
=
∑
k
=
1
m
[
F
(
b
n
k
+
δ
n
k
)
−
F
(
b
n
k
)
]
+
∑
k
=
1
m
[
F
(
b
n
k
)
−
F
(
a
n
k
)
]
<
∑
k
=
1
m
ε
2
n
k
+
∑
n
=
1
∞
μ
(
I
n
)
<
ε
+
∑
n
=
1
∞
μ
(
I
n
)
\begin{aligned} &F(b)-F(a+\delta)\le\sum_{k=1}^m[F(b_{n_k}+\delta_{n_k})-F(a_{n_k})]\\ =&\sum_{k=1}^m[F(b_{n_k}+\delta_{n_k})-F(b_{n_k})]+\sum_{k=1}^m[F(b_{n_k})-F(a_{n_k})]\\ <&\sum_{k=1}^m\frac{\varepsilon}{2^{n_k}}+\sum_{n=1}^\infty\mu(I_n)\\ <&\varepsilon+\sum_{n=1}^\infty\mu(I_n) \end{aligned}
= < < F ( b ) − F ( a + δ ) ≤ k = 1 ∑ m [ F ( b n k + δ n k ) − F ( a n k ) ] k = 1 ∑ m [ F ( b n k + δ n k ) − F ( b n k ) ] + k = 1 ∑ m [ F ( b n k ) − F ( a n k ) ] k = 1 ∑ m 2 n k ε + n = 1 ∑ ∞ μ ( I n ) ε + n = 1 ∑ ∞ μ ( I n ) 据此,可以得到
μ
(
I
)
<
2
ε
+
∑
n
=
1
∞
μ
(
I
n
)
\mu(I)<2\varepsilon+\sum_{n=1}^\infty\mu(I_n)
μ ( I ) < 2 ε + n = 1 ∑ ∞ μ ( I n ) 再由
ε
\varepsilon
ε 的任意性
μ
(
I
)
≤
∑
n
=
1
∞
μ
(
I
n
)
\mu(I)\le \sum_{n=1}^\infty\mu(I_n)
μ ( I ) ≤ n = 1 ∑ ∞ μ ( I n ) 故
μ
(
I
)
=
∑
n
=
1
∞
μ
(
I
n
)
\mu(I)= \sum_{n=1}^\infty\mu(I_n)
μ ( I ) = n = 1 ∑ ∞ μ ( I n )
⑤由于
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 且
μ
\mu
μ 满足可列可加性,故
μ
\mu
μ 是
R
\mathscr{R}
R 上的测度
特别地,当
F
(
x
)
=
x
F(x)=x
F ( x ) = x 时,
μ
(
a
,
b
]
=
b
−
a
\mu(a,b]=b-a
μ ( a , b ] = b − a ,就是我们直观上的线段的长度。通过这个测度进行扩张,就可以得到Lebesgue测度和Lebesgue-Stietjes测度。
有限可加与可列可加
首先,我们给出几个事实: (1)在半环/环上,可列可加的非负广义集函数必然有单调性 (2)在半环/环上,可列可加的非负广义集函数必然有限可加,因为
∅
=
⋃
n
=
1
∞
∅
\emptyset=\bigcup_{n=1}^\infty\emptyset
∅ = n = 1 ⋃ ∞ ∅ 则由可列可加性
μ
(
∅
)
=
∑
n
=
1
∞
μ
(
∅
)
\mu(\emptyset)=\sum_{n=1}^\infty \mu(\emptyset)
μ ( ∅ ) = n = 1 ∑ ∞ μ ( ∅ ) 则
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 或
μ
(
∅
)
=
+
∞
\mu(\emptyset)=+\infty
μ ( ∅ ) = + ∞ ,如果
μ
(
∅
)
=
+
∞
\mu(\emptyset)=+\infty
μ ( ∅ ) = + ∞ ,由单调性,
μ
(
A
)
=
+
∞
,
∀
A
∈
R
\mu(A)=+\infty,\forall A\in\mathscr{R}
μ ( A ) = + ∞ , ∀ A ∈ R ,有限可加当然成立,如果
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 ,则
μ
\mu
μ 就是一个测度,那么显然半环上测度满足的所有性质
μ
\mu
μ 都满足,当然有限可加
接下来的问题是,什么条件下有限可加可以得到可列可加?前面我们已经证明了两点事实: (1)
R
\mathscr{R}
R 是
X
X
X 上的半环,
μ
\mu
μ 是
R
\mathscr{R}
R 上有限可加的非负广义集函数,则
μ
\mu
μ 满足单调性和有限次可加性 (2)
R
\mathscr{R}
R 是
X
X
X 上的半环,
μ
\mu
μ 是
R
\mathscr{R}
R 上有限可加的非负广义集函数,如果
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
R
\mathscr{R}
R 上一列两两不交的集合,
A
∈
R
A\in\mathscr{R}
A ∈ R ,
⋃
n
=
1
∞
A
n
⊂
A
\displaystyle\bigcup_{n=1}^\infty A_n\subset A
n = 1 ⋃ ∞ A n ⊂ A ,则
∑
n
=
1
∞
μ
(
A
n
)
≤
μ
(
A
)
\sum_{n=1}^\infty\mu(A_n)\le\mu(A)
n = 1 ∑ ∞ μ ( A n ) ≤ μ ( A ) 并且从证明
μ
(
a
,
b
]
=
F
(
b
)
−
F
(
a
)
\mu(a,b]=F(b)-F(a)
μ ( a , b ] = F ( b ) − F ( a ) 是全体左开右闭区间上的测度的过程也可以看出,只要证明了
μ
\mu
μ 具有次可加性,就可以证明出
μ
\mu
μ 具有可列可加性,当然,在一般的半环上也是如此。
定理2.1
R
\mathscr{R}
R 是
X
X
X 上的半环,
μ
\mu
μ 是
R
\mathscr{R}
R 上有限可加的非负广义实值函数,则以下命题等价: (1)
μ
\mu
μ 具有可列可加性 (2)
μ
\mu
μ 具有次可加性
对于环,则有以下定理
定理2.2
R
\mathscr{R}
R 是
X
X
X 上的环,
μ
\mu
μ 是
R
\mathscr{R}
R 上有限可加的非负广义实值函数,则以下命题等价: (1)
μ
\mu
μ 具有可列可加性 (2)
μ
\mu
μ 具有次可加性 (3)
μ
\mu
μ 具有下连续性 由(3)可以推出 (4)
μ
\mu
μ 上连续 由(4)可以推出 (5)
μ
\mu
μ 在
∅
\emptyset
∅ 处连续,即对任何
A
n
↓
∅
A_n\downarrow \emptyset
A n ↓ ∅ ,
μ
(
A
1
)
<
+
∞
\mu(A_1)<+\infty
μ ( A 1 ) < + ∞ ,有
lim
n
→
∞
μ
(
A
n
)
=
0
\lim_{n\to\infty}\mu(A_n)=0
n → ∞ lim μ ( A n ) = 0 如果
μ
\mu
μ 是有限的,则(5)可以推(1)
证: 由于任何的环都是半环,故(1)和(2)对有限可加非负广义实值函数是等价的 其次,由有限可加性
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 或
μ
(
∅
)
=
+
∅
\mu(\emptyset)=+\emptyset
μ ( ∅ ) = + ∅ ,如果
μ
(
∅
)
=
+
∅
\mu(\emptyset)=+\emptyset
μ ( ∅ ) = + ∅ ,那么
μ
(
A
)
=
+
∞
,
∀
A
∈
R
\mu(A)=+\infty,\forall A\in\mathscr{R}
μ ( A ) = + ∞ , ∀ A ∈ R ,则这个定理自然成立。这里不妨假设
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 ,如果
μ
\mu
μ 具有可列可加性,那么
μ
\mu
μ 即是
R
\mathscr{R}
R 上的测度,故(1)可以推(3),下面证明(3)可以推(1),
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
R
\mathscr{R}
R 内两两不交的一个集列,并且
⋃
n
=
1
∞
A
n
=
A
∈
R
\displaystyle\bigcup_{n=1}^\infty A_n=A\in\mathscr{R}
n = 1 ⋃ ∞ A n = A ∈ R ,则
⋃
k
=
1
n
A
k
↑
A
\displaystyle\bigcup_{k=1}^n A_k\uparrow A
k = 1 ⋃ n A k ↑ A ,而
μ
(
⋃
k
=
1
n
A
k
)
=
∑
k
=
1
n
μ
(
A
k
)
↑
∑
n
=
1
∞
μ
(
A
n
)
μ
(
⋃
k
=
1
n
A
k
)
↑
μ
(
A
)
\mu(\bigcup_{k=1}^n A_k)=\sum_{k=1}^n\mu(A_k)\uparrow \sum_{n=1}^\infty \mu(A_n)\\ \mu(\bigcup_{k=1}^n A_k)\uparrow \mu(A)
μ ( k = 1 ⋃ n A k ) = k = 1 ∑ n μ ( A k ) ↑ n = 1 ∑ ∞ μ ( A n ) μ ( k = 1 ⋃ n A k ) ↑ μ ( A ) 第一个等式利用的是
μ
\mu
μ 的有限可加性,第二个等式利用的是
μ
\mu
μ 的下连续性,这就证明(3)可以推(1),故(1)、(2)、(3)是等价的,故只要(3)成立,
μ
\mu
μ 就是一个测度,故可以推
(
4
)
(4)
( 4 ) ,
(
4
)
(4)
( 4 ) 推
(
5
)
(5)
( 5 ) 是显然的,如果
μ
\mu
μ 是有限的,
{
A
n
,
n
=
1
,
2
,
⋯
}
\{A_n,n=1,2,\cdots\}
{ A n , n = 1 , 2 , ⋯ } 是
R
\mathscr{R}
R 内两两不交的一个集列,并且
⋃
n
=
1
∞
A
n
=
A
∈
R
\displaystyle\bigcup_{n=1}^\infty A_n=A\in\mathscr{R}
n = 1 ⋃ ∞ A n = A ∈ R ,则令
B
n
=
⋃
k
=
1
n
A
k
,
C
n
=
⋃
k
=
n
+
1
∞
A
k
\displaystyle B_n=\bigcup_{k=1}^nA_k,C_n=\bigcup_{k=n+1}^\infty A_k
B n = k = 1 ⋃ n A k , C n = k = n + 1 ⋃ ∞ A k ,故由有限可加性
μ
(
A
)
=
μ
(
B
n
)
+
μ
(
C
n
)
=
∑
k
=
1
n
μ
(
A
k
)
+
μ
(
C
n
)
\mu(A)=\mu(B_n)+\mu(C_n)=\sum_{k=1}^n\mu(A_k)+\mu(C_n)
μ ( A ) = μ ( B n ) + μ ( C n ) = k = 1 ∑ n μ ( A k ) + μ ( C n ) 而
μ
(
C
1
)
<
+
∞
\mu(C_1)<+\infty
μ ( C 1 ) < + ∞ ,
C
n
↓
∅
C_n\downarrow \emptyset
C n ↓ ∅ ,故
lim
n
→
∞
μ
(
C
n
)
=
0
\displaystyle\lim_{n\to\infty}\mu(C_n)=0
n → ∞ lim μ ( C n ) = 0 ,上面的等式令
n
→
∞
n\to\infty
n → ∞ ,就证得了可列可加性。
测度空间的定义
虽然我们在很一般的集系上定义了测度,但我们主要关注的还是
σ
\sigma
σ 代数上的测度。
定义2.2
F
\mathscr{F}
F 是
X
X
X 上的
σ
\sigma
σ 代数,
μ
\mu
μ 是
F
\mathscr{F}
F 上的测度,则称三元组
(
X
,
F
,
μ
)
(X,\mathscr{F},\mu)
( X , F , μ ) 为测度空间,如果
μ
\mu
μ 是有限的,则称
(
X
,
F
,
μ
)
(X,\mathscr{F},\mu)
( X , F , μ ) 为有限测度空间,如果
μ
\mu
μ 是
σ
\sigma
σ 有限的,则称
(
X
,
F
,
μ
)
(X,\mathscr{F},\mu)
( X , F , μ ) 为
σ
\sigma
σ 有限测度空间,如果
μ
(
X
)
=
1
\mu(X)=1
μ ( X ) = 1 ,则称
(
X
,
F
,
μ
)
(X,\mathscr{F},\mu)
( X , F , μ ) 为概率空间,概率空间上的测度通常记为
P
P
P ,
F
\mathscr{F}
F 上的集合称为事件,
X
X
X 称为样本空间
测度的扩张
外测度
定义2.3
τ
\tau
τ 是
P
(
X
)
P(X)
P ( X ) 到
R
‾
\overline{R}
R 的函数,并且满足: (1)
τ
(
∅
)
=
0
\tau(\emptyset)=0
τ ( ∅ ) = 0 (2)
A
⊂
B
A\subset B
A ⊂ B ,则
τ
(
A
)
≤
τ
(
B
)
\tau(A)\le \tau(B)
τ ( A ) ≤ τ ( B ) (3) 对任何的
{
A
n
,
n
=
1
,
2
,
3
,
⋯
}
\{A_n,n=1,2,3,\cdots\}
{ A n , n = 1 , 2 , 3 , ⋯ } ,
τ
(
⋃
n
=
1
∞
A
n
)
≤
∑
n
=
1
∞
τ
(
A
n
)
\displaystyle \tau(\bigcup_{n=1}^\infty A_n)\le \sum_{n=1}^\infty\tau(A_n)
τ ( n = 1 ⋃ ∞ A n ) ≤ n = 1 ∑ ∞ τ ( A n ) 则称
τ
\tau
τ 为
X
X
X 上的外测度
外测度的定义是非常宽松的,几乎随便给一个集合系以及其上的一个非负集函数,就可以产生一个外测度
定理2.3 设
B
\mathscr{B}
B 是
X
X
X 的一个集合系,并且
∅
∈
B
\emptyset\in\mathscr{B}
∅ ∈ B 。如果
B
\mathscr{B}
B 上的非负集函数
μ
\mu
μ 满足
μ
(
∅
)
=
0
\mu(\emptyset)=0
μ ( ∅ ) = 0 ,则对每个
A
⊂
X
A\subset X
A ⊂ X ,定义
τ
(
A
)
=
inf
{
∑
n
=
1
∞
μ
(
B
n
)
:
B
n
∈
B
,
n
≥
1
,
A
⊂
⋃
n
=
1
∞
B
n
}
\tau(A)=\inf\{\sum_{n=1}^\infty\mu(B_n):B_n\in\mathscr{B},n\ge 1,A\subset\bigcup_{n=1}^\infty B_n\}
τ ( A ) = inf { n = 1 ∑ ∞ μ ( B n ) : B n ∈ B , n ≥ 1 , A ⊂ n = 1 ⋃ ∞ B n } 则
τ
\tau
τ 是一个外测度,称为由
μ
\mu
μ 生成的外测度
在定理2.3中,如果不存在
B
n
,
n
=
1
,
2
,
⋯
B_n,n=1,2,\cdots
B n , n = 1 , 2 , ⋯ ,
B
n
∈
F
B_n\in\mathscr{F}
B n ∈ F ,
A
⊂
⋃
n
=
1
∞
B
n
\displaystyle A\subset\bigcup_{n=1}^\infty B_n
A ⊂ n = 1 ⋃ ∞ B n ,则规定
τ
(
A
)
=
+
∞
\tau(A)=+\infty
τ ( A ) = + ∞
定理2.3的证明: ①证明
τ
(
∅
)
=
0
\tau(\emptyset)=0
τ ( ∅ ) = 0 ,首先,对任意的
X
X
X 的子集
A
A
A ,显然有
τ
(
A
)
≥
0
\tau(A)\ge 0
τ ( A ) ≥ 0 ,其次
∅
⊂
∅
∪
∅
∪
∅
∪
∅
∪
⋯
\emptyset\subset\emptyset\cup\emptyset\cup\emptyset\cup\emptyset\cup\cdots
∅ ⊂ ∅ ∪ ∅ ∪ ∅ ∪ ∅ ∪ ⋯ 故
τ
(
∅
)
≤
∑
n
=
1
∞
μ
(
∅
)
=
0
\tau(\emptyset)\le\sum_{n=1}^\infty\mu(\emptyset)=0
τ ( ∅ ) ≤ n = 1 ∑ ∞ μ ( ∅ ) = 0 从而
τ
(
∅
)
=
0
\tau(\emptyset)=0
τ ( ∅ ) = 0 ②验证单调性:
A
⊂
B
A\subset B
A ⊂ B ,不妨设
τ
(
B
)
<
+
∞
\tau(B)<+\infty
τ ( B ) < + ∞ ,否则
τ
(
A
)
≤
τ
(
B
)
\tau(A)\le \tau(B)
τ ( A ) ≤ τ ( B ) 是显然成立的,对任意的
ε
>
0
\varepsilon>0
ε > 0 ,存在
C
n
∈
B
,
n
=
1
,
2
,
⋯
C_n\in\mathscr{B},n=1,2,\cdots
C n ∈ B , n = 1 , 2 , ⋯ ,
B
⊂
⋃
n
=
1
∞
C
n
\displaystyle B\subset \bigcup_{n=1}^\infty C_n
B ⊂ n = 1 ⋃ ∞ C n ,并且
τ
(
B
)
>
∑
n
=
1
∞
μ
(
C
n
)
−
ε
\tau(B)>\sum_{n=1}^\infty\mu(C_n)-\varepsilon
τ ( B ) > n = 1 ∑ ∞ μ ( C n ) − ε 则
A
⊂
B
⊂
⋃
n
=
1
∞
C
n
\displaystyle A\subset B\subset \bigcup_{n=1}^\infty C_n
A ⊂ B ⊂ n = 1 ⋃ ∞ C n ,故
τ
(
A
)
≤
∑
n
=
1
∞
μ
(
C
n
)
<
τ
(
B
)
+
ε
\tau(A)\le \sum_{n=1}^\infty\mu(C_n)<\tau(B)+\varepsilon
τ ( A ) ≤ n = 1 ∑ ∞ μ ( C n ) < τ ( B ) + ε 由
ε
\varepsilon
ε 的任意性,因此
τ
(
A
)
≤
τ
(
B
)
\tau(A)\le \tau(B)
τ ( A ) ≤ τ ( B ) ③验证次可加性,如果
A
=
⋃
n
=
1
∞
A
n
\displaystyle A=\bigcup_{n=1}^\infty A_n
A = n = 1 ⋃ ∞ A n ,不妨设
∑
n
=
1
∞
τ
(
A
n
)
<
+
∞
\displaystyle \sum_{n=1}^\infty\tau(A_n)<+\infty
n = 1 ∑ ∞ τ ( A n ) < + ∞ ,此时必有
τ
(
A
n
)
<
+
∞
,
n
=
1
,
2
,
⋯
\tau(A_n)<+\infty,n=1,2,\cdots
τ ( A n ) < + ∞ , n = 1 , 2 , ⋯ ,则对任意的
ε
>
0
\varepsilon>0
ε > 0 ,对任意的
n
=
1
,
2
,
⋯
n=1,2,\cdots
n = 1 , 2 , ⋯ ,存在
B
k
(
n
)
∈
R
,
k
=
1
,
2
,
3
,
⋯
B_k^{(n)}\in\mathscr{R},k=1,2,3,\cdots
B k ( n ) ∈ R , k = 1 , 2 , 3 , ⋯ ,满足
A
n
⊂
⋃
k
=
1
∞
B
k
(
n
)
τ
(
A
n
)
>
∑
k
=
1
∞
μ
(
B
k
(
n
)
)
−
ε
2
n
A_n\subset\bigcup_{k=1}^\infty B_k^{(n)}\\ \tau(A_n)>\sum_{k=1}^\infty\mu(B_k^{(n)})-\frac{\varepsilon}{2^n}
A n ⊂ k = 1 ⋃ ∞ B k ( n ) τ ( A n ) > k = 1 ∑ ∞ μ ( B k ( n ) ) − 2 n ε 则
A
⊂
⋃
n
=
1
∞
⋃
k
=
1
∞
B
k
(
n
)
\displaystyle A\subset\bigcup_{n=1}^\infty\bigcup_{k=1}^\infty B_k^{(n)}
A ⊂ n = 1 ⋃ ∞ k = 1 ⋃ ∞ B k ( n ) ,于是
τ
(
A
)
≤
∑
n
=
1
∞
∑
k
=
1
∞
μ
(
B
k
(
n
)
)
≤
∑
n
=
1
∞
τ
(
A
n
)
+
ε
\tau(A)\le \sum_{n=1}^\infty\sum_{k=1}^\infty\mu(B_k^{(n)})\le \sum_{n=1}^\infty\tau(A_n)+\varepsilon
τ ( A ) ≤ n = 1 ∑ ∞ k = 1 ∑ ∞ μ ( B k ( n ) ) ≤ n = 1 ∑ ∞ τ ( A n ) + ε 由
ε
\varepsilon
ε 的任意性即可得到次可加性
外测度是否一定是测度呢?如果是这样,我们直接就得到一个
P
(
X
)
P(X)
P ( X ) 上的测度,岂不美哉?然而,大多数情况下,外测度不是测度,以下例子就可以说明问题。
例2.1 定义
{
a
,
b
,
c
}
\{a,b,c\}
{ a , b , c } 的一个非负集函数如下
τ
(
∅
)
=
0
,
τ
{
a
}
=
τ
{
b
}
=
τ
{
c
}
=
1
τ
{
a
,
b
}
=
τ
{
a
,
c
}
=
τ
{
b
,
c
}
=
1.5
,
τ
{
a
,
b
,
c
}
=
2
\tau(\emptyset)=0,\tau\{a\}=\tau\{b\}=\tau\{c\}=1\\\tau\{a,b\}=\tau\{a,c\}=\tau\{b,c\}=1.5,\tau\{a,b,c\}=2
τ ( ∅ ) = 0 , τ { a } = τ { b } = τ { c } = 1 τ { a , b } = τ { a , c } = τ { b , c } = 1 . 5 , τ { a , b , c } = 2 不难验证
τ
\tau
τ 是一个外测度,但显然
τ
\tau
τ 不是测度
之所以
τ
\tau
τ 不是测度,其原因是存在部分
P
(
X
)
P(X)
P ( X ) 的子集不是可测集,这启发我们可以找一个
P
(
X
)
P(X)
P ( X ) 的子
σ
\sigma
σ 代数,其含义是全体可测集,
τ
\tau
τ 限制在这个
σ
\sigma
σ 代数上就成了一个测度
半环的测度扩张成
σ
\sigma
σ 代数的测度
Carathedory定理
Carathedory定理解决一个问题:给定
P
(
X
)
P(X)
P ( X ) 上的一个外测度,我们怎么找到
P
(
X
)
P(X)
P ( X ) 的一个子
σ
\sigma
σ 代数
F
τ
\mathscr{F}_\tau
F τ ,使得
τ
\tau
τ 限制在
F
τ
\mathscr{F}_\tau
F τ 上是测度。我们可以从Lebesgue定义Lebesgue可测集的想法说起,在定义了Lebesgue外测度之后,Lebesgue采用的是内外测度相等的办法来定义可测集,那么何谓内外测度相等呢?见下图: Jordan可测的定义方式是内接多边形的面积的上确界和外界多边形的下确界相等,然而,对很多平面点集,根本作不出内接多边形,因此,Lebesgue取一个矩体
T
T
T 包裹住
E
E
E ,拿
T
T
T 的外测度减去
T
−
E
T-E
T − E 的外测度,从直观上将,这就是
E
E
E 的内测度,可以理解成拿一个包裹
T
T
T 的一个外接多边形,减去外接
T
−
E
T-E
T − E 的部分,剩余的面积都在
E
E
E 内,以此定义内测度,那么内外测度相等就应当为
τ
(
T
)
−
τ
(
T
−
E
)
=
τ
(
T
∩
E
)
\tau(T)-\tau(T-E)=\tau(T\cap E)
τ ( T ) − τ ( T − E ) = τ ( T ∩ E )
T
T
T 称为测试集,此外,该条件是否满足应当与
T
T
T 的选取无关,否则选择一部分测试\ta集
E
E
E 可测,选择另一部分
E
E
E 不可测,那我们也没有充分的理由认为
E
E
E 可测,总结起来,我们可以给出如下条件
τ
(
T
)
=
τ
(
T
−
E
)
+
τ
(
T
∩
E
)
∀
T
⊂
X
\tau(T)=\tau(T-E)+\tau(T\cap E)\quad\forall T\subset X
τ ( T ) = τ ( T − E ) + τ ( T ∩ E ) ∀ T ⊂ X 我们称该条件为Caratheodory条件,满足Caratheodory条件的全体集合记为
F
τ
\mathscr{F}_\tau
F τ ,其中的集合称为
τ
\tau
τ 可测集。
定理2.4(Caratheodory定理)
τ
\tau
τ 是
X
X
X 上的外测度,则
F
τ
\mathscr{F}_\tau
F τ 是
X
X
X 的一个
σ
\sigma
σ 代数,
τ
\tau
τ 是
F
τ
\mathscr{F}_\tau
F τ 上的测度
实际上我们要证明两点,第一,
F
τ
\mathscr{F}_\tau
F τ 是
σ
\sigma
σ 代数,第二,
τ
\tau
τ 是
F
τ
\mathscr{F}_\tau
F τ 上的测度:
证: ①
A
∈
F
τ
A\in\mathscr{F}_\tau
A ∈ F τ ,
A
c
∈
F
τ
A^c\in\mathscr{F}_\tau
A c ∈ F τ 是显然的 ②
A
∈
F
τ
,
B
∈
F
τ
A\in\mathscr{F}_\tau,B\in\mathscr{F}_\tau
A ∈ F τ , B ∈ F τ ,有
A
∩
B
∈
F
τ
A\cap B\in\mathscr{F}_\tau
A ∩ B ∈ F τ 对任意的
T
⊂
X
T\subset X
T ⊂ X ,就有
τ
(
T
)
=
τ
(
T
∩
A
)
+
τ
(
T
∩
A
c
)
=
τ
(
T
∩
A
∩
B
)
+
τ
(
T
∩
A
∩
B
c
)
+
τ
(
T
∩
A
c
)
\begin{aligned} \tau(T)=&\tau(T\cap A)+\tau(T\cap A^c)\\ =&\tau(T\cap A\cap B)+\tau(T\cap A\cap B^c)+\tau(T\cap A^c) \end{aligned}
τ ( T ) = = τ ( T ∩ A ) + τ ( T ∩ A c ) τ ( T ∩ A ∩ B ) + τ ( T ∩ A ∩ B c ) + τ ( T ∩ A c ) 由次可加性,就有
τ
(
T
∩
(
A
∩
B
)
c
)
≤
τ
(
T
∩
A
∩
B
c
)
+
τ
(
T
∩
A
c
)
\tau(T\cap(A\cap B)^c)\le \tau(T\cap A\cap B^c)+\tau(T\cap A^c)
τ ( T ∩ ( A ∩ B ) c ) ≤ τ ( T ∩ A ∩ B c ) + τ ( T ∩ A c ) 因此
τ
(
T
)
=
τ
(
T
∩
A
∩
B
)
+
τ
(
T
∩
A
∩
B
c
)
+
τ
(
T
∩
A
c
)
≥
τ
(
T
∩
A
∩
B
)
+
τ
(
T
∩
(
A
∩
B
)
c
)
\begin{aligned} \tau(T)=&\tau(T\cap A\cap B)+\tau(T\cap A\cap B^c)+\tau(T\cap A^c)\\\ge& \tau(T\cap A\cap B)+\tau(T\cap(A\cap B)^c) \end{aligned}
τ ( T ) = ≥ τ ( T ∩ A ∩ B ) + τ ( T ∩ A ∩ B c ) + τ ( T ∩ A c ) τ ( T ∩ A ∩ B ) + τ ( T ∩ ( A ∩ B ) c ) 由次可加性
τ
(
T
∩
A
∩
B
)
+
τ
(
T
∩
(
A
∩
B
)
c
)
≥
τ
(
T
)
\tau(T\cap A\cap B)+\tau(T\cap(A\cap B)^c)\ge \tau(T)
τ ( T ∩ A ∩ B ) + τ ( T ∩ ( A ∩ B ) c ) ≥ τ ( T ) 综上
τ
(
T
∩
A
∩
B
)
+
τ
(
T
∩
(
A
∩
B
)
c
)
=
τ
(
T
)
\tau(T\cap A\cap B)+\tau(T\cap(A\cap B)^c)= \tau(T)
τ ( T ∩ A ∩ B ) + τ ( T ∩ ( A ∩ B ) c ) = τ ( T ) 故
A
∩
B
∈
F
τ
A\cap B\in\mathscr{F}_\tau
A ∩ B ∈ F τ ③容易验证
X
X
X 满足Caratheodory条件,故
X
∈
F
τ
X\in\mathscr{F}_\tau
X ∈ F τ ,综上,
F
τ
\mathscr{F}_\tau
F τ 是一个代数 ④对任意的
T
⊂
X
T\subset X
T ⊂ X ,对
A
1
,
⋯
,
A
n
A_1,\cdots,A_n
A 1 , ⋯ , A n 是两两不交的
τ
\tau
τ 可测集,则成立
τ
(
T
∩
(
⋃
k
=
1
n
A
k
)
)
=
∑
k
=
1
n
τ
(
T
∩
A
k
)
\tau(T\cap(\bigcup_{k=1}^n A_k))=\sum_{k=1}^n\tau(T\cap A_k)
τ ( T ∩ ( k = 1 ⋃ n A k ) ) = k = 1 ∑ n τ ( T ∩ A k ) 实际上,由于
A
1
A_1
A 1 是
τ
\tau
τ 可测集,以
T
∩
(
⋃
k
=
1
n
A
k
)
T\cap(\bigcup_{k=1}^n A_k)
T ∩ ( ⋃ k = 1 n A k ) 为测试集,由Caratheodory条件
τ
(
T
∩
(
⋃
k
=
1
n
A
k
)
)
=
τ
(
T
∩
(
⋃
k
=
1
n
A
k
)
∩
A
1
)
+
τ
(
T
∩
(
⋃
k
=
1
n
A
k
)
∩
A
1
c
)
=
τ
(
T
∩
A
1
)
+
τ
(
T
∩
(
⋃
k
=
2
n
A
k
)
)
\begin{aligned} \tau(T\cap(\bigcup_{k=1}^n A_k))=&\tau(T\cap(\bigcup_{k=1}^n A_k)\cap A_1)+\tau(T\cap(\bigcup_{k=1}^n A_k)\cap A_1^c)\\ =&\tau(T\cap A_1)+\tau(T\cap(\bigcup_{k=2}^n A_k)) \end{aligned}
τ ( T ∩ ( k = 1 ⋃ n A k ) ) = = τ ( T ∩ ( k = 1 ⋃ n A k ) ∩ A 1 ) + τ ( T ∩ ( k = 1 ⋃ n A k ) ∩ A 1 c ) τ ( T ∩ A 1 ) + τ ( T ∩ ( k = 2 ⋃ n A k ) ) 由归纳法不难证明此结论,令
T
=
X
T=X
T = X 就可以得出
τ
\tau
τ 在
F
τ
\mathscr{F}_\tau
F τ 上满足有限可加性的结论 ⑤假设
A
1
,
A
2
,
⋯
,
A
n
,
⋯
A_1,A_2,\cdots,A_n,\cdots
A 1 , A 2 , ⋯ , A n , ⋯ 是一列两两不交的
τ
\tau
τ 可测集,对任意的
T
⊂
X
T\subset X
T ⊂ X ,则由
τ
\tau
τ 的单调性
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
≥
τ
(
T
∩
⋃
k
=
1
n
A
k
)
=
∑
k
=
1
n
τ
(
T
∩
A
k
)
\tau(T\cap\bigcup_{n=1}^\infty A_n)\ge\tau(T\cap \bigcup_{k=1}^nA_k)=\sum_{k=1}^n\tau(T\cap A_k)
τ ( T ∩ n = 1 ⋃ ∞ A n ) ≥ τ ( T ∩ k = 1 ⋃ n A k ) = k = 1 ∑ n τ ( T ∩ A k ) 令
n
→
∞
n\to\infty
n → ∞ ,就有
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
≥
∑
n
=
1
∞
τ
(
T
∩
A
n
)
\tau(T\cap\bigcup_{n=1}^\infty A_n)\ge\sum_{n=1}^\infty\tau(T\cap A_n)
τ ( T ∩ n = 1 ⋃ ∞ A n ) ≥ n = 1 ∑ ∞ τ ( T ∩ A n ) 而由次可加性
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
≤
∑
n
=
1
∞
τ
(
T
∩
A
n
)
\tau(T\cap\bigcup_{n=1}^\infty A_n)\le\sum_{n=1}^\infty\tau(T\cap A_n)
τ ( T ∩ n = 1 ⋃ ∞ A n ) ≤ n = 1 ∑ ∞ τ ( T ∩ A n ) 综上
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
=
∑
n
=
1
∞
τ
(
T
∩
A
n
)
\tau(T\cap\bigcup_{n=1}^\infty A_n)=\sum_{n=1}^\infty\tau(T\cap A_n)
τ ( T ∩ n = 1 ⋃ ∞ A n ) = n = 1 ∑ ∞ τ ( T ∩ A n ) 而对
n
=
1
,
2
,
⋯
n=1,2,\cdots
n = 1 , 2 , ⋯ ,有
τ
(
T
)
=
τ
(
T
∩
⋃
k
=
1
n
A
k
)
+
τ
(
T
∩
⋂
k
=
1
n
A
k
c
)
≥
∑
k
=
1
n
τ
(
T
∩
A
k
)
+
τ
(
T
∩
⋂
n
=
1
∞
A
n
c
)
\begin{aligned} \tau(T)=&\tau(T\cap\bigcup_{k=1}^n A_k)+\tau(T\cap \bigcap_{k=1}^n A_k^c)\\ \ge &\sum_{k=1}^n\tau(T\cap A_k)+\tau(T\cap\bigcap_{n=1}^\infty A_n^c) \end{aligned}
τ ( T ) = ≥ τ ( T ∩ k = 1 ⋃ n A k ) + τ ( T ∩ k = 1 ⋂ n A k c ) k = 1 ∑ n τ ( T ∩ A k ) + τ ( T ∩ n = 1 ⋂ ∞ A n c ) 令
n
→
∞
n\to\infty
n → ∞ ,就得到
∑
n
=
1
∞
τ
(
T
∩
A
n
)
+
τ
(
T
∩
⋂
n
=
1
∞
A
n
c
)
=
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
+
τ
(
T
∩
⋂
n
=
1
∞
A
n
c
)
≤
τ
(
T
)
\begin{aligned} \sum_{n=1}^\infty\tau(T\cap A_n)+\tau(T\cap\bigcap_{n=1}^\infty A_n^c)=\tau(T\cap\bigcup_{n=1}^\infty A_n)+\tau(T\cap\bigcap_{n=1}^\infty A_n^c)\le \tau(T) \end{aligned}
n = 1 ∑ ∞ τ ( T ∩ A n ) + τ ( T ∩ n = 1 ⋂ ∞ A n c ) = τ ( T ∩ n = 1 ⋃ ∞ A n ) + τ ( T ∩ n = 1 ⋂ ∞ A n c ) ≤ τ ( T ) 由次可加性
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
+
τ
(
T
∩
⋂
n
=
1
∞
A
n
c
)
≥
τ
(
T
)
\tau(T\cap\bigcup_{n=1}^\infty A_n)+\tau(T\cap\bigcap_{n=1}^\infty A_n^c)\ge\tau(T)
τ ( T ∩ n = 1 ⋃ ∞ A n ) + τ ( T ∩ n = 1 ⋂ ∞ A n c ) ≥ τ ( T ) 综上
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
+
τ
(
T
∩
⋂
n
=
1
∞
A
n
c
)
=
τ
(
T
)
\tau(T\cap\bigcup_{n=1}^\infty A_n)+\tau(T\cap\bigcap_{n=1}^\infty A_n^c)=\tau(T)
τ ( T ∩ n = 1 ⋃ ∞ A n ) + τ ( T ∩ n = 1 ⋂ ∞ A n c ) = τ ( T ) 从而
⋃
n
=
1
∞
A
n
∈
F
τ
\displaystyle\bigcup_{n=1}^\infty A_n\in\mathscr{F}_\tau
n = 1 ⋃ ∞ A n ∈ F τ ,并且我们证得了对任意的
T
⊂
X
T\subset X
T ⊂ X ,成立
τ
(
T
∩
⋃
n
=
1
∞
A
n
)
=
∑
n
=
1
∞
τ
(
T
∩
A
n
)
\tau(T\cap\bigcup_{n=1}^\infty A_n)=\sum_{n=1}^\infty\tau(T\cap A_n)
τ ( T ∩ n = 1 ⋃ ∞ A n ) = n = 1 ∑ ∞ τ ( T ∩ A n ) 令
T
=
X
T=X
T = X 即可证得可列可加性 ⑥对于任意的一列
τ
\tau
τ 可测集
A
1
,
A
2
,
⋯
,
A
n
,
⋯
A_1,A_2,\cdots,A_n,\cdots
A 1 , A 2 , ⋯ , A n , ⋯ ,令
B
1
=
A
1
B
n
=
A
n
−
⋃
k
=
1
n
−
1
A
k
B_1=A_1\\ B_n=A_n-\bigcup_{k=1}^{n-1}A_k
B 1 = A 1 B n = A n − k = 1 ⋃ n − 1 A k 则由于
F
τ
\mathscr{F}_\tau
F τ 是代数,
B
1
,
B
2
,
⋯
,
B
n
,
⋯
B_1,B_2,\cdots,B_n,\cdots
B 1 , B 2 , ⋯ , B n , ⋯ 是一列两两不交的
τ
\tau
τ 可测集,并且
⋃
n
=
1
∞
A
n
=
⋃
n
=
1
∞
B
n
\bigcup_{n=1}^\infty A_n=\bigcup_{n=1}^\infty B_n
n = 1 ⋃ ∞ A n = n = 1 ⋃ ∞ B n 故
⋃
n
=
1
∞
A
n
∈
F
τ
\displaystyle\bigcup_{n=1}^\infty A_n\in\mathscr{F}_\tau
n = 1 ⋃ ∞ A n ∈ F τ ,这就证得了
F
τ
\mathscr{F}_\tau
F τ 是
σ
\sigma
σ 代数,并且由⑤,
τ
\tau
τ 是
F
τ
\mathscr{F}_\tau
F τ 上的测度
我们通常有半环
R
\mathscr{R}
R 上的一个测度
μ
\mu
μ ,尤其生成外测度
τ
\tau
τ ,将
τ
\tau
τ 限制在
F
τ
\mathscr{F}_\tau
F τ 上,就得到一个测度空间
(
X
,
F
τ
,
τ
)
(X,\mathscr{F}_\tau,\tau)
( X , F τ , τ ) ,下面的问题是:
τ
\tau
τ 是否是
μ
\mu
μ 的扩张,所谓扩张,即满足 ①
R
⊂
F
τ
\mathscr{R}\subset\mathscr{F}_\tau
R ⊂ F τ ②
τ
(
A
)
=
μ
(
A
)
∀
A
∈
R
\tau(A)=\mu(A)\quad\forall A\in\mathscr{R}
τ ( A ) = μ ( A ) ∀ A ∈ R 下面我们将证明,只要是半环上测度生成的外测度,一定满足以上两个条件。
定理2.5
μ
\mu
μ 是半环
R
\mathscr{R}
R 上的测度,
τ
\tau
τ 是
μ
\mu
μ 生成的外测度,则 (1)
R
⊂
F
τ
\mathscr{R}\subset\mathscr{F}_\tau
R ⊂ F τ (2)
τ
(
A
)
=
μ
(
A
)
∀
A
∈
R
\tau(A)=\mu(A)\quad\forall A\in\mathscr{R}
τ ( A ) = μ ( A ) ∀ A ∈ R
证: ① 我们先证明
R
⊂
F
τ
\mathscr{R}\subset\mathscr{F}_\tau
R ⊂ F τ ,对任意的
A
∈
R
A\in\mathscr{R}
A ∈ R ,对任意的
T
⊂
X
T\subset X
T ⊂ X ,如果
τ
(
T
)
=
+
∞
\tau(T)=+\infty
τ ( T ) = + ∞ ,那么,由次可加性
τ
(
T
∩
A
)
+
τ
(
T
∩
A
c
)
≥
τ
(
T
)
=
+
∞
\tau(T\cap A)+\tau(T\cap A^c)\ge \tau(T)=+\infty
τ ( T ∩ A ) + τ ( T ∩ A c ) ≥ τ ( T ) = + ∞ 自然成立
τ
(
T
∩
A
)
+
τ
(
T
∩
A
c
)
=
τ
(
T
)
\tau(T\cap A)+\tau(T\cap A^c)=\tau(T)
τ ( T ∩ A ) + τ ( T ∩ A c ) = τ ( T ) 如果
τ
(
T
)
<
+
∞
\tau(T)<+\infty
τ ( T ) < + ∞ ,对任意的
ε
>
0
\varepsilon>0
ε > 0 ,存在
B
n
∈
R
,
n
=
1
,
2
,
⋯
B_n\in\mathscr{R},n=1,2,\cdots
B n ∈ R , n = 1 , 2 , ⋯ ,
A
⊂
⋃
n
=
1
∞
B
n
\displaystyle A\subset \bigcup_{n=1}^\infty B_n
A ⊂ n = 1 ⋃ ∞ B n ,
τ
(
T
)
>
∑
n
=
1
∞
μ
(
B
n
)
−
ε
\displaystyle \tau(T)>\sum_{n=1}^\infty\mu(B_n)-\varepsilon
τ ( T ) > n = 1 ∑ ∞ μ ( B n ) − ε ,因此
∑
n
=
1
∞
μ
(
B
n
)
=
∑
n
=
1
∞
μ
(
B
n
∩
A
)
+
∑
n
=
1
∞
μ
(
B
n
∩
A
c
)
≥
τ
(
A
∩
T
)
+
τ
(
T
∩
A
c
)
\sum_{n=1}^\infty\mu(B_n)=\sum_{n=1}^\infty\mu(B_n\cap A)+\sum_{n=1}^\infty\mu(B_n\cap A^c)\ge \tau(A\cap T)+\tau(T\cap A^c)
n = 1 ∑ ∞ μ ( B n ) = n = 1 ∑ ∞ μ ( B n ∩ A ) + n = 1 ∑ ∞ μ ( B n ∩ A c ) ≥ τ ( A ∩ T ) + τ ( T ∩ A c ) 从而得到
τ
(
T
∩
A
)
+
τ
(
T
∩
A
c
)
<
τ
(
T
)
+
ε
\tau(T\cap A)+\tau(T\cap A^c)<\tau(T)+\varepsilon
τ ( T ∩ A ) + τ ( T ∩ A c ) < τ ( T ) + ε 由
ε
\varepsilon
ε 的任意性,就有
τ
(
T
∩
A
)
+
τ
(
T
∩
A
c
)
≤
τ
(
T
)
\tau(T\cap A)+\tau(T\cap A^c)\le\tau(T)
τ ( T ∩ A ) + τ ( T ∩ A c ) ≤ τ ( T ) 由次可加性
τ
(
T
∩
A
)
+
τ
(
T
∩
A
c
)
≥
τ
(
T
)
\tau(T\cap A)+\tau(T\cap A^c)\ge\tau(T)
τ ( T ∩ A ) + τ ( T ∩ A c ) ≥ τ ( T ) 故
τ
(
T
∩
A
)
+
τ
(
T
∩
A
c
)
=
τ
(
T
)
\tau(T\cap A)+\tau(T\cap A^c)=\tau(T)
τ ( T ∩ A ) + τ ( T ∩ A c ) = τ ( T ) 因此
A
∈
F
τ
A\in\mathscr{F}_\tau
A ∈ F τ ②证明
τ
(
A
)
=
μ
(
A
)
\tau(A)=\mu(A)
τ ( A ) = μ ( A ) ,实际上,
A
⊂
A
∪
∅
∪
∅
⋯
A\subset A\cup \emptyset\cup\emptyset\cdots
A ⊂ A ∪ ∅ ∪ ∅ ⋯ ,则
τ
(
A
)
≤
μ
(
A
)
\tau(A)\le \mu(A)
τ ( A ) ≤ μ ( A ) 而对任意的
B
n
∈
R
,
n
=
1
,
2
,
⋯
,
A
⊂
⋃
n
=
1
∞
B
n
B_n\in\mathscr{R},n=1,2,\cdots,A\subset\bigcup_{n=1}^\infty B_n
B n ∈ R , n = 1 , 2 , ⋯ , A ⊂ ⋃ n = 1 ∞ B n ,由次可加性
μ
(
A
)
≤
∑
n
=
1
∞
μ
(
B
n
)
\mu(A)\le \sum_{n=1}^\infty\mu(B_n)
μ ( A ) ≤ n = 1 ∑ ∞ μ ( B n ) 由生成外测度的定义
τ
(
A
)
≥
μ
(
A
)
\tau(A)\ge \mu(A)
τ ( A ) ≥ μ ( A ) 综上
τ
(
A
)
=
μ
(
A
)
\tau(A)=\mu(A)
τ ( A ) = μ ( A )
综合上述定理,有半环
R
\mathscr{R}
R 上的一个测度
μ
\mu
μ ,尤其生成外测度
τ
\tau
τ ,
τ
\tau
τ 就是
μ
\mu
μ 在
F
τ
\mathscr{F}_\tau
F τ 上的扩张。
测度扩张的唯一性定理
有半环
R
\mathscr{R}
R 上的一个测度
μ
\mu
μ ,尤其生成外测度
τ
\tau
τ ,显然
σ
(
R
)
⊂
F
τ
\sigma(\mathscr{R})\subset \mathscr{F}_\tau
σ ( R ) ⊂ F τ ,我们通常只需要将
μ
\mu
μ 扩张到
σ
(
R
)
\sigma(\mathscr{R})
σ ( R ) 即可,假设
v
v
v 是
σ
(
R
)
\sigma(\mathscr{R})
σ ( R ) 上的另一个测度,并且
τ
(
A
)
=
μ
(
A
)
=
v
(
A
)
,
∀
A
∈
R
\tau(A)=\mu(A)=v(A),\forall A\in\mathscr{R}
τ ( A ) = μ ( A ) = v ( A ) , ∀ A ∈ R ,是否成立
τ
(
A
)
=
v
(
A
)
∀
A
∈
σ
(
R
)
\tau(A)=v(A)\quad\forall A\in\sigma(\mathscr{R})
τ ( A ) = v ( A ) ∀ A ∈ σ ( R ) 也就是说,是否存在其他的测度扩张的方式呢?下面我们将证明:如果
μ
\mu
μ 是
σ
\sigma
σ 有限的,那么测度扩张的方式是唯一的,无论如何扩张,最后得到的一定是外测度在
σ
(
R
)
\sigma(\mathscr{R})
σ ( R ) 上的限制
定理2.6(测度扩张的唯一性定理)
P
\mathscr{P}
P 是
X
X
X 上的
π
\pi
π 系,
μ
\mu
μ 是
P
\mathscr{P}
P 上的测度,并且满足:存在
B
n
∈
P
,
μ
(
B
n
)
<
+
∞
,
n
=
1
,
2
,
⋯
B_n\in\mathscr{P},\mu(B_n)<+\infty,n=1,2,\cdots
B n ∈ P , μ ( B n ) < + ∞ , n = 1 , 2 , ⋯ ,
B
1
,
B
2
,
⋯
,
B
n
,
⋯
B_1,B_2,\cdots,B_n,\cdots
B 1 , B 2 , ⋯ , B n , ⋯ 两两不交,
X
=
⋃
n
=
1
∞
B
n
\displaystyle X=\bigcup_{n=1}^\infty B_n
X = n = 1 ⋃ ∞ B n ,
τ
,
v
\tau,v
τ , v 是
σ
(
P
)
\sigma(\mathscr{P})
σ ( P ) 上的测度,满足:
τ
(
A
)
=
v
(
A
)
=
μ
(
A
)
∀
A
∈
P
\tau(A)=v(A)=\mu(A)\quad\forall A\in\mathscr{P}
τ ( A ) = v ( A ) = μ ( A ) ∀ A ∈ P 则
τ
(
A
)
=
v
(
A
)
∀
A
∈
σ
(
P
)
\tau(A)=v(A)\quad\forall A\in\sigma(\mathscr{P})
τ ( A ) = v ( A ) ∀ A ∈ σ ( P )
证:
∀
B
∈
P
,
μ
(
B
)
<
+
∞
\forall B\in\mathscr{P},\mu(B)<+\infty
∀ B ∈ P , μ ( B ) < + ∞ ,定义
S
(
B
)
=
{
A
∈
σ
(
P
)
:
τ
(
A
∩
B
)
=
v
(
A
∩
B
)
}
\mathscr{S}(B)=\{A\in\sigma(\mathscr{P}):\tau(A\cap B)=v(A\cap B)\}
S ( B ) = { A ∈ σ ( P ) : τ ( A ∩ B ) = v ( A ∩ B ) } 显然
R
⊂
S
(
B
)
\mathscr{R}\subset\mathscr{S}(B)
R ⊂ S ( B ) ,并且不难验证
S
(
B
)
\mathscr{S}(B)
S ( B ) 是一个
π
\pi
π 系,从而
σ
(
P
)
=
S
(
B
)
\sigma(\mathscr{P})=\mathscr{S}(B)
σ ( P ) = S ( B ) ,取
B
n
∈
P
,
μ
(
B
n
)
<
+
∞
,
n
=
1
,
2
,
⋯
B_n\in\mathscr{P},\mu(B_n)<+\infty,n=1,2,\cdots
B n ∈ P , μ ( B n ) < + ∞ , n = 1 , 2 , ⋯ ,
B
1
,
B
2
,
⋯
,
B
n
,
⋯
B_1,B_2,\cdots,B_n,\cdots
B 1 , B 2 , ⋯ , B n , ⋯ 两两不交,
X
=
⋃
n
=
1
∞
B
n
\displaystyle X=\bigcup_{n=1}^\infty B_n
X = n = 1 ⋃ ∞ B n ,对任意的
A
∈
σ
(
P
)
A\in\sigma(\mathscr{P})
A ∈ σ ( P ) ,有
τ
(
A
∩
B
n
)
=
v
(
A
∩
B
n
)
n
=
1
,
2
,
⋯
\tau(A\cap B_n)=v(A\cap B_n)\quad n=1,2,\cdots
τ ( A ∩ B n ) = v ( A ∩ B n ) n = 1 , 2 , ⋯ 由可列可加性
τ
(
A
)
=
∑
n
=
1
∞
τ
(
A
∩
B
n
)
=
∑
n
=
1
∞
v
(
A
∩
B
n
)
=
v
(
A
)
\tau(A)=\sum_{n=1}^\infty\tau(A\cap B_n)=\sum_{n=1}^\infty v(A\cap B_n)= v(A)
τ ( A ) = n = 1 ∑ ∞ τ ( A ∩ B n ) = n = 1 ∑ ∞ v ( A ∩ B n ) = v ( A ) 这就证得了结论
不难证明以下引理
引理2.1
μ
\mu
μ 是半环
R
\mathscr{R}
R 上的测度,
μ
\mu
μ 是
σ
\sigma
σ 有限的当且仅当存在
B
n
∈
R
,
μ
(
B
n
)
<
+
∞
,
n
=
1
,
2
,
⋯
B_n\in\mathscr{R},\mu(B_n)<+\infty,n=1,2,\cdots
B n ∈ R , μ ( B n ) < + ∞ , n = 1 , 2 , ⋯ ,
B
1
,
B
2
,
⋯
,
B
n
,
⋯
B_1,B_2,\cdots,B_n,\cdots
B 1 , B 2 , ⋯ , B n , ⋯ 两两不交,
X
=
⋃
n
=
1
∞
B
n
\displaystyle X=\bigcup_{n=1}^\infty B_n
X = n = 1 ⋃ ∞ B n
推论2.1
μ
\mu
μ 是半环
R
\mathscr{R}
R 上
σ
\sigma
σ 有限的测度,
τ
\tau
τ 是
μ
\mu
μ 诱导产生的外测度,
v
v
v 是
σ
(
R
)
\sigma(\mathscr{R})
σ ( R ) 上的测度,满足
μ
(
A
)
=
v
(
A
)
A
∈
R
\mu(A)=v(A)\quad A\in\mathscr{R}
μ ( A ) = v ( A ) A ∈ R 则
v
(
A
)
=
τ
(
A
)
A
∈
σ
(
R
)
v(A)=\tau(A)\quad A\in\sigma(\mathscr{R})
v ( A ) = τ ( A ) A ∈ σ ( R )
这结合引理2.1和测度扩张的唯一性定理可以直接得出 以上推论中
σ
\sigma
σ 有限的条件必不可少,如以下例子:
例2.2
R
=
{
(
a
,
b
]
∩
Q
:
a
≤
b
,
a
∈
R
,
b
∈
R
}
\mathscr{R}=\{(a,b]\cap Q:a\le b,a\in R,b\in R\}
R = { ( a , b ] ∩ Q : a ≤ b , a ∈ R , b ∈ R } 是一个半环,定义
μ
[
(
a
,
b
]
∩
Q
]
=
{
+
∞
a
<
b
0
a
=
b
\mu[(a,b]\cap Q]=\begin{cases} +\infty&a<b\\ 0&a=b \end{cases}
μ [ ( a , b ] ∩ Q ] = { + ∞ 0 a < b a = b 则记
#
(
A
)
\#(A)
# ( A ) 为
A
A
A 中元素的个数,对任意的
a
>
0
a>0
a > 0 ,定义
λ
(
A
)
=
a
#
(
A
)
∀
A
⊂
R
\lambda(A)=a\#(A)\quad \forall A\subset R
λ ( A ) = a # ( A ) ∀ A ⊂ R 则
λ
(
A
)
\lambda(A)
λ ( A ) 是
μ
\mu
μ 在
σ
(
R
)
\sigma(\mathscr{R})
σ ( R ) 上的扩张,但这样的可测有无穷多个
F
τ
\mathscr{F}_\tau
F τ 上的测度和
σ
(
R
)
\sigma(\mathscr{R})
σ ( R ) 上的测度的关系
定理2.7
μ
\mu
μ 是半环
R
\mathscr{R}
R 上的测度,
τ
\tau
τ 是
μ
\mu
μ 生成的外测度,则对任意的
A
⊂
X
A\subset X
A ⊂ X ,存在
B
∈
σ
(
R
)
B\in\sigma(\mathscr{R})
B ∈ σ ( R ) ,
A
⊂
B
A\subset B
A ⊂ B ,
τ
(
A
)
=
τ
(
B
)
\tau(A)=\tau(B)
τ ( A ) = τ ( B )
证: ①如果
τ
(
A
)
=
+
∞
\tau(A)=+\infty
τ ( A ) = + ∞ ,那么取
B
=
X
B=X
B = X 即可 ②如果
τ
(
A
)
<
+
∞
\tau(A)<+\infty
τ ( A ) < + ∞ ,对
k
≥
1
k\ge 1
k ≥ 1 ,存在
B
n
(
k
)
∈
R
B_{n}^{(k)}\in\mathscr{R}
B n ( k ) ∈ R ,
n
=
1
,
2
,
⋯
n=1,2,\cdots
n = 1 , 2 , ⋯ ,
A
⊂
⋃
n
=
1
∞
B
n
(
k
)
\displaystyle A\subset\bigcup_{n=1}^\infty B_n^{(k)}
A ⊂ n = 1 ⋃ ∞ B n ( k ) ,满足
τ
(
⋃
n
=
1
∞
B
n
(
k
)
)
≤
∑
n
=
1
∞
τ
(
B
n
(
k
)
)
=
∑
n
=
1
∞
μ
(
B
n
(
k
)
)
<
τ
(
A
)
+
1
k
\tau(\bigcup_{n=1}^\infty B_n^{(k)})\le\sum_{n=1}^\infty\tau(B_n^{(k)})=\sum_{n=1}^\infty\mu(B_n^{(k)})<\tau(A)+\frac{1}{k}
τ ( n = 1 ⋃ ∞ B n ( k ) ) ≤ n = 1 ∑ ∞ τ ( B n ( k ) ) = n = 1 ∑ ∞ μ ( B n ( k ) ) < τ ( A ) + k 1 令
C
k
=
⋃
n
=
1
∞
B
n
(
k
)
\displaystyle C_k=\bigcup_{n=1}^\infty B_n^{(k)}
C k = n = 1 ⋃ ∞ B n ( k ) ,
C
=
⋂
k
=
1
∞
C
k
∈
σ
(
R
)
\displaystyle C=\bigcap_{k=1}^\infty C_k \in\sigma(\mathscr{R})
C = k = 1 ⋂ ∞ C k ∈ σ ( R ) ,由构造,有
A
⊂
C
k
,
k
=
1
,
2
,
⋯
A\subset C_k,k=1,2,\cdots
A ⊂ C k , k = 1 , 2 , ⋯ ,故
A
⊂
C
A\subset C
A ⊂ C ,由单调性
τ
(
A
)
≤
τ
(
C
)
\tau(A)\le \tau(C)
τ ( A ) ≤ τ ( C ) 而对
k
≥
1
k\ge 1
k ≥ 1 ,有
τ
(
C
)
≤
τ
(
C
k
)
<
τ
(
A
)
+
1
k
\tau(C)\le \tau(C_k) <\tau(A)+\frac{1}{k}
τ ( C ) ≤ τ ( C k ) < τ ( A ) + k 1 上式令
k
→
∞
k\to\infty
k → ∞ ,就有
τ
(
C
)
≤
τ
(
A
)
\tau(C)\le \tau(A)
τ ( C ) ≤ τ ( A ) 综上
τ
(
A
)
=
τ
(
C
)
\tau(A)=\tau(C)
τ ( A ) = τ ( C )
定理2.8
μ
\mu
μ 是半环
R
\mathscr{R}
R 上的
σ
\sigma
σ 有限测度,
τ
\tau
τ 是
μ
\mu
μ 生成的外测度,则对任意的
A
∈
F
τ
A\in\mathscr{F}_\tau
A ∈ F τ ,存在
B
∈
σ
(
R
)
B\in\sigma(\mathscr{R})
B ∈ σ ( R ) ,
A
⊂
B
A\subset B
A ⊂ B ,
τ
(
B
−
A
)
=
0
\tau(B-A)=0
τ ( B − A ) = 0
证:对
A
∈
F
τ
A\in\mathscr{F}_\tau
A ∈ F τ ①当
τ
(
A
)
<
+
∞
\tau(A)<+\infty
τ ( A ) < + ∞ 时,由定理2.7,存在
B
∈
σ
(
R
)
B\in\sigma(\mathscr{R})
B ∈ σ ( R ) ,
A
⊂
B
A\subset B
A ⊂ B ,
τ
(
A
)
=
τ
(
B
)
\tau(A)=\tau(B)
τ ( A ) = τ ( B ) ,由测度的可减性
τ
(
B
−
A
)
=
τ
(
B
)
−
τ
(
A
)
=
0
\tau(B-A)=\tau(B)-\tau(A)=0
τ ( B − A ) = τ ( B ) − τ ( A ) = 0 ②如果
τ
(
A
)
=
+
∞
\tau(A)=+\infty
τ ( A ) = + ∞ ,由于
μ
\mu
μ 是
σ
\sigma
σ 有限的,存在两两不交的
{
A
n
,
n
=
1
,
2
,
⋯
}
⊂
R
\{A_n,n=1,2,\cdots\}\subset\mathscr{R}
{ A n , n = 1 , 2 , ⋯ } ⊂ R ,
X
=
⋃
n
=
1
∞
A
n
\displaystyle X=\bigcup_{n=1}^\infty A_n
X = n = 1 ⋃ ∞ A n ,
μ
(
A
n
)
<
+
∞
\mu(A_n)<+\infty
μ ( A n ) < + ∞ ,
τ
(
A
∩
A
n
)
<
+
∞
,
n
=
1
,
2
,
⋯
\tau(A\cap A_n)<+\infty,n=1,2,\cdots
τ ( A ∩ A n ) < + ∞ , n = 1 , 2 , ⋯ ,存在
B
n
∈
σ
(
R
)
B_n\in\sigma(\mathscr{R})
B n ∈ σ ( R ) ,
A
∩
A
n
⊂
B
n
A\cap A_n\subset B_n
A ∩ A n ⊂ B n ,
τ
(
B
n
−
A
∩
A
n
)
=
0
,
n
=
1
,
2
,
⋯
\tau(B_n-A\cap A_n)=0,n=1,2,\cdots
τ ( B n − A ∩ A n ) = 0 , n = 1 , 2 , ⋯ ,令
B
=
⋃
n
=
1
∞
B
n
\displaystyle B=\bigcup_{n=1}^\infty B_n
B = n = 1 ⋃ ∞ B n ,
A
⊂
B
A\subset B
A ⊂ B ,则
τ
(
B
−
A
)
≤
∑
n
=
1
∞
τ
(
B
n
−
A
)
≤
∑
n
=
1
∞
τ
(
B
n
−
A
∩
A
n
)
=
0
\tau(B-A)\le\sum_{n=1}^\infty\tau(B_n-A)\le\sum_{n=1}^\infty\tau(B_n-A\cap A_n)=0
τ ( B − A ) ≤ n = 1 ∑ ∞ τ ( B n − A ) ≤ n = 1 ∑ ∞ τ ( B n − A ∩ A n ) = 0
对于代数
R
\mathscr{R}
R ,还有如下结论:
定理2.9
μ
\mu
μ 是代数
R
\mathscr{R}
R 上的测度,
τ
\tau
τ 为
μ
\mu
μ 生成的外测度,如果
A
∈
σ
(
R
)
,
τ
(
A
)
<
+
∞
A\in\sigma(\mathscr{R}),\tau(A)<+\infty
A ∈ σ ( R ) , τ ( A ) < + ∞ ,则存在
B
∈
R
B\in\mathscr{R}
B ∈ R ,
τ
(
A
Δ
B
)
<
ε
\tau(A\Delta B)<\varepsilon
τ ( A Δ B ) < ε
证: 对任意的
ε
>
0
\varepsilon>0
ε > 0 ,存在
{
B
n
∈
R
:
n
=
1
,
2
,
⋯
}
\{B_n\in\mathscr{R}:n=1,2,\cdots\}
{ B n ∈ R : n = 1 , 2 , ⋯ } ,满足
∑
n
=
1
∞
μ
(
B
n
)
<
τ
(
A
)
+
ε
2
\sum_{n=1}^\infty\mu(B_n)<\tau(A)+\frac{\varepsilon}{2}
n = 1 ∑ ∞ μ ( B n ) < τ ( A ) + 2 ε ①对任意的
n
≥
1
n\ge 1
n ≥ 1 ,有
τ
(
⋃
k
=
1
n
B
k
−
A
)
≤
τ
(
⋃
k
=
1
∞
B
k
−
A
)
=
τ
(
⋃
k
=
1
∞
B
k
)
−
τ
(
A
)
≤
∑
k
=
1
∞
τ
(
B
k
)
−
τ
(
A
)
=
∑
k
=
1
∞
μ
(
B
k
)
−
τ
(
A
)
<
ε
2
\begin{aligned} \tau(\bigcup_{k=1}^nB_k-A)\le&\tau(\bigcup_{k=1}^\infty B_k-A)=\tau(\bigcup_{k=1}^\infty B_k)-\tau(A)\le\sum_{k=1}^\infty\tau(B_k)-\tau(A)\\ =&\sum_{k=1}^\infty\mu(B_k)-\tau(A)<\frac{\varepsilon}{2} \end{aligned}
τ ( k = 1 ⋃ n B k − A ) ≤ = τ ( k = 1 ⋃ ∞ B k − A ) = τ ( k = 1 ⋃ ∞ B k ) − τ ( A ) ≤ k = 1 ∑ ∞ τ ( B k ) − τ ( A ) k = 1 ∑ ∞ μ ( B k ) − τ ( A ) < 2 ε ②存在
N
N
N ,
n
≥
N
n\ge N
n ≥ N 时,
∑
k
=
n
+
1
∞
μ
(
B
k
)
<
ε
2
\displaystyle\sum_{k=n+1}^\infty\mu(B_k)<\frac{\varepsilon}{2}
k = n + 1 ∑ ∞ μ ( B k ) < 2 ε ,则
τ
(
A
−
⋃
k
=
1
n
B
k
)
≤
τ
(
⋃
k
=
1
∞
B
k
−
⋃
k
=
1
n
B
k
)
=
τ
(
⋃
k
=
1
∞
B
k
)
−
τ
(
⋃
k
=
1
n
B
k
)
≤
τ
(
⋃
k
=
n
+
1
∞
B
k
)
≤
∑
k
=
n
+
1
∞
τ
(
B
k
)
<
ε
2
\begin{aligned} &\tau(A-\bigcup_{k=1}^n B_k)\le \tau(\bigcup_{k=1}^\infty B_k-\bigcup_{k=1}^n B_k)=\tau(\bigcup_{k=1}^\infty B_k)-\tau(\bigcup_{k=1}^n B_k)\\ \le&\tau(\bigcup_{k=n+1}^\infty B_k)\le\sum_{k=n+1}^\infty\tau(B_k)<\frac{\varepsilon}{2} \end{aligned}
≤ τ ( A − k = 1 ⋃ n B k ) ≤ τ ( k = 1 ⋃ ∞ B k − k = 1 ⋃ n B k ) = τ ( k = 1 ⋃ ∞ B k ) − τ ( k = 1 ⋃ n B k ) τ ( k = n + 1 ⋃ ∞ B k ) ≤ k = n + 1 ∑ ∞ τ ( B k ) < 2 ε ③因此,令
B
=
⋃
k
=
1
N
B
k
\displaystyle B=\bigcup_{k=1}^N B_k
B = k = 1 ⋃ N B k
τ
(
A
Δ
B
)
=
τ
(
A
−
B
)
+
τ
(
B
−
A
)
<
ε
2
+
ε
2
=
ε
\tau(A\Delta B)=\tau(A-B)+\tau(B-A)<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon
τ ( A Δ B ) = τ ( A − B ) + τ ( B − A ) < 2 ε + 2 ε = ε
推论2.2
μ
\mu
μ 是代数
R
\mathscr{R}
R 上
σ
\sigma
σ 有限测度,
A
∈
σ
(
R
)
A\in\sigma(\mathscr{R})
A ∈ σ ( R ) ,
μ
(
A
)
<
+
∞
\mu(A)<+\infty
μ ( A ) < + ∞ ,存在
B
∈
R
B\in\mathscr{R}
B ∈ R ,
μ
(
A
Δ
B
)
<
ε
\mu(A\Delta B)<\varepsilon
μ ( A Δ B ) < ε
测度空间的完全化
对于任何的测度空间
(
X
,
F
,
μ
)
(X,\mathscr{F},\mu)
( X , F , μ ) ,都以添加一些子集进
F
\mathscr{F}
F ,使之称为完全测度空间,我们定义
F
‾
=
{
A
∪
N
:
A
∈
F
,
∃
N
′
∈
F
,
N
⊂
N
′
,
μ
(
N
′
)
=
0
}
\overline{\mathscr{F}}=\{A\cup N:A\in\mathscr{F},\exists N^\prime\in\mathscr{F},N\subset N^\prime,\mu(N^\prime)=0\}
F = { A ∪ N : A ∈ F , ∃ N ′ ∈ F , N ⊂ N ′ , μ ( N ′ ) = 0 }
我们先证明
F
‾
\overline{\mathscr{F}}
F 是
σ
\sigma
σ 代数 ①
X
=
X
∪
∅
X=X\cup\emptyset
X = X ∪ ∅ ,故
X
∈
F
‾
X\in\overline{\mathscr{F}}
X ∈ F ②
A
∈
F
,
N
⊂
X
,
∃
N
′
∈
F
,
μ
(
N
′
)
=
0
A\in\mathscr{F},N\subset X,\exists N^\prime\in\mathscr{F},\mu(N^\prime)=0
A ∈ F , N ⊂ X , ∃ N ′ ∈ F , μ ( N ′ ) = 0 ,令
B
=
A
∪
N
B=A\cup N
B = A ∪ N ,则
B
c
=
A
c
∩
N
c
=
(
A
c
∩
N
′
∩
N
c
)
∪
(
A
c
∩
N
′
c
)
B^c=A^c\cap N^c=(A^c\cap N^\prime\cap N^c)\cup (A^c\cap N^{\prime c})
B c = A c ∩ N c = ( A c ∩ N ′ ∩ N c ) ∪ ( A c ∩ N ′ c ) 则
A
c
∩
N
′
∩
N
c
⊂
N
′
,
A
c
∩
N
′
c
∈
F
A^c\cap N^\prime\cap N^c\subset N^\prime,A^c\cap N^{\prime c}\in\mathscr{F}
A c ∩ N ′ ∩ N c ⊂ N ′ , A c ∩ N ′ c ∈ F 故
B
c
∈
F
B^c\in\mathscr{F}
B c ∈ F ③设
A
n
∈
F
,
N
n
⊂
X
,
N
n
′
∈
F
,
N
n
⊂
N
n
′
,
μ
(
N
n
′
)
=
0
,
B
n
=
A
n
∪
N
n
A_n\in\mathscr{F},N_n\subset X,N_n^\prime\in\mathscr{F},N_n\subset N_n^\prime,\mu(N_n^\prime)=0,B_n=A_n\cup N_n
A n ∈ F , N n ⊂ X , N n ′ ∈ F , N n ⊂ N n ′ , μ ( N n ′ ) = 0 , B n = A n ∪ N n ,则
⋃
n
=
1
∞
N
n
⊂
⋃
n
=
1
∞
N
n
′
\displaystyle \bigcup_{n=1}^\infty N_n\subset \bigcup_{n=1}^\infty N_n^\prime
n = 1 ⋃ ∞ N n ⊂ n = 1 ⋃ ∞ N n ′ ,而令
N
=
⋃
n
=
1
∞
N
n
,
N
′
=
⋃
n
=
1
∞
N
n
′
\displaystyle N=\bigcup_{n=1}^\infty N_n,N^\prime=\bigcup_{n=1}^\infty N_n^\prime
N = n = 1 ⋃ ∞ N n , N ′ = n = 1 ⋃ ∞ N n ′ ,则
0
≤
μ
(
⋃
n
=
1
∞
N
n
′
)
≤
∑
n
=
1
∞
μ
(
N
n
′
)
=
0
0\le \mu(\bigcup_{n=1}^\infty N_n^\prime)\le\sum_{n=1}^\infty\mu(N_n^\prime)=0
0 ≤ μ ( n = 1 ⋃ ∞ N n ′ ) ≤ n = 1 ∑ ∞ μ ( N n ′ ) = 0 并且
A
=
⋃
n
=
1
∞
A
n
∈
F
\displaystyle A=\bigcup_{n=1}^\infty A_n\in \mathscr{F}
A = n = 1 ⋃ ∞ A n ∈ F ,
N
′
∈
F
N^\prime\in\mathscr{F}
N ′ ∈ F ,
N
⊂
N
′
,
μ
(
N
′
)
=
0
N\subset N^\prime,\mu(N^\prime)=0
N ⊂ N ′ , μ ( N ′ ) = 0 ,
B
=
⋃
n
=
1
∞
B
n
=
A
∪
N
B=\bigcup_{n=1}^\infty B_n =A\cup N
B = n = 1 ⋃ ∞ B n = A ∪ N 从而
B
∈
F
‾
B\in\overline{\mathscr{F}}
B ∈ F ,因此
F
‾
\overline{\mathscr{F}}
F 是一个
σ
\sigma
σ 代数
定义
μ
‾
(
A
∪
N
)
=
μ
(
A
)
\overline{\mu}(A\cup N)=\mu(A)
μ ( A ∪ N ) = μ ( A ) ,其中
A
∈
F
,
∃
N
′
∈
F
,
N
⊂
N
′
,
μ
(
N
′
)
=
0
A\in\mathscr{F},\exists N^\prime\in\mathscr{F},N\subset N^\prime,\mu(N^\prime)=0
A ∈ F , ∃ N ′ ∈ F , N ⊂ N ′ , μ ( N ′ ) = 0 ,下面证明
μ
‾
\overline{\mu}
μ 是一意的,也就是说,不会因为分解式的不同而产生的多值:
A
∪
N
=
A
′
∪
N
′
A\cup N=A^\prime \cup N^\prime
A ∪ N = A ′ ∪ N ′ ,其中
A
,
A
′
,
N
′
′
,
N
′
′
′
∈
F
,
μ
(
N
′
′
)
=
μ
(
N
′
′
′
)
=
0
A,A^\prime,N^{\prime\prime},N^{\prime\prime\prime}\in\mathscr{F},\mu(N^{\prime\prime})=\mu(N^{\prime\prime\prime})=0
A , A ′ , N ′ ′ , N ′ ′ ′ ∈ F , μ ( N ′ ′ ) = μ ( N ′ ′ ′ ) = 0 ,
N
⊂
N
′
′
,
N
′
⊂
N
′
′
N\subset N^{\prime\prime},N^\prime\subset N^{\prime\prime}
N ⊂ N ′ ′ , N ′ ⊂ N ′ ′ ,则
A
′
⊂
A
′
∪
N
′
=
A
∪
N
⊂
A
∪
N
′
′
A^\prime\subset A^\prime\cup N^\prime = A\cup N\subset A\cup N^{\prime\prime}
A ′ ⊂ A ′ ∪ N ′ = A ∪ N ⊂ A ∪ N ′ ′ ,故由次可加性
μ
(
A
′
)
≤
μ
(
A
)
+
μ
(
N
′
′
)
=
μ
(
A
)
\mu(A^\prime)\le \mu(A)+\mu(N^{\prime\prime})=\mu(A)
μ ( A ′ ) ≤ μ ( A ) + μ ( N ′ ′ ) = μ ( A ) 同理
μ
(
A
)
≤
μ
(
A
′
)
\mu(A)\le \mu(A^{\prime})
μ ( A ) ≤ μ ( A ′ ) ,故
μ
(
A
)
=
μ
(
A
′
)
\mu(A)=\mu(A^\prime)
μ ( A ) = μ ( A ′ )
证明
μ
‾
\overline{\mu}
μ 是
F
‾
\overline{\mathscr{F}}
F 上的完全测度,首先由测度的定义容易验证
μ
‾
\overline{\mu}
μ 是测度,其次,如果
μ
‾
(
A
∪
N
)
=
0
\overline{\mu}(A\cup N)=0
μ ( A ∪ N ) = 0 ,其中,
A
∈
F
,
∃
N
′
∈
F
,
N
⊂
N
′
,
μ
(
N
′
)
=
0
A\in\mathscr{F},\exists N^\prime\in\mathscr{F},N\subset N^\prime,\mu(N^\prime)=0
A ∈ F , ∃ N ′ ∈ F , N ⊂ N ′ , μ ( N ′ ) = 0 ,
N
′
′
⊂
A
∪
N
N^{\prime\prime}\subset A\cup N
N ′ ′ ⊂ A ∪ N ,则
μ
(
A
)
=
0
\mu(A)=0
μ ( A ) = 0 ,并且
N
′
′
⊂
A
∪
N
⊂
A
∪
N
′
0
≤
μ
(
A
∪
N
′
)
≤
μ
(
A
)
+
μ
(
N
′
)
=
0
N
′
′
=
∅
∪
N
′
′
N^{\prime\prime}\subset A\cup N\subset A\cup N^\prime\\ 0\le \mu(A\cup N^\prime)\le \mu(A)+\mu(N^\prime)=0\\ N^{\prime\prime}=\emptyset \cup N^{\prime\prime}
N ′ ′ ⊂ A ∪ N ⊂ A ∪ N ′ 0 ≤ μ ( A ∪ N ′ ) ≤ μ ( A ) + μ ( N ′ ) = 0 N ′ ′ = ∅ ∪ N ′ ′ 故
N
′
′
∈
F
‾
N^{\prime\prime}\in\overline{\mathscr{F}}
N ′ ′ ∈ F ,因此
μ
‾
\overline{\mu}
μ 是
F
‾
\overline{\mathscr{F}}
F 上的完全测度
实际上我们就是在
F
\mathscr{F}
F 上加入了一些集合,就得到了完全测度空间
(
X
,
F
‾
,
μ
‾
)
(X,\overline{\mathscr{F}},\overline{\mu})
( X , F , μ ) ,这个测度空间是完全的,我们称其是
(
X
,
F
,
μ
)
(X,\mathscr{F},\mu)
( X , F , μ ) 的完全化测度空间。
假设
μ
\mu
μ 是半环
R
\mathscr{R}
R 上的
σ
\sigma
σ 有限测度,
τ
\tau
τ 是其生成的外测度,下面我们证明:
(
X
,
F
τ
,
τ
)
(X,\mathscr{F}_\tau,\tau)
( X , F τ , τ ) 是
(
X
,
σ
(
R
)
,
τ
)
(X,\sigma(\mathscr{R}),\tau)
( X , σ ( R ) , τ ) 的完全化测度空间。
F
τ
⊂
σ
(
R
)
‾
\mathscr{F}_\tau \subset \overline{\sigma(\mathscr{R})}
F τ ⊂ σ ( R ) : 由于
μ
\mu
μ 是
σ
\sigma
σ 有限的,则对任意的
A
∈
F
τ
A\in\mathscr{F}_\tau
A ∈ F τ ,存在
B
∈
σ
(
R
)
B\in\sigma(\mathscr{R})
B ∈ σ ( R ) ,
A
c
⊂
B
A^c\subset B
A c ⊂ B ,
τ
(
B
−
A
c
)
=
τ
(
A
∩
B
)
=
0
\tau(B-A^c)=\tau(A\cap B)=0
τ ( B − A c ) = τ ( A ∩ B ) = 0 ,由
B
c
⊂
A
B^c\subset A
B c ⊂ A ,则
A
=
(
A
∩
B
)
∪
B
c
A=(A\cap B)\cup B^c
A = ( A ∩ B ) ∪ B c ,由
σ
(
R
)
‾
\overline{\sigma(\mathscr{R})}
σ ( R ) 的定义,就有
A
∈
σ
(
R
)
‾
A\in\overline{\sigma(\mathscr{R})}
A ∈ σ ( R )
σ
(
R
)
‾
⊂
F
τ
\overline{\sigma(\mathscr{R})}\subset \mathscr{F}_\tau
σ ( R ) ⊂ F τ : 对任意的
A
∈
σ
(
R
)
,
N
⊂
X
,
∃
N
′
∈
σ
(
R
)
,
N
⊂
N
′
,
τ
(
N
′
)
=
0
A\in\sigma(\mathscr{R}),N\subset X,\exists N^\prime\in\sigma(\mathscr{R}),N\subset N^\prime,\tau(N^\prime)=0
A ∈ σ ( R ) , N ⊂ X , ∃ N ′ ∈ σ ( R ) , N ⊂ N ′ , τ ( N ′ ) = 0 ,由于
τ
\tau
τ 是
F
τ
\mathscr{F}_\tau
F τ 上的完全测度,故
N
∈
F
τ
N\in\mathscr{F}_\tau
N ∈ F τ ,故
A
∪
N
∈
F
τ
A\cup N\in\mathscr{F}_\tau
A ∪ N ∈ F τ
综上,
σ
(
R
)
‾
=
F
τ
\overline{\sigma(\mathscr{R})}=\mathscr{F}_\tau
σ ( R ) = F τ ,证明,
τ
‾
(
A
)
=
τ
(
A
)
\overline{\tau}(A)=\tau(A)
τ ( A ) = τ ( A ) ,注意前者是
τ
\tau
τ 限制在
σ
(
R
)
\sigma(\mathscr{R})
σ ( R ) 上,再完全化得到的测度,后者是定义在
F
\mathscr{F}
F 的
τ
\tau
τ
A
=
B
∪
N
A=B\cup N
A = B ∪ N ,
B
,
N
′
∈
F
,
τ
(
N
′
)
=
0
,
N
⊂
N
′
B,N^\prime\in\mathscr{F},\tau(N^\prime)=0,N\subset N^\prime
B , N ′ ∈ F , τ ( N ′ ) = 0 , N ⊂ N ′ ,则
τ
(
B
)
≤
τ
(
A
)
≤
τ
(
B
∪
N
′
)
≤
τ
(
B
)
+
τ
(
N
′
)
=
τ
(
B
)
\tau(B)\le \tau(A)\le \tau(B\cup N^\prime)\le\tau(B)+\tau(N^\prime)=\tau(B)
τ ( B ) ≤ τ ( A ) ≤ τ ( B ∪ N ′ ) ≤ τ ( B ) + τ ( N ′ ) = τ ( B ) 故
τ
(
A
)
=
τ
(
B
)
=
τ
‾
(
A
)
\tau(A)=\tau(B)=\overline{\tau}(A)
τ ( A ) = τ ( B ) = τ ( A )