1。介绍
发电机是一个一对一的函数<我nline-formula>
α米米l:mi>
的域名是<我nline-formula>
R米米l:mi>
所有实数的集合,其范围的一个子集<我nline-formula>
R米米l:mi>
。恒等函数和指数函数可以作为发电机的例子。我们表示<我nline-formula>
R米米l:mi>
N米米l:mi>
的范围,称为非牛顿实线,发电机<我nline-formula>
α米米l:mi>
。非牛顿算术操作<我nline-formula>
R米米l:mi>
N米米l:mi>
表示如下(
1- - - - - -
5]:
α米米l:mi>
除了<我nline-formula>
x米米l:mi>
+米米l:mo>
。米米l:mo>
y米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
x米米l:mi>
+米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
y米米l:mi>
α米米l:mi>
减法<我nline-formula>
x米米l:mi>
- - - - - -米米l:mo>
。米米l:mo>
y米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
x米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
y米米l:mi>
α米米l:mi>
乘法<我nline-formula>
x米米l:mi>
×米米l:mo>
。米米l:mo>
y米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
x米米l:mi>
×米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
y米米l:mi>
α米米l:mi>
部门<我nline-formula>
x米米l:mi>
/米米l:mo>
。米米l:mo>
y米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
x米米l:mi>
/米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
y米米l:mi>
α米米l:mi>
订单<我nline-formula>
x米米l:mi>
<米米l:mo>
。米米l:mo>
y米米l:mi>
x米米l:mi>
≤米米l:mo>
。米米l:mo>
y米米l:mi>
⇔米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
x米米l:mi>
<米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
y米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
x米米l:mi>
≤米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
y米米l:mi>
一个闭区间<我nline-formula>
R米米l:mi>
N米米l:mi>
是由
(1)米米l:mtext>
(米米l:mtext>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
]米米l:mtext>
。米米l:mo>
=米米l:mo>
x米米l:mi>
∈米米l:mo>
R米米l:mi>
N米米l:mi>
:米米l:mo>
一个米米l:mi>
≤米米l:mo>
。米米l:mo>
x米米l:mi>
≤米米l:mo>
。米米l:mo>
b米米l:mi>
=米米l:mo>
x米米l:mi>
∈米米l:mo>
R米米l:mi>
N米米l:mi>
:米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
≤米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
x米米l:mi>
≤米米l:mo>
。米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
,米米l:mo>
同样的一个开区间<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mo>
。米米l:mo>
可以表示(
2,
6]。让<我nline-formula>
E米米l:mi>
的一个子集<我nline-formula>
R米米l:mi>
N米米l:mi>
。一个点<我nline-formula>
x米米l:mi>
0米米l:mn>
被称为一个内点的<我nline-formula>
E米米l:mi>
如果存在一个时间间隔<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mo>
。米米l:mo>
与<我nline-formula>
x米米l:mi>
0米米l:mn>
∈米米l:mo>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mo>
。米米l:mo>
⊂米米l:mo>
E米米l:mi>
。一组<我nline-formula>
E米米l:mi>
据说是开放<我nline-formula>
R米米l:mi>
N米米l:mi>
如果所有的点是内陆点。组件间隔<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mo>
。米米l:mo>
一个开放的组<我nline-formula>
G米米l:mi>
在<我nline-formula>
R米米l:mi>
N米米l:mi>
是一个开放的时间间隔提供条件<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mo>
。米米l:mo>
⊂米米l:mo>
G米米l:mi>
,<我nline-formula>
一个米米l:mi>
∉米米l:mo>
G米米l:mi>
,<我nline-formula>
b米米l:mi>
∉米米l:mo>
G米米l:mi>
。众所周知,任何打开的<我nline-formula>
R米米l:mi>
写成任何组成组件的间隔,也一样,这将是一个简单的检测是有效的<我nline-formula>
R米米l:mi>
N米米l:mi>
(
6- - - - - -
8]。
在这部作品中,象征<我nline-formula>
N米米l:mi>
∑米米l:mo>
在<我nline-formula>
R米米l:mi>
N米米l:mi>
是用来代替通常的求和符号<我nline-formula>
∑米米l:mo>
。
这项工作是倾斜主要建立在勒贝格测度的感觉<我nline-formula>
R米米l:mi>
N米米l:mi>
。
这项措施<我nline-formula>
米米米l:mi>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
一个开放的时间间隔<我nline-formula>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
在<我nline-formula>
R米米l:mi>
是长度<我nline-formula>
b米米l:mi>
- - - - - -米米l:mo>
一个米米l:mi>
这个时间间隔。
这里证明所有属性泛化的基本计量属性在实分析。读者可以参考教材(
9为这些属性。
2。主要结果
定义1。
这项措施<我nline-formula>
米米米l:mi>
N米米l:mi>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mo>
。米米l:mo>
一个开放的时间间隔<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mo>
。米米l:mo>
在<我nline-formula>
R米米l:mi>
N米米l:mi>
被定义为
(2)米米l:mtext>
米米米l:mi>
N米米l:mi>
(米米l:mtext>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mtext>
。米米l:mo>
=米米l:mo>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
。米米l:mo>
你可以重申上述关系如下:
(3)米米l:mtext>
米米米l:mi>
N米米l:mi>
(米米l:mtext>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
)米米l:mtext>
。米米l:mo>
=米米l:mo>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
=米米l:mo>
b米米l:mi>
- - - - - -米米l:mo>
。米米l:mo>
一个米米l:mi>
。米米l:mo>
引理2。
如果一个有限数目的两两不相交的开放的时间间隔<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
)米米l:mo>
。米米l:mo>
,<我nline-formula>
k米米l:mi>
=米米l:mo>
1、2米米l:mn>
,米米l:mo>
…米米l:mo>
,米米l:mo>
n米米l:mi>
包含在开区间<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
B米米l:mi>
)米米l:mo>
。米米l:mo>
,然后
(4)米米l:mtext>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
=米米l:mo>
1米米l:mn>
n米米l:mi>
米米米l:mi>
N米米l:mi>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
。米米l:mo>
≤米米l:mo>
。米米l:mo>
米米米l:mi>
N米米l:mi>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
B米米l:mi>
。米米l:mo>
。米米l:mo>
证明。
我们可以假设<我nline-formula>
一个米米l:mi>
1米米l:mn>
<米米l:mo>
。米米l:mo>
一个米米l:mi>
2米米l:mn>
<米米l:mo>
。米米l:mo>
⋯米米l:mo>
<米米l:mo>
。米米l:mo>
一个米米l:mi>
n米米l:mi>
。然后,通过发电机的属性<我nline-formula>
α米米l:mi>
和非牛顿和定义,我们有
(5)米米l:mtext>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
=米米l:mo>
1米米l:mn>
n米米l:mi>
米米米l:mi>
N米米l:mi>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
。米米l:mo>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
=米米l:mo>
1米米l:mn>
n米米l:mi>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
=米米l:mo>
1米米l:mn>
n米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
k米米l:mi>
≤米米l:mo>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
B米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
B米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
=米米l:mo>
米米米l:mi>
N米米l:mi>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
B米米l:mi>
。米米l:mo>
。米米l:mo>
这就完成了证明。
推论3。
如果无限个两两不相交的间隔<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
)米米l:mo>
。米米l:mo>
,<我nline-formula>
k米米l:mi>
=米米l:mo>
1、2米米l:mn>
,米米l:mo>
…米米l:mo>
,在<我nline-formula>
R米米l:mi>
N米米l:mi>
包含在开区间<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
B米米l:mi>
)米米l:mo>
。米米l:mo>
,然后
(6)米米l:mtext>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
=米米l:mo>
1米米l:mn>
∞米米l:mi>
米米米l:mi>
N米米l:mi>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
。米米l:mo>
≤米米l:mo>
。米米l:mo>
米米米l:mi>
N米米l:mi>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
B米米l:mi>
。米米l:mo>
。米米l:mo>
定义4。
这项措施<我nline-formula>
米米米l:mi>
N米米l:mi>
G米米l:mi>
一个非空有界开集<我nline-formula>
G米米l:mi>
在<我nline-formula>
R米米l:mi>
N米米l:mi>
是其所有组件的措施的总和时间间隔<我nline-formula>
δ米米l:mi>
k米米l:mi>
:
(7)米米l:mtext>
米米米l:mi>
N米米l:mi>
G米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
δ米米l:mi>
k米米l:mi>
。米米l:mo>
这里应该注意的是,
(8)米米l:mtext>
米米米l:mi>
N米米l:mi>
G米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
。米米l:mo>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
k米米l:mi>
=米米l:mo>
∑米米l:mo>
k米米l:mi>
b米米l:mi>
k米米l:mi>
- - - - - -米米l:mo>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
在哪里<我nline-formula>
δ米米l:mi>
k米米l:mi>
=米米l:mo>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
)米米l:mo>
。米米l:mo>
。还应该注意的是,
(9)米米l:mtext>
G米米l:mi>
=米米l:mo>
⋃米米l:mo>
k米米l:mi>
δ米米l:mi>
k米米l:mi>
=米米l:mo>
⋃米米l:mo>
k米米l:mi>
。米米l:mo>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
k米米l:mi>
。米米l:mo>
=米米l:mo>
⋃米米l:mo>
k米米l:mi>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
⋃米米l:mo>
k米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
k米米l:mi>
,米米l:mo>
由于发电机<我nline-formula>
α米米l:mi>
是一个一对一的函数,和这里的间隔
(10)米米l:mtext>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
k米米l:mi>
,米米l:mo>
米米l:mo>
k米米l:mi>
=米米l:mo>
1、2米米l:mn>
,米米l:mo>
…米米l:mo>
,米米l:mo>
组件间隔吗<我nline-formula>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
。
定理5。
让<我nline-formula>
G米米l:mi>
1米米l:mn>
和<我nline-formula>
G米米l:mi>
2米米l:mn>
两个有限开放<我nline-formula>
R米米l:mi>
N米米l:mi>
。如果<我nline-formula>
G米米l:mi>
1米米l:mn>
⊂米米l:mo>
G米米l:mi>
2米米l:mn>
,然后<我nline-formula>
米米米l:mi>
N米米l:mi>
G米米l:mi>
1米米l:mn>
≤米米l:mo>
米米米l:mi>
N米米l:mi>
G米米l:mi>
2米米l:mn>
。
证明。
我们可以写<我nline-formula>
G米米l:mi>
1米米l:mn>
=米米l:mo>
∪米米l:mo>
我米米l:mi>
δ米米l:mi>
我米米l:mi>
和<我nline-formula>
G米米l:mi>
2米米l:mn>
=米米l:mo>
∪米米l:mo>
k米米l:mi>
θ米米l:mi>
k米米l:mi>
作为一个组件组成的间隔<我nline-formula>
δ米米l:mi>
我米米l:mi>
=米米l:mo>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
我米米l:mi>
,米米l:mo>
b米米l:mi>
我米米l:mi>
)米米l:mo>
。米米l:mo>
和<我nline-formula>
θ米米l:mi>
k米米l:mi>
=米米l:mo>
(米米l:mo>
。米米l:mo>
c米米l:mi>
k米米l:mi>
,米米l:mo>
d米米l:mi>
k米米l:mi>
)米米l:mo>
。米米l:mo>
。因为每一<我nline-formula>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
δ米米l:mi>
我米米l:mi>
在一个且只有一个<我nline-formula>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
θ米米l:mi>
k米米l:mi>
,我们有
(11)米米l:mtext>
米米米l:mi>
N米米l:mi>
G米米l:mi>
1米米l:mn>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
我米米l:mi>
米米米l:mi>
N米米l:mi>
δ米米l:mi>
我米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
我米米l:mi>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
我米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
我米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
δ米米l:mi>
我米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
∑米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
δ米米l:mi>
我米米l:mi>
⊂米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
θ米米l:mi>
k米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
δ米米l:mi>
我米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
∑米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
δ米米l:mi>
我米米l:mi>
⊂米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
θ米米l:mi>
k米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
≤米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
d米米l:mi>
k米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
c米米l:mi>
k米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
θ米米l:mi>
k米米l:mi>
=米米l:mo>
米米米l:mi>
N米米l:mi>
G米米l:mi>
2米米l:mn>
。米米l:mo>
这就完成了证明。
定理6。
如果有界开集<我nline-formula>
G米米l:mi>
⊂米米l:mo>
R米米l:mi>
N米米l:mi>
最多的成分是可计算的家庭组两两不相交是营业的吗<我nline-formula>
G米米l:mi>
k米米l:mi>
,然后<我nline-formula>
米米米l:mi>
N米米l:mi>
G米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
G米米l:mi>
k米米l:mi>
。
证明。
如果每个<我nline-formula>
G米米l:mi>
k米米l:mi>
写成一篇作文吗<我nline-formula>
G米米l:mi>
k米米l:mi>
=米米l:mo>
∪米米l:mo>
我米米l:mi>
δ米米l:mi>
我米米l:mi>
k米米l:mi>
组件的间隔<我nline-formula>
δ米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
我米米l:mi>
k米米l:mi>
)米米l:mo>
。米米l:mo>
,然后
(12)米米l:mtext>
米米米l:mi>
N米米l:mi>
G米米l:mi>
=米米l:mo>
米米米l:mi>
N米米l:mi>
⋃米米l:mo>
k米米l:mi>
G米米l:mi>
k米米l:mi>
=米米l:mo>
米米米l:mi>
N米米l:mi>
⋃米米l:mo>
k米米l:mi>
⋃米米l:mo>
我米米l:mi>
δ米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
米米米l:mi>
N米米l:mi>
⋃米米l:mo>
k米米l:mi>
⋃米米l:mo>
我米米l:mi>
(米米l:mtext>
。米米l:mo>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
我米米l:mi>
k米米l:mi>
)米米l:mtext>
。米米l:mo>
=米米l:mo>
米米米l:mi>
N米米l:mi>
⋃米米l:mo>
k米米l:mi>
⋃米米l:mo>
我米米l:mi>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
米米米l:mi>
N米米l:mi>
α米米l:mi>
⋃米米l:mo>
k米米l:mi>
⋃米米l:mo>
我米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
α米米l:mi>
⋃米米l:mo>
k米米l:mi>
⋃米米l:mo>
我米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
米米米l:mi>
⋃米米l:mo>
k米米l:mi>
⋃米米l:mo>
我米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
⋃米米l:mo>
我米米l:mi>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
∑米米l:mo>
k米米l:mi>
α米米l:mi>
米米米l:mi>
⋃米米l:mo>
我米米l:mi>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
⋃米米l:mo>
我米米l:mi>
(米米l:mtext>
。米米l:mo>
一个米米l:mi>
我米米l:mi>
k米米l:mi>
,米米l:mo>
b米米l:mi>
我米米l:mi>
k米米l:mi>
)米米l:mtext>
。米米l:mo>
=米米l:mo>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
⋃米米l:mo>
我米米l:mi>
δ米米l:mi>
我米米l:mi>
k米米l:mi>
=米米l:mo>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
G米米l:mi>
k米米l:mi>
。米米l:mo>
这就完成了证明。
引理7。
让<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
]米米l:mo>
。米米l:mo>
是一个闭区间<我nline-formula>
R米米l:mi>
N米米l:mi>
。如果这个间隔是由一个有限的家庭<我nline-formula>
Λ米米l:mi>
开放的时间间隔<我nline-formula>
(米米l:mo>
。米米l:mo>
λ米米l:mi>
,米米l:mo>
μ米米l:mi>
)米米l:mo>
。米米l:mo>
在<我nline-formula>
R米米l:mi>
N米米l:mi>
,即<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
]米米l:mo>
。米米l:mo>
⊂米米l:mo>
N米米l:mi>
∪米米l:mo>
Λ米米l:mi>
(米米l:mo>
。米米l:mo>
λ米米l:mi>
,米米l:mo>
μ米米l:mi>
)米米l:mo>
。米米l:mo>
,然后<我nline-formula>
b米米l:mi>
- - - - - -米米l:mo>
。米米l:mo>
一个米米l:mi>
<米米l:mo>
。米米l:mo>
N米米l:mi>
∑米米l:mo>
Λ米米l:mi>
米米米l:mi>
N米米l:mi>
(米米l:mo>
。米米l:mo>
λ米米l:mi>
,米米l:mo>
μ米米l:mi>
)米米l:mo>
。米米l:mo>
。
证明。
如果<我nline-formula>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
b米米l:mi>
]米米l:mo>
。米米l:mo>
⊂米米l:mo>
∪米米l:mo>
Λ米米l:mi>
(米米l:mo>
。米米l:mo>
λ米米l:mi>
,米米l:mo>
μ米米l:mi>
)米米l:mo>
。米米l:mo>
,然后<我nline-formula>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
⊂米米l:mo>
α米米l:mi>
∪米米l:mo>
Λ米米l:mi>
1米米l:mn>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
,在那里<我nline-formula>
Λ米米l:mi>
1米米l:mn>
开放时间间隔的家庭吗<我nline-formula>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
(米米l:mo>
。米米l:mo>
λ米米l:mi>
,米米l:mo>
μ米米l:mi>
)米米l:mo>
。米米l:mo>
=米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
在<我nline-formula>
R米米l:mi>
。因此
(13)米米l:mtext>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
⊂米米l:mo>
⋃米米l:mo>
Λ米米l:mi>
1米米l:mn>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
,米米l:mo>
根据这个,<我nline-formula>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
是由一个有限的家庭吗<我nline-formula>
Λ米米l:mi>
1米米l:mn>
开放的时间间隔<我nline-formula>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
在<我nline-formula>
R米米l:mi>
。然后下面的不平等是适用的:
(14)米米l:mtext>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
<米米l:mo>
∑米米l:mo>
Λ米米l:mi>
1米米l:mn>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
=米米l:mo>
∑米米l:mo>
Λ米米l:mi>
1米米l:mn>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
。米米l:mo>
因此我们有
(15)米米l:mtext>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
b米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
<米米l:mo>
α米米l:mi>
∑米米l:mo>
Λ米米l:mi>
1米米l:mn>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
因此
(16)米米l:mtext>
b米米l:mi>
- - - - - -米米l:mo>
。米米l:mo>
一个米米l:mi>
<米米l:mo>
。米米l:mo>
α米米l:mi>
∑米米l:mo>
Λ米米l:mi>
1米米l:mn>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
Λ米米l:mi>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
Λ米米l:mi>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
λ米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
μ米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
Λ米米l:mi>
米米米l:mi>
N米米l:mi>
(米米l:mtext>
。米米l:mo>
λ米米l:mi>
,米米l:mo>
μ米米l:mi>
)米米l:mtext>
。米米l:mo>
。米米l:mo>
引理8。
如果一个开区间<我nline-formula>
Δ米米l:mi>
在<我nline-formula>
R米米l:mi>
N米米l:mi>
最多的成分是可计算的家庭开集的吗<我nline-formula>
R米米l:mi>
N米米l:mi>
,即<我nline-formula>
Δ米米l:mi>
=米米l:mo>
∪米米l:mo>
k米米l:mi>
G米米l:mi>
k米米l:mi>
,然后
(17)米米l:mtext>
米米米l:mi>
N米米l:mi>
Δ米米l:mi>
≤米米l:mo>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
G米米l:mi>
k米米l:mi>
。米米l:mo>
证明。
如果我们说<我nline-formula>
Δ米米l:mi>
=米米l:mo>
(米米l:mo>
。米米l:mo>
一个米米l:mi>
,米米l:mo>
B米米l:mi>
)米米l:mo>
。米米l:mo>
,然后<我nline-formula>
米米米l:mi>
N米米l:mi>
Δ米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
B米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
。米米l:mo>
通过实际勒贝格测度的命题,我们可以写
(18)米米l:mtext>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
,米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
B米米l:mi>
=米米l:mo>
α米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
B米米l:mi>
- - - - - -米米l:mo>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
一个米米l:mi>
≤米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
k米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
k米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
G米米l:mi>
k米米l:mi>
。米米l:mo>
这就完成了证明。
定理9。
如果一个有界开集<我nline-formula>
G米米l:mi>
最多的成分是可计算的家庭开集的吗<我nline-formula>
R米米l:mi>
N米米l:mi>
,即<我nline-formula>
G米米l:mi>
=米米l:mo>
∪米米l:mo>
k米米l:mi>
G米米l:mi>
k米米l:mi>
,然后
(19)米米l:mtext>
米米米l:mi>
N米米l:mi>
G米米l:mi>
≤米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
G米米l:mi>
k米米l:mi>
。米米l:mo>
证明。
我们可以很容易看到
(20)米米l:mtext>
米米米l:mi>
N米米l:mi>
G米米l:mi>
=米米l:mo>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
=米米l:mo>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
⋃米米l:mo>
k米米l:mi>
G米米l:mi>
k米米l:mi>
=米米l:mo>
α米米l:mi>
米米米l:mi>
⋃米米l:mo>
k米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
k米米l:mi>
≤米米l:mo>
α米米l:mi>
∑米米l:mo>
k米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
k米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
α米米l:mi>
米米米l:mi>
α米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
G米米l:mi>
k米米l:mi>
=米米l:mo>
N米米l:mi>
∑米米l:mo>
k米米l:mi>
米米米l:mi>
N米米l:mi>
G米米l:mi>
k米米l:mi>
。米米l:mo>
这就完成了证明。