基本介紹
- 中文名:零測度
- 外文名:zero measure
- 領域:數學
測度,測度的定義,性質,單調性,可數個可測集的並集的測度,σ-有限測度,完備性,例子,相關條目,
測度
數學上,測度(Measure)是一個函式,它對一個給定集合的某些子集指定一個數,這個數可以比作大小、體積、機率等等。傳統的積分是在區間上進行的,後來人們希望把積分推廣到任意的集合上,就發展出測度的概念,它在數學分析和機率論有重要的地位。
測度的定義
正式的定義為,一個測度
(詳細的說法是可列可加的正測度)是個函式。設
的元素是的子集合,而且是一個
-代數,
在
上定義,於
中取值,並且滿足以下性質:
![](/img/9/f20/6483a7f82631b4af4598e449b9dc.jpg)
![](/img/c/3ad/32720ae8195e40b215c77ad499a6.jpg)
![](/img/0/bbb/e0f62f6108d19900e4c588c62500.jpg)
![](/img/b/f75/390a4afb376aa1fd504cff56db1e.jpg)
![](/img/0/906/edb2721de4dc39138abe507d1e3f.jpg)
![](/img/e/fa4/dc71cbf0ed7a8aa3d0d805d35758.jpg)
空集合的測度為零:
![](/img/d/b34/7452e5cf59e693a3c0ad740e0f34.jpg)
可數可加性,或稱
-可加性:若
為
中可數個兩兩不相交集合的序列,則所有
的聯集的測度,等於每個
的測度之和:
![](/img/b/0b0/cab28dc6bb43e2749132f32e301e.jpg)
![](/img/3/ba1/87a742aa6cc880bac1df3dff4552.jpg)
![](/img/9/9a1/0dae9a5952fed32a48ee21399bb2.jpg)
![](/img/8/01c/c84ea94ad5cae5c58dbcf96fbc62.jpg)
![](/img/d/99f/83286e0b6ca02e82985afd2db30a.jpg)
![](/img/6/db6/7902aa0e62de67736c71ef985afc.jpg)
這樣的三元組
稱為一個測度空間,而
中的元素稱為這個空間中的可測集合。
![](/img/f/95b/301411007c86481854e877fc5118.jpg)
![](/img/a/d0a/eaf97305b34356ed6ace44dc9910.jpg)
性質
單調性
可數個可測集的並集的測度
若
為可測集(不必是兩兩不交的),則集合
的並集是可測的,且有如下不等式(“次可列可加性”):
![](/img/0/f93/f0f039eb6bf9e0c252c1cf39face.jpg)
![](/img/d/7f3/5b2cca54fd126e10d35cb9eafc25.jpg)
![](/img/e/1c5/78eb7c57595f3c9280e401a98918.jpg)
σ-有限測度
如果
是一個有限實數(而不是
),則測度空間
稱為有限測度空間。如果
可以表示為可數個可測集的並集,而且這些可測集的測度均有限,則該測度空間稱為
-有限測度空間。如果測度空間中的一個集合
可以表示為可數個可測集的並集,而且這些可測集的測度均有限,就稱
具有
-有限測度。
![](/img/7/e08/5e18fa4c24b2b6c2a917b54c2cf8.jpg)
![](/img/c/a60/0317c7e9c7b1852942d3e53abb02.jpg)
![](/img/0/f2e/fea5633d4845b34895ae1cbbb71e.jpg)
![](/img/f/984/8090cbe06b88eb05ab96c8132f2e.jpg)
![](/img/1/b19/eb81d73362ff0b6b1b72f38e9620.jpg)
![](/img/c/779/7f20db86c34d8d786ce5f7cf761f.jpg)
![](/img/2/a5c/de7316f690bb72364185b6012080.jpg)
![](/img/6/469/ba0c201eb03130d7a409f280739f.jpg)
作為例子,實數集賦以標準勒貝格測度是
-有限的,但不是有限的。為說明之,只要考慮閉區間族[k, k+1],k取遍所有的整數;這樣的區間共有可數多個,每一個的測度為1,而且並起來就是整個實數集。作為另一個例子,取實數集上的計數測度,即對實數集的每個有限子集,都把元素個數作為它的測度,至於無限子集的測度則令為。這樣的測度空間就不是
-有限的,因為任何有限測度集只含有有限個點,從而,覆蓋整個實數軸需要不可數個有限測度集。
-有限的測度空間有些很好的性質;從這點上說,
-有限性可以類比於拓撲空間的可分性。
![](/img/4/21d/4bbbe9c2a6b9e9ae61c62bcab831.jpg)
![](/img/d/551/621dcef3b424dcad5e1734a204d8.jpg)
![](/img/7/4b4/96eef66b408f9c44d9c138b55215.jpg)
![](/img/3/1a3/b1a702a0db5d6358fc472e82eb0b.jpg)
完備性
一個可測集
稱為零測集,如果
。零測集的子集稱為可去集,它未必是可測的,但零測集自然是可去集。如果所有的可去集都可測,則稱該測度為完備測度。
![](/img/d/f36/0e652167cf3aa7100ad2b1e919af.jpg)
![](/img/c/298/54073df8a6140a1c0ef0cb2421ce.jpg)
例子
下列是一些測度的例子(順序與重要性無關)。
計數測度定義為
的“元素個數”。
![](/img/3/603/d38424484aa5e2523fbd797bee4a.jpg)
Circular angle測度是旋轉不變的。
局部緊拓撲群上的哈爾測度是勒貝格測度的一種推廣,而且也有類似的刻劃。