度量空间:修订间差异
→拓撲性質: 暫定,寫到一半 |
|||
第3行: | 第3行: | ||
}}{{NoteTA|zh-tw:賦距空間;zh-cn:度量空间; |
}}{{NoteTA|zh-tw:賦距空間;zh-cn:度量空间; |
||
}}{{distinguish|测度空间}} |
}}{{distinguish|测度空间}} |
||
在[[數學]]中,'''賦距空間'''({{lang-en|Metric space}})是具有距離這一個概念的[[集合 (数学)|集合]],具體來說,是裝配了一個稱為[[度量]]的函數,用以表示此集合中任兩個成員間的距離。歷史上是由[[法国]]數學家[[莫里斯·弗雷歇]]在1906年于其[[意大利语]]著作《{{Lang|it|Sur quelques points du calcul fonctionnel}}》首次使用<ref>{{Cite journal |last=Fréchet |first=M. Maurice |date=1906-12-01 |title=Sur quelques points du calcul fonctionnel |url=https://doi.org/10.1007/BF03018603 |journal=Rendiconti del Circolo Matematico di Palermo (1884-1940) |language=it |volume=22 |issue=1 |doi=10.1007/BF03018603 |issn=0009-725X}}</ref>。 |
|||
在[[數學]]中,'''賦距空間'''({{lang-en|Metric space}})是一個[[集合 (數學)|集合]]及其[[度量]],該[[度量]]是一個函數,定義了集合中任兩個成員(通常我們稱為「點」)間的距離這一概念。簡略地來說,這個度量滿足了幾個簡單的特性: |
|||
*每個點和自己的距離為0, |
|||
*任兩點間的距離為正數, |
|||
*從A到B的距離,等同於從B到A的距離, |
|||
*從A到B的距離小於等於從A先經過C再到B的距離。 |
|||
賦距空間中最符合人们对于现实直观理解的為三维[[欧几里得空间]]。事实上,“度量”的概念即是[[欧几里得距离]]四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的[[直线]][[線段|段]]之长度。此外,亦存在其他的度量空間,如[[橢圓幾何]]與[[雙曲幾何]],而在球體上以角度量測之距離亦為一度量。[[狭义相對論]]使用雙曲幾何的[[雙曲面模型]],作為[[速度]]之度量空間。 |
賦距空間中最符合人们对于现实直观理解的為三维[[欧几里得空间]]。事实上,“度量”的概念即是[[欧几里得距离]]四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的[[直线]][[線段|段]]之长度。此外,亦存在其他的度量空間,如[[橢圓幾何]]與[[雙曲幾何]],而在球體上以角度量測之距離亦為一度量。[[狭义相對論]]使用雙曲幾何的[[雙曲面模型]],作為[[速度]]之度量空間。 |
||
賦距空間还能導出[[开集]]與[[闭集]]之類的[[拓扑性质]],这导致了对更抽象的[[拓扑空间]]之研究。 |
賦距空間还能導出[[开集]]與[[闭集]]之類的[[拓扑性质]],这导致了对更抽象的[[拓扑空间]]之研究。 |
||
==历史== |
|||
[[莫里斯·弗雷歇]]在1906年于著作《Sur quelques points du calcul fonctionnel》, Rendic. Circ. Mat. Palermo 22(1906) 1–74 中引入了度量空间。 |
|||
==定义== |
==定义== |
||
第37行: | 第30行: | ||
所以本節並沒有把這個性質列入定義。 |
所以本節並沒有把這個性質列入定義。 |
||
若不考量數學上的細節,對於任何道路系統與地形,兩個位置間之距離可被定義為連接這些位置的最短路徑之長度。度量內不應該存在單行道。三角不等式表示每個彎路都不會是最短路徑 |
若不考量數學上的細節,對於任何道路系統與地形,兩個位置間之距離可被定義為連接這些位置的最短路徑之長度。度量內不應該存在單行道。三角不等式表示每個彎路都不會是最短路徑。 |
||
== |
==例子== |
||
* 具有由[[絕對值]]給出的距離函數 <math>d(x,y) = \vert y - x \vert</math> 之[[實數]]集合 |
* 具有由[[絕對值]]給出的距離函數 <math>d(x,y) = \vert y - x \vert</math> 之[[實數]]集合為[[完备空间|完备度量空间]]。具有相關度量的[[有理數]]集合也會形成一個度量空間,但不完備。 |
||
* 具有距離函數 <math>d(x,y) =\vert \log(y/x) \vert</math> 的[[正實數]]集合為完備度量空間。 |
* 具有距離函數 <math>d(x,y) =\vert \log(y/x) \vert</math> 的[[實數|正實數]]集合為完備度量空間。 |
||
⚫ | |||
* [[雙曲平面]]是個度量空間。 |
|||
⚫ | |||
⚫ | |||
**[[范数|曼哈顿范数]]會形成[[曼哈顿距离]]。其中,任何两点或向量之间的距离為对应坐标间差距之和。 |
|||
** [[极大范数]]會形成[[切比雪夫距离]](或稱為棋盘距离),為国王在棋盤上从 <math>x</math> 移动到 <math>y</math> 的所需最小步数。 |
|||
* [[賦範向量空間]]上的[[英國鐵路]]度量(亦稱為[[郵局]]度量或[[法國鐵路]]度量)定義為 <math>d(x,y) = \lVert x \rVert + \lVert y \rVert</math>,其中 x 與 y 為不同的點,且 <math>d(x,x) = 0</math>。更一般性地,<math>\lVert . \rVert</math> 可用由任意集合 <math>S</math> 映射至非負實數,且 <math>0</math> 至多出現一次的函數 <math>f</math> 替代:則集合 S 上的度量可定義為 <math>d(x,y) = f(x) + f(y)</math>,其中 <math>x</math> 與 <math>y</math> 為不同的點,且 <math>d(x,x) = 0</math>。此一度量的名稱係用來影射不論旅途(或信件)的終點為何,都會經過[[倫敦]](或[[巴黎]])的情形。 |
|||
⚫ | |||
*离散度量,其中 <math>d(x, y) = 0</math>,若 <math>x = y</math>,不然 <math>d(x, y) = 1</math>。離散度量是個简单但重要的例子,可适用于任何非空集合。特别是,離散度量证明了对于任何非空集合,总是有一个度量空间与之关联。使用此一度量,每個點都是開球,且因此每個子集都是開的,且該空間具有離散拓撲。 |
*离散度量,其中 <math>d(x, y) = 0</math>,若 <math>x = y</math>,不然 <math>d(x, y) = 1</math>。離散度量是個简单但重要的例子,可适用于任何非空集合。特别是,離散度量证明了对于任何非空集合,总是有一个度量空间与之关联。使用此一度量,每個點都是開球,且因此每個子集都是開的,且該空間具有離散拓撲。 |
||
* 如果 <math>X</math> 是某个集合而 <math>M</math> 是度量空间,则由所有[[有界函数]] <math>f : X \rightarrow M</math>(即那些[[像 (數學)|像]]為 <math>M</math> 的[[有界子集]]之函數)所組成之集合,可透過定義對於任兩個有限函數 <math>f</math> 與 <math>g</math>,<math>d(f,g) = \sup_{x \in X} d(f(x),g(x))</math>(其中 <math>\sup</math> 為[[上確界]]),轉換成度量空間<ref>Searcóid, [http://books.google.com/books?id=aP37I4QWFRcC&pg=PA107 p. 107].</ref>。此一度量稱之為[[一致度量]]或上確界度量,且若 M 為完備的,則此一[[函數空間]]亦為完備的。若 X 亦是個拓撲空間,則由所有從 <math>X</math> 至 <math>M</math> 的有界[[連續函數]]所組成之集合(具有一致度量),當 <math>M</math> 為完備時,該函數空間亦為完備的。 |
|||
* [[萊文斯坦距離]]是衡量兩個[[字串]] <math>u</math> 與 <math>v</math> 間之差異的方法,定義為字串透過刪除、插入或取代將 <math>u</math> 轉變成 <math>v</math> 所需的最少步驟。該距離可被視為一個圖中最短路徑度量的特例,亦為[[編輯距離]]的一個例子。 |
|||
* 如果 <math>M</math> 是[[连通空间|连通]][[黎曼流形]],则通过把在两点之间的距离定义为连接兩點的路径(连续可微[[曲线]])之长度的[[下确界]],將 <math>M</math> 变成度量空间。 |
|||
* 如果 <math>G</math> 是[[图论|无向连通图]],则 <math>G</math> 的[[顶点_(图论)|顶点]]集合 <math>V</math> 可通过定义 <math>d(x, y)</math> 为连接 <math>x</math> 的 ''<math>y</math>'' 的最短路径的长度,变成度量空间。在[[幾何群論]]裡,該度量可適用於一個群的[[凱萊圖]]上,並稱之為[[字度量]]。 |
|||
*类似的,在 3D 中在[[多面体]]的表面上的度量包括平常的度量,在表面上的距离;在多面体的边上第三个度量是路径为边的度量。例如,在[[单位立方体]]相对[[頂點 (幾何)|顶点]]之间的距离分别是 <math>\sqrt 3</math>、<math>\sqrt 5</math> 和 <math>3</math>。 |
|||
* 如果 <math>M</math> 是度量空间,我们把 <math>M</math> 的所有紧致子集的集合 <math>K(M)</math> 变成度量空间,通过定义[[豪斯多夫距离]] <math>d(X, Y) := \inf\lbrace r | (\forall x \in X \exists y \in Y (d(x, y) < r)) \land (\forall y \in Y \exists x \in X ( d(x, y) < r))\rbrace</math>。在这个度量中,两个元素是相互邻近的,如果一个集合的所有元素邻近于另一个集合某个元素。可以证明 <math>K(M)</math> 是完备的如果 <math>M</math> 是完备的。 |
|||
* 所有紧致度量空间(的等距类)的集合形成了关于[[Gromov-豪斯多夫收敛|Gromov-豪斯多夫距离]]的度量空间。 |
|||
* 给定度量空间 <math>(X,d)</math> 和递增凹函数 <math>f:[0,\infty )\rightarrow [0,\infty)</math> 使得 <math>f(x)=0</math> 当且仅当 <math>x=0</math>,则 <math>f \circ d</math> 也是 <math>X</math> 上的度量。 |
|||
* 给定从任何集合 <math>A</math> 到度量空间 <math>(X,d)</math> 的单射函数 <math>f</math>,<math>d(f(x), f(y))</math> 定义了在 <math>A</math> 上的度量。 |
|||
* 使用[[T-理论]],度量空间的[[紧跨越]](tight span)也是度量空间。紧跨越在多种类型的分析中都有用处。 |
|||
* 由某些-{zh-tw:體;zh-cn:域}-上的所有 <math>n \times m</math>'' 矩阵所組成之集合,是個具有[[矩阵的秩|秩]]距离 <math>d(X,Y) = \mathrm{rank}(Y-X)</math> 的度量空间。 |
|||
* [[赫呂度量]]用於[[賽局理論]]裡。 |
|||
==拓撲性質== |
==拓撲性質== |
||
⚫ | |||
每個度量空間都自然地會是個[[拓撲空間]],且因此與一般拓撲空間有關的所有定義及定理也一樣適用於所有的度量空間。 |
|||
:<math>B(x;r) := \left\{ |
|||
y \in M |
|||
⚫ | |||
\,\bigg|\, |
|||
⚫ | |||
d(x,\,y) < r |
|||
這些開球會形成 <math>M</math> 上拓撲的[[基 (拓撲學)|基]],使之成為一個[[拓撲空間]]。 |
|||
\right\}</math> |
|||
這樣的話,若取所有開球構成的集合為[[基 (拓撲學)|拓撲基]] |
|||
具體來說,<math>M</math> 的子集 <math>U</math> 稱之為[[開集|開的]],若對於每個 <math>U</math> 內的 <math>x</math>,存在一個 <math>r > 0</math>,使得 <math>B(x;r)</math> 包含於 <math>U</math>。開集的[[補集]]為[[閉集]]。點 <math>x</math> 的[[鄰域]]是指 <math>M</math> 內包含中心為 <math>x</math> 的某一開球之任何子集。 |
|||
:<math>\mathcal{B}_d := \left\{ |
|||
A \in \mathcal{P}(M) |
|||
\,\bigg|\, |
|||
\exists a \exists r\{ |
|||
(a \in M) \wedge |
|||
(r > 0) \wedge |
|||
( \forall x \in M )[\, (a \in A) \Leftrightarrow (d(x,\,a) < r )\,] |
|||
\} |
|||
\right\}</math> |
|||
那就可以定義以下的拓撲結構 |
|||
:<math>\tau_d := \left\{ |
|||
O \in \mathcal{P}(M) |
|||
\,\bigg|\, |
|||
\exists \mathcal{A} \left[\, |
|||
(\mathcal{A} \subseteq \mathcal{B}_d) \wedge |
|||
\left(O = \bigcup \mathcal{A} \right) |
|||
\,\right] |
|||
\right\}</math> |
|||
也就是把開集定義成任意個開球的[[并集]],這樣的話任意度量空間都自然地是個[[拓扑空间|拓撲空間]]。簡便起見,也會以度量空間 <math>(M,\,d)</math> 來稱呼這個自然存在的拓撲空間 <math>(M,\,\tau_d)</math> 。 |
|||
拓撲空間若可由某個度量空間形成,則稱之為'''可度量化'''空間;更進一步的細節請見[[烏雷松度量化定理]]。 |
拓撲空間若可由某個度量空間形成,則稱之為'''可度量化'''空間;更進一步的細節請見[[烏雷松度量化定理]]。 |
||
=== 閉集 === |
=== 閉集 === |
||
度量空間 <math>M</math> 內的子集 <math> |
度量空間 <math>(M,\,d)</math> 內的子集 <math>X</math> 是閉的,若且唯若每個 <math>X</math> 的[[极限点]]都在 <math>X</math> 內。 |
||
(<math>\Rightarrow</math>) |
|||
<math>X</math> 是閉的意思就是 <math>X</math> 的[[補集]] <math>X^c</math> 為開集,換句話說,存在一個以開球為元素的集合 <math>\mathcal{A} \subseteq \mathcal{B}_d</math> 使得 |
|||
⚫ | |||
也就是說 |
|||
:<math>\forall a \{\, |
|||
[\, |
|||
\neg (a \in X) \wedge |
|||
(a \in M) |
|||
\,] |
|||
\Leftrightarrow |
|||
\exist O [\, |
|||
(a \in O) \wedge |
|||
(O \in \mathcal{A}) |
|||
\,] |
|||
\,\}</math> |
|||
也就是「任何元素 <math>a \in M</math> 不屬於 <math>X</math> ,等價於存在一個 <math>\mathcal{A} </math> 裡的開球 <math>O</math> ,使得 <math>a</math> 在 <math>O</math> 裡。」,那根據[[一阶逻辑#德摩根定理|德摩根定理]]和[[一阶逻辑#邏輯符號|存在量詞的意義]],上式等價於 |
|||
:<math>\forall a \{\, |
|||
(a \in X) |
|||
\Leftrightarrow |
|||
\forall O [\, |
|||
(O \in \mathcal{A}) \Rightarrow |
|||
(a \notin O) |
|||
\,] |
|||
\,\}</math> |
|||
也就是「任何元素 <math>a</math> 屬於 <math>X</math> ,等價於對所有 <math>\mathcal{A} </math> 裡的開球 <math>O</math> , <math>a</math> 都不在 <math>O</math> 裡。」 |
|||
(<math>\Leftarrow</math>) |
|||
=== 連續函數 === |
|||
{{Main|拓扑空间#连续映射与同胚}} |
|||
== 度量空間的序列 == |
=== 度量空間的序列 === |
||
[[極限 (數列)|複數數列的極限]]是基於絕對值去定義的,但考慮到絕對值本身是一個定義在[[复数 (数学)|复数系]] '''<math>\C</math>''' 上的度量,很自然地可以對度量空間 '''<math>(M,\,d)</math>''' 作如下推廣: |
[[極限 (數列)|複數數列的極限]]是基於絕對值去定義的,但考慮到絕對值本身是一個定義在[[复数 (数学)|复数系]] '''<math>\C</math>''' 上的度量,很自然地可以對度量空間 '''<math>(M,\,d)</math>''' 作如下推廣: |
||
2023年5月11日 (四) 09:17的版本
在數學中,賦距空間(英語:Metric space)是具有距離這一個概念的集合,具體來說,是裝配了一個稱為度量的函數,用以表示此集合中任兩個成員間的距離。歷史上是由法国數學家莫里斯·弗雷歇在1906年于其意大利语著作《Sur quelques points du calcul fonctionnel》首次使用[1]。
賦距空間中最符合人们对于现实直观理解的為三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外,亦存在其他的度量空間,如橢圓幾何與雙曲幾何,而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型,作為速度之度量空間。
賦距空間还能導出开集與闭集之類的拓扑性质,这导致了对更抽象的拓扑空间之研究。
定义
名稱 | 內容 |
---|---|
同一性 | |
對稱性 | |
三角不等式 |
則稱 為定義在 上的度量(metric)或是距离函数,且稱 為度量空間。若依上下文可知道使用的度量為何,通常會省略 ,只稱「 為度量空間 」。
雖然大部分的書籍會將「 對任意 , 」列入度量的定義中,但由上面的三個定義就足以推出這個性質,這是因為
所以本節並沒有把這個性質列入定義。
若不考量數學上的細節,對於任何道路系統與地形,兩個位置間之距離可被定義為連接這些位置的最短路徑之長度。度量內不應該存在單行道。三角不等式表示每個彎路都不會是最短路徑。
例子
- 具有由絕對值給出的距離函數 之實數集合為完备度量空间。具有相關度量的有理數集合也會形成一個度量空間,但不完備。
- 具有距離函數 的正實數集合為完備度量空間。
- 賦範向量空間的度量定義為
- 若 為一度量空間,則對 之任意子集 , 亦為一度量空間。
- 离散度量,其中 ,若 ,不然 。離散度量是個简单但重要的例子,可适用于任何非空集合。特别是,離散度量证明了对于任何非空集合,总是有一个度量空间与之关联。使用此一度量,每個點都是開球,且因此每個子集都是開的,且該空間具有離散拓撲。
拓撲性質
對於度量空間 內的任一點 ,可定義中心為 ,半徑為 的開球
這樣的話,若取所有開球構成的集合為拓撲基
那就可以定義以下的拓撲結構
也就是把開集定義成任意個開球的并集,這樣的話任意度量空間都自然地是個拓撲空間。簡便起見,也會以度量空間 來稱呼這個自然存在的拓撲空間 。
拓撲空間若可由某個度量空間形成,則稱之為可度量化空間;更進一步的細節請見烏雷松度量化定理。
閉集
度量空間 內的子集 是閉的,若且唯若每個 的极限点都在 內。
()
是閉的意思就是 的補集 為開集,換句話說,存在一個以開球為元素的集合 使得
也就是說
也就是「任何元素 不屬於 ,等價於存在一個 裡的開球 ,使得 在 裡。」,那根據德摩根定理和存在量詞的意義,上式等價於
也就是「任何元素 屬於 ,等價於對所有 裡的開球 , 都不在 裡。」
()
連續函數
度量空間的序列
複數數列的極限是基於絕對值去定義的,但考慮到絕對值本身是一個定義在复数系 上的度量,很自然地可以對度量空間 作如下推廣:
是 上的一個序列,若存在 使得
那稱 為序列 的極限,且用
或更簡略的
來表達。
完備化
仿造以有理數柯西序列數列構造實數的過程,可以將任意度量空間擴張為完備空間,也就是在新度量空間取值的柯西序列,都會在新度量的意義下收斂。
以下的結果歷史上是由费利克斯·豪斯多夫於1914年首先提出的。[2]
等價關係
對於任意度量空間 ,若定義 為
也就是說, 為所有在 上取值的柯西序列所構成的集合。然後定義以下的等价关系
也就是兩序列之間的距離趨近於零,則被認為是等價的。接下來取 ,也就是所有 在 上的等价类所構成的集合。
新的度量
這樣可以定義一個函數 滿足
也就是新的度量,是等價類之間距離的極限值。
為了證明的確可以定義這樣的函數,要先證明對任意柯西序列 , 是存在的。
根據 (也就是柯西序列)的定義,對任意正实数 ,可以取正整數 ,使任意的正整數 只要有 就有
新的度量空間
等距同構
稠密性
度量空間的類型
有界與完全有界空間
度量空间 M 被称为有界的,如果存在某个数 r,使得对于所有 M 中的 x 和 y 有 d(x,y) ≤ r。r 最小可能的值稱之為 M 的直徑。空间 M 稱之為预紧致的或完全有界的,如果对于所有 r > 0 存在有限多个半径為 r 的开球,其并集覆盖 M。因为这些球為有限個,所以該空間的直徑亦為有限值,从而得出(使用三角不等式)所有完全有界空间都是有界的。但逆命题不成立,因为任何无限集合均可給定其离散度量(上面第一个例子),使得該空間是有界的,但不是完全有界的。
須注意,在討論實數空間的區間及歐氏空間的區域時,有時會將有界集合指為「有限區間」或「有限區域」。不過,有界性與「有限」之間一般並無關連;有限通常意含著有界,但反之不一定成立。
緊緻空間
度量空間 M 是緊緻的,若每個 M 內的序列均有個子序列,會收斂於 M 內的一點。這稱為序列緊緻性,且在度量空間(但不是一般拓撲空間)裡,這等價於可數緊緻與以開覆蓋定義之緊緻性等拓撲性質。
緊緻度量空間的例子包括具絕對值度量的閉區間 [0,1]、所有具有限多個點的度量空間,以及康托爾集。每個緊緻集合的閉子集亦是緊緻的。
一度量空間為緊緻的,若且唯若該空間是完備的,且為完全有界的。這即是所謂的海涅-博雷爾定理。須注意,緊緻性僅決取於拓撲,而有界性則決取於度量。
勒貝格數引理表示,對於緊緻度量空間 M 內的每個開覆蓋,均存在一個「勒貝格數」δ,使得每個 M 內直徑 < δ 的子集均會被包含於某些覆蓋內。
每個緊緻度量空間均為第二可數[3],且是康托爾集的連續像。(後者由帕維爾·亞歷山德羅夫與帕維爾·薩穆伊洛維奇·烏雷松所證得。)
局部緊緻與常態空間
度量空間M稱為局部緊緻的,如果每一點都有一個緊緻鄰域。歐氏空間為局部緊紗的,但無限維巴拿赫空間則不是。
度量空間M稱為常態(proper)的,如果每個閉球都是緊緻的。常態空間是完備且局部緊緻的,但局部緊緻空間未必是常態的。
連通性
度量空間 M 是連通的,若既开又闭的子集只有空集與 M 本身。
度量空間 M 是路徑連通的,若對於 M 內的任兩點 x、y,均存在一個連續映射 ,其中 f(0)=x 且 f(1)=y。每個路徑連通空間都是連通的,但反之通常不成立。
上述性質均有相對的局部定義:局部連通空間與局部路徑連通空間。
單連通空間在某一層面上來說,可說是個沒有「洞」的空間。
可分空間
一度量空間稱之為可分空間,若該空間有可數稠密子集。典型的例子為實數或任何一個歐氏空間。對於度量空間(但不包括一般拓撲空間)可分性等價於第二可數,亦等價於林德勒夫性質。
度量空間之間的映射類型
假設 (M1,d1) 與 (M2,d2) 為兩個度量空間。
連續映射
映射 是連續的,若具有下列任意一個(也就得到了以下所有的)等價性質:
- 一般拓撲學的連續性
- 對於每個在 內的開集 ,其原像 在 內是開的。
這是在拓撲學裡連續性的一般定義。
- 序列連續性
- 若 是 內一序列,且會收斂至 內的 ,則序列 會收斂至 內的 。
- ε-δ定義
- 對於每個在 內的 ,任意给定 ,均存在 ,使得對於所有 內的 ,
這用到了極限的(ε, δ)定義,由奧古斯丁·路易·柯西所提出。
此外, 是連續的,若且唯若該函數在 的每個緊緻子集內都是連續的。
每個緊緻集合在連續函數下的像亦是緊緻的,且每個連通集合在連續函數下的像亦是連通的。
一致連續映射
映射 ƒ : M1 → M2 為一致連續的,若對於每個 ε > 0,均存在 δ > 0,使得
每個一致連續映射 ƒ : M1 → M2 均是連續的。若 M1 是緊緻的,則反向的陳述亦會成立。(海涅-康托爾定理)
一致連續映射會將 M1 內的柯西序列轉換成 M2 內的柯西序列。對於連續映射,該陳述則不一定會成立;例如,一個將開區間 (0,1) 滿射至實數線的連續映射即會將柯西序列轉換成無界的序列。
利普希茨連續映射與壓縮映射
給定一數 K > 0,映射 ƒ : M1 → M2 為利普希茨連續,若
每個利普希茨連續映射均是一致連續的,但反之不一定成立。
若 K < 1,則 f 稱之為壓縮映射。令 M2 = M1,且 M1 是完備的。若 f 是個壓縮映射,則 f 會有個唯一的不動點(巴拿赫不動點定理)。若 M1 是緊緻的,則條件可稍微放寬一點:f 會有個唯一的不動點,若
- .
等距同構
映射 f:M1→M2 稱之為等距同構,若
等距同構總會是單射的;緊緻或完備集合在等距同構下的像仍分別會是緊緻或完備的。不過,若等距同構不是滿射的,則閉(或開)集的像不一定是閉(或開)的。
擬等距同構
映射 f : M1 → M2 稱之為擬等距同構,若存在常數 A ≥ 1 與 B ≥ 0,使得
且有一個常數 C ≥ 0,使得 M2 內的每個點與像 f(M1) 內的某個點間之距離至多為 C。
須注意,擬等距同構不需要是連續的。擬等距同構比較度量空間的「大尺度結構」;多用於幾何群論內與字度量有關的理論。
度量空间等价性的概念
度量空間之間有著不同的等價性。依據兩個空間之間能夠存在的函數,可給出不同等價的程度與類型。
给定两个度量空间 (M1, d1) 和 (M2, d2):
- 這兩個空間稱之為同胚(拓撲同構)的,若存在兩者間的同胚(即兩個方向均為連續的雙射)。在此條件下,這兩個空間能導出相同的拓撲空間。
- 這兩個空間稱之為一致同構的,若存在兩者間的一致同構(即兩個方向均為一致連續的雙射)。
- 這兩個空間稱之為等距同構的,若存在兩者間的等距同構雙射。在此一條件下,兩個度量空間基本上是相同的。
- 這兩個空間稱之為擬等距同構的,若存在兩者間的擬等距同構。
拓扑性质
度量空間是個仿緊緻[4]豪斯多夫空間[5],因此是個正規空間(且實際上是個完美正規空間)。度量空間也是個第一可數空間,因為可使用具有理數半徑的球作為該空間的基。
依據提策擴展定理,每個度量空間都能具有單位分解,且每個定義於度量空間的閉子集上之連續實數值函數均能擴展成整個空間的連續映射。每個定義於度量空間的子集上之實數值利普希茨連續映射亦能擴展成整個空間的利普希茨連續映射。
度量空間 M 上的度量拓撲是使得 映射至非負實數的度量 d 為連續之最粗糙拓撲。
点和集合间的距离
构造分离一个点与一个闭集的函数(作为完全正则空间的要求)的简单方式是考虑点和集合之间的距离。 如果 (M,d) 是度量空间,S 是 M 的子集而 x 是 M 的点,則可定义从 x 到 S 的距离为
- ,其中的 表示下確界。
d(x, S) = 0 若且唯若 x 包含於 S 的閉包內。此外,可將三角不等式推廣如下:
其中,可證明映射 是連續的。
給定兩個 M 內的子集 S 與 T,可定義豪斯多夫距離為
- ,其中的 表示上確界。
一般而言,豪斯多夫距離 dH(S,T) 可以是無限大的。兩個集合的在豪斯多夫距離上會互相靠近,若其中一個集合的每個元素會靠近另一集合的某個元素。
豪斯多夫距離 dH 會將由所有 M 內非空緊緻子集所組成之集合 K(M) 轉換成一個度量空間。可證明若 M 是完備的,則 K(M) 亦是完備的。(緊緻子集的收斂性亦可由庫拉托夫斯基收斂給出。)
然後,可定義任兩個度量空間之間的格羅莫夫-豪斯多夫距離為這兩個空間的等距同構嵌入版本間之最短豪斯多夫距離。使用此一距離,由所有(等距同構類型的)緊緻度量空間所組成的類本身即會形成一個度量空間。
积度量空间
如果 是度量空间,而 N 是在 Rn 上的欧几里得范数,则 亦為度量空間,且積度量定義為
積度量導出之拓撲等價於積拓撲。依據有限維的範數之等價性,曼哈頓範數、p-範數、最大範數,及其他當座標內的分量增加時不會減少(符合三角不等式)之範數,所給出的度量均為拓撲同構。
同樣的,度量空间的可数積度量可以定義為如下度量:
度量空間的不可數積度量不一定是可度量化的。例如, 不是第一可數空間,因此不能度量化。
距离的连续性
值得注意的是,在一個空间 中,距离映射 在上述任何一個積度量 下均是一致连续的,且特别是,在 下的积拓扑會是连续的。
商度量空间
若 M 為度量空間,其度量為 d,且 ~ 為 M 上之等價關係,則可在商集合 M/~ 上賦加下面的(偽)度量。給定兩個等價類 [x] 與 [y],可定義
其中,、、(即取從 [x] 至 [y] 經過所有等價類之路徑的最短長度)。一般來說,這僅能定義出一個偽度量,即 d'([x],[y])=0 不一定蘊涵 [x] = [y]。不過,對於良好的等價關係(如將多面體沿著面膠合),則會是個度量。此外,若 M 是個緊緻空間,則該度量在 M/~ 上導出之拓撲為商拓撲。
商度量 d 具有下列泛性質:若 是個度量空間之間的度量映射(即對於所有 x、y,),滿足當 時,f(x)=f(y) 的條件,則函數 定義為 ,亦會是個度量映射 。
一個拓撲空間是序列的,若且唯若該空間是個度量空間的商空間。[6]
度量空間的推廣
- 每個度量空間都自然會是個一致空間,而每個一致空間也都自然會是個拓撲空間。因此,一致空間與拓撲空間均可視為度量空間的推廣。
- 若考量上面給定之度量空間的第一個定義,放寬定義中的第二個條件,則可得到偽度量空間[7]。若移除第三個或第四個條件,則可分別得到擬度量空間與半度量空間。
- 若距離函數的對應域為擴展實數線 R∪{+∞},定義中的四個條件維持不變,則稱該空間為「擴展度量空間」或「-度量空間」。若距離函數的對應域為某個(適當的)有序集(且三角不等式有對應的調整),則可得出「擴展超度量」這個概念。[7]
- 趨近空間是度量空間的推廣,以點對集合的距離取代點對點的距離。
- 連續性空間是度量空間與偏序集的推廣,用來統整度量空間與域的概念。
- 部分度量空間是為了對度量空間作最小化的推廣,使得每個點對自身的距離不再一定為零。[8]
度量空間作為豐富範疇
有序集 可透過令 時恰有一態射 ,否則沒有態射,將之視為一個範疇。使用 + 作為張量積,0 作為單位元,該集合可變成一個么半範疇 。每個度量空間 (M, d) 均可被視為 上的豐富範疇 。其步驟如下:[9]
- 令 (M 內的元素為豐富範疇 之物件)。
- 對於每個 M 內的元素 X、Y,令 (M 的度量為豐富範疇 之態射)。
- 態射複合 亦為 內的唯一態射,因為三角不等式 。
- 單位態射 是唯一的,因為 。
参见
註記
- ^ Fréchet, M. Maurice. Sur quelques points du calcul fonctionnel. Rendiconti del Circolo Matematico di Palermo (1884-1940). 1906-12-01, 22 (1). ISSN 0009-725X. doi:10.1007/BF03018603 (意大利语).
- ^ G. Ye, Shilov. Mathematical Analysis: A Special Course. : Chapter 2.
- ^ PlanetMath: a compact metric space is second countable 互联网档案馆的存檔,存档日期2009-02-05.
- ^ Rudin, Mary Ellen. A new proof that metric spaces are paracompact. Proceedings of the American Mathematical Society, Vol. 20, No. 2. (Feb., 1969), p. 603.
- ^ metric spaces are Hausdorff. PlanetMath.
- ^ Goreham, Anthony. Sequential convergence in Topological Spaces (页面存档备份,存于互联网档案馆). Honours' Dissertation, Queen's College, Oxford (April, 2001), p. 14
- ^ 7.0 7.1 Pascal Hitzler and Anthony Seda, Mathematical Aspects of Logic Programming Semantics. Chapman and Hall/CRC, 2010.
- ^ 存档副本. [2015-10-04]. (原始内容存档于2017-07-27).
- ^ Lawvere 2002
參考資料
- Dmitri Burago, Yu D Burago, Sergei Ivanov. A Course in Metric Geometry. American Mathematical Society. 2001. ISBN 0-8218-2129-6.
- Victor Bryant. Metric Spaces: Iteration and Application. Cambridge University Press. ISBN 0-521-31897-1.
- Mícheál Ó Searcóid. Metric Spaces. Springer Undergraduate Mathematics Series. 2006. ISBN 1-84628-369-8.
- Athanase Papadopoulos. Metric Spaces, Convexity and Nonpositive Curvature 2nd. European Mathematical Society. 2014. ISBN 978-3-03719-132-3.
- Lawvere, F. William. Metric spaces, generalized logic, and closed categories. Reprints in Theory and Applications of Categories. 2002, 1: 1–37 [2015-10-04]. (原始内容存档于2022-01-14).
- 埃里克·韦斯坦因. Metric Space. MathWorld.
- 埃里克·韦斯坦因. Product Metric. MathWorld.
外部链接
|