引言 在数学分析课程中我们已经熟悉 Riemann积分. Riemann积分对处理连续函数和几何, 物理中的计算问题时候是很有效的.但是 Riemann积分在理论使存在一些缺陷.主要表 现在以下几个方面 1.可积函数对连续性的要求 设f(x)是定义在区间[a,b]上的有界实值函数.又设 a=x0<x1<…<xn=b 是[a,b]的一个分划.对每个i=1…,k,令, m=inf(f(x): xELx-I,x,l, M=sup(f(x) xE[x-x,1) 并且令=maxx1-x1.则f(x)在[ab]上可积的充要条件是 lim∑(M1-m) (1) M 其几何意义就是曲线y=f(x)的下方图形(曲边梯形)的外接阶梯形与内接阶梯形面积之 差趋于零(如图).因此为保证f(x)在[a,b]上可积,f(x)在[a,b]上的不连续点不能太 多或者说,f(x)在[a,b]上基本上是连续的(f(x)在[a,b上可积的一个充分条件是 ∫(x)在[a,b]上连续或分段连续).由于 Riemann积分对被积函数的连续性要求太强,这 样就性质了 Riemann积分的应用.例如 Dirichlet函数 若x为有理数 x) 0若x为无理数
1 引 言 在数学分析课程中我们已经熟悉 Riemann 积分. Riemann 积分对处理连续函数和几何, 物理中的计算问题时候是很有效的. 但是 Riemann 积分在理论使存在一些缺陷. 主要表 现在以下几个方面: 1. 可积函数对连续性的要求. 设 f (x) 是定义在区间[a, b] 上的有界实值函数. 又设 a x x x b = 0 < 1 < L < n = 是[a, b] 的一个分划. 对每个i = 1,L, k, 令, inf{ ( ) : [ , ]}, sup{ ( ) : [ , ]}. i i 1 i i i 1 i m f x x x x M f x x x x = ∈ − = ∈ − 并且令 1 1 max − ≤ ≤ = i − i i n λ x x . 则 f (x) 在[a, b] 上可积的充要条件是 ∑= − → − − = n i i i i i M m x x 1 1 0 lim ( )( ) 0 λ . (1) 其几何意义就是曲线 y = f (x)的下方图形(曲边梯形)的外接阶梯形与内接阶梯形面积之 差趋于零(如图). 因此为保证 f (x) 在[a, b] 上可积, f (x) 在[a, b] 上的不连续点不能太 多,或者说, f (x) 在[a, b] 上基本上是连续的 ( f (x) 在[a, b] 上可积的一个充分条件是 f (x) 在[a, b] 上连续或分段连续). 由于 Riemann 积分对被积函数的连续性要求太强, 这 样就性质了 Riemann 积分的应用. 例如 Dirichlet 函数 = 0 . 1 ( ) 若 为无理数 若 为有理数 x x D x X Y O 1 a x b f (x) 2 x i−1 x i x n−1 x mi Mi
在[0,1上不满足条件(1)因此D(x)在上不是 Riemann可积的 2.积分与极限顺序的交换 在数学分析中,经常会遇到积分运算和极限运算交换顺序的问题.设{J(x)}是 [a,b]上的连续函数列,并且在[a,b]上∫(x)处处收敛于∫(x).一般情况下,f(x)未必 在[a,b]上可积即使f(x)在[a,b]上可积也未必成立 lim[ f(xdr=/(xd 为使∫(x)在[a,b]上可积并且(2)成立的一个充分条件是{n(x)}在[a,b]上一致收敛于 f(x)(这不是必要条件,例如考虑函数[0,1]上的函数列fn(x)=x"(m=1,2,…))这 个条件太强并且不易验证 3.可积函数空间的完备性 设R[a,b]是[a,b]上 Riemann可积函数的全体.在R[a,b]上定义距离 d( 8)=(1(x)-8() dx)2, f,g E R[a, b] 则R[a,b]称为一个距离空间(确切涵义将在泛函分析部分叙述)设{fn}是R[a,b中序 列,∫∈R[a,b若limd(n,∫)=0,则称{fn}按距离收于∫.R[a,b]中序列{fn} 称为是 Cauchy序列,若对任意E>0,存在N>0,使得当m,n>N时,d(fm,fn)<E 有例子表明,在R[a,b中并非每个 Cauchy序列都是收敛的,即R[a,b]不是完备的空间 而空间的完备性在泛函分析理论中是非常重要的.因此R[a,b]不是作为研究对象的理 想空间 以上几点表明, Riemann积分有不少缺陷,这就限制了 Riemann积分的应用,因此有 必要加以改进二十世纪初,法国数学家 Lebesgue(1875-1941)创建了一种新的积分理论, 称之为 Lebesgue积分. Lebesgue积分理论是 Riemann积分理论的推广于发展.并且克服 了 Riemann积分的上述缺陷 下面介绍推广 Riemann积分的大体思路,为节省篇幅,这里没有也不可能很完整和 严密的叙述.设f(x)在[a,b上连续并且f(x)≥0.对[a,b]的一个分划 x0<x1 作阶梯函数∫n(x),使得当x∈(x-1,x;]时,Jn(x)=m;,其中 m2=inf{f(x):x∈[x-1,x,]}.则 f(x)x=∑m(x1-x)=∑m(x-1,x
2 在[0, 1]上不满足条件(1). 因此 D(x) 在上不是 Riemann 可积的. 2. 积分与极限顺序的交换 在数学分析中, 经常会遇到积分运算和极限运算交换顺序的问题. 设{ f (x)} n 是 [a, b] 上的连续函数列,并且在[a, b] 上 f (x) n 处处收敛于 f (x). 一般情况下, f (x) 未必 在[a, b] 上可积. 即使 f (x) 在[a, b] 上可积,也未必成立 lim ( ) ( ) . ∫ ∫ = →∞ b a b a n n f x dx f x dx (2) 为使 f (x) 在[a, b] 上可积并且(2)成立的一个充分条件是{ f (x)} n 在[a, b] 上一致收敛于 f (x) (这不是必要条件, 例如考虑函数[0, 1] 上的函数列 n n f (x) = x (n = 1, 2,L)). 这 个条件太强并且不易验证. 3. 可积函数空间的完备性. 设 R[a, b]是[a, b] 上 Riemann 可积函数的全体. 在 R[a, b]上定义距离 1 2 2 ( , ) ( ( ) ( ) ) ∫ = − b a d f g f x g x dx , f , ] g ∈ R[a, b . 则 R[a, b]称为一个距离空间(确切涵义将在泛函分析部分叙述). 设{ }n f 是 R[a, b]中序 列, f ∈ R[a, b]. 若 lim ( , ) = 0, →∞ d f f n n 则称{ }n f 按距离收于 f . R[a, b]中序列{ }n f 称为是 Cauchy 序列, 若对任意ε > 0, 存在 N > 0, 使得当m,n > N 时, ( , ) < ε. m n d f f 有例子表明, 在 R[a, b]中并非每个Cauchy序列都是收敛的, 即 R[a, b]不是完备的空间. 而空间的完备性在泛函分析理论中是非常重要的. 因此 R[a, b]不是作为研究对象的理 想空间. 以上几点表明, Riemann 积分有不少缺陷, 这就限制了 Riemann 积分的应用, 因此有 必要加以改进. 二十世纪初, 法国数学家 Lebesgue(1875-1941)创建了一种新的积分理论, 称之为 Lebesgue 积分. Lebesgue 积分理论是 Riemann 积分理论的推广于发展. 并且克服 了 Riemann 积分的上述缺陷. 下面介绍推广 Riemann 积分的大体思路, 为节省篇幅, 这里没有也不可能很完整和 严密的叙述. 设 f (x) 在[a, b] 上连续并且 f (x) ≥ 0. 对[a, b] 的一个分划 a x x x b = 0 < 1 < L < n = , 作阶梯函数 f (x) n , 使 得 当 ( , ] i 1 i x x x ∈ − 时 , ( ) . n mi f x = 其 中 inf{ ( ) : [ , ]}. i i 1 i m f x x x x = ∈ − 则 ∫ ∑ ∑= − = = − − = n i i i i n i i i i b a n f x dx m x x m x x 1 1 1 1 ( ) ( ) ( , ]
若当n越大时,分割越来越细,并且当n→∞时,A=maxx-x-1|→0,则{fn}单 调上升趋近于∫,并且由 Riemann积分的定义得到 inJn(x)d=」f(x)t 其几何意义就是曲线y=f(x)的下方图形的面积可以由其内接阶梯形的面积逼近(如上 图)这启发我们用下述方式重新定义 Riemann积分 设l1…是b的n个互不相交的子区间,并且ab=Um1若f(x)是一 非负阶梯函数,当x∈1时,f(x)=a1则定义 ∫(xlk=∑m (3) 其中是区间l的长度,若f(x)是非负函数并且存在一列单调上升的非负阶梯函数 n}使得imf(x)=f(x)2并且im(x)<∞,则定义 lim f, (x)dx= f(x)du 一般情形,令 f(x)=maxf(x),0), f(x)=max(-f(x), O) 则∫(x),f(x)是非负函数,并且f(x)=f(x)-f(x).若∫(x)和∫(x)都可积 则定义 ∫(x)dx=J(xk-Jr(x)t 这种方式定义的积分于 Riemann积分是一样的按照这种定义方式,一个非负函数可积 必须能够用单调上升的非负阶梯函数列逼近∫.这就要求∫基本上是连续函数 为对更一般的函数定义积分,现在将阶梯函数改为更一般的函数.设A1…,A是 ab]的n个互不相交的子集,并且[ab]=Um4.若f(x)是ab]上的函数,当 x∈A时,f(x)=a1(a1≥0)(暂称之为一般简单函数)形式上仿(3)式定义 ∫(x)=∑m4 问题是这里A不一定是区间,4表示什么?4应该是一种类似区间长度的东西如 果我们能够给出A确切涵义,使得4满足区间长度类似的性质我们就能用(6)式定 义上述一般非负简单函数的积分.然后利用(4)和(5)式定义一般函数的积分.由于一般简 单函数比阶梯函数更一般,因此能够被一般简单函数逼近的函数也更多,因此可以对更
3 若当 n 越大时, 分割越来越细, 并且当 n → ∞ 时, max 0, 1 1 = − − → ≤ ≤ i i i n λ x x 则{ }n f 单 调上升趋近于 f , 并且由 Riemann 积分的定义得到 lim ( ) ( ) . ∫ ∫ = →∞ b a b a n n f x dx f x dx 其几何意义就是曲线 y = f (x) 的下方图形的面积可以由其内接阶梯形的面积逼近(如上 图). 这启发我们用下述方式重新定义 Riemann 积分. 设 n I , ,I 1 L 是[a, b] 的 n 个互不相交的子区间, 并且[ , ] . U 1 n i i a b I = = 若 f (x) 是一 非负阶梯函数, 当 i x ∈ I 时, ( ) .i f x = a 则定义 ∫ ∑= = n i i i b a f x dx m I 1 ( ) . (3) 其中 i I 是区间 i I 的长度. 若 f (x) 是非负函数并且存在一列单调上升的非负阶梯函数 { }n f 使得 lim f (x) f (x), n n = →∞ 并且 < ∞ ∫ →∞ b a n n lim f (x)dx , 则定义 lim ( ) ( ) . ∫ ∫ = →∞ b a b a n n f x dx f x dx (4) 一般情形, 令 f (x) = max{ f (x), 0}, f (x) = max{− f (x), 0} + − . 则 f (x), + f (x) − 是非负函数, 并且 f (x) f (x) f (x). + − = − 若 f (x) + 和 f (x) − 都可积. 则定义 ( ) ( ) ( ) . ∫ ∫ ∫ + − = − b a b a b a f x dx f x dx f x dx (5) 这种方式定义的积分于 Riemann 积分是一样的.按照这种定义方式, 一个非负函数可积 必须能够用单调上升的非负阶梯函数列逼近 f .这就要求 f 基本上是连续函数. 为对更一般的函数定义积分, 现在将阶梯函数改为更一般的函数.设 A An , , 1 L 是 [a, b] 的 n 个互不相交的子集, 并且[ , ] . U 1 n i a b Ai = = 若 f (x) 是[a, b] 上的函数, 当 Ai x ∈ 时, ( ) = ( ≥ 0) i i f x a a (暂称之为一般简单函数). 形式上仿(3)式定义 ∫ ∑= = n i i i b a f x dx m A 1 ( ) . (6) 问题是这里 Ai 不一定是区间, Ai 表示什么? Ai 应该是一种类似区间长度的东西. 如 果我们能够给出 Ai 的确切涵义, 使得 Ai 满足区间长度类似的性质, 我们就能用(6)式定 义上述一般非负简单函数的积分. 然后利用(4)和(5)式定义一般函数的积分. 由于一般简 单函数比阶梯函数更一般, 因此能够被一般简单函数逼近的函数也更多, 因此可以对更
一般的函数定义积分 上述新积分的定义过程并不是轻而易举立即可以实现的.这里关键的问题是,对直 线上比区间更一般的集A给出一种类似于区间长度的度量.这就是本课程要介绍的 Lebesgue测度理论.由于测度理论要经常地遇到和集和集的运算,因此本课程首先要介 绍集合论的知识.然后介绍测度理论.由于测度理论并不能给直线上的每个集定义测度 只能对一部分集即所谓’“可测集”给出测度,因此上述简单函数中必须要求每个A1是 可测的,这样的函数称之为(可测)简单函数.能够用简单函数逼近的函数称为可测函数 只有对可测函数才有可能定义新的积分,因此在定义新积分之前需要讨论可测函数的性 质在作了这些准备后,就可以定义新的积分即 Lebesgue积分,并讨论 Lebegue积分的 性质.事实证明 Lebesgue积分理论是 Riemann积分理论的推广于发展.并且克服了 Riemann积分的上述缺陷 Lebesgue积分是现代分析数学不可缺少的基础,并且极大地促 进了现代分析数学的发展 本课程的内容就是围绕建立 Lebesgue积分理论而展开的.学习了本课程后,将会对 这里所述内容有更好的理解
4 一般的函数定义积分. 上述新积分的定义过程并不是轻而易举立即可以实现的. 这里关键的问题是, 对直 线上比区间更一般的集 A 给出一种类似于区间长度的度量. 这就是本课程要介绍的 Lebesgue 测度理论. 由于测度理论要经常地遇到和集和集的运算, 因此本课程首先要介 绍集合论的知识. 然后介绍测度理论. 由于测度理论并不能给直线上的每个集定义测度, 只能对一部分集即所谓’ 可测集 给出测度, 因此上述简单函数中必须要求每个 Ai 是 可测的, 这样的函数称之为(可测)简单函数. 能够用简单函数逼近的函数称为可测函数. 只有对可测函数才有可能定义新的积分, 因此在定义新积分之前需要讨论可测函数的性 质. 在作了这些准备后, 就可以定义新的积分即 Lebesgue 积分, 并讨论 Lebegue 积分的 性质. 事实证明 Lebesgue 积分理论是 Riemann 积分理论的推广于发展. 并且克服了 Riemann 积分的上述缺陷. Lebesgue 积分是现代分析数学不可缺少的基础, 并且极大地促 进了现代分析数学的发展. 本课程的内容就是围绕建立 Lebesgue 积分理论而展开的. 学习了本课程后, 将会对 这里所述内容有更好的理解
第一章集与集类R"中的点集 集与集的运算是测度与积分理论的基础.本章先介绍集论的一些基本内容,包括集 与集的运算,可数集和基数,一些具有某些运算封闭性的集类如环与σ一代数等.然后介 绍R中的一些常见的点集 §1.1集与集的运算 教学目的集合论是本课程的基础.本节将引入集的概念与集的运 算,使学生掌握集和集的运算的基本概念. 本节要点 De Morgan公式是以后常用的公式证明两个集的相等是 经常要遇到论证,应通过例子使学生掌握其基本方法集列的极限是一种 新型的极限,学生应注意理解其概念 集是数学的基本概念之一.它不能用其它更基本的数学概念严格定义之,只能给予 一种描述性的说明 集的定义以某种方式给定的一些事物的全体称为一个集(或集合 例如,数学分析中的实数集,有理数集,函数的定义域和值域,满足某些给定条件的 数列或函数的全体所成的集等都是常用的集。几何学中的曲线和曲面都可以看成是由平 面或空间的点所构成的集 般用大写字母如A,B,C等表示集,用小写字母如a,b,c等表示集的元素.若a是 集A的元素,则用记号a∈A表示(读作a属于A)若a不是集A的元素,则用记号 agA表示(读作a不属于A) 不含任何元素的集称为空集,用符号⑦表示约定分别用R,Q,N和Z表示实数 集,有理数集,自然数集和整数集 集的表示方法 第一种方法:列举法,即列出给定集的全部元素.例如 A=a,b,cl B={1,3,5…,2n-1, 第二种方法:描述法.当集A是由具有某种性质P的元素的全体所构成时,用下面 的方式表示集A
5 第一章 集与集类 n R 中的点集 集与集的运算是测度与积分理论的基础. 本章先介绍集论的一些基本内容, 包括集 与集的运算, 可数集和基数, 一些具有某些运算封闭性的集类如环与σ − 代数等. 然后介 绍 n R 中的一些常见的点集. § 1.1 集与集的运算 教学目的 集合论是本课程的基础. 本节将引入集的概念与集的运 算, 使学生掌握集和集的运算的基本概念. 本节要点 De Morgan 公式是以后常用的公式. 证明两个集的相等是 经常要遇到论证, 应通过例子使学生掌握其基本方法.集列的极限是一种 新型的极限, 学生应注意理解其概念. 集是数学的基本概念之一. 它不能用其它更基本的数学概念严格定义之, 只能给予 一种描述性的说明. 集的定义 以某种方式给定的一些事物的全体称为一个集(或集合). 例如, 数学分析中的实数集, 有理数集, 函数的定义域和值域, 满足某些给定条件的 数列或函数的全体所成的集等都是常用的集. 几何学中的曲线和曲面都可以看成是由平 面或空间的点所构成的集. 一般用大写字母如 A, B, C 等表示集, 用小写字母如 a, b ,c 等表示集的元素. 若a 是 集 A 的元素, 则用记号 a ∈ A 表示(读作 a 属于 A). 若 a 不是集 A 的元素, 则用记号 a ∉ A表示(读作 a 不属于 A). 不含任何元素的集称为空集, 用符号∅ 表示. 约定分别用 , 1 R Q , N 和 Z 表示实数 集, 有理数集, 自然数集和整数集. 集的表示方法 第一种方法: 列举法, 即列出给定集的全部元素. 例如 {1, 3, 5, ,2 1, }. { , , }. = L − L = B n A a b c 第二种方法: 描述法. 当集 A 是由具有某种性质 P 的元素的全体所构成时, 用下面 的方式表示集 A: