-
安庆师范学院数学与计算科学学院
2010
届毕
业论文
浅谈可测集的结构
摘要
实变函数论是普通微积分的继续
,
其目的是想克服牛顿和莱布尼茨所建立微积分学所存在的
p>
缺点
,
使得微积分的运算更对称更完美
p>
.
可测集是实变函数中基本而重要的概念之一
.
内外测度相等
的有界点集
E
称为勒贝格可测集(简称可测集)
.
本论文就
是通过介绍可测集的定义
,
性质以及可
测集与开集
,
闭集
,
< br>博雷尔集的关系
,
用他们刻画出开集可以从外部逼近可测
集
,
闭集可以从内部逼
近可测集
,
博雷尔集挖掉一个零集或者并上一个零集等于可测集
.
关键词
可测集
开集
闭集
博雷尔集
1
引言
可测集是实变函数中基本而重要的概念之一
,
本论文就是通过介
绍可测集的定义
,
性质以及
可测集与开
集
,
闭集
,
博
雷尔集的关系
,
用他们刻画出任何可测集可以由开集从外部逼近
,
闭集从
内部逼近
,
博雷尔集挖掉一个零集或者并上一个零集
.
2
可测集的有关定义、性质以及实例
2.1
可测集的有关定义
定
义
1
(<
/p>
点集
?
的
L
p>
外测度
)
设
E<
/p>
为
R
n
中任一<
/p>
点集
,
对于每一
列覆盖
E
的开区间
?
< br>?
I
i
?
1
i
?
E
,
作出它的体积总和
?
?
?
i
?
1
I
i
,(
?
可以是
??
.
今后把
??
、
??
看成广义实数<
/p>
).
所
有一切的
?
组个下方有界的数集
,
它的下确界称
为
E
的
L
外测
度
,
并记为
m
*
E
,
有<
/p>
?
?
m
E
?
inf
?
?
I
i
:
I
i
为
开
集
,
E
?
?
i
?
1
*
?
?
i
?<
/p>
1
?
I
i
?
?
*
c
定义
2
(可测集)
若
?
T
?
R
n
有
m
T
?
m
< br>(
T
?
E
)
?
m
(
T
?
E
)
(
p>
Caratheodory
条
?
?
件)
,
则称
E
为
Lebesgue
可
测集
,
此时
E
的外测度称为
E
的测度
,
记作
m
E
.
Lebesgue
开始
也是利用外测度与内测度相等
定义可测集
,
但此方法对处理问题很不方便
,
故我们采用上述方
法
.
定义
3
(
G
?
型集)设集合
G
可以
表示为一列开集
?
G
i
?
的交集:
G
?
?
G
i
,
则称
G
是
G
< br>?
型集
.
定义
4
(
F
?
型集
)
集合
F
可以表示为一列闭集
?
F
i
?
的并集
:
F
?
?
F
i
,
则称
F
是
F
?
< br>型集
.
定义
5
(
B
orol
集
)
从开集出发
,
经过至多可数次交
、
并或补运算得到的集合称为
B
orol
集
.
2.2
可测集的性质
第
1
页共<
/p>
11
页
安庆师
范学院数学与计算科学学院
2010
届毕业论文
?
?
定理
1
若
A
B
A
p>
i
可测
,
则下述集合也可测即
A
,
A
?
B
,
A
?
B
,
A<
/p>
?
B
,
?
A
i
,
?
A
i
可
i
?
1
i
?
1
c
测集类关于差
,
余
,
有限交和可数交
,
p>
有限并和可数并
,
以及极限运算封闭;
p>
若
A
?
B
?
?
则
?
T
?
R
< br>n
,
有
m
(
T
?
(
A
?
B
))<
/p>
?
m
(
T
?
A
)
?
m
(
T
?
B
)
?
?
*
注
上式由前面可测集的等价刻画立刻可得
.
证明
1
)由
于
A
可测
,
则
?
T
?
I
p>
R
有
m
(
T
)
?
m
(
T
?
< br>A
)
?
m
(
T
?
A
)
c
*
p>
=
m
?
(
T
?
A
?
)
m
?
?
< br>c
n
(
T
?
(
)
A
)
c
c
所
p>
以
A
可
测
c
2
)只要证
?
T
?
R
n
有
m
(
T
)
?
m
?
?
?
T
?
c
?
<
/p>
?
(
A
?
B
)
?
+
m
?
T
?
(
A
?
B
)
?
?
由于
A
可测
,B
可测
,
则
?
T
?
R
n
m<
/p>
(
T
)
?
m
(
T
?
A
)
?
m
(
T
?
A
)
?
m
(
T
?
A
)
?<
/p>
m
(
T
?
A
?
B
)
?
m
(
T
?
A
?
B
)
?
*
c
*
c
?
?<
/p>
m
(
T
?
A
)
?
m
(
T
?
A
?
B
)
?
m
?
T
?
(
A
?
B
)<
/p>
?
?
?
*
c
*
c
c
?
?
*
c
而
m
?
?
T
?
?
(
A
?
B
)<
/p>
?
?
m
?
?
T
c
?
(
A
?
(
B
?
A
))
< br>?
?
c
?
?
m
?
?
T
?
(
A
?
p>
(
B
?
A
))
?
?
?
m
?
?
(
T
?
A
)
?
(
T
?
A
?
B
)<
/p>
?
?
m
(
T
?
A
)
?
m
(
T
?
A
?
B
)
?
*
c
所以
m
T
?
m
?
?
?
p>
T
?
c
?
?
(
A
?
B
)
?
< br>?
m
?
T
?
(
A
?
B
)
?
?
即
p>
A
?
B
可测
.
c
c
c
3
)
A
?
B
?
(A
?
B
)
则
A
?
B
可测
.
4
)
A
?
B
?
A
?<
/p>
B
则
A
?
B
可测
.
n
c
定理
2
A
i
可测
,<
/p>
i
?
1,
p>
2,
?
n
,
且
A
i
?
A
i
=
?
(
?
i
1
?
i
2
)
,S
n
?
1
2
?
A
i
?
p>
1
i
第
p>
2
页共
11
页
p>
安庆师范学院数学与计算科学学院
201
0
届毕业论文
则
?
T
?
I
R
有
n
n<
/p>
m
(
T
?
S
n
)
=
?
m
(
T
?
A
i
)
i
?
1
*
*
证明
用数学归纳法
1
)当
n
?
1
时显然成立
;
k
2
)假设
n
?
k
时命题成立则当
n
?
k
?
1
时令
S
k
?
?
A
(
k
i
i
< br>?
1
?
1,
2,
?
n
?
1)
则
S
k
?
1
?
S<
/p>
k
?
A
k
?
1
于是
m
(<
/p>
T
?
S
k
?
1
)
?
m
(
T
?
S
k
?
1
?
S
k
)
?
m
(
T
?<
/p>
S
k
?
1
?
S
k
)
*
*
*
c
=
m
*
(
T
?
S
k
)
?
m
*<
/p>
(
T
?
A
k
?
1
)
k
*
*
k
?
1
=
< br>?
m
(
T
?
A
i
)
?
m
(
T
?
p>
A
k
?
1
)
=
?
m
*
(
T
?
A
i
)
i
?
1
i
?
1
所以结论成立
.
定理
3
A
i
可测
,
i<
/p>
?
1,
2,
?<
/p>
n
,
且
A
i
?
A
i
=
?
(
?
i
1
?
i
2
)
则
1
2
n
n
m<
/p>
(
?
A
i
)
?
i
?
1
n
?
m
(
A
)
i
i
?
1
证明
在上性质的证明中令
T
?
IR
即得
.
定理
4
若
A
,
B
可测<
/p>
,
A
?
B
,
mA
?
??
,
则有可减性
m<
/p>
(
B
?
A
)
?
mB
?
mA
证
明
B
p>
?
A
?
(
B
?
A
)
且
A
?
(
< br>B
?
A
)
?
?
,
则
有
m
(
B
)
p>
=
m
(
A
)
+
m
(
B
?
A
)
< br>又
m
A
?
??
所以
m
(
B
?
A
)
?
m
(
p>
B
)
?
m
(
A
)
?
?
定理
5
设
A
i
可测<
/p>
,
则
?
A
i
可测
,
?
A
i
可测
.
i
?
1
i
?
1
证明
只要证
?
T
?
R
第
3
p>
页共
11
页
p>
n
安庆师范学院数学与计算科学学院
201
0
届毕业论文
c
?
?
?
?
?
?
*
m
(<
/p>
T
)
?
m
?
T
?
(
?
A
i
)
?
?
m
?
T
?
(
?
A
i
)
?
<
/p>
i
?
1
i
?
1
?
?
?
?
?
?
*
*
?
?
n
?
z
,
有
,
令
c<
/p>
n
n
?
?
?
?
*
m
(
T
)
?
m
?
T
?
(
?
A
i
)
?
?
m
?<
/p>
T
?
(
?
A
i
)
?
i
?
1
i
?
1
?
?
?
?
?
?
*
*
c
n<
/p>
?
?
?
?
?
*
*
?
m
?
T
?
(
?
A
i
)
?
?
m
?
T
?
(
?<
/p>
A
i
)
?
i
?
1
i
?
1
?
?
?
?
?
?
令
n
?
??
c
?
?
?
?
?
?
p>
*
m
(
T
)
?
m
?
T
?
(
?
< br>A
i
)
?
?
m
?
T
?
(
?
A
i
p>
)
?
i
?
1
i
?
1
?
?
?
< br>?
?
?
*
*
?
所以
?
A
i
可测又
i
?
1
?
?<
/p>
i
?
A
i
?
1
=
(
?
A
i
c
)
c
i
?
1
可测
.
定理
6
设
A
i
可测(
i
?
1,
2,
?
n
)且
A
i<
/p>
?
A
i
=
?
(
?
i
1
?
i
2
)
1
2
则
,
?
T
?
R
n
,
有<
/p>
?
?
?
?
m
?
T
?
(
?
A
i
)
?
=
?
m
*
(
T
?
A
i
)<
/p>
i
?
1
?
?
i
?
1
*
证明
?
n
?
z
令
n
?
i
?
S
n
?
?
A
i
?<
/p>
1
?
?
A
i
?
1
i
于是
?
T
?
IR
n
,
?
?
?
*
< br>m
?
T
?
(
?
A
i
)
?
?
m
(
p>
T
?
S
n
)
i
?
1
?
?
*
< br>n
=
?
m
*
(
T
?
A
i
)
i
?
1
令
n
?
??
有
第
4
p>
页共
11
页
p>
安庆师范学院数学与计算科学学院
2010
届毕业论文
?
?
?
m
?
T
?
(
?
A
i<
/p>
)
?
?
i
?
1
?
?
*
?
?
m
i
?
1
*
(
T
?
A
i
)
反之
?
?
?
?
p>
?
*
?
m
?
T
?
(
?
A
i
)
< br>?
?
m
?
?
(
T
?
A
i
)
?
?
p>
i
?
1
?
?
?
i
?
1
?
*
?
< br>?
m
i
?
1
*
(
T
?
A
i
)
则结论得证
.
定理
7
设
A
i
可测(
i
?
1,
2,
?
)
且
A
i
?
A<
/p>
i
=
?
(
?
i
1
?
i
2
)
则
1
2
?
?
m
(
?
A
i
)
?
i<
/p>
?
1
?
m
A
i
?
1
i
证明
?
T
?
R
< br>n
,
有
n
?
?
*
n
c
?
n
*
p>
?
c
m
T
?
m
(
T
?
(
?
A
< br>i
)
?
m
(
T
?
(
?
A
i
)
)
p>
?
m
(
T
?
(
?
A
i
)
?
m
< br>(
T
?
(
?
A
i
)
)
i
?
1
p>
i
?
1
i
?
1
i
?
1
n
?
?
< br>?
?
m
i
?
1
(
T
?
A
i
)
?
p>
m
(
T
?
(
?
A
i
)
)
i
< br>?
1
*
c
从而
?
?
?
?
m
i
?<
/p>
1
?
(
T
?
A
i
)
?
m
(
T
?
(
?
A
i
)
)
i
?
1
?
*<
/p>
?
c
*
c
(
*
)
?
m
(
T
?
(
?
A
i
))
?
m
(
T
?
(
?
?
A
i
)
p>
)
i
?
1
i
?
1
另外显然有
?
?
?
*
?
c
m
T
?
< br>m
(
T
?
(
?
A
i
)
)
?
m
(
T<
/p>
?
(
?
A
i
)
)
i
?
1
i
?
1
?
?
从而
?
A
i
可测
,
并用
T
?
i
?
1
?
A
i
?
1
p>
i
代入(
*
)式<
/p>
,
即得结论
.
n
?
例
1
设<
/p>
[0,1]
中可测集
A
< br>1
,
A
2
,
?
,
A
n
满足条件
?
m
A
i
?
n
?<
/p>
1
,
则
?
A
i
必有正测度
.
i
?
1
i
p>
?
1
证明
n
n
c
c
n
c
m
(
?
A
i
)
?
m
(((
?
A
i
)
)
)
?
m
([0,1]
< br>?
(
?
A
i
)
)
i
?
1
i
?
p>
1
i
?
1
p>
第
5
页共
11
p>
页