Loading AI tools
来自维基百科,自由的百科全书
完備空間,或稱完備度量空間(英語:Complete metric space)是具有下述性質的一種度量空間:空間中的任何柯西序列都收斂在該空間之內。 [1][2]
此條目需要補充更多來源。 (2017年1月8日) |
對任一度量空間M,我們可以構造相應的完備度量空間M' (或者表示為),使得原度量空間成為新的完備度量空間的稠密子空間。M' 具備以下普適性質:若N為任一完備度量空間,f為任一從M到N的一致連續函數,則存在唯一的從M' 到N的一致連續函數f' 使得該函數為f的擴展。新構造的完備度量空間M' 在等距同構意義下由該性質所唯一決定,稱為M的完備化空間。
以上定義是基於M是M'的稠密子空間的概念。我們還可以將完備化空間定義為包含M的最小完備度量空間。可以證明,這樣定義的完備化空間存在,唯一(在等距同構意義下),且與上述定義等價。
類似於從有理數域出發定義無理數的方法,我們可以通過柯西序列給原空間添加元素使其完備。
對M中的任意兩個柯西序列x=(xn)和y=(yn),我們可以定義它們間的距離: d(x,y) = limn d(xn,yn)(實數域完備所以該極限存在)。按此方式定義的度量還只是偽度量,這是因為不同的柯西序列均可收斂到0。但我們可以象很多情況中所做的一樣(比如從Lp到),將新的度量空間定義為所有柯西序列的集合上的等價類的集合,其中等價類是基於距離為0的關係(易於驗證該關係是等價關係)。這樣,令ξx = {y是M上的柯西序列:},M' ={ξx:x ∈ M},原空間M就以xξx的映射方式嵌入到新的完備度量空間M' 中。易於驗證,M等距同構於M' 的稠密子空間。
康托法構造實數是該完備化方法的一個特例:實數域是有理數域作為以通常的差的絕對值為距離的度量空間的完備化空間。
康托爾的實數建構是上述構造的特例;此時實數集可表為有理數集對絕對值的完備化。倘若在有理數集上另取其它的絕對值,得到的完備空間則為p進數。
若將上述流程施於賦範向量空間,可得到一個巴拿赫空間,原空間是其中的稠密子空間。若施於一個內積空間,得到的則是希爾伯特空間,原空間依然是其稠密子空間。
此條目應避免有陳列雜項、瑣碎資料的部分。 (2022年3月27日) |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.