测度论基础知识总结1.集合论1.1 集合与基本运算·概念：具有一定性质的对象构成的全体（不严格定义）。

中间含有的对象叫元素。

全集：要研究的问题涉及到的最大集合。

空集：没有任何元素的集合。

表达方法：{x （集合元素x ）|x 应该有的性质}·元素与集合的关系：x ∈A ，x ∉A·集合之间的关系只有包含或者不包含若对于任意元素x ∈A ，x ∈B 则A 包含于B （证明就用这个方法），A 是B 的子集（A ≠B 则为B 的真子集）包含的特殊情况相等：A=B 就是A 包含于B 同时B 包含于A真子集：A 包含于B 但A ≠B·集合的运算①单个元素的幂集2X对于一个集合X ，它的幂集2X 表示所有其子集为元素构成的集合。

这种以集合为元素的集合，也叫集合族。

②两个集合的运算交：A ∩B={x| x ∈A 且x ∈B}并：A ∪B={x| x ∈A 或x ∈B}差：A\B （或写成A-B ）={x| x ∈A 且x ∉B}补：A C =U\A （U 是问题要研究的全集）于是有等式A\B=A ∩B C积：（直积）A ×B={(x,y)| x ∈A 且y ∈B }（把A 、B 中元素构成有序对）③多个元素的运算多个交⋃A λλ∈I 表示所有以λ为角标的集合的并，要求λ∈I ，I 称为指标集。

类似有多个并注：可以是无穷个【例】A n ={x| x>1n}，A={x| x>0}，则A=⋃A n ∞n=1 ·集合的分析相关性质①上限集：一列集合{A n }，定义上限集为⋂⋃A k ∞k=n ∞n=1。

类似于数列的上极限。

②下限集：一列集合{A n }，定义下限集为⋃⋂A k ∞k=n ∞n=1。

类似于数列的下极限。

③集合列的极限：当上限集等于下限集时极限存在，就是上限集（或下限集）。

④单调集合列：若始终有A n 包含于A n+1，也就是集合越来越大，则为递增集合列；反之，若始终有A n+1包含于A n ，则为递减列。

若A n 为递增列，则有极限lim n→∞A n =⋃A n ∞n=1；若为递减列，则有lim n→∞A n =⋂A n ∞n=1。

1.2映射·定义：X、Y是两个集合，对任意x∈X，存在唯一的y=f(x)∈Y与之对应，则对应法则f为X 到Y的一个映射，记为f:X→Y。

像集：对于X的一个子集A，像集{f(x)| x∈A}记为f(A)，显然包含于Y原像集：对于Y的一个子集B，原像集{x| x∈A且f(x)∈B} 记为f−1(B)·满射：f(X)=Y，即Y中所有元素都是像单射：X中不同元素一定对应Y中不同的像双射：既是单射又是满射。

双射是一一对应的映射。

·逆映射：对于双射，建立一种Y到X的双射，将像映射到原像上。

记为f−1:Y→X·复合映射：f:X→Y，g:Y→Z，它们的复合g o f:X→Z，写成g(f(X))·函数，一个R n（n维实数向量）到R（实数）上的映射·性质（映射与交并运算顺序可交换性）对于f:X→Y，X若干个子集Aα，Y若干个子集Bαf(U Aα)=Uf(Aα)f−1(∪Bα)=∪f−1(Bα)f(∩Aα)包含于（只有这一个不一定等于！！！）∩f(Aα)不等于的例子：A={1} ，B={-1}，f(x)=|x|，则f(A∩B)≠f(A) ∩f(B)f−1(∩Bα)=∩f−1(Bα)用集合相等定义可证明。

1.3集合的势·对等：如果集合A和B之间可以建立双射，则A对等于B。

记为A~B性质：①A到B有单射→A与B子集对等A到B有满射→B与A子集对等②A~B，B~C，则A~C（传递性）③A~C，B~D，则A×B~C×D判定：（康托—伯恩斯坦定理）若集合X与Y的一个真子集对等而且Y与X的一个真子集对等，则X~Y·基数：有限个元素的集合为元素个数。

·势：若两个集合对等，则定义它们的势相等。

在有限个元素的情况下，势就是基数。

无限个元素的情况下，定义自然数集的势是ℵ0（阿列夫0）。

A的势用|A|表示。

·若A与B的一个子集对等，则|A|≤|B|，若与B的真子集对等，则|A|<|B|1.4可数集·可数集：与自然数集对等的称为可列集，元素有限的集合和可列集统称可数集。

·性质：①任何无穷集合都包含可列子集②可数集的子集还是可数集③两个可数集的交、并还是可数集④可数集和可数集的直积还是可数集·定理：有理数集是可列集，实数不是可列集。

（有理数可列证明就把每一个有理数p/q映射到(p,q)点，则有理数和Z×N对等。

实数不可列证明方法有多种，可用闭区间套定理、有限覆盖定理、十进制小数展开等方法）定义实数的势是c=ℵ1·定理：单调函数的间断点集是可数集。

证明思路：不妨设单调递增。

间断点x0左右必有界，否则不单调。

f(x0-0)和f(x0+0)之间必有有理数rx0，而且x0不同的话每个区间(f(x0-0),f(x0+0))不会相交，否则不单调。

所以间断点和有理数子集{rx0}建立双射，是可数的。

·不可数集性质：①一个集合子集不可数，则它不可数②A不可数，B可数，则A~AUB2.n维欧式空间极其简单的性质2.1定义·向量与运算：（略）这部分详见线性代数或者解析几何书定义的向量及运算（加、减、模、内积）、距离等。

·一些常用的集合：开球：B(x,r)（以x为球心，r为半径的球内部）就是{y∈R n|d(x,y)<r}（d(x,y)是x、y的距离）闭球：上面改为d(x,y)≤r有界集：包含于一个开球的集合。

2.2分析相关的概念·点列的极限点：{x k}在k趋于∞时与定点x的距离趋向于0，则x为{x k}极限点。

·聚点和导集：若对于{x k}，点x0为圆心的任何开球内都有无数个{x k}中的点，则x0为{x k}聚点。

一个集合A的所有聚点构成的集合叫A的导集，记为A’。

若x0∈A且不是A的聚点则为A的孤立点，孤立点集记为A\A’。

注：聚点未必属于集合，比如[0,1]所有有理数构成的集合聚点是[0,1]中所有数，包括无理数。

但是定义孤立点属于集合。

定理：若x0是点集A的聚点，则A中存在一个点列趋向x0。

·内点和边界点内点（记为A O）：存在一个以它为球心有一个开球包含在A中边界点（记为∂A）：以它为圆心有一个所有开球不包含在A中，但都有A中的点（用几何图像很好理解）定理：A’\A=∂A\A（用集合相等的定义证出）A=A O∪(∂A∩A)（用几何图像很好理解）·闭包A的闭包定义为A与A’的并。

称A在A的闭包中稠密。

（闭包在几何图像上可以理解为一个图形加上它的边界组成的封闭图形）有若干性质，略2.3 n维欧式空间中的集合·闭集：闭包等于自己的集合。

开集：闭集的补集。

·闭集性质：有限个闭集并还是闭集，任意个闭集交还是闭集。

无限个闭集并可能是开集，比如⋃[1n ,1∞n=1-1n ]=(0,1)开集类似：有限个开集交还是开集，任意个开集并还是开集。

·F σ集和G δ集。

F σ集：可数个闭集的并。

G δ集：可数个开集的交。

性质：F σ集的补集是G δ集注意：一个集合有可能既是G δ集又是F σ集！比如半开半闭区间。

·与矩体的关系矩体：若干个R 上的区间直积。

半开半闭矩体就是若干个前开后闭区间的直积。

性质：开集一定是可列个互不相交的半开半闭矩体的并。

·康托集C 。

开始是[0,1]区间，然后挖掉中间的三分之一开区间得到[0,1/3]U[2/3,1]，再把每个区间挖掉中间1/3的开区间，如此往复，无数次的极限就是康托集。

康托集对应三进制小数0.XXXXX …中只有0,2数字，没有1数字的小数。

（这个结论可以从每次区间的端点都保留在集合里来得到）性质：①康托集是非空有界闭集。

②势是ℵ1。

③是完全集C =C ’。

④没有内点。

·σ代数和博雷尔集①σ代数：设F 是X 的一些子集构成的集合，而且①∅∈F ；②若A ∈F 则X\A ∈F ；③若一列集合A n ∈F ，则⋃A n ∞n=1∈F 。

则称F 是X 的一个σ代数。

②博雷尔集：n 维欧式空间的一切开集的最小σ代数中的集合。

2.4 连续函数·定义：设f 是集合E 上面的实值函数，若对任一点x 0∈E ，任何ϵ>0，均存在δ，使得x ∈B (x 0δ)时|f-f(x 0)|< ϵ，则f 为E 上连续函数。

连续函数性质与微积分中一元函数类似，不详述。

·特殊判定方法：①对于任何t ∈R ，{x| f>t ，x ∈E }(记为E(f>t))是开集，则f 在E 上连续。

大于号可换为大于等于、小于、小于等于。

②若R 任意开集在f 的原像是开集，则f 在E 上连续。

“开集”可换为“闭集”。

2.5 n 维欧式空间的完备性定理有柯西收敛准则、闭集套定理、有限覆盖定理、聚点原理，类似于R 的情况，不详细叙述。

3.勒贝格测度3.1勒贝格外侧度 勒贝格测度的定义·开矩体的体积n 维欧式空间中的开矩体I={(x 1,x 2…x n )|x 1∈(a 1,b 1),x 2∈(a 2,b 2)…x n ∈(a n ,b n )} = (a 1,b 1)×(a 2,b 2)×…×(a n ,b n )（(a n ,b n )都是R 中的开区间）定义它的体积|I|=|a 1−b 1|×|a 2−b 2|×…×|a n −b n |·勒贝格外侧度对于任意n 维欧式空间的集合E ，总有可数个开矩体可以将其覆盖。

定义E 外侧度为可数个覆盖它的开矩体体积和的下确界，记为m ∗(E)。

性质：①非负性：m ∗(E)≥0②平移不变性：m ∗(E)= m ∗(E+x)，E+x 为把集合E 向右平移x 。

③子集的外侧度：若E 1包含于E 2，则m ∗(E 1)≤m ∗(E 2) ④集合的并的外侧度：n 维欧式空间中，m ∗(⋃E k ∞k=1)≤∑m ∞k=1∗(E k )一些集合外侧度的例子：①m ∗(∅)=0②单个点构成的集合外侧度为0。

③可数集的外侧度是0定义：外侧度为0的集合称为零测集。

④平面（2为欧式空间）上的任意直线外侧度为0（即直线面积是0）⑤开矩体与它的闭包外侧度相等，都等于它的体积。

（而且还等于有一部分边界的矩体的外侧度）·可测集 勒贝格测度①可测集：如果对于一个n 维欧式空间中的集合E ，任意n 维欧式空间中的集合T ，都有 m ∗(T)= m ∗(E ∩T)+ m ∗(E C ∩T )，则称E 为可测集。