让<年代vg height="9.4750004" id="M1" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M2" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="9.2749996" id="M3" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
也<年代vg height="9.8999996" id="M4" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
和<年代vg height="12.075" id="M5" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M6" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。我们要考虑的因素<年代vg height="9.8500004" id="M7" style="vertical-align:-0.30376pt;width:35.25px;" version="1.1" viewbox="0 0 35.25 9.8500004" width="35.25" xmlns="http://www.w3.org/2000/svg">
∈
这样<年代vg height="12.075" id="M8" style="vertical-align:-1.99126pt;width:128.0625px;" version="1.1" viewbox="0 0 128.0625 12.075" width="128.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
≤
(
,
)
+
对于一些<年代vg height="9.9375" id="M9" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
。我们所说的一对<年代vg height="12.075" id="M10" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
一个近似最佳距离。本文定义的近似最佳距离对地图和两个地图,他们的直径,<年代vg height="9.2749996" id="M11" style="vertical-align:-0.0pt;width:10.075px;" version="1.1" viewbox="0 0 10.075 9.2749996" width="10.075" xmlns="http://www.w3.org/2000/svg">
就是用尽一个序列给出了度量空间。
<年代p一个nclass="end-abs">
1。介绍
让<年代vg height="9.2749996" id="M12" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
是一个度量空间<年代vg height="9.4750004" id="M13" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M14" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的子集<年代vg height="9.2749996" id="M15" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="12.075" id="M16" style="vertical-align:-1.99126pt;width:42.537498px;" version="1.1" viewbox="0 0 42.537498 12.075" width="42.537498" xmlns="http://www.w3.org/2000/svg">
(
,
)
是距离<年代vg height="9.4750004" id="M17" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M18" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
。如果<年代vg height="13.2375" id="M19" style="vertical-align:-2.92279pt;width:108.25px;" version="1.1" viewbox="0 0 108.25 13.2375" width="108.25" xmlns="http://www.w3.org/2000/svg">
(
0
,
0
)
=
(
,
)
,然后两人<年代vg height="13.2375" id="M20" style="vertical-align:-2.92279pt;width:41px;" version="1.1" viewbox="0 0 41 13.2375" width="41" xmlns="http://www.w3.org/2000/svg">
(
0
,
0
)
被称为最佳距离对吗<年代vg height="9.4750004" id="M21" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M22" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
并将<年代p一个nclass="equation" id="eq1">
p
r
o
x
(
,
)
∶
=
{
(
,
)
∈
×
∶
(
,
)
=
(
,
)
}
(
1
。
1
)
作为所有最佳距离<年代vg height="12.075" id="M24" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
。最好的距离对发展最佳逼近的概念的泛化。读者可以发现一些重要的结果在<一个href="#B3">1一个>- - - - - -<一个href="#B7">4一个>]。
现在,在<一个href="#B6">5一个>)(参见[<一个href="#B7">4一个>,<一个href="#B1">6一个>- - - - - -<一个href="#B11">11一个>]),我们可以找到最接近的点集<年代vg height="9.4750004" id="M25" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M26" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
通过考虑一个地图<年代vg height="9.8999996" id="M27" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
这样<年代vg height="12.075" id="M28" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
和<年代vg height="12.075" id="M29" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。最好靠近两人还发展的泛化映射的不动点的概念。因为如果<年代vg height="11.65" id="M30" style="vertical-align:-1.755pt;width:60.337502px;" version="1.1" viewbox="0 0 60.337502 11.65" width="60.337502" xmlns="http://www.w3.org/2000/svg">
∩
≠
∅
,每一个最好的邻近点是一个固定的角度<年代vg height="9.2749996" id="M31" style="vertical-align:-0.0pt;width:10.075px;" version="1.1" viewbox="0 0 10.075 9.2749996" width="10.075" xmlns="http://www.w3.org/2000/svg">
。
我们说重点<年代vg height="9.8999996" id="M32" style="vertical-align:-0.34875pt;width:60.474998px;" version="1.1" viewbox="0 0 60.474998 9.8999996" width="60.474998" xmlns="http://www.w3.org/2000/svg">
∈
∪
最好是一个近似的邻近点对吗<年代vg height="12.075" id="M33" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
,如果<年代vg height="12.075" id="M34" style="vertical-align:-1.99126pt;width:128.0625px;" version="1.1" viewbox="0 0 128.0625 12.075" width="128.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
≤
(
,
)
+
,对于一些<年代vg height="9.9375" id="M35" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
。
在下面,我们将介绍一对近似距离的概念,比接近。
<年代p一个nclass="statement" id="deff1.1">定义1.1。我>年代p一个n>让<年代vg height="9.4750004" id="M36" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M37" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="9.2749996" id="M38" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.8999996" id="M39" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
一张地图,<年代vg height="12.075" id="M40" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M41" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。把<年代p一个nclass="equation" id="eq2">
(
,
)
=
{
∈
∪
∶
(
,
)
≤
(
,
)
+
f
o
r
年代
o
米
e
>
0
}
。
(
1
。
2
)
我们说的对<年代vg height="12.075" id="M43" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
是一对近似最佳距离如果<年代vg height="14.65" id="M44" style="vertical-align:-3.69101pt;width:76px;" version="1.1" viewbox="0 0 76 14.65" width="76" xmlns="http://www.w3.org/2000/svg">
(
,
)
≠
∅
。年代p一个n>
例1.2。我>年代p一个n>假设<年代vg height="12.55" id="M45" style="vertical-align:-0.0pt;width:44.212502px;" version="1.1" viewbox="0 0 44.212502 12.55" width="44.212502" xmlns="http://www.w3.org/2000/svg">
=
2
,<年代vg height="15.1125" id="M46" style="vertical-align:-2.05875pt;width:212.22501px;" version="1.1" viewbox="0 0 212.22501 15.1125" width="212.22501" xmlns="http://www.w3.org/2000/svg">
=
{
(
,
)
∈
∶
(
−
)
2
+
2
≤
1
}
,<年代vg height="15.1125" id="M47" style="vertical-align:-2.05875pt;width:211.2375px;" version="1.1" viewbox="0 0 211.2375 15.1125" width="211.2375" xmlns="http://www.w3.org/2000/svg">
=
{
(
x
,
)
∈
∶
(
+
)
2
+
2
≤
1
}
与<年代vg height="12.1625" id="M48" style="vertical-align:-2.05875pt;width:94.449997px;" version="1.1" viewbox="0 0 94.449997 12.1625" width="94.449997" xmlns="http://www.w3.org/2000/svg">
(
,
)
=
(
−
,
)
为<年代vg height="12.1625" id="M49" style="vertical-align:-2.05875pt;width:59.237499px;" version="1.1" viewbox="0 0 59.237499 12.1625" width="59.237499" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
。然后<年代vg height="12.1625" id="M50" style="vertical-align:-2.05875pt;width:172.3px;" version="1.1" viewbox="0 0 172.3 12.1625" width="172.3" xmlns="http://www.w3.org/2000/svg">
(
(
,
)
,
(
,
)
)
≤
(
,
)
+
对于一些<年代vg height="9.9375" id="M51" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
。因此<年代vg height="14.65" id="M52" style="vertical-align:-3.69101pt;width:76px;" version="1.1" viewbox="0 0 76 14.65" width="76" xmlns="http://www.w3.org/2000/svg">
(
,
)
≠
∅
。年代p一个n>
2。近似最佳距离
在本节中,我们将考虑存在的近似最佳邻近点地图<年代vg height="9.8999996" id="M53" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
,这样<年代vg height="12.075" id="M54" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M55" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,它的直径。
<年代p一个nclass="statement" id="thm2.1">定理2.1。年代p一个n><我>让<年代vg height="9.4750004" id="M56" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M57" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="9.2749996" id="M58" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
。假设的映射<年代vg height="9.8999996" id="M59" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是令人满意的<年代vg height="12.075" id="M60" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M61" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,我><年代p一个nclass="equation" id="eq3">
l
我
米
→
∞
,
+
1
=
(
,
)
f
o
r
年代
o
米
e
∈
∪
。
(
2
。
1
)
然后两人<年代vg height="12.075" id="M63" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
是一个近似最佳距离。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="9.9375" id="M64" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
被给予,<年代vg height="9.8999996" id="M65" style="vertical-align:-0.34875pt;width:60.474998px;" version="1.1" viewbox="0 0 60.474998 9.8999996" width="60.474998" xmlns="http://www.w3.org/2000/svg">
∈
∪
这样<年代vg height="15.9375" id="M66" style="vertical-align:-2.87555pt;width:190.75px;" version="1.1" viewbox="0 0 190.75 15.9375" width="190.75" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
,
+
1
)
=
(
,
)
;然后存在<年代vg height="13.2375" id="M67" style="vertical-align:-2.92279pt;width:41.962502px;" version="1.1" viewbox="0 0 41.962502 13.2375" width="41.962502" xmlns="http://www.w3.org/2000/svg">
0
>
0
这样<年代p一个nclass="equation" id="eq4">
∀
≥
0
∶
,
+
1
<
(
,
)
+
。
(
2
。
2
)
如果<年代vg height="12.9125" id="M69" style="vertical-align:-2.92279pt;width:41.912498px;" version="1.1" viewbox="0 0 41.912498 12.9125" width="41.912498" xmlns="http://www.w3.org/2000/svg">
=
0
,然后<年代vg height="14.6125" id="M70" style="vertical-align:-1.99126pt;width:202.1375px;" version="1.1" viewbox="0 0 202.1375 14.6125" width="202.1375" xmlns="http://www.w3.org/2000/svg">
(
0
(
)
,
(
0
(
)
)
)
<
(
,
)
+
,<年代vg height="16.725" id="M71" style="vertical-align:-3.69101pt;width:108.5125px;" version="1.1" viewbox="0 0 108.5125 16.725" width="108.5125" xmlns="http://www.w3.org/2000/svg">
0
(
)
∈
(
,
)
和<年代vg height="14.65" id="M72" style="vertical-align:-3.69101pt;width:76px;" version="1.1" viewbox="0 0 76 14.65" width="76" xmlns="http://www.w3.org/2000/svg">
(
,
)
≠
∅
。年代p一个n>
定理2.2。年代p一个n><我>让<年代vg height="9.4750004" id="M73" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M74" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="9.2749996" id="M75" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
。假设的映射<年代vg height="9.8999996" id="M76" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是令人满意的<年代vg height="12.075" id="M77" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M78" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
和我><年代p一个nclass="equation" id="eq5">
(
]
(
,
)
≤
(
,
)
+
(
,
)
+
(
,
)
+
(
,
)
(
2
。
3
)
对所有<年代vg height="12.0375" id="M80" style="vertical-align:-2.05875pt;width:73.262497px;" version="1.1" viewbox="0 0 73.262497 12.0375" width="73.262497" xmlns="http://www.w3.org/2000/svg">
,
∈
∪
,在那里<年代vg height="12.2125" id="M81" style="vertical-align:-2.10374pt;width:59.025002px;" version="1.1" viewbox="0 0 59.025002 12.2125" width="59.025002" xmlns="http://www.w3.org/2000/svg">
,
,
≥
0
和<年代vg height="12.2125" id="M82" style="vertical-align:-2.10374pt;width:86px;" version="1.1" viewbox="0 0 86 12.2125" width="86" xmlns="http://www.w3.org/2000/svg">
+
2
+
<
1
。然后两人<年代vg height="12.075" id="M83" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
是一个近似最佳距离。我>年代p一个n>
证明。我>年代p一个n>如果<年代vg height="9.8999996" id="M84" style="vertical-align:-0.34875pt;width:60.474998px;" version="1.1" viewbox="0 0 60.474998 9.8999996" width="60.474998" xmlns="http://www.w3.org/2000/svg">
∈
∪
,然后<年代p一个nclass="equation" id="eq6">
,
2
≤
(
,
)
+
(
,
)
+
,
2
+
(
,
)
。
(
2
。
4
)
因此,<年代p一个nclass="equation" id="eq7">
,
2
≤
+
1
−
(
,
)
+
1
−
(
,
)
。
(
2
。
5
)
现在,如果<年代vg height="12.1625" id="M87" style="vertical-align:-2.05875pt;width:109.8375px;" version="1.1" viewbox="0 0 109.8375 12.1625" width="109.8375" xmlns="http://www.w3.org/2000/svg">
=
(
+
)
/
(
1
−
)
,然后<年代p一个nclass="equation" id="eq8">
,
2
≤
(
,
)
+
(
1
−
)
(
,
)
(
2
。
6
)
也<年代p一个nclass="equation" id="eq9">
2
,
3
≤
2
(
,
)
+
1
−
2
(
,
)
。
(
2
。
7
)
因此,<年代p一个nclass="equation" id="eq10">
,
+
1
≤
(
,
)
+
(
1
−
)
(
,
)
,
(
2
。
8
)
所以<年代p一个nclass="equation" id="eq11">
,
+
1
⟶
(
,
)
,
一个
年代
⟶
∞
。
(
2
。
9
)
因此,通过定理<一个href="#thm2.1">2。1一个>,<年代vg height="14.65" id="M92" style="vertical-align:-3.69101pt;width:76px;" version="1.1" viewbox="0 0 76 14.65" width="76" xmlns="http://www.w3.org/2000/svg">
(
,
)
≠
∅
;然后对<年代vg height="12.075" id="M93" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
是一个近似最佳距离。年代p一个n>
定义2.3。我>年代p一个n>让<年代vg height="9.4750004" id="M94" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M95" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="9.2749996" id="M96" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
。假设的映射<年代vg height="9.8999996" id="M97" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是令人满意的<年代vg height="12.075" id="M98" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M99" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。我们说的序列<年代vg height="13.2375" id="M100" style="vertical-align:-2.87555pt;width:78.712502px;" version="1.1" viewbox="0 0 78.712502 13.2375" width="78.712502" xmlns="http://www.w3.org/2000/svg">
{
}
⊆
∪
是<我>T我>就是用尽如果<年代p一个nclass="equation" id="eq12">
l
我
米
→
∞
,
=
(
,
)
。
(
2
。
1
0
)
定理2.4。年代p一个n><我>让<年代vg height="9.4750004" id="M102" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M103" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="9.2749996" id="M104" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
假设的映射<年代vg height="9.8999996" id="M105" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是令人满意的<年代vg height="12.075" id="M106" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M107" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。如果<年代vg height="12.5875" id="M108" style="vertical-align:-2.03625pt;width:36.724998px;" version="1.1" viewbox="0 0 36.724998 12.5875" width="36.724998" xmlns="http://www.w3.org/2000/svg">
{
}
是T-minimizing一些<年代vg height="9.8999996" id="M109" style="vertical-align:-0.34875pt;width:60.474998px;" version="1.1" viewbox="0 0 60.474998 9.8999996" width="60.474998" xmlns="http://www.w3.org/2000/svg">
∈
∪
,然后<年代vg height="12.075" id="M110" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
是一个近似最佳距离。我>年代p一个n>
证明。我>年代p一个n>自<年代p一个nclass="equation" id="eq13">
l
我
米
→
∞
,
+
1
=
(
,
)
f
o
r
年代
o
米
e
∈
∪
,
(
2
。
1
1
)
因此,通过定理<一个href="#thm2.1">2。1一个>,<年代vg height="14.65" id="M112" style="vertical-align:-3.69101pt;width:76px;" version="1.1" viewbox="0 0 76 14.65" width="76" xmlns="http://www.w3.org/2000/svg">
(
,
)
≠
∅
;然后对<年代vg height="12.075" id="M113" style="vertical-align:-1.99126pt;width:35.087502px;" version="1.1" viewbox="0 0 35.087502 12.075" width="35.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
是一个近似最佳距离。年代p一个n>
定理2.5。年代p一个n><我>让<年代vg height="9.4750004" id="M114" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M115" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的赋范空间的子集<年代vg height="9.2749996" id="M116" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
这样<年代vg height="9.8999996" id="M117" style="vertical-align:-0.34875pt;width:35.400002px;" version="1.1" viewbox="0 0 35.400002 9.8999996" width="35.400002" xmlns="http://www.w3.org/2000/svg">
∪
紧凑。假设的映射<年代vg height="9.8999996" id="M118" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是令人满意的<年代vg height="12.075" id="M119" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M120" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="9.2749996" id="M121" style="vertical-align:-0.0pt;width:10.075px;" version="1.1" viewbox="0 0 10.075 9.2749996" width="10.075" xmlns="http://www.w3.org/2000/svg">
是连续的,我><年代p一个nclass="equation" id="eq14">
为
−
为
≤
为
−
为
,
(
2
。
1
2
)
在哪里<年代vg height="12.1625" id="M123" style="vertical-align:-2.05875pt;width:82.875px;" version="1.1" viewbox="0 0 82.875 12.1625" width="82.875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
×
。然后<年代vg height="14.65" id="M124" style="vertical-align:-3.69101pt;width:51.0625px;" version="1.1" viewbox="0 0 51.0625 14.65" width="51.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
非空的和紧凑。我>年代p一个n>
证明。我>年代p一个n>自<年代vg height="9.8999996" id="M125" style="vertical-align:-0.34875pt;width:35.400002px;" version="1.1" viewbox="0 0 35.400002 9.8999996" width="35.400002" xmlns="http://www.w3.org/2000/svg">
∪
紧凑,存在一个<年代vg height="13.1125" id="M126" style="vertical-align:-2.92279pt;width:65.287498px;" version="1.1" viewbox="0 0 65.287498 13.1125" width="65.287498" xmlns="http://www.w3.org/2000/svg">
0
∈
∪
这样<年代p一个nclass="equation" id="eq15">
为
为
0
−
0
为
为
=
我
n
f
∈
∪
为
−
为
⋅
(
∗
)
如果<年代vg height="13.4375" id="M128" style="vertical-align:-2.92279pt;width:123.1375px;" version="1.1" viewbox="0 0 123.1375 13.4375" width="123.1375" xmlns="http://www.w3.org/2000/svg">
为
0
−
0
为
>
(
,
)
,然后<年代vg height="16" id="M129" style="vertical-align:-2.92279pt;width:159.41251px;" version="1.1" viewbox="0 0 159.41251 16" width="159.41251" xmlns="http://www.w3.org/2000/svg">
为
0
−
2
0
为
<
为
0
−
0
为
矛盾的定义<年代vg height="10.075" id="M130" style="vertical-align:-2.92279pt;width:12.6375px;" version="1.1" viewbox="0 0 12.6375 10.075" width="12.6375" xmlns="http://www.w3.org/2000/svg">
0
,(<年代vg height="13.1125" id="M131" style="vertical-align:-2.92279pt;width:73px;" version="1.1" viewbox="0 0 73 13.1125" width="73" xmlns="http://www.w3.org/2000/svg">
0
∈
∪
和(<一个href="#eq15">*一个>)<年代vg height="13.4375" id="M132" style="vertical-align:-2.92279pt;width:168.6875px;" version="1.1" viewbox="0 0 168.6875 13.4375" width="168.6875" xmlns="http://www.w3.org/2000/svg">
为
0
−
(
0
)
为
≥
为
0
−
0
为
)。因此,<年代vg height="13.4375" id="M133" style="vertical-align:-2.92279pt;width:205.35001px;" version="1.1" viewbox="0 0 205.35001 13.4375" width="205.35001" xmlns="http://www.w3.org/2000/svg">
为
0
−
0
为
=
(
,
)
≤
(
,
)
+
对于一些<年代vg height="9.9375" id="M134" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="14.65" id="M135" style="vertical-align:-3.69101pt;width:80.949997px;" version="1.1" viewbox="0 0 80.949997 14.65" width="80.949997" xmlns="http://www.w3.org/2000/svg">
0
∈
(
,
)
。因此,<年代vg height="14.65" id="M136" style="vertical-align:-3.69101pt;width:51.0625px;" version="1.1" viewbox="0 0 51.0625 14.65" width="51.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
非空的。 同样,如果<年代vg height="14.6625" id="M137" style="vertical-align:-3.69888pt;width:94.3125px;" version="1.1" viewbox="0 0 94.3125 14.6625" width="94.3125" xmlns="http://www.w3.org/2000/svg">
{
}
⊆
(
,
)
,然后<年代vg height="13.375" id="M138" style="vertical-align:-2.87555pt;width:145.4875px;" version="1.1" viewbox="0 0 145.4875 13.375" width="145.4875" xmlns="http://www.w3.org/2000/svg">
为
−
为
<
(
,
)
+
,对于一些<年代vg height="9.9375" id="M139" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
和的密实度<年代vg height="9.8999996" id="M140" style="vertical-align:-0.34875pt;width:35.400002px;" version="1.1" viewbox="0 0 35.400002 9.8999996" width="35.400002" xmlns="http://www.w3.org/2000/svg">
∪
存在子序列<年代vg height="12.4625" id="M141" style="vertical-align:-4.84319pt;width:17.0375px;" version="1.1" viewbox="0 0 17.0375 12.4625" width="17.0375" xmlns="http://www.w3.org/2000/svg">
和一个<年代vg height="13.1125" id="M142" style="vertical-align:-2.92279pt;width:65.287498px;" version="1.1" viewbox="0 0 65.287498 13.1125" width="65.287498" xmlns="http://www.w3.org/2000/svg">
0
∈
∪
这样<年代vg height="12.4625" id="M143" style="vertical-align:-4.84319pt;width:54.974998px;" version="1.1" viewbox="0 0 54.974998 12.4625" width="54.974998" xmlns="http://www.w3.org/2000/svg">
→
0
所以<年代p一个nclass="equation" id="eq16">
为
为
0
−
0
为
为
=
l
我
米
→
∞
为
为
−
为
为
<
(
,
)
+
(
2
。
1
3
)
对于一些<年代vg height="9.9375" id="M145" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
,因此<年代vg height="14.65" id="M146" style="vertical-align:-3.69101pt;width:51.0625px;" version="1.1" viewbox="0 0 51.0625 14.65" width="51.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
紧凑。年代p一个n>
例2.6。我>年代p一个n>如果<年代vg height="11.775" id="M147" style="vertical-align:-1.755pt;width:138.0625px;" version="1.1" viewbox="0 0 138.0625 11.775" width="138.0625" xmlns="http://www.w3.org/2000/svg">
=
(
−
3
,
−
1
]
,
=
(
1
,
3
]
,<年代vg height="9.8999996" id="M148" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
这样<年代p一个nclass="equation" id="eq17">
⎧
⎪
⎨
⎪
⎩
(
)
=
1
−
2
,
∈
,
−
1
−
2
,
∈
,
(
2
。
1
4
)
然后<年代vg height="14.65" id="M150" style="vertical-align:-3.69101pt;width:51.0625px;" version="1.1" viewbox="0 0 51.0625 14.65" width="51.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
是紧凑的,我们有什么<年代p一个nclass="equation" id="eq18">
(
,
)
=
{
∈
∪
∶
(
,
)
<
(
,
)
+
f
o
r
年代
o
米
e
>
0
}
=
{
∈
∪
∶
(
,
)
<
2
+
f
o
r
年代
o
米
e
>
0
}
=
{
1
,
−
1
}
。
(
2
。
1
5
)
这是紧凑的。年代p一个n>
在以下<年代vg height="14.65" id="M152" style="vertical-align:-3.69101pt;width:93.074997px;" version="1.1" viewbox="0 0 93.074997 14.65" width="93.074997" xmlns="http://www.w3.org/2000/svg">
d
我
一个
米
(
(
,
)
)
一组<年代vg height="14.65" id="M153" style="vertical-align:-3.69101pt;width:76px;" version="1.1" viewbox="0 0 76 14.65" width="76" xmlns="http://www.w3.org/2000/svg">
(
,
)
≠
∅
中,我们将了解设置的直径<年代vg height="14.65" id="M154" style="vertical-align:-3.69101pt;width:51.0625px;" version="1.1" viewbox="0 0 51.0625 14.65" width="51.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
。
<年代p一个nclass="statement" id="deff2.7">定义2.7。我>年代p一个n>让<年代vg height="9.8999996" id="M155" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是一个连续的地图,这样<年代vg height="12.075" id="M156" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M157" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
和<年代vg height="9.9375" id="M158" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
。我们定义直径<年代vg height="14.65" id="M159" style="vertical-align:-3.69101pt;width:51.0625px;" version="1.1" viewbox="0 0 51.0625 14.65" width="51.0625" xmlns="http://www.w3.org/2000/svg">
(
,
)
通过<年代p一个nclass="equation" id="eq19">
d
我
一个
米
(
,
)
=
年代
u
p
(
,
)
∶
,
∈
。
(
,
)
(
2
。
1
6
)
定理2.8。年代p一个n><我>让<年代vg height="9.8999996" id="M161" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
,这样<年代vg height="12.075" id="M162" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M163" style="vertical-align:-1.99126pt;width:54.337502px;" version="1.1" viewbox="0 0 54.337502 12.075" width="54.337502" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
和<年代vg height="9.9375" id="M164" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
。如果存在一个<年代vg height="11.775" id="M165" style="vertical-align:-1.755pt;width:54.587502px;" version="1.1" viewbox="0 0 54.587502 11.775" width="54.587502" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
这样对所有<年代vg height="12.1625" id="M166" style="vertical-align:-2.05875pt;width:82.875px;" version="1.1" viewbox="0 0 82.875 12.1625" width="82.875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
×
(
,
)
≤
(
,
)
,
(
2
。
1
7
)
然后我><年代p一个nclass="equation" id="eq21">
d
我
一个
米
≤
(
,
)
2
+
1
−
2
(
,
)
。
1
−
(
2
。
1
8
)
证明。我>年代p一个n>如果<年代vg height="14.65" id="M169" style="vertical-align:-3.69101pt;width:88.925003px;" version="1.1" viewbox="0 0 88.925003 14.65" width="88.925003" xmlns="http://www.w3.org/2000/svg">
,
∈
(
,
)
,然后<年代p一个nclass="equation" id="eq22">
(
,
)
≤
(
,
)
+
(
,
)
+
(
,
)
≤
1
+
(
,
)
+
2
(
,
)
+
2
。
(
2
。
1
9
)
把<年代vg height="13.15" id="M171" style="vertical-align:-2.81255pt;width:97.949997px;" version="1.1" viewbox="0 0 97.949997 13.15" width="97.949997" xmlns="http://www.w3.org/2000/svg">
=
米
一个
x
{
1
,
2
}
因此,<年代vg height="12.1625" id="M172" style="vertical-align:-2.05875pt;width:230.8625px;" version="1.1" viewbox="0 0 230.8625 12.1625" width="230.8625" xmlns="http://www.w3.org/2000/svg">
(
,
)
≤
2
/
(
1
−
)
+
(
2
(
,
)
)
/
(
1
−
)
。因此<年代vg height="14.65" id="M173" style="vertical-align:-3.69101pt;width:286.53751px;" version="1.1" viewbox="0 0 286.53751 14.65" width="286.53751" xmlns="http://www.w3.org/2000/svg">
d
我
一个
米
(
(
,
)
)
≤
2
/
(
1
−
)
+
(
2
(
,
)
)
/
(
1
−
)
。年代p一个n>
3所示。两个图的近似最佳距离
在本节中,我们将考虑近似最佳邻近点的存在两个地图<年代vg height="9.8999996" id="M174" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
和<年代vg height="9.9125004" id="M175" style="vertical-align:-0.34875pt;width:120.1375px;" version="1.1" viewbox="0 0 120.1375 9.9125004" width="120.1375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
,它的直径。
<年代p一个nclass="statement" id="deff3.1">定义3.1。我>年代p一个n>让<年代vg height="9.4750004" id="M176" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M177" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="12.075" id="M178" style="vertical-align:-1.99126pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 12.075" width="33.8125" xmlns="http://www.w3.org/2000/svg">
(
,
)
,让<年代vg height="9.8999996" id="M179" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
∶
∪
→
∪
两个地图,<年代vg height="12.075" id="M181" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M182" style="vertical-align:-1.99126pt;width:55.737499px;" version="1.1" viewbox="0 0 55.737499 12.075" width="55.737499" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。一个点<年代vg height="12.1625" id="M183" style="vertical-align:-2.05875pt;width:29.950001px;" version="1.1" viewbox="0 0 29.950001 12.1625" width="29.950001" xmlns="http://www.w3.org/2000/svg">
(
,
)
在<年代vg height="9.8249998" id="M184" style="vertical-align:-0.28125pt;width:35.674999px;" version="1.1" viewbox="0 0 35.674999 9.8249998" width="35.674999" xmlns="http://www.w3.org/2000/svg">
×
据说是一个approximate-pair定点<年代vg height="12.075" id="M185" style="vertical-align:-1.99126pt;width:32.099998px;" version="1.1" viewbox="0 0 32.099998 12.075" width="32.099998" xmlns="http://www.w3.org/2000/svg">
(
,
)
在<年代vg height="9.2749996" id="M186" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
如果存在<年代vg height="9.9375" id="M187" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
(
,
)
≤
(
,
)
+
。
(
3
。
1
)
我们说的对<年代vg height="12.075" id="M189" style="vertical-align:-1.99126pt;width:32.099998px;" version="1.1" viewbox="0 0 32.099998 12.075" width="32.099998" xmlns="http://www.w3.org/2000/svg">
(
,
)
approximate-pair固定财产吗<年代vg height="9.2749996" id="M190" style="vertical-align:-0.0pt;width:12.0375px;" version="1.1" viewbox="0 0 12.0375 9.2749996" width="12.0375" xmlns="http://www.w3.org/2000/svg">
如果<年代vg height="16.612499" id="M191" style="vertical-align:-5.26599pt;width:89.724998px;" version="1.1" viewbox="0 0 89.724998 16.612499" width="89.724998" xmlns="http://www.w3.org/2000/svg">
(
,
)
(
,
)
≠
∅
,在那里<年代p一个nclass="equation" id="eq24">
(
,
)
(
,
)
=
{
(
,
)
∈
×
∶
(
,
)
≤
(
,
)
+
f
o
r
年代
o
米
e
>
0
}
。
(
3
。
2
)
定理3.2。年代p一个n><我>让<年代vg height="9.4750004" id="M193" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M194" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="12.075" id="M195" style="vertical-align:-1.99126pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 12.075" width="33.8125" xmlns="http://www.w3.org/2000/svg">
(
,
)
,让<年代vg height="9.8999996" id="M196" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
和<年代vg height="9.9125004" id="M197" style="vertical-align:-0.34875pt;width:120.1375px;" version="1.1" viewbox="0 0 120.1375 9.9125004" width="120.1375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
两个地图等<年代vg height="12.075" id="M198" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M199" style="vertical-align:-1.99126pt;width:55.737499px;" version="1.1" viewbox="0 0 55.737499 12.075" width="55.737499" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。如果,每<年代vg height="12.1625" id="M200" style="vertical-align:-2.05875pt;width:82.875px;" version="1.1" viewbox="0 0 82.875 12.1625" width="82.875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
×
,我><年代p一个nclass="equation" id="eq25">
(
(
)
,
(
)
)
⟶
(
,
)
,
(
3
。
3
)
然后<年代vg height="12.075" id="M202" style="vertical-align:-1.99126pt;width:32.099998px;" version="1.1" viewbox="0 0 32.099998 12.075" width="32.099998" xmlns="http://www.w3.org/2000/svg">
(
,
)
approximate-pair固定属性。我>年代p一个n>
证明。我>年代p一个n>为<年代vg height="9.9375" id="M203" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
,假设<年代vg height="12.1625" id="M204" style="vertical-align:-2.05875pt;width:82.875px;" version="1.1" viewbox="0 0 82.875 12.1625" width="82.875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
×
。自<年代p一个nclass="equation" id="eq26">
(
(
)
,
(
)
)
⟶
(
,
)
,
∃
0
>
0
年代
。
t
。
∀
≥
0
∶
(
(
)
,
(
)
)
<
(
,
)
+
,
(
3
。
4
)
然后<年代vg height="15" id="M206" style="vertical-align:-2.05875pt;width:218.675px;" version="1.1" viewbox="0 0 218.675 15" width="218.675" xmlns="http://www.w3.org/2000/svg">
(
(
−
1
(
)
,
(
−
1
(
)
)
<
(
,
)
+
对于每一个<年代vg height="12.3" id="M207" style="vertical-align:-2.92279pt;width:36.962502px;" version="1.1" viewbox="0 0 36.962502 12.3" width="36.962502" xmlns="http://www.w3.org/2000/svg">
≥
0
。把<年代vg height="16" id="M208" style="vertical-align:-2.92279pt;width:78.962502px;" version="1.1" viewbox="0 0 78.962502 16" width="78.962502" xmlns="http://www.w3.org/2000/svg">
0
=
0
−
1
(
)
和<年代vg height="16.075001" id="M209" style="vertical-align:-2.92279pt;width:82.25px;" version="1.1" viewbox="0 0 82.25 16.075001" width="82.25" xmlns="http://www.w3.org/2000/svg">
0
=
0
−
1
(
)
)
。因此<年代vg height="13.2375" id="M210" style="vertical-align:-2.92279pt;width:166.1375px;" version="1.1" viewbox="0 0 166.1375 13.2375" width="166.1375" xmlns="http://www.w3.org/2000/svg">
(
(
0
)
,
(
0
)
)
≤
(
,
)
+
和<年代vg height="16.612499" id="M211" style="vertical-align:-5.26599pt;width:89.724998px;" version="1.1" viewbox="0 0 89.724998 16.612499" width="89.724998" xmlns="http://www.w3.org/2000/svg">
(
,
)
(
,
)
≠
∅
。年代p一个n>
定理3.3。年代p一个n><我>让<年代vg height="9.4750004" id="M212" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M213" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="12.075" id="M214" style="vertical-align:-1.99126pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 12.075" width="33.8125" xmlns="http://www.w3.org/2000/svg">
(
,
)
,让<年代vg height="9.8999996" id="M215" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
和<年代vg height="9.9125004" id="M216" style="vertical-align:-0.34875pt;width:120.1375px;" version="1.1" viewbox="0 0 120.1375 9.9125004" width="120.1375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
两个地图等<年代vg height="12.075" id="M217" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M218" style="vertical-align:-1.99126pt;width:55.737499px;" version="1.1" viewbox="0 0 55.737499 12.075" width="55.737499" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,每<年代vg height="12.1625" id="M219" style="vertical-align:-2.05875pt;width:82.875px;" version="1.1" viewbox="0 0 82.875 12.1625" width="82.875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
×
,我><年代p一个nclass="equation" id="eq27">
(
]
(
x
,
)
≤
(
,
)
+
(
,
)
+
(
,
)
+
(
,
)
,
(
3
。
5
)
在哪里<年代vg height="12.2125" id="M221" style="vertical-align:-2.10374pt;width:59.025002px;" version="1.1" viewbox="0 0 59.025002 12.2125" width="59.025002" xmlns="http://www.w3.org/2000/svg">
,
,
≥
0
和<年代vg height="12.2125" id="M222" style="vertical-align:-2.10374pt;width:86px;" version="1.1" viewbox="0 0 86 12.2125" width="86" xmlns="http://www.w3.org/2000/svg">
+
2
+
<
1
。如果<年代vg height="6.4250002" id="M223" style="vertical-align:-0.10126pt;width:7.8249998px;" version="1.1" viewbox="0 0 7.8249998 6.4250002" width="7.8249998" xmlns="http://www.w3.org/2000/svg">
是一个近似不动点<年代vg height="9.2749996" id="M224" style="vertical-align:-0.0pt;width:10.075px;" version="1.1" viewbox="0 0 10.075 9.2749996" width="10.075" xmlns="http://www.w3.org/2000/svg">
,或<年代vg height="8.8500004" id="M225" style="vertical-align:-2.05875pt;width:7.0749998px;" version="1.1" viewbox="0 0 7.0749998 8.8500004" width="7.0749998" xmlns="http://www.w3.org/2000/svg">
是一个近似不动点<年代vg height="9.625" id="M226" style="vertical-align:-0.1125pt;width:10.2125px;" version="1.1" viewbox="0 0 10.2125 9.625" width="10.2125" xmlns="http://www.w3.org/2000/svg">
,然后<年代vg height="16.612499" id="M227" style="vertical-align:-5.26599pt;width:89.724998px;" version="1.1" viewbox="0 0 89.724998 16.612499" width="89.724998" xmlns="http://www.w3.org/2000/svg">
(
,
)
(
,
)
≠
∅
。我>年代p一个n>
证明。我>年代p一个n>如果<年代vg height="12.1625" id="M228" style="vertical-align:-2.05875pt;width:82.875px;" version="1.1" viewbox="0 0 82.875 12.1625" width="82.875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
×
,然后<年代p一个nclass="equation" id="eq28">
(
]
(
,
(
)
)
≤
(
,
)
+
(
,
)
+
(
,
(
)
)
+
(
,
)
。
(
3
。
6
)
因此,<年代p一个nclass="equation" id="eq29">
(
,
(
)
)
≤
+
1
−
(
,
)
+
1
−
(
,
)
。
(
3
。
7
)
现在,如果<年代vg height="12.1625" id="M231" style="vertical-align:-2.05875pt;width:109.8375px;" version="1.1" viewbox="0 0 109.8375 12.1625" width="109.8375" xmlns="http://www.w3.org/2000/svg">
=
(
+
)
/
(
1
−
)
,然后<年代p一个nclass="equation" id="eq30">
(
,
(
)
)
≤
(
,
)
+
(
1
−
)
(
,
)
(
∗
)
也<年代p一个nclass="equation" id="eq31">
(
,
(
)
)
≤
(
,
)
+
(
1
−
)
(
,
)
。
(
∗
∗
)
如果<年代vg height="6.4250002" id="M234" style="vertical-align:-0.10126pt;width:7.8249998px;" version="1.1" viewbox="0 0 7.8249998 6.4250002" width="7.8249998" xmlns="http://www.w3.org/2000/svg">
是一个近似不动点<年代vg height="9.2749996" id="M235" style="vertical-align:-0.0pt;width:10.075px;" version="1.1" viewbox="0 0 10.075 9.2749996" width="10.075" xmlns="http://www.w3.org/2000/svg">
,那么存在一个<年代vg height="9.9375" id="M236" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
和(<一个href="#eq30">*一个>)<年代p一个nclass="equation" id="eq32">
(
,
(
)
)
≤
(
,
)
+
(
1
−
)
(
,
)
≤
(
(
,
)
+
)
+
(
1
−
)
(
,
)
=
(
,
)
+
<
(
,
)
+
。
(
3
。
8
)
和<年代vg height="16.612499" id="M238" style="vertical-align:-5.26599pt;width:120.45px;" version="1.1" viewbox="0 0 120.45 16.612499" width="120.45" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
(
,
)
(
,
)
;如果<年代vg height="8.8500004" id="M239" style="vertical-align:-2.05875pt;width:7.0749998px;" version="1.1" viewbox="0 0 7.0749998 8.8500004" width="7.0749998" xmlns="http://www.w3.org/2000/svg">
是一个近似不动点<年代vg height="9.625" id="M240" style="vertical-align:-0.1125pt;width:10.2125px;" version="1.1" viewbox="0 0 10.2125 9.625" width="10.2125" xmlns="http://www.w3.org/2000/svg">
,那么存在一个<年代vg height="9.9375" id="M241" style="vertical-align:-0.27pt;width:31.1px;" version="1.1" viewbox="0 0 31.1 9.9375" width="31.1" xmlns="http://www.w3.org/2000/svg">
>
0
和(<一个href="#eq31">* *一个>)<年代p一个nclass="equation" id="eq33">
(
,
(
)
)
≤
(
,
)
+
(
1
−
)
(
,
)
≤
(
(
,
)
+
)
+
(
1
−
)
(
,
)
=
(
,
)
+
<
(
,
)
+
。
(
3
。
9
)
和<年代vg height="16.612499" id="M243" style="vertical-align:-5.26599pt;width:120.3375px;" version="1.1" viewbox="0 0 120.3375 16.612499" width="120.3375" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
(
,
)
(
,
)
。因此,<年代vg height="16.612499" id="M244" style="vertical-align:-5.26599pt;width:89.724998px;" version="1.1" viewbox="0 0 89.724998 16.612499" width="89.724998" xmlns="http://www.w3.org/2000/svg">
(
,
)
(
,
)
≠
∅
。年代p一个n>
定理3.4。年代p一个n><我>让<年代vg height="9.4750004" id="M245" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.2749996" id="M246" style="vertical-align:-0.0pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 9.2749996" width="10.4375" xmlns="http://www.w3.org/2000/svg">
非空的一个度量空间的子集<年代vg height="12.075" id="M247" style="vertical-align:-1.99126pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 12.075" width="33.8125" xmlns="http://www.w3.org/2000/svg">
(
,
)
,让<年代vg height="9.8999996" id="M248" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
和<年代vg height="9.9125004" id="M249" style="vertical-align:-0.34875pt;width:120.1375px;" version="1.1" viewbox="0 0 120.1375 9.9125004" width="120.1375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
两个连续映射等<年代vg height="12.075" id="M250" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M251" style="vertical-align:-1.99126pt;width:55.737499px;" version="1.1" viewbox="0 0 55.737499 12.075" width="55.737499" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。如果,每<年代vg height="12.1625" id="M252" style="vertical-align:-2.05875pt;width:82.875px;" version="1.1" viewbox="0 0 82.875 12.1625" width="82.875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
×
,我><年代p一个nclass="equation" id="eq34">
(
,
)
≤
(
,
)
+
(
,
)
,
(
3
。
1
0
)
在哪里<年代vg height="12.2125" id="M254" style="vertical-align:-2.10374pt;width:45.362499px;" version="1.1" viewbox="0 0 45.362499 12.2125" width="45.362499" xmlns="http://www.w3.org/2000/svg">
,
≥
0
和<年代vg height="12.2125" id="M255" style="vertical-align:-2.10374pt;width:55.349998px;" version="1.1" viewbox="0 0 55.349998 12.2125" width="55.349998" xmlns="http://www.w3.org/2000/svg">
+
=
1
,也让<年代vg height="13.2375" id="M256" style="vertical-align:-2.87555pt;width:26.775px;" version="1.1" viewbox="0 0 26.775 13.2375" width="26.775" xmlns="http://www.w3.org/2000/svg">
{
}
和<年代vg height="13.2375" id="M257" style="vertical-align:-2.87555pt;width:26.025px;" version="1.1" viewbox="0 0 26.025 13.2375" width="26.025" xmlns="http://www.w3.org/2000/svg">
{
}
是如下:我><年代p一个nclass="equation" id="eq35">
+
1
=
,
+
1
=
f
o
r
年代
o
米
e
1
,
1
∈
×
,
∈
。
(
3
。
1
1
)
如果<年代vg height="13.2375" id="M259" style="vertical-align:-2.87555pt;width:26.775px;" version="1.1" viewbox="0 0 26.775 13.2375" width="26.775" xmlns="http://www.w3.org/2000/svg">
{
}
有收敛子吗<年代vg height="9.4750004" id="M260" style="vertical-align:-0.0pt;width:10.175px;" version="1.1" viewbox="0 0 10.175 9.4750004" width="10.175" xmlns="http://www.w3.org/2000/svg">
,那么存在一个<年代vg height="13.1125" id="M261" style="vertical-align:-2.92279pt;width:40.787498px;" version="1.1" viewbox="0 0 40.787498 13.1125" width="40.787498" xmlns="http://www.w3.org/2000/svg">
0
∈
这样<年代vg height="13.2375" id="M262" style="vertical-align:-2.92279pt;width:116.7125px;" version="1.1" viewbox="0 0 116.7125 13.2375" width="116.7125" xmlns="http://www.w3.org/2000/svg">
(
0
,
0
)
=
(
,
)
。我>年代p一个n>
证明。我>年代p一个n>我们有<年代p一个nclass="equation" id="eq36">
+
1
,
+
1
=
,
≤
,
+
(
(
,
)
≤
⋯
≤
+
1
0
,
0
+
(
1
+
+
⋯
+
)
(
,
)
。
(
3
。
1
2
)
如果<年代vg height="17.1875" id="M264" style="vertical-align:-6.04807pt;width:48.75px;" version="1.1" viewbox="0 0 48.75 17.1875" width="48.75" xmlns="http://www.w3.org/2000/svg">
{
}
≥
1
收敛于<年代vg height="12.975" id="M265" style="vertical-align:-2.81255pt;width:40.787498px;" version="1.1" viewbox="0 0 40.787498 12.975" width="40.787498" xmlns="http://www.w3.org/2000/svg">
1
∈
,也就是说,<年代vg height="12.4375" id="M266" style="vertical-align:-4.84319pt;width:56.400002px;" version="1.1" viewbox="0 0 56.400002 12.4375" width="56.400002" xmlns="http://www.w3.org/2000/svg">
→
1
,然后<年代p一个nclass="equation" id="eq37">
+
1
,
+
1
≤
+
1
0
,
0
+
1
+
+
⋯
+
(
,
)
。
(
3
。
1
3
)
自<年代vg height="9.2749996" id="M268" style="vertical-align:-0.0pt;width:10.075px;" version="1.1" viewbox="0 0 10.075 9.2749996" width="10.075" xmlns="http://www.w3.org/2000/svg">
是连续的,那么<年代p一个nclass="equation" id="eq38">
+
1
,
⟶
1
−
(
,
)
=
(
,
)
。
(
3
。
1
4
)
因此,<年代vg height="13.1" id="M270" style="vertical-align:-2.81255pt;width:116.7125px;" version="1.1" viewbox="0 0 116.7125 13.1" width="116.7125" xmlns="http://www.w3.org/2000/svg">
(
1
,
1
)
=
(
,
)
。年代p一个n>
定义3.5。我>年代p一个n><我>让我><年代vg height="9.8999996" id="M271" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
和我><年代vg height="9.9125004" id="M272" style="vertical-align:-0.34875pt;width:120.1375px;" version="1.1" viewbox="0 0 120.1375 9.9125004" width="120.1375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是继续这样地图我><年代vg height="12.075" id="M273" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
和我><年代vg height="12.075" id="M274" style="vertical-align:-1.99126pt;width:55.737499px;" version="1.1" viewbox="0 0 55.737499 12.075" width="55.737499" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。我们定义直径我><年代vg height="16.612499" id="M275" style="vertical-align:-5.26599pt;width:64.787498px;" version="1.1" viewbox="0 0 64.787498 16.612499" width="64.787498" xmlns="http://www.w3.org/2000/svg">
(
,
)
(
,
)
通过我><年代p一个nclass="equation" id="eq39">
d
我
一个
米
(
,
)
(
,
)
=
年代
u
p
{
(
,
)
∶
(
,
)
≤
+
(
,
)
f
o
r
年代
o
米
e
>
0
}
。
(
3
。
1
5
)
例3.6。我>年代p一个n>假设<年代vg height="12.1875" id="M277" style="vertical-align:-2.03625pt;width:142.3px;" version="1.1" viewbox="0 0 142.3 12.1875" width="142.3" xmlns="http://www.w3.org/2000/svg">
=
{
(
,
0
)
∶
0
≤
≤
1
}
,<年代vg height="12.1875" id="M278" style="vertical-align:-2.03625pt;width:142px;" version="1.1" viewbox="0 0 142 12.1875" width="142" xmlns="http://www.w3.org/2000/svg">
=
{
(
,
1
)
∶
0
≤
≤
1
}
,<年代vg height="12.075" id="M279" style="vertical-align:-1.99126pt;width:150.125px;" version="1.1" viewbox="0 0 150.125 12.075" width="150.125" xmlns="http://www.w3.org/2000/svg">
(
,
0
)
=
(
,
1
)
=
(
1
/
2
,
1
)
,<年代vg height="12.075" id="M280" style="vertical-align:-1.99126pt;width:152.9375px;" version="1.1" viewbox="0 0 152.9375 12.075" width="152.9375" xmlns="http://www.w3.org/2000/svg">
(
,
1
)
=
(
,
0
)
=
(
1
/
2
,
0
)
。然后<年代vg height="12.1625" id="M281" style="vertical-align:-2.05875pt;width:122.9375px;" version="1.1" viewbox="0 0 122.9375 12.1625" width="122.9375" xmlns="http://www.w3.org/2000/svg">
(
(
,
0
)
,
(
,
1
)
)
=
1
和<年代vg height="22.012501" id="M282" style="vertical-align:-5.26599pt;width:238.58749px;" version="1.1" viewbox="0 0 238.58749 22.012501" width="238.58749" xmlns="http://www.w3.org/2000/svg">
d
我
一个
米
(
(
,
)
√
(
,
)
)
=
d
我
一个
米
(
×
)
=
2
。年代p一个n>
定理3.7。年代p一个n><我>让<年代vg height="9.8999996" id="M283" style="vertical-align:-0.34875pt;width:118.7375px;" version="1.1" viewbox="0 0 118.7375 9.8999996" width="118.7375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
和<年代vg height="9.9125004" id="M284" style="vertical-align:-0.34875pt;width:120.1375px;" version="1.1" viewbox="0 0 120.1375 9.9125004" width="120.1375" xmlns="http://www.w3.org/2000/svg">
∶
∪
→
∪
是连续映射,这样<年代vg height="12.075" id="M285" style="vertical-align:-1.99126pt;width:54.900002px;" version="1.1" viewbox="0 0 54.900002 12.075" width="54.900002" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
,<年代vg height="12.075" id="M286" style="vertical-align:-1.99126pt;width:55.737499px;" version="1.1" viewbox="0 0 55.737499 12.075" width="55.737499" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
。如果存在<年代vg height="6.4375" id="M287" style="vertical-align:-0.1125pt;width:7.1624999px;" version="1.1" viewbox="0 0 7.1624999 6.4375" width="7.1624999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
,我><年代p一个nclass="equation" id="eq40">
(
,
)
+
(
,
)
≤
(
,
)
,
(
3
。
1
6
)
然后我><年代p一个nclass="equation" id="eq41">
d
我
一个
米
(
,
)
≤
(
,
)
+
1
−
(
,
)
1
−
f
o
r
年代
o
米
e
>
0
。
(
3
。
1
7
)
证明。我>年代p一个n>如果<年代vg height="16.612499" id="M291" style="vertical-align:-5.26599pt;width:111.9875px;" version="1.1" viewbox="0 0 111.9875 16.612499" width="111.9875" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
(
,
)
(
,
)
,然后<年代p一个nclass="equation" id="eq42">
(
,
)
≤
(
,
)
+
(
,
)
+
(
,
)
≤
+
(
,
)
+
(
,
)
。
(
3
。
1
8
)
因此,<年代vg height="12.1625" id="M293" style="vertical-align:-2.05875pt;width:216.2375px;" version="1.1" viewbox="0 0 216.2375 12.1625" width="216.2375" xmlns="http://www.w3.org/2000/svg">
(
,
)
≤
/
(
1
−
)
+
(
(
,
)
)
/
(
1
−
)
。然后<年代vg height="16.612499" id="M294" style="vertical-align:-5.26599pt;width:285.63751px;" version="1.1" viewbox="0 0 285.63751 16.612499" width="285.63751" xmlns="http://www.w3.org/2000/svg">
d
我
一个
米
(
(
,
)
(
,
)
)
≤
/
(
1
−
)
+
(
(
,
)
)
/
(
1
−
)
。年代p一个n>