《MeasureTheory.docVIP

测度论 测度论是研究一般集合上的测度和积分的理论。它是勒贝格测度和勒贝格积分理论的进一步抽象和发展，又称为抽象测度论或抽象积分论，是现代分析数学中重要工具之一。 测度理论是实变函数论的基础。 定义 　　测度理论是实变函数论的基础。 ?? 测度论 所谓测度，通俗的讲就是测量几何区域的尺度。 我们知道直线上的闭区间的测度就是通常的线段长度； 平面上一个闭圆盘 的测度就是它的面积。 定理形成 　　纵观勒贝格积分和勒贝格－斯蒂尔杰斯积分理论，不难发现它们都有三个基本要 素。第一，一个基本空间（即 n维欧几里得空间Rη）以及这个空间的某些子集构成的集类即L（勒贝格）可测集或某L－S（勒贝格-斯蒂尔杰斯）可测集全体，这个集类对集的代数运算和极限运算封闭。第二,一个与这个集类有关的函数类（即L可测函数或某L-S可测函数全体）。第三,一个与上述集类有关的测度（即L测度或某L-S测度）。在三个要素的基础上，它们都是运用完全类似的定义和推理过程获得完全类似的一整套测度、可测函数、积分的定理（见勒贝格积分、贝尔函数）。测度论正是基于这些基本共同点所形成一般理论一般定义 对于更一般的集合，我们能不能定义测度呢？ 比如直线上所有有理数构成的集合，它的测度怎么衡量呢？ 　　一个简单的办法， 就是先在每个有理点上找一个开区间覆盖它，就好比给它带个“帽子”。因为有理数集是可列集（就是可以排像自然一样排好队，一个个数出来，也叫可数集，见集合论），所以我们可以让第n个有理数上盖的开区间长度是第一个有理数（比方是1）上盖的开区间长度的2^n分之一。 这样所有那些开区间的长度之和是个有限值（就是1上的开区间长度的2倍）。 现在我们让1上的开区间逐渐缩小趋向于一个点，那么所有区间的总长度也相应缩小，趋向于长度0。 这样我们就说有理数集的测度是0。 用上面这种方法定义的测度也叫外测度。 　　一个几何区域有了测度，我们就可以定义上面的函数的积分，这是推广的黎曼积分。 　　比如实数上的狄利克雷函数D(x)=1(如果x是有理数)，0（如果x是无理数）。 如果按照通常的理解，我们发现狄利克雷函数在整个数轴上的定积分不存在；但是按照上面讲的有理数的测度，我们就可以求出它的定积分是0。 　　实直线上的测度如下给出： 　　设E是实数集，考虑可数个区间(aj,bj)满足对任何xE,都有某个j,使得x(aj,bj);考虑所有情形下和(b1-a1)+(b2-a2)+..的下确界称为E的外测度 　　如果对任何集合F都有E∩F和F\E的外测度之和等于F的外测度，称E可测，定义其测度等于外测度 直观含义上面的朋友已经解释过了数学定义 　　测度的相关数学定义： 　　集函数：设Ψ是上的非空集合类。若对于每个一个AΨ,都有一个实数或者±∞之一与之对应(为确定起见，下面假定只取+∞)，记为φ(A)，且至少有一个AΨ,使得φ(A)取有限值，称φ(A)为定义在Ψ上的集函数。 (1)若对任意的正整数n以及任意的AiΨ，i=1，2……，n，Ai∩Aj=Oslash;(i≠j)，且(A1A2∪…Ai∪…An)∈Ψ，有 　　φ(A1A2∪…Ai∪…An)=∑[φ(A1)∪φ(A2)∪…φ(Ai)∪…φ(An)]， 　　则称φ在Ψ上具有有限可加性，也称φ是Ψ上的有限可加集函数。 (2)若对可列集的AiΨ，i=1，2……，n，Ai∩Aj=Oslash;(i≠j)，且(A1A2∪…Ai∪…A∞)∈Ψ，有 　　φ(A1A2∪…Ai∪…A∞)=∑[φ(A1)∪φ(A2)∪…φ(Ai)∪…φ(A∞)]， 　　则称φ在Ψ上具有完全可加性或者б-可加性，也称φ是Ψ上的б-可加集函数或者广义测度。 (3)若对每一个AΨ，φ(A)都取有限值，则称φ为上的有限集函数。如果对每一个AΨ，存在一个集合序列Ψ，使得 　　A(A1∪A2∪…Ai∪…A∞)，φ(An)+∞，n=1，2，…… 　　则称φ是Ψ上的б-有限集函数。 (4)若集函数为有限可加且只取非负值则称为有限可加测度。若集函数为б-可加，且只取非负值，则称为测度，用μ或ν表示。具有性质ΩΨ且ν(Ω)=1的测度，称为概率测度或者简称概率，一般用P表示。相关定理 　　此外，测度还可以取值于任何线性空间（通常带有一定拓扑，比如Banach空间），只要满足相应的可数可加性。在Hilbert空间算子理论中还有所谓谱测度的概念，其中测度的取值为一固定Hilbert空间中投影算子的全体，且满足（在强意义下）的可数可加性。 　　如果测度空间X是拓扑空间而所考虑的б代数（或者б环，后者按照Halmos《Measure Theory》）由全体紧集生成（这定义不是标准的；有的书上说是由全体开集生成），且测度在每个紧集上取有限值，则称为Borel测度。如果Bor