度量空间

维基百科,自由的百科全书
跳转至: 导航搜索
Confusion grey.svg
提示:本条目的主题不是测度空间

数学中,度量空间是个具有距離函數的集合,該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量

度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线之长度。此外,亦存在其他的度量空間,如橢圓幾何雙曲幾何,而在球體上以角度量測之距離亦為一度量。特殊相對論使用雙曲幾何的雙曲面模型,作為速度之度量空間。

度量空间还能導出开集闭集之類的拓扑性质,这导致了对更抽象的拓扑空间之研究。

历史[编辑]

莫里斯·弗雷歇在1906年于著作《Sur quelques points du calcul fonctionnel》, Rendic. Circ. Mat. Palermo 22(1906) 1–74中引入了度量空间。

定义[编辑]

度量空间是個有序對(M,d),这里的M集合d是在M上的度量(metric),即為函数

使得對於任何在M內的x、y、z,下列條件均成立:

  1. d(x, y) ≥ 0(非负性)
  2. d(x, y) = 0 当且仅当x = y(不可区分者的同一性)
  3. d(x, y) = d(y, x)(对称性)
  4. d(x, z) ≤ d(x, y) + d(y, z)(三角不等式)。

條件1可由其他三個條件中導出[1]。條件1做为度量空间的性质更恰当一些,但是很多课本都將其包含於定义之中。

函数d亦稱為“距离函数”或简稱“距离”。若依上下文可知道使用的度量為何,通常會省略d,只寫出M為度量空間。

若不考量數學上的細節,對於任何道路系統與地形,兩個位置間之距離可被定義為連接這些位置的最短路徑之長度。度量內不應該存在單行道。三角不等式表示每個彎路都不會是最短路徑。下面的許多例子均可被視為此類一般概念的具體版本。

度量空间的例子[编辑]

  • 具有由絕對值給出的距離函數實數集合,以及更一般性地,具有歐幾里得距離之n維歐氏空間,這些空間均為完備度量空間。具有相關度量的有理數集合也會形成一個度量空間,但不完備。
  • 具有距離函數正實數集合為完備度量空間。
  • 雙曲平面是個度量空間。
  • 每個賦範向量空間都是度量空間,其度量可定義為。若此類空間為完備的,則稱之為巴拿赫空間。例如:
  • 賦範向量空間上的英國鐵路度量(亦稱為郵局度量或法國鐵路度量)定義為,其中x與y為不同的點,且d(x,x) = 0。更一般性地,可用由任意集合S映射至非負實數,且0至多出現一次的函數f替代:則集合S上的度量可定義為d(x,y) = f(x) + f(y),其中x與y為不同的點,且d(x,x) = 0。此一度量的名稱係用來影射不論旅途(或信件)的終點為何,都會經過倫敦(或巴黎)的情形。
  • 若(M, d)為一度量空間,且X為M之子集,則(X, d)亦為一度量空間,且d的定義域縮限於
  • 离散度量,其中d(x, y) = 0,若x = y,不然d(x, y) = 1。離散度量是個简单但重要的例子,可适用于任何非空集合。特别是,離散度量证明了对于任何非空集合,总是有一个度量空间与之关联。使用此一度量,每個點都是開球,且因此每個子集都是開放的,且該空間具有離散拓撲。
  • 如果X是某个集合而M是度量空间,则由所有有界函数f : XM(即那些為M的有界子集之函數)所組成之集合,可透過定義對於任兩個有限函數f與g,(其中上確界),轉換成度量空間[2]。此一度量稱之為一致度量或上確界度量,且若M為完備的,則此一函數空間亦為完備的。若X亦是個拓撲空間,則由所有從X至M的有界連續函數所組成之集合(具有一致度量),當M為完備時,該函數空間亦為完備的。
  • 萊文斯坦距離是衡量兩個字串u與v間之差異的方法,定義為字串透過刪除、插入或取代將u轉變成v所需的最少步驟。該距離可被視為一個圖中最短路徑度量的特例,亦為編輯距離的一個例子。
  • 如果M连通黎曼流形,则通过把在两点之间的距离定义为连接兩點的路径(连续可微曲线)之长度的下确界,將M变成度量空间。
  • 如果G无向连通图,则G的顶点集合V可通过定义d(x, y)为连接xy的最短路径的长度,变成度量空间。在幾何群論裡,該度量可適用於一個群的凱萊圖上,並稱之為字度量
  • 类似的,在3D中在多面体的表面上的度量包括平常的度量,在表面上的距离;在多面体的边上第三个度量是路径为边的度量。例如,在单位立方体相对顶点之间的距离分别是√3、√5和3。
  • 如果M是度量空间,我们把M的所有紧致子集的集合K(M)变成度量空间,通过定义豪斯多夫距离d(X, Y) = inf{r :对于所有X中的x存在Y中的 y使得d(x, y) < r,并且对于所有Y中的y存在X中的x使得d(x, y) < r)}。在这个度量中,两个元素是相互邻近的,如果一个集合的所有元素邻近于另一个集合某个元素。可以证明K(M)是完备的如果M是完备的。
  • 所有紧致度量空间(的等距类)的集合形成了关于Gromov-豪斯多夫距离的度量空间。
  • 给定度量空间(X,d)和递增凹函数f:[0,∞)→[0,∞)使得f(x)=0当且仅当x=0,则f od也是X上的度量。
  • 给定从任何集合A到度量空间 (X,d)的单射函数fd(f(x), f(y))定义了在A上的度量。
  • 使用T-理论,度量空间的紧跨越(tight span)也是度量空间。紧跨越在多种类型的分析中都有用处。
  • 由某些域上的所有n×m矩阵所組成之集合,是個具有距离d(X,Y) = rank(Y-X)的度量空间。
  • 赫呂度量用於賽局理論裡。

開集、閉集、拓撲與收斂性[编辑]

每個度量空間都自然地會是個拓撲空間,且因此與一般拓撲空間有關的所有定義及定理也一樣適用於所有的度量空間。

對於度量空間M內的任一點x,可定義中心為x,半徑為r > 0(其中,r為一實數)的開球

。這些開球會形成M上拓撲的,使之成為一個拓撲空間

具體來說,M的子集U稱之為開放的,若對於每個U內的x,存在一個r > 0,使得包含於U。開集的補集閉集。點x的鄰域是指M內包含中心為x的某一開球之任何子集。

拓撲空間若可由某個度量空間形成,則稱之為可度量化空間;更進一步的細節請見烏雷松度量化定理

度量空間M內之序列()稱之為可收斂至極限若且唯若對於每個,均存在一個自然數N,使得,對於所有n > N。在拓撲空間內也有相對應的收斂之一般定義。

度量空間M內的子集A是封閉的,若且唯若每個在A內的序列若可收斂至M內的一極限,則該極限在A內。

度量空間的類型[编辑]

完備空間[编辑]

度量空間M稱之為完備的,若每個柯西序列均收斂於M內,亦即:若,其中n與m個自趨近於無限大,則存在某個,使得

每個歐氏空間都是完備的,而且該空間的每個閉子集也都是完備空間。使用絕對值度量的有理數集合則不是完備的。

每個度量空間都有個在同構意義下唯一的完備化空間。該完備化空間是個完備空間,給定之度量空間為其稠密子集。例如,實數是有理數的完備化空間。

若X是空間空間M內的完備子集,則X在M內是封閉的。而實際上,一個空間是完備的,若且唯若該空間在任何包含該空間的度量空間內都是封閉的。

每個完備度量空間都是個貝爾空間

有界與完全有界空間[编辑]

一個集合的直徑。

度量空间M被称为有界的,如果存在某个数r,使得对于所有M中的xyd(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)為兩個度量空間。

連續映射[编辑]

映射f:M1M2是連續的,若具有下列一個(因此所有)等價性質:

一般拓撲學的連續性
對於每個在M2內的開集U,其原像f-1(U)在M1內會是開放的。這是在拓撲學裡連續性的一般定義。
序列連續性
若(xn)是M1內一序列,且會收斂至M1內的x,則序列(f(xn))會收斂至M2內的f(x)。這是由愛德華·海涅所提出的序列連續性
ε-δ定義
對於每個在M1內的x及每個ε>0,均存在δ>0,使得對於所有M1內的y,
。這用到了極限的(ε, δ)定義,由奧古斯丁·路易·柯西所提出。

此外,f是連續的,若且唯若該函數在M1的每個緊緻子集內都是連續的。

每個緊緻集合在連續函數下的亦是緊緻的,且每個連通集合在連續函數下的像亦是連通的。

一致連續映射[编辑]

映射ƒ : M1M2一致連續的,若對於每個ε > 0,均存在δ > 0,使得

每個一致連續映射ƒ : M1M2均是連續的。若M1是緊緻的,則反向的陳述亦會成立。(海涅-康托爾定理

一致連續映射會將M1內的柯西序列轉換成M2內的柯西序列。對於連續映射,該陳述則不一定會成立;例如,一個將開區間(0,1)滿射至實數線的連續映射即會將柯西序列轉換成無界的序列。

利普希茨連續映射與壓縮映射[编辑]

給定一數K > 0,映射ƒ : M1M2利普希茨連續,若

每個利普希茨連續映射均是一致連續的,但反之不一定成立。

若K < 1,則f稱之為壓縮映射。令M2 = M1,且M1是完備的。若f是個壓縮映射,則f會有個唯一的不動點(巴拿赫不動點定理)。若M1是緊緻的,則條件可稍微放寬一點:f會有個唯一的不動點,若

.

等距同構[编辑]

映射f:M1M2稱之為等距同構,若

等距同構總會是單射的;緊緻或完備集合在等距同構下的像仍分別會是緊緻或完備的。不過,若等距同構不是滿射的,則閉(或開)集的像不一定是封閉(或開放)的。

擬等距同構[编辑]

映射 f : M1M2 稱之為擬等距同構,若存在常數A ≥ 1與B ≥ 0,使得

且有一個常數C ≥ 0,使得M2內的每個點與像f(M1)內的某個點間之距離至多為C。

須注意,擬等距同構不需要是連續的。擬等距同構比較度量空間的「大尺度結構」;多用於幾何群論內與字度量有關的理論。

度量空间等价性的概念[编辑]

度量空間之間有著不同的等價性。依據兩個空間之間能夠存在的函數,可給出不同等價的程度與類型。

给定两个度量空间 (M1, d1)和(M2, d2):

  • 這兩個空間稱之為同胚(拓撲同構)的,若存在兩者間的同胚(即兩個方向均為連續雙射)。在此條件下,這兩個空間能導出相同的拓撲空間
  • 這兩個空間稱之為一致同構的,若存在兩者間的一致同構(即兩個方向均為一致連續的雙射)。
  • 這兩個空間稱之為等距同構的,若存在兩者間的等距同構雙射。在此一條件下,兩個度量空間基本上是相同的。
  • 這兩個空間稱之為擬等距同構的,若存在兩者間的擬等距同構

拓扑性质[编辑]

度量空間是個仿緊緻[4]豪斯多夫空間[5],因此是個正規空間(且實際上是個完美正規空間)。度量空間也是個第一可數空間,因為可使用具有理數半徑的球作為該空間的

依據提策擴展定理,每個度量空間都能具有單位分解,且每個定義於度量空間的閉子集上之連續實數值函數均能擴展成整個空間的連續映射。每個定義於度量空間的子集上之實數值利普希茨連續映射亦能擴展成整個空間的利普希茨連續映射。

度量空間M上的度量拓撲是使得映射至非負實數的度量d為連續之最粗糙拓撲

点和集合间的距离[编辑]

构造分离一个点与一个闭集的函数(作为完全正则空间的要求)的简单方式是考虑点和集合之间的距离。如果 (M,d)是度量空间,SM子集xM的点,則可定义从xS的距离为

,其中的表示下確界

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具有下列泛性質:若是個度量空間之間的度量映射英语metric map(即對於所有x、y,),滿足當時,f(x)=f(y)的條件,則函數定義為,亦會是個度量映射

一個拓撲空間是序列的,若且唯若該空間是個度量空間的商空間。[6]

度量空間的推廣[编辑]

  • 每個度量空間都自然會是個一致空間,而每個一致空間也都自然會是個拓撲空間。因此,一致空間與拓撲空間均可視為度量空間的推廣。
  • 若距離函數的對應域擴展實數線R∪{+∞},定義中的四個條件維持不變,則稱該空間為「擴展度量空間」或「-度量空間」。若距離函數的對應域為某個(適當的)有序集(且三角不等式有對應的調整),則可得出「擴展超度量」這個概念。[8]
  • 部分度量空間是為了對度量空間作最小化的推廣,使得每個點對自身的距離不再一定為零。[9]

度量空間作為豐富範疇[编辑]

有序集可透過令時恰有一態射,否則沒有態射,將之視為一個範疇。使用+作為張量積,0作為單位元,該集合可變成一個么半範疇。每個度量空間 (M, d)均可被視為上的豐富範疇。其步驟如下:[10]

  • (M內的元素為豐富範疇之物件)。
  • 對於每個M內的元素X、Y,令(M的度量為豐富範疇之態射)。
  • 態射複合亦為內的唯一態射,因為三角不等式
  • 單位態射是唯一的,因為

参见[编辑]

註記[编辑]

  1. ^ 依條件4,可知d(x, y) + d(y, x) ≥ d(x,x)。再依條件3與條件2,可推得2d(x, y) ≥ 0。因此,d(x, y) ≥ 0。
  2. ^ Searcóid, p. 107.
  3. ^ PlanetMath: a compact metric space is second countable 互联网档案馆存檔,存档日期2009-02-05.
  4. ^ 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.
  5. ^ PlanetMathmetric spaces are Hausdorff的資料。
  6. ^ Goreham, Anthony. Sequential convergence in Topological Spaces. Honours' Dissertation, Queen's College, Oxford (April, 2001), p. 14
  7. ^ Pascal Hitzler and Anthony Seda, Mathematical Aspects of Logic Programming Semantics. Chapman and Hall/CRC, 2010.
  8. ^ Pascal Hitzler and Anthony Seda, Mathematical Aspects of Logic Programming Semantics. Chapman and Hall/CRC, 2010.
  9. ^ http://www.dcs.warwick.ac.uk/pmetric/
  10. ^ Lawvere 2002

參考資料[编辑]

外部链接[编辑]