实变函数：第五次课(第三版).pptVIP

* 令G为所有删去开区间的并，即 ，. 称P是康托尔集. P的性质： P是非空的完备集. .这是因为在[0，1]中永远删不去的点都在P中，如各个开区间的端点都属于P.其次，由于G为可数个互不相交的开区间的并集，故G为开集，各个 是其构成区间.于是 是闭集，每个以及 的余区间.P的任何两个余区间都不互相邻接. （1）P是非空的完备集. 设，要证x不是P的内点.即要证对任何 中总含有不属于P的点. P不含任何内点. 换言之，P不包含任何开区间. 事实上，对任何，取正整数n满足，按P的作法，在进行第n次删去过程后，余下了个长度为的闭区间，故x必落入这个闭区间当中的一个，不妨记为 .因为接下去还要对继续三等分并删去中间的开区间，因此，在中总含有不属于P的点.故在内更含有不属于P的点. P不包含任何开区间，当然也谈不上填满直线上的任何一小段. 一般地，如果集合E的闭包不含任何内点，即 则称E为疏朗集（或无处稠密集）. P是一个 疏朗完备集(因为P是闭集， ，). P中的点是由删去的开区间的“端点集”的聚点所构成的. P中的点远非仅仅由“端点集”组成（因为是可数集），而且“非端点”（由它是端点集的聚点）比“端点”要多的多. P的基数是c.（P,47） P的测度是零，，见下一章. 注1.设，若空间任一邻域内至少包含某点的一个邻域，其中不含E的点，则称E是疏朗集合.该定义与前面的定义等价.一般地，有 设，则以下几个陈述等价： E是疏朗集 没有内点，即 不含任何开区间 在任何开区间中存在子区间 中没有E的点 例.设是孤立点集.则A是疏朗集. 证明 : 对于任何的开区间，如果不含有A的点就不需要讨论. 如果含有A的点 是孤立点，必有 中不含有A的点.所以A是疏朗集. 但是，疏朗集不一定是孤立点集. 康托尔集就是如此. 注.当中的非空开集G都可以表示成 可数多个互不相交的左开右闭的区间的并.即，， 且.这种表示法没有唯一性.（P.50-51） 判断题. 不是E的聚点必不是E的内点 （√） E的聚点必属于E (×) E的孤立点必属于E （√） 若，则{E的孤立点全体}不等于空集（×） E的外点集即 （×） （6）.则x是E的孤立点. （×） （7） （√） （8） （×） （9） （√） （10） （√） 例2.设 是连续函数，则对任何常数 a,集是开集， 是闭集. 证明：E是开集已证过. 下证 F是闭集. 证法1. 易证 是开集，而 ， 故F是闭集. 证法2. 任取点列. 事实上，因为的连续性 和极限的保号性，. F是闭集. 直线上存在不开不闭的集，如区间. 例3.直线上既开又闭的集合，只有两个：空集，全直线. 证明：设是既开又闭的集合，则. 事实上，假设A不是全直线，由于A是开集，记A的构成区间是，所以这些构成区间 的端点中至少有一个是有限的，不妨设为. 矛盾. 例5.（闭集套定理） 设中一列单减的非空有界闭集，则. 证明：任取，故有子列.对任何由定理条件，当p充分大时都有，并且是闭集，从而. 注.例5中“有界”这个条件不能少.例如 是中一列单减的非空闭集，但是它们的交集是空集. 定义2.设是闭集，称的构成区间为A的余区间. 这时，余区间的端点属于A. 定理2. 设则F是从直线上挖去至多可数个互不相交的开区间（即F的余区间）所得到的集. 注1. 若x是闭集F的孤立点，则x必是F的两个相互邻接的余区间的公共端点. 注2.设，则F是完备集为没有相互邻接的余区间的闭集是闭集且F的任何两个余区间都没有公共端点. 注3.设，F是非空有界闭集，则F中必有一最大点（最大数）和一最小点（最小数）. P.45 §5 康托尔三分集 第一步：把闭区间[0，1]三等分，删去中间的开区间 第二步：把余下的两个闭区间各自三等分，并各删去中间的开区间 如此继续下去， 一般地，第n步是把第n-1步删去过程后余下的个闭区间各自三等分，并各删去中间的开区间 . 例4.设是紧集，f是定义在F上的连续函数.则 f在F上有界并能达到最大值和最小值. f在F上一致连续. 即对任何 证明：类似于数学分析. 第三章 测度论 引言 §1. 外测度 定义 设，中的开区间的一个序列，确定一个非负的实数u（也可能是）.所有这样得出的u所组成的数集是下方有界的，它的下确界称为E的（勒贝格）外测度，记为.有 外测度的性质： 对任何 若（单调性） （次可数可加性） 若A和B的距离 注1.（4）中的条件不能放宽为，即外测度不具有可加性，也不具有可数可加性. 反例见江泽坚，实函，P.56-57 两个不相交的点集的并的外测度可能不等于两个集合的外测度的和.可数个两两不相交