完備化(completion)是1993年公布的數學名詞。
基本介紹
- 中文名:完備化
- 外文名:completion
- 所屬學科:測度論
- 公布時間:1993年
完備化(completion)是1993年公布的數學名詞。
完備化(completion)是1993年公布的數學名詞。定義設μ為σ環S的測度,對所有E∈S,S中零測集的子集N,所有E△N組成集合。則為σ環,定義集函式為,則為上的完備測度,稱為μ的完備化。等價定義設(S,𝓐,μ)為...
S完備化(S-completion)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 S完備化是對基本網結構(B,E,F)的一種操作,設(B,E,F)為一個簡單網,在保持E元素不變的情況下...
完備性是指在數學及其相關領域中,當一個對象具有完備性,即它不需要添加任何其他元素,這個對象也可稱為完備的或完全的。完備性也稱完全性,可以從多個不同的角度來精確描述這個定義,同時可以引入完備化這個概念。不同領域中的含義 在...
測度完備化(completion of a measure)亦稱測度完全化,是由任一測度延拓成的完備測度。簡介 測度完備化亦稱測度完全化,是由任一測度延拓成的完備測度。設μ₁,μ₂分別是σ代數𝓕₁,𝓕₂上的測度。如果滿足下列條件,則稱...
克努特-本迪克斯完備化(Knuth-Bendix completion)是2018年公布的計算機科學技術名詞。定義 由克努特(Knuth)和本迪克斯(Bendix)提出的,將一組等式轉換為一個有限終止的具有合流性的項重寫系統的方法。是將等式推理問題轉化為重寫系統中...
新構造的完備度量空間M'在等距同構意義下由該性質所唯一決定,稱為M的完備化空間。以上定義是基於M是M'的稠密子空間的概念。我們還可以將完備化空間定義為包含M的最小完備度量空間。可以證明,這樣定義的完備化空間存在,唯一(在等距...
一般地,完備⇒有界完備⇒序列完備。對於賦范線性空間,這三者等價。拓撲線性空間必可完備化,即可拓撲線性同構於一個完備拓撲線性空間的稠密子空間。普塔克(Ptak,V.)關於拓撲線性空間的完備性的進一步討論,使得在一類很廣的完備拓撲...
P,<),存在完備的全序集(C,>),滿足:1.屍l二C.2.若p,qEP,則p<q,若且唯若pq.3.屍在C中稠密.4.C沒有端點.完備全序集(C, )在同構的意義上是惟一的.因此,把(C, )稱為(屍,<)的完備化.
完備範疇 完備範疇是範疇論中的一個概念。設C為範疇,J為小範疇,C稱為完備範疇,若任何函子F:J→C均存在投射極限。
,理想U作為R 模的完備化 是環惵 的理想,惵 和 由R(和M)中 U-adic拓撲誘導出的拓撲就是 -adic拓撲,並且 =惵M。完備化函子R→惵和M→ 保持環和模的許多特性,而將R或M完備化成惵或 之後的好處,是可以採用極限...
實數是有理數的完備化——這亦是構造實數集合的一種方法。極限的存在是微積分的基礎。實數的完備性等價於歐幾里德幾何的直線沒有“空隙”。二、 “完備的有序域”實數集合通常被描述為“完備的有序域”,這可以幾種解釋。首先,有...