概率论第三讲.ppt

有：第37页,共38页，星期六，2024年，5月测度的完全化测度完全化的好处在于：假设某个依赖于w的性质在某个零测集N之外成立，则使此性质不成立的w的集就是N的一个子集，一般来说，它不一定属于F，但它属于，且它的测度为零。第38页,共38页，星期六，2024年，5月一、测度及其性质4.（次可加性）A为集代数，?是测度，Ai?A第5页,共38页，星期六，2024年，5月定义1.2.2设?是定义在集合类A上的集函数，若对A中任意满足条件An?，且则称?在A处下连续。A的集合序列{An}，有：一、测度及其性质若对A中任意满足条件An，,且至少存在一m使则称?在A处上连续。第6页,共38页，星期六，2024年，5月一、测度及其性质定理1.2.2设?是集代数A上的?-可加集函数（或测度），则?有限可加且连续。即集代数上的测度是连续的。定理1.2.3设?是集代数A上的有限可加集函数（或有限可加测度），若?满足下列条件之一：（1）?是下连续的；（2）?有限，且在?处连续，则?是?-可加集函数（或测度）。第7页,共38页，星期六，2024年，5月有了定义在集代数A上的测度?，我们考虑如何产生测度?在?-代数?(A)上的扩张？最后得到“测度扩张定理”。首先必须明白什么叫“扩张”？定义1.2.3A1，A2是?上的两个非空集合类，且A1?A2，?i是Ai的测度(i=1,2)，若对?A?A1,有?1(A)=?2(A)，则称?2是?1在A2上的扩张(?1是?2在A1上的限制)。二、测度的扩张定理第8页,共38页，星期六，2024年，5月以下讨论的前提是A是?上的集代数，?是A上的测度称F?上的v*是由A上的v所引出的外测度。(所有的A的覆盖的测度和的下确界，即为A的外测度。)注意：这里可列多个集合的并也包括有限个集合并的情况。外测度不见得是测度！！！1、F?上的外测度?*(A)对任意A?F?，定义SA第9页,共38页，星期六，2024年，5月下确界：对于给定的数集S={x}，若数?满足条件：(1)?是S的下界，即对?x?S，有??x;(2)对任何大于?的数?，一定存在S中某个数x0，使得x0?.(即对??0,?x0?S,使得x0?+?)则称?为数集S的下确界，记作：?=infS例：第10页,共38页，星期六，2024年，5月引理1.2.1由集代数A上的测度?引出的F?上的外测度?*，满足：下面讨论外测度的性质：证明：（1）因A?A，由外测度定义，有：?*(A)??(A)因此，只需证明?*(A)??(A)不减性第11页,共38页，星期六，2024年，5月综上所述?(A)=?*(A)下面证明?*(A)??(A)，只需说明?(A)为A的所有覆盖的测度和的下界即可第12页,共38页，星期六，2024年，5月即：外测度是单调上升的函数。即覆盖B的集合序列一定覆盖A第13页,共38页，星期六，2024年，5月则结论显然成立。由定义：第14页,共38页，星期六，2024年，5月第15页,共38页，星期六，2024年，5月为了把那些满足可加性的集合挑选出来，我们引入?*可测集的概念，并构成一个新的集合类A*，从下面的分析可以看到，该集合类A*不仅为?-代数，而且?*是A*上的测度。问题：外测度?*在F?上未必满足?-可加性!第16页,共38页，星期六，2024年，5月2、?*可测集（1.2.3）（1.2.4）证明：必要性显然成立下面简单说明充分性：第17页,共38页，星期六，2024年，5月由引理1.2.1，有?*(?)=0由引理1.2.1(3)知外测度函数?*具有次可加性，则在引理1.2.1(3)中取我们记A*为所有?*可测集组成的集合类。第18页,共38页，星期六，2024年，5月引理1.2.3A*满足：（1）A*是?-代数；(若集代数对可列不交并封闭则为?-代数）证明：（1）首先证明A*是集代数a、∵?*(?)=0，??D??，有：（1.2.4）式的定义具有对称性???A*第19页,共38页，星期六，2024年，5月则有：A∪B?A*综上所述知A*是集代数。（1.2.5）c、?A，B?A*，