-
測度空間
鎖定
- 中文名
- 測度空間
- 外文名
- Measure space
- 所屬學科
- 測度論
- 定 義
- 定義了測度的可測空間叫測度空間
- 符號表示
- m
- 相關名詞
- 可測空間
測度空間定義
測度空間簡介
二元組( X, F),其中F只要滿足三個條件就可以了, 這樣就可以對 F中的元素定義測度, 所以F中的元素叫可測集,但是這時許多人會犯一個致命的錯誤, 認為對 F加了限制, 排除了一些不可測集。其實我們可以取 F為 X的子集全體, 這時( X, F)就是一個可測空間, 我們可以給 F中的元素定義測度。定義了測度( 例如記做 m)的可測空間叫測度空間, 記做( X, F, m), 是個三元組。
[1]
測度空間測度
測度,是數學術語,釋義是構造一個集函數,它能賦予實數集簇М中的每一個集合E一個非負擴充實數mE。我們將此集函數稱為E的測度。測度有計數測度、勒貝格測度、哈爾測度、概率測度等。構造一個集函數,它能賦予實數集簇М中的每一個集合E一個非負擴充實數mE。我們將此集函數稱為E的測度。
[2]
具體定義:
定義1:構造一個集函數,它能賦予實數集簇М中的每一個集合E一個非負擴充實數mE。我們將此集函數稱為E的測度。
定義2:設Γ是集合X上一σ代數,ρ :Γ →R∪{ +∽ }是一集合函數,且ρ滿足:
(1)(非負性)對任意的A∈Γ,有ρ(A)≧0;
(2)(規範性)ρ(Φ) = 0;
(3)(完全可加性) 對任意的一列兩兩不交集合A1,A2,……,An,……有ρ(∪n An)=∑n ρ(An)
測度空間可測空間
可測空間是一個文縐縐的用語。羅素上個世紀提出了一個悖論,使得集合論的推理發生了嚴重的危機, 也就是説基本的假設按照通常的推理會出現問題, 這個問題大家又解決不了, 但這個世界上聰明人很多, 既然解決不了那就不解決, 把這個問題繞過去, 於是可測集的概念就應運而生,因為對極端的情況處理不了, 所以就不考慮極端的情況, 把能處理的情況放在一起, 這樣推論就不會產生矛盾了。 X是任意集合, F是把 X中極端的情況去掉後由 X的子集所組成的集合, 這樣去掉了不能處理的集合, 剩下來的都是可以處理的, 所以( X, F)就叫可測集了。
F取得太大, 可能導致無法定義合適的測度。 例如取 R的全體子集作為 F, 那麼我們沒有辦法將區間長度這個合適的測度概念定義在 F的每個元素上, F太大了。 縮小 F為小一點的σ域 F', 使得 F' 包括所有的區間, 而且其中的元素都有測度 L, 而且 L是區間長度概念的自然推廣, 就得到所謂勒貝格測度空間(R,F',L), F' 中的元素叫勒貝格可測集, 而相應的測度 L叫勒貝格測度。
所以可測空間中的可測集和測度無關, 測度空間中的可測集和測度有關。