实变函数论教案第三章.docVIP

PAGE PAGE 67 第三章 测 度 论 实变函数论的核心内容是勒贝格（Lebesgue）积分. 本章介绍勒贝格测度理论是为建立勒贝格积分作好必要的准备. 在中建立Lebesgue积分理论，不可避免地要对中的一般点集给出类似于中区间长度的“适当的度量”，这种度量就是以后所说的测度. 对于中的区间长度的度量，归纳我们日常生活经验，不难发现我们已经在潜移默化地使用了以下约定俗成的公理，即长度公理： 长度公理：对于实数直线上的一些点集所构成的集合族，若对于每个，都对应一个实数，使得 1．（非负性）； 2．（有限可加性）如果两两不相交，那么 ； 3．（正则性）. 但是，仅仅根据凭经验得来的这三条长度公理，实际上只给出了区间的长度，能够量出“长度”的点集是不多的，能做到的也只是有限个线段之并那样的点集. 例如中“有理数集合”是可数个点之并，就没有长度可言. 同样中“无理数集合”的长度是多少也无法确定. 这样，我们应该修改长度公理，扩大集合族的范围，使更多的集合具有新意义的长度，也就是我们所说的测度. 看来，非负性和正则性的要求非常自然，是不能修改的，那么只有修改第二条的有限可加性. 我们很自然地想到把有限可加性改为“无限可加性”，然而无限可加性的提法是不能任意的，这是因为如果简单地提无限可加性会出现矛盾，例如，一点所成的集合的长度是，如果任意无限可加性可以成立，那么中全