Lebesgue外测度(外包) m*E=inf{∑:Ec,且为开区间}

教学目的本节讨论如何将环上的测度延拓到生成的代数上去.这是定义测度常用的方法.下一节将用这个方法定义重要的 Lebesgue测度。本节要点本节所述测度的延拓过程思路较复杂,论证较繁难应注意讲 清主要思路,定理的证明应注意交代主要思想

我们知道 Riemann积分的几何意义是曲边梯形的面积.为在欧氏空间空间R上推 广 Riemann积分的理论,我们必须把象长度,面积和体积等概念推广到R”中的更一般的 集上去.本章将要定义的R上的 Lebesgue测度就是长度,面积和体积等概念推广由于 现代数学的许多分支需要,我们将在一般的空间上建立测度与积分的理论

1.设E是R中一族(开的、闭的、半开半闭的)区间的并集.证明E Lebesgue是 可测集

本节将考察欧氏空间上的可测函数和连续函数关系.本节将 证明重要的 Lusin定理,它表明 Lebesgue可测函数可以用性质较好连续函数 逼近这个结果在有些情况下是很有用的

们知道 Riemann积分的几何意义是曲边梯形的面积.为在欧氏空间空间R上推广 Riemann积分的理论,我们必须把象长度,面积和体积等概念推广到R”中的更一般的集上 去本章将要定义的R”上的 Lebesgue测度就是长度,面积和体积等概念推广

在数学分析课程中我们已经熟悉 Riemann积分.在处理连续函数或者逐段连续函数 时,在计算一些几何和物理的量时它是很有用的但它也存在一些缺陷例如, Riemann积 分对被积函数的要求较高,它要求被积函数“基本上”是连续的(其确切含义将在§4.4 讨论),在处理极限与积分交换次序时,需要对函数列加上一致收敛性的条件等由于这些 缺陷,使得 Riemann积分在处理分析数学中的一些问题时显得不够有力因此需要建立 新的积分的理论.二十世纪初, Lebesgue建立了一种新的积分理论新的积分理论消除了 上述缺陷,并且包含了原有的 Riemann积分理论

在给定了一个测度空间以后,由定义在这个空间上的一个函数可以自然地产生出各 种各样的集.为用测度论的方法研究这个函数我们自然要求这些集是可测的.由此产生 了可测函数的概念在定义积分时候,对被积函数的一个基本要求就是这个函数必须是可 测的我们将看到可测函数是一类很广泛的函数.特别地,欧氏空间R上的 Lebesgue可 测函数是比连续函数更广泛的一类函数.而且可测函数类对极限运算是封闭的,这将使我 们在讨论积分的时候更加便利

1.设E是R中一族(开的、闭的、半开半闭的)区间的并集.证明E Lebesgue是 可测集 2.设f是R上有界的单调增加函数.证明f在R上几乎处处可导并且f在R 上L可积