2。主要结果
下面是第一个我们的主要结果。
定理1。
让
(米米l:米o>
X米米l:米i>
,米米l:米o>
d米米l:米i>
)米米l:米o>
完备度量空间,让
T米米l:米i>
的一个映射
X米米l:米i>
为本身。假设
T米米l:米i>
满足以下条件:
(2)米米l:米text>
d米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
y米米l:米i>
)米米l:米o>
,米米l:米o>
对所有
x米米l:米i>
,米米l:米o>
y米米l:米i>
∈米米l:米o>
X米米l:米i>
。然后
T米米l:米i>
至少有一个不动点吗
x米米l:米i>
˙米米l:米o>
∈米米l:米o>
X米米l:米i>
;
证明。
让
x米米l:米i>
0米米l:米n>
∈米米l:米o>
X米米l:米i>
任意选择一个序列
{米米l:米o>
x米米l:米i>
n米米l:米i>
}米米l:米o>
这样
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
=米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
。我们有
(3)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
=米米l:米o>
(米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
米米l:米i>
(米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
。米米l:米o>
鉴于
(4)米米l:米text>
β米米l:米i>
n米米l:米i>
=米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
,米米l:米o>
我们有
(5)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
≤米米l:米o>
β米米l:米i>
n米米l:米i>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
β米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
2米米l:米n>
)米米l:米o>
⋮米米l:米o>
≤米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
β米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
1米米l:米n>
,米米l:米o>
x米米l:米i>
0米米l:米n>
)米米l:米o>
。米米l:米o>
观察到
(米米l:米o>
β米米l:米i>
n米米l:米i>
)米米l:米o>
nonincreasing,积极的方面。所以
β米米l:米i>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
n米米l:米i>
≤米米l:米o>
β米米l:米i>
1米米l:米n>
n米米l:米i>
和
β米米l:米i>
1米米l:米n>
n米米l:米i>
→米米l:米o>
0米米l:米n>
。由此可见,
(6)米米l:米text>
lim米米l:米i>
米米l:米o>
n米米l:米i>
→米米l:米o>
∞米米l:米i>
(米米l:米o>
β米米l:米i>
1米米l:米n>
β米米l:米i>
2米米l:米n>
⋯米米l:米o>
β米米l:米i>
n米米l:米i>
)米米l:米o>
=米米l:米o>
0米米l:米n>
。米米l:米o>
因此,它是证实
(7)米米l:米text>
lim米米l:米i>
米米l:米o>
n米米l:米i>
→米米l:米o>
∞米米l:米i>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
=米米l:米o>
0米米l:米n>
。米米l:米o>
现在所有的
米米米l:米i>
,米米l:米o>
n米米l:米i>
∈米米l:米o>
N米米l:米i>
我们有
(8)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
米米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
≤米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
2米米l:米n>
)米米l:米o>
+米米l:米o>
⋯米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
米米米l:米i>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
β米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
+米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
β米米l:米i>
n米米l:米i>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
+米米l:米o>
⋯米米l:米o>
+米米l:米o>
(米米l:米o>
β米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
β米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
2米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
]米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
1米米l:米n>
,米米l:米o>
x米米l:米i>
0米米l:米n>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
k米米l:米i>
=米米l:米o>
n米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
(米米l:米o>
β米米l:米i>
k米米l:米i>
β米米l:米i>
k米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
1米米l:米n>
,米米l:米o>
x米米l:米i>
0米米l:米n>
)米米l:米o>
。米米l:米o>
假设
一个米米l:米i>
k米米l:米i>
=米米l:米o>
(米米l:米o>
β米米l:米i>
k米米l:米i>
β米米l:米i>
k米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
。自
(9)米米l:米text>
lim米米l:米i>
米米l:米o>
k米米l:米i>
→米米l:米o>
∞米米l:米i>
一个米米l:米i>
k米米l:米i>
+米米l:米o>
1米米l:米n>
一个米米l:米i>
k米米l:米i>
=米米l:米o>
0米米l:米n>
∑米米l:米o>
k米米l:米i>
=米米l:米o>
1米米l:米n>
∞米米l:米i>
一个米米l:米i>
k米米l:米i>
<米米l:米o>
∞米米l:米i>
。这意味着
(10)米米l:米text>
∑米米l:米o>
k米米l:米i>
=米米l:米o>
n米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
(米米l:米o>
β米米l:米i>
k米米l:米i>
β米米l:米i>
k米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
⟶米米l:米o>
0米米l:米n>
,米米l:米o>
作为
米米米l:米i>
,米米l:米o>
n米米l:米i>
→米米l:米o>
∞米米l:米i>
。换句话说,
{米米l:米o>
x米米l:米i>
n米米l:米i>
}米米l:米o>
是一个柯西序列收敛于
x米米l:米i>
˙米米l:米o>
∈米米l:米o>
X米米l:米i>
。
我们声称
x米米l:米i>
˙米米l:米o>
是一个固定的点。
请注意,
(11)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
。米米l:米o>
在两岸的限制(
11),我们有
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
=米米l:米o>
0米米l:米n>
。因此,
T米米l:米i>
x米米l:米i>
˙米米l:米o>
=米米l:米o>
x米米l:米i>
˙米米l:米o>
。
如果存在两个不同的不动点
x米米l:米i>
˙米米l:米o>
,米米l:米o>
y米米l:米i>
˙米米l:米o>
∈米米l:米o>
X米米l:米i>
,然后
(12)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
y米米l:米i>
˙米米l:米o>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
y米米l:米i>
˙米米l:米o>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
y米米l:米i>
˙米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
y米米l:米i>
˙米米l:米o>
)米米l:米o>
]米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
y米米l:米i>
˙米米l:米o>
)米米l:米o>
=米米l:米o>
2米米l:米n>
(米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
y米米l:米i>
˙米米l:米o>
)米米l:米o>
]米米l:米o>
2米米l:米n>
。米米l:米o>
因此,
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
y米米l:米i>
˙米米l:米o>
)米米l:米o>
≥米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
我们找到想要的结果。
在下面,两个例子的这样类型的映射,它满足(
2),。
例2。
让
X米米l:米i>
=米米l:米o>
{米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
,米米l:米o>
1米米l:米n>
}米米l:米o>
,让
d米米l:米i>
:米米l:米o>
X米米l:米i>
×米米l:米o>
X米米l:米i>
→米米l:米o>
(米米l:米o>
0米米l:米n>
,米米l:米o>
∞米米l:米i>
)米米l:米o>
被定义为
(13)米米l:米text>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
2米米l:米n>
,米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
5米米l:米n>
2米米l:米n>
,米米l:米o>
d米米l:米i>
(米米l:米o>
0 1米米l:米n>
)米米l:米o>
=米米l:米o>
3米米l:米n>
,米米l:米o>
d米米l:米i>
(米米l:米o>
0,0米米l:米n>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
2米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
1,- 1米米l:米n>
)米米l:米o>
=米米l:米o>
0米米l:米n>
,米米l:米o>
d米米l:米i>
(米米l:米o>
一个米米l:米i>
,米米l:米o>
b米米l:米i>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
b米米l:米i>
,米米l:米o>
一个米米l:米i>
)米米l:米o>
,米米l:米o>
∀米米l:米o>
一个米米l:米i>
,米米l:米o>
b米米l:米i>
∈米米l:米o>
X米米l:米i>
。米米l:米o>
(米米l:米o>
X米米l:米i>
,米米l:米o>
d米米l:米i>
)米米l:米o>
是一个完备度量空间。让
T米米l:米i>
:米米l:米o>
X米米l:米i>
→米米l:米o>
X米米l:米i>
被定义为
(14)米米l:米text>
T米米l:米i>
(米米l:米o>
0米米l:米n>
)米米l:米o>
=米米l:米o>
0米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
1米米l:米n>
2米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
)米米l:米o>
=米米l:米o>
0米米l:米n>
d米米l:米i>
(米米l:米o>
T米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
1米米l:米n>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
0,0米米l:米n>
)米米l:米o>
=米米l:米o>
0米米l:米n>
,米米l:米o>
d米米l:米i>
(米米l:米o>
T米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
2米米l:米n>
,米米l:米o>
d米米l:米i>
(米米l:米o>
T米米l:米i>
1米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
2米米l:米n>
,米米l:米o>
我们有
(15)米米l:米text>
d米米l:米i>
(米米l:米o>
T米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
2米米l:米n>
≤米米l:米o>
(米米l:米o>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
)米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
0米米l:米n>
)米米l:米o>
)米米l:米o>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
T米米l:米i>
0米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
)米米l:米o>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
×米米l:米o>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
8米米l:米n>
也
(16)米米l:米text>
d米米l:米i>
(米米l:米o>
T米米l:米i>
1米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
)米米l:米o>
=米米l:米o>
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
2米米l:米n>
≤米米l:米o>
(米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
)米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
)米米l:米o>
)米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
,米米l:米o>
T米米l:米i>
1米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
,米米l:米o>
T米米l:米i>
(米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
)米米l:米o>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
×米米l:米o>
d米米l:米i>
(米米l:米o>
1米米l:米n>
,米米l:米o>
1米米l:米n>
2米米l:米n>
)米米l:米o>
=米米l:米o>
(米米l:米o>
5米米l:米n>
/米米l:米o>
2米米l:米n>
+米米l:米o>
2米米l:米n>
4米米l:米n>
)米米l:米o>
×米米l:米o>
5米米l:米n>
2米米l:米n>
=米米l:米o>
45米米l:米n>
16米米l:米n>
。米米l:米o>
因此,
T米米l:米i>
满足所有条件的定理
1。同时,
T米米l:米i>
有两种不同的固定点
{米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
}米米l:米o>
和
d米米l:米i>
(米米l:米o>
0米米l:米n>
,米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
)米米l:米o>
=米米l:米o>
2米米l:米n>
≥米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
。
例3。
让
X米米l:米i>
=米米l:米o>
(米米l:米o>
0,2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
]米米l:米o>
被赋予欧几里得度量,让
T米米l:米i>
:米米l:米o>
X米米l:米i>
→米米l:米o>
X米米l:米i>
被定义为
(17)米米l:米text>
T米米l:米i>
x米米l:米i>
=米米l:米o>
{米米l:米o>
0米米l:米n>
0米米l:米n>
≤米米l:米o>
x米米l:米i>
<米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
x米米l:米i>
=米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
。米米l:米o>
然后我们说
T米米l:米i>
满足所有条件的定理
1。
如果
x米米l:米i>
=米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
和
0米米l:米n>
≤米米l:米o>
y米米l:米i>
<米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
,我们有
(18)米米l:米text>
|米米l:米o>
T米米l:米i>
x米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
y米米l:米i>
|米米l:米o>
(米米l:米o>
|米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
x米米l:米i>
|米米l:米o>
+米米l:米o>
|米米l:米o>
y米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
y米米l:米i>
|米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
=米米l:米o>
(米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
)米米l:米o>
(米米l:米o>
|米米l:米o>
y米米l:米i>
|米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
=米米l:米o>
(米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
)米米l:米o>
(米米l:米o>
y米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
- - - - - -米米l:米o>
y米米l:米i>
)米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
(米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
)米米l:米o>
(米米l:米o>
2米米l:米n>
- - - - - -米米l:米o>
3米米l:米n>
- - - - - -米米l:米o>
y米米l:米i>
)米米l:米o>
=米米l:米o>
(米米l:米o>
|米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
y米米l:米i>
|米米l:米o>
+米米l:米o>
|米米l:米o>
y米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
x米米l:米i>
|米米l:米o>
)米米l:米o>
|米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
y米米l:米i>
|米米l:米o>
。米米l:米o>
因此,
(19)米米l:米text>
|米米l:米o>
T米米l:米i>
x米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
y米米l:米i>
|米米l:米o>
≤米米l:米o>
(米米l:米o>
|米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
y米米l:米i>
|米米l:米o>
+米米l:米o>
|米米l:米o>
y米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
x米米l:米i>
|米米l:米o>
|米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
x米米l:米i>
|米米l:米o>
+米米l:米o>
|米米l:米o>
y米米l:米i>
- - - - - -米米l:米o>
T米米l:米i>
y米米l:米i>
|米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
|米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
y米米l:米i>
|米米l:米o>
。米米l:米o>
类似的论点适用于其他条件。
备注4。
注意,在(
2)的比率
(20)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
可能大于或小于1,没有引入一个上界。注意,如果,每
x米米l:米i>
,米米l:米o>
y米米l:米i>
∈米米l:米o>
X米米l:米i>
,
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
y米米l:米i>
)米米l:米o>
<米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
,那么我们就有
(21)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
≤米米l:米o>
2米米l:米n>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
y米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
<米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
。米米l:米o>
这意味着
(22)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
<米米l:米o>
1米米l:米n>
,米米l:米o>
因此定理
1是一种特殊情况下的巴拿赫收缩原则。因此,当
(米米l:米o>
X米米l:米i>
,米米l:米o>
d米米l:米i>
)米米l:米o>
是一个完整的度量空间,为所有
x米米l:米i>
,米米l:米o>
y米米l:米i>
∈米米l:米o>
X米米l:米i>
,
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
y米米l:米i>
)米米l:米o>
≥米米l:米o>
1米米l:米n>
/米米l:米o>
2米米l:米n>
,定理
1是有价值的因为(
20.)可能会大于1。例子
2显示了这个注意精确。
下面是第二个在我们的主要结果。
定理5。
让
(米米l:米o>
X米米l:米i>
,米米l:米o>
d米米l:米i>
)米米l:米o>
完备度量空间,让
T米米l:米i>
是一个多值的映射
X米米l:米i>
成
P米米l:米i>
c米米l:米i>
l米米l:米i>
,米米l:米o>
b米米l:米i>
d米米l:米i>
(米米l:米o>
X米米l:米i>
)米米l:米o>
。让
T米米l:米i>
满足以下几点:
(23)米米l:米text>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
D米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
D米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
δ米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
)米米l:米o>
+米米l:米o>
δ米米l:米i>
(米米l:米o>
y米米l:米i>
,米米l:米o>
T米米l:米i>
y米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
,米米l:米o>
y米米l:米i>
)米米l:米o>
,米米l:米o>
对所有
x米米l:米i>
,米米l:米o>
y米米l:米i>
∈米米l:米o>
X米米l:米i>
。然后
T米米l:米i>
有一个固定的点
x米米l:米i>
˙米米l:米o>
∈米米l:米o>
X米米l:米i>
。
证明。
让
x米米l:米i>
0米米l:米n>
∈米米l:米o>
X米米l:米i>
和
x米米l:米i>
1米米l:米n>
∈米米l:米o>
T米米l:米i>
x米米l:米i>
0米米l:米n>
。为每一个
0米米l:米n>
<米米l:米o>
h米米l:米i>
1米米l:米n>
<米米l:米o>
1米米l:米n>
一个可以选择
x米米l:米i>
2米米l:米n>
∈米米l:米o>
T米米l:米i>
x米米l:米i>
1米米l:米n>
这样
(24)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
1米米l:米n>
,米米l:米o>
x米米l:米i>
2米米l:米n>
)米米l:米o>
<米米l:米o>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
1米米l:米n>
)米米l:米o>
+米米l:米o>
(米米l:米o>
1米米l:米n>
- - - - - -米米l:米o>
1米米l:米n>
h米米l:米i>
1米米l:米n>
)米米l:米o>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
1米米l:米n>
)米米l:米o>
=米米l:米o>
1米米l:米n>
h米米l:米i>
1米米l:米n>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
1米米l:米n>
)米米l:米o>
。米米l:米o>
为每一个
0米米l:米n>
<米米l:米o>
h米米l:米i>
n米米l:米i>
<米米l:米o>
1米米l:米n>
我们可以选择
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
∈米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
这样
(25)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
<米米l:米o>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
1米米l:米n>
- - - - - -米米l:米o>
1米米l:米n>
h米米l:米i>
n米米l:米i>
)米米l:米o>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
1米米l:米n>
)米米l:米o>
=米米l:米o>
1米米l:米n>
h米米l:米i>
n米米l:米i>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
0米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
1米米l:米n>
)米米l:米o>
。米米l:米o>
特别的,如果
(26)米米l:米text>
h米米l:米i>
n米米l:米i>
=米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
+米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
+米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
1米米l:米n>
=米米l:米o>
β米米l:米i>
n米米l:米i>
,米米l:米o>
然后
(27)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
β米米l:米i>
n米米l:米i>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
≤米米l:米o>
β米米l:米i>
n米米l:米i>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
。米米l:米o>
因此,
(28)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
≤米米l:米o>
β米米l:米i>
n米米l:米i>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
β米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
2米米l:米n>
)米米l:米o>
⋮米米l:米o>
≤米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
β米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
1米米l:米n>
,米米l:米o>
x米米l:米i>
0米米l:米n>
)米米l:米o>
。米米l:米o>
它可以很容易地看到
(29)米米l:米text>
lim米米l:米i>
米米l:米o>
n米米l:米i>
→米米l:米o>
∞米米l:米i>
(米米l:米o>
β米米l:米i>
1米米l:米n>
β米米l:米i>
2米米l:米n>
⋯米米l:米o>
β米米l:米i>
n米米l:米i>
)米米l:米o>
=米米l:米o>
0米米l:米n>
。米米l:米o>
因此,它很容易验证
(30)米米l:米text>
lim米米l:米i>
米米l:米o>
n米米l:米i>
→米米l:米o>
∞米米l:米i>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
=米米l:米o>
0米米l:米n>
。米米l:米o>
现在所有的
米米米l:米i>
,米米l:米o>
n米米l:米i>
∈米米l:米o>
N米米l:米i>
我们有
(31)米米l:米text>
d米米l:米i>
(米米l:米o>
x米米l:米i>
米米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
)米米l:米o>
≤米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
⋯米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
,米米l:米o>
x米米l:米i>
米米米l:米i>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
β米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
+米米l:米o>
(米米l:米o>
β米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
β米米l:米i>
n米米l:米i>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
+米米l:米o>
⋯米米l:米o>
+米米l:米o>
(米米l:米o>
β米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
β米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
2米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
]米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
1米米l:米n>
,米米l:米o>
x米米l:米i>
0米米l:米n>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
k米米l:米i>
=米米l:米o>
n米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
(米米l:米o>
β米米l:米i>
k米米l:米i>
β米米l:米i>
k米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
1米米l:米n>
,米米l:米o>
x米米l:米i>
0米米l:米n>
)米米l:米o>
。米米l:米o>
假设
一个米米l:米i>
k米米l:米i>
=米米l:米o>
(米米l:米o>
β米米l:米i>
k米米l:米i>
β米米l:米i>
k米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
。自
(32)米米l:米text>
lim米米l:米i>
米米l:米o>
k米米l:米i>
→米米l:米o>
∞米米l:米i>
一个米米l:米i>
k米米l:米i>
+米米l:米o>
1米米l:米n>
一个米米l:米i>
k米米l:米i>
=米米l:米o>
0米米l:米n>
,米米l:米o>
∑米米l:米o>
k米米l:米i>
=米米l:米o>
1米米l:米n>
∞米米l:米i>
一个米米l:米i>
k米米l:米i>
<米米l:米o>
∞米米l:米i>
。这意味着
(33)米米l:米text>
∑米米l:米o>
k米米l:米i>
=米米l:米o>
n米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
(米米l:米o>
β米米l:米i>
k米米l:米i>
β米米l:米i>
k米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>
⋯米米l:米o>
β米米l:米i>
1米米l:米n>
)米米l:米o>
⟶米米l:米o>
0米米l:米n>
,米米l:米o>
作为
米米米l:米i>
,米米l:米o>
n米米l:米i>
→米米l:米o>
∞米米l:米i>
。换句话说,
{米米l:米o>
x米米l:米i>
n米米l:米i>
}米米l:米o>
是一个柯西序列收敛于
x米米l:米i>
˙米米l:米o>
∈米米l:米o>
X米米l:米i>
。我们声称
x米米l:米i>
˙米米l:米o>
是一个固定的点。考虑
(34)米米l:米text>
D米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
≤米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
D米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
≤米米l:米o>
H米米l:米i>
(米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
D米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
D米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
δ米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
+米米l:米o>
δ米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
n米米l:米i>
)米米l:米o>
+米米l:米o>
1米米l:米n>
)米米l:米o>
×米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
≤米米l:米o>
(米米l:米o>
D米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
+米米l:米o>
D米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
]米米l:米o>
×米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
n米米l:米i>
,米米l:米o>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
+米米l:米o>
d米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
x米米l:米i>
n米米l:米i>
+米米l:米o>
1米米l:米n>
)米米l:米o>
。米米l:米o>
在两岸的限制(
31日)我们有
D米米l:米i>
(米米l:米o>
x米米l:米i>
˙米米l:米o>
,米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
)米米l:米o>
=米米l:米o>
0米米l:米n>
。这意味着
x米米l:米i>
˙米米l:米o>
∈米米l:米o>
T米米l:米i>
x米米l:米i>
˙米米l:米o>
。
注6。
请注意,定理
5是一个泛化的定理
1因为通过
F米米l:米i>
x米米l:米i>
=米米l:米o>
{米米l:米o>
T米米l:米i>
x米米l:米i>
}米米l:米o>
和应用定理
5为
F米米l:米i>
我们得到定理
1。