測度論

縱觀勒貝格積分和勒貝格－斯蒂爾傑斯積分理論，不難發現它們都有三個基本要素。

第一，一個基本空間（即n維歐幾里得空間R）以及這個空間的某些子集構成的集類即L（勒貝格）可測集或某L－S（勒貝格-斯蒂爾傑斯）可測集全體，這個集類對集的代數運算和極限運算封閉。

第二，一個與這個集類有關的函數類（即L可測函數或某L-S可測函數全體）。

第三，一個與上述集類有關的測度（即L測度或某L-S測度）。

在三個要素的基礎上，它們都是運用完全類似的定義和推理過程獲得完全類似的一整套測度、可測函數、積分的定理（見勒貝格積分、貝爾函數）。測度論正是基於這些基本共同點所形成一般理論。

對於更一般的集合，我們能不能定義測度呢？比如直線上所有有理數構成的集合，它的測度怎麼衡量呢？

一個簡單的辦法，就是先在每個有理點上找一個開區間復蓋它，就好比給它帶個“帽子”。因為有理數集是可列集（就是可以像排自然一樣排好隊，一個個數出來，也叫可數集，見集合論），所以我們可以讓第n個有理數上蓋的開區間長度是第一個有理數（比方是1）上蓋的開區間長度的2^n分之一。這樣所有那些開區間的長度之和是個有限值（就是1上的開區間長度的2倍）。

我們讓1上的開區間逐漸縮小趨向於一個點，那麼所有區間的總長度也相應縮小，趨向於長度0。這樣我們就說有理數集的測度是0。用上面這種方法定義的測度也叫外測度。

一個幾何區域有了測度，我們就可以定義上面的函數的積分，這是推廣的黎曼積分。

比如實數上的狄利克雷函數(如果x是有理數)，0（如果x是無理數）。如果按照通常的理解，我們發現狄利克雷函數在整個數軸上的定積分不存在；但是按照上面講的有理數的測度，我們就可以求出它的定積分是0。

實直線上的測度如下給出：

設E是實數集，考慮可數個區間(aj,bj)滿足對任何x∈E,都有某個j,使得x∈(aj,bj);考慮所有情形下和(b1-a1)+(b2-a2)+..的下確界稱為E的外測度

如果對任何集合F都有E∩F和F\E的外測度之和等於F的外測度，稱E可測，定義其測度等於外測度

直觀含義上面已經解釋過了

測度的相關數學定義：

集函數：設Ψ是上的非空集合類。若對於每一個A∈Ψ,都有一個實數或者±∞之一與之對應(為確定起見，下面假定只取+∞)，記為φ(A)，且至少有一個A∈Ψ,使得φ(A)取有限值，稱φ(A)為定義在Ψ上的集函數。

(1)若對任意的正整數n以及任意的，且，有

則稱φ在Ψ上具有有限可加性，也稱φ是Ψ上的有限可加集函數。

(2)若對可列集的且，有

則稱φ在Ψ上具有完全可加性或者б-可加性，也稱φ是Ψ上的б-可加集函數或者廣義測度。

(3)若對每一個，φ(A)都取有限值，則稱φ為上的有限集函數。如果對每一個，存在一個集合序列⊂Ψ，使得

則稱φ是Ψ上的б-有限集函數。

(4)若集函數為有限可加且只取非負值則稱為有限可加測度。若集函數為б-可加，且只取非負值，則稱為測度，用μ或ν表示。具有性質且的測度，稱為概率測度或者簡稱概率，一般用P表示。

此外，測度還可以取值於任何線性空間（通常帶有一定拓撲，比如Banach空間），只要滿足相應的可數可加性。在Hilbert空間運算元理論中還有所謂譜測度的概念，其中測度的取值為一固定Hilbert空間中投影運算元的全體，且滿足（在強意義下）的可數可加性。

如果測度空間X是拓撲空間而所考慮的б代數（或者б環，後者按照Halmos《Measure Theory》）由全體緊集生成（這定義不是標準的；有的書上說是由全體開集生成），且測度在每個緊集上取有限值，則稱為Borel測度。如果Borel測度限制在所有能寫成可數個開集的交的緊集生成的б環上，則稱為Baire測度。如果任何可測集E滿足

則稱μ為正則測度。

Riesz-Markov表示定理：設X為局部緊T2空間，則對Cc(X)（即X上有緊支集的連續函數全體）上任何正線性泛函φ，存在正則Borel測度μ使得對任何f，φ(f)等於f關於μ的積分。

設X是非空的集。E是以Χ的某些子集作為元素構成的集，稱E為Χ上的一個集類。設R是Χ上的一個集類。如果它對集的並、差運算封閉，即對任何A、B∈R，必有A∪B∈R，A\B∈R，則稱R為Χ上的環；如果R不僅是一個環，而且Χ∈R,則稱R為Χ上的代數。例如直線R1上的左開右閉的有限區間(α,b](α=b時,(α,b]表示空集）的全體記為P,P便是R1上的集類，但不是環。P中任意有限個集的並的全體記為R0,R0便是R1上的環，但不是代數。直線上任意有限個區間(包括無限區間)的並的全體R奿是R1上的代數。環或代數雖對集的代數運算（即並、差、交運算）封閉，但對極限運算不一定封閉，這就不適應分析數學的要求。因此，需要引入下面的概念：設φ)是Χ上的一個環，如果它對集的可列並運算封閉，則稱φ)為Χ上的σ環；如果φ)是σ環，並且Χ∈φ),則稱φ)為Χ上的σ代數。σ環就對集的並、差、交以及極限運算都封閉，而σ代數還對集的求余集運算封閉。例如，R0,R奿，都不是R1上的σ環，而L可測集（或L-S可測集）的全體是R1上的σ代數。又如Χ的一切子集的全體Χ是Χ上的σ代數。由於任意個環的交仍是環，因此對一個集類E,一切包含E的環的交是包含E的最小環，記為R（E）。同樣，包含E的最小σ環記為φ)(E)。

設φ)是Χ 上的σ環，稱（Χ，φ)為可測空間，而稱φ中的任何集A為(Χ,φ)中的可測集（也稱為Χ中的φ可測集）。如果Χ是Rn,而φ分別是Rn中 L可測集全體（記為L）、由單調增加右連續函數g(x)生成的L-S可測集全體（記為 Lg）、波萊爾集全體（記為B）,則相應地稱(Χ,φ)是L可測空間、L-S可測空間、波萊爾可測空間。設E是可測空間(Χ，φ))中的可測集，ƒ是定義在E上的有限實值函數。如果對任何實數с，{Χ│ƒ(x)>с}∈φ，那麼稱ƒ為E上關於(Χ,φ)的可測函數，也稱為E上的φ)可測函數。這種可測函數是L可測函數、L-S可測函數等概念的直接推廣。它有許多等價定義方式，並且具有L可測涵數所具有的代數性質及極限性質。定義在E上的復值函數ƒ，如果它的實部、虛部都是可測函數，那麼就稱ƒ為E上的可測函數。可測空間、可測集、以及可測函數等概念原則上並不涉及測度。

設Χ是非空集,E是Χ上的集類，定義在E上的函數稱為集函數（因為自變元是屬於E，它是Χ的子集）。設R是Χ上的環，μ是定義在R上的取非負的廣義實值(可以取值+∞)的集函數，如果滿足：①μ(═)=0(═是空集)；②(可列可加性)對任何一列互不相交的 An∈R(n=1,2…,),並且：式

①，有：式②=③，則稱μ為環R上的測度。設(Χ,φ)是一個可測空間,μ是定義在φ上的測度，則稱(Χ,φ),μ)是測度空間。特別,(R1,L,m)及(R1,Lg,mg)分別稱為（直線上的）L測度空間和L-S 測度空間。測度空間(Χ,φ,μ)中的測度μ 除了平移、反射不變性以及余集(因為 X可能不在S中）的性質外，具有勒貝格測度m的其他性質。由於φ是σ環，對集的極限運算封閉，所以測度空間是建立具有良好的極限性質的積分的基礎。

設A是可測空間(Χ，φ)中可測集。如果有一列可測集{An},μ(An)<∞(n=1,2,…)，使得：式④，則稱

A為σ有限集。如果φ)中一切集都是σ有限的，則稱(Χ,φ),μ)是σ有限的測度空間。特別，當φ是σ代數且Χ是σ有限集時，稱(Χ,φ),μ)為全σ有限測度空間。通常分析數學中所用的具體的(Χ,φ)，μ)大都是全σ有限測度空間。

設測度空間(Χ,φ),μ)中的φ)是σ代數，如果μ(Χ)<∞,則稱(Χ,φ),μ)為全有限的測度空間。特別，當μ(Χ)=1時，稱(Χ,φ),μ)為概率測度空間（概率論中用的全是這種空間）。

設A是測度空間(Χ,φ),μ)上的可測集。如果μ(A)=0，則稱A為μ零集。如果(Χ,φ),μ)中任何一個μ零集的任何子集都是可測集，則稱（Χ，φ), μ）為完全測度空間。例如(R1,L,m)，(R1,Lg,mg)都是完全的、全σ有限的測度空間。

同L測度一樣，在測度空間(Χ,φ，μ)中也有命題P在E上“幾乎處處”成立的概念，它是指E中使命題P不成立的點的全體（它可能不是可測集）包含在某個μ 零集中。對於完全測度空間，命題P在E上幾乎處處成立就是指使命題 P不成立的點的全體是μ零集。在不完全的測度空間上，關於μ幾乎處處相等的兩個可測函數ƒ和h，未必能從ƒ的可測性推出h也是可測的，只有在完全測度空間才能做到這一點。對於測度空間上的可測函數序列，常用的重要收斂概念同樣有兩個：一是E上可測函數列{ƒn}幾乎處處收斂於可測函數ƒ,即{x│ƒn(x)→ƒ(x)}包含在某個μ零集中；另一是E上可測函數列{ ƒn}度量收斂 (或稱依測度收斂)於可測函數 ƒ，即對任何 ε>0，式⑤，

上述兩種收斂的關係是和L測度的情形一樣。此外，在測度空間上也成立葉戈羅夫定理：設E上可測函數列{ƒn}幾乎處處收斂於可測函數ƒ，並且μ(E)<∞ ，則對任何δ>0，必存在可測集Eδ嶅E,使得μ(E\Eδ)<δ,且{ƒn}在Eδ上一致收斂於ƒ。類似於L測度的情形，在測度空間上也可引入度量基本序列（或依測度基本序列），並成立相應的完備性定理。>

同 L積分建立過程完全一樣，可以建立測度空間上的積分概念，將那裡的測度m換成μ即可。L積分所具有的大部分性質對一般的測度空間上的積分也是成立的。在測度空間中也有積分平均收斂，平方平均收斂或更一般的p次平均收斂的概念以及相應的性質。

對積分來說，採用關於集的極限運算不封閉的環上的測度是不夠的，有用的是σ環上的測度。然而由於環的結構比σ環的結構要簡單得多，所以在環上給出一個測度或驗證環上的某個非負集函數是否是測度往往比在 σ環上要簡單得多。自然就產生定義在環R上的測度是否一定能延拓成包含R的最小σ環φ(R)上的測度的問題。測度論中證明了如下重要定理：任何環上的σ 有限測度必可惟一地延拓成包含它的最小σ 環上的 σ有限測度。

作者: 霍爾姆斯

出版社: 世界圖書出版公司

出版年: 2007-2

頁數: 304

定價: 39.00 元

裝幀: 平裝

ISBN: 9787506282741

My main purpose in this book is to present a unified treatment of that part of measure theory which in recent years has shown itself to be most useful for its applications in modern analysis. If I have accomplished my purpose, then the book should be found usable both as a text for students and as a source of reference for the more advanced mathematician.

I have tried to keep to a minimum the amount of new and unusual terminology and notation. In the few places where my nomenclature differs from that in the existing literature of measure theory, I was motivated by an attempt to harmonize with the usage of other parts of mathematics. There are, for instance, sound algebraic reasons for using the terms "lattice" and "ring" for certain classes of sets--reasons which are more cogent than the similarities that caused Hausdorff to use "ring" and "field."

《測度論(英文版)》是一部為初學者提供學習測度論的入門書籍。

1.Measures

1.Algebras and sigma—algebras

2.Measures

3.Outer measures

4.Lebesgue measure

5.Completeness and regularity

6.Dynkin classes

2.Functions and Integrals

1.Measurable functions

2.Properties that hold almost everywhere

3.The integral

4.Limit theorems

5.The Riemann integral

6.Measurable functions again，complex—valued functions，and image measures

3.Convergence

1.Modes of convergence

2.Normed spaces

3.Definition of p and Lp

4.Properties of p and Lp

5.Dual spaces

4.Signed and Complex Measures

1.Signed and complex measures

2.Absolute continuity

3.Singularity

4.Functions of bounded variation

5.The duals of the Lp spaces

5.Product Measures

1.Constructions

2.Fubini's theorem

3.Applications

6.Differentiation

1.Change of variable in Rd

2.Differentiation of measures

3.Differentiation of functions

7.Measures on Locally Compact Spaces

1.Locally compact spaces

2.The Riesz representation theorem

3.Signed and complex measures; duality

4.Additional properties of regular measures

5.The μ*—measurable sets and the dual of L1

6.Products of locally compact spaces

8.Polish Spaces and Analytic Sets

1.Polish spaces

2.Analytic sets

3.The separation theorem and its consequences

4.The measurability of analytic sets

5.Cross sections

6.Standard，analytic，Lusin，and Souslin spaces

9.Haar Measure

1.Topological groups

2.The existence and uniqueness of Haar measure

3.Properties of Haar measure

4.The algebras L1（G）and M（G）

Appendices

A.Notation and set theory

B.Algebra

C.Calculus and topology in Rd

D.Topological spaces and metric spaces

E.The Bochner integral

Bibliography

Index of notation

Index

作者：（美國）科恩（Donald L.Cohn）

In presenting this treatment of homological algebra, it is a pleasureto acknowledge the help and encouragement which I have had fromall sides. Homological algebra arose from many sources in algebra andtopology. Decisive examples came from the study of group extensionsand their factor sets, a subject I learned in joint work with OTTO SCHIL-LING. A further development of homological ideas, with a view to theirtopological applications, came in my long collaboration with SAHUELEZLENBERG; to both collaborators, especial thanks. For many yearsthe Air Force Office of Scientific Research supported my researchprojects on various subjects now summarized here; it is a pleasure toacknowledge their lively understanding Of basic science.

Both REINHOLD BAER and JOSEF SCHMID read and commented onmy entire manuscript; their advice has led to many improvements.ANDERS KOCK and JACOUES RIGUET have read the entire galley proofand caught many slips and obscurities. Among the others whose sug-gestions have served me well, I note FRANK ADAMS, LOUIS AUSLANDER,WILFRED COCKCROFT, ALBRECHT DOLD, GEOFFREY HORROCKS, FRIED-RICH KASCH, JOHANN LEICHT, ARUNAS LIULEVIC1US, JOHN MOORE, DIE-TBR PUFFE, JOSEPH YAO, and a number of my current students at theUniversity of Chicago —— not to mention the auditors of my lecturesat Chicago, Heidelberg, Bonn, Frankfurt, and Aarhus. My wife, DonoTHY,has cheerfully typed more versions of more chapters than she wouldlike to count. Messrs. SPRINTER have been unfailingly courteous in thepreparation of the book; in particular, I am grateful to F. K. SCHMIDT,the Editor of this series, for his support. To all these and others whohave helped me, I express my best thanks.