九SECTION泛函分析初步.docVIP

§7 泛函分析初步 勒贝格积分 测度与可测函数 [测度与可测集] 设S为某一区间内的任一有界点集，则把覆盖S的一组区间的长度之和的下确界称为S的外测度，记作. 包含S的任一有界区间的长度与S关于的余集（即内不属于S的点的全体）的外测度之差称为S的内测度，记作. =的集S称为可测集，其测度记作. 设S为直线上的一个无界点集，若对一切大于零的x，是可测的，则称这个无界点集S是可测的. 在这种情形下，定义无界点集S的测度为 这里可以有限或无限. 每个有界开集都是可测的. 可测集的概念可以推广到n维空间的点集上去. [几乎处处] 若一个性质对区间上除了一个测度为零的集合之外，在其他点都成立，则称这个性质在已知区间上几乎处处成立. [可测函数] 设函数在可测集S上定义，而c是任意实数. 若在S上使的一切点x所构成的集是可测的，则称函数为在S上的一个可测函数. 在这个定义中，条件可用，，中任一条件来代替. 在内任一连续函数是内的可测函数. 若都是内的可测函数，则（a为常数），和（极限存在）也都是内的可测函数. 2、勒贝格积分 [有界函数的勒贝格积分] 在有界区间内给定一个有界可测的实函数，在（）的变化范围内插入分点： （1） 并用表示使在内的点x所构成的集，对每个分法（1）的序列，当时，和式趋于唯一的有限极限I，记作 这个量称为在内按勒贝格意义的定积分，又称为勒贝格积分，称在内是可积（在勒贝格意义下，下同）的. [无界函数的勒贝格积分] 若在有界区间内是无界可测函数，则勒贝格积分定义如下： 式中 [在无界区间上的勒贝格积分] 若对一切存在，则定义勒贝格积分如下： 式中 同样可以定义和. [在一个点集上的勒贝格积分] 上述有界和无界函数的勒贝格积分的定义可推广到任一个可测集S上的勒贝格积分. 还可推广到n维空间的区域或可测集上的多重勒贝格积分. [勒贝格积分的存在性与性质] 1o每个有界可测集函数在任一有界可测集上是可积的，在一可测集S上的可积函数在S的每个子集上都是可积的. 2o勒贝格积分存在的充分必要条件是：勒贝格积分存在. 3o在一个测度等于零的集上的勒贝格积分等于零. 4o设为一组可数的互不相交（即）的可测集，假定在和上的勒贝格积分都存在，则 5o连续性定理 设和一个正的函数在一个可测集S上都是可测的，并且对一切n与S中一切x，不等式 几乎处处成立；又设对S中几乎一切x，使成立，则 存在，且 6o勒贝格基本定理 设S是一个可测集，不一定有界. 若 (i) 都是S上非负的可测函数； (ii) 则 平方可积函数 [L2空间] 若S是有界可测集，f(x)为S上的可测函数，可积，并且 则称为属于空间的函数，记作，或简写为. 在本段中，假定S就是区间. 若，，则都是可积的；并有 [模与距离] 设，则称 为f的模（范数）. 设则称 为f与g的距离. 设则 (i) ，只当几乎处处成立时， (ii) (iii) [平均收敛] 若并且 则称函数序列在内收敛或平均收敛，且其极限为，记作 * 平均收敛有以下性质： 1o若，则 在上几乎处处成立. 2o若，则 3o若，则 4o中点列平均收敛的充分必要条件是它为基本序列. 基本序列的定义如下：设，若对任意总有正整数N，对一切，使得 则称为中的基本序列. 由此可见是完备空间（见第二十一章，§4，一）. [空间的可分性] 1o设，则对任意,总有连续函数，使 2o设，则对任意,总有系数为有理数的多项式，使 因为所有系数为有理数的多项式组成一个可数集合，并在中处处稠密. 所以2o表明为可分空间（见二十一