Taylor公式与科学计算 ----------导数数值计算_12519.ppt

关于可积理论的进一步思考  主要内容 (1) Riemann 积分的定义 (2) 达布上（下）和的定义与定理 (3)函数可积的三个充要条件 (4)函数可积的充分条件 (5)提出问题 (6)至多可数集合和零测集合的概念 (7) Lebesgue定理 　 (8) 其他意义下的积分--- Lebesgue积分 　 (9) 思考题 Riemann积分的定义 Riemann可积的第一充要条件 f(x)在[a,b]上Riemann可积 Riemann可积的第三充要条件 可积函数类---可积的充分条件 例题 可积性与函数的不连续点的“多少”和点的性质是否有关系？ 为了回答这个问题，我们需要引入新的概念。最后给出Lebesgue定理，它刻画Riemann可积函数的内在本质。 性质 1. 空集是零测集。 2. 至多可数集是零测集。 证明：不妨设A是至多可数的集， A={a1，a2，﹒﹒﹒ an ﹒﹒﹒} ﹒ 3 . 任何长度不为0的区间都不是零测集。 证明：不妨设所考虑的区间为开区间（a，b）， 其中ab。设开区间列 引理 Lebesgue定理 应用上述定理易知： R上的Riemann函数是可积的； [0，1]上的Dirichlet函数是不可积。 另一方面，测度的引入是我们可以考虑一般实 数集合的“长度”，以至可以考虑函数在一般 实数集合上的积分。这是积分概念的一个飞跃。(上世纪数学发展史上的一个伟大贡献) Lebesgue在Borel测度论思想的指导下，也吸收了Jordan和Peano的容量的思想，建立了测度论。接着在一般可测函数上定义了积分-----------Lebesgue积分。 其他意义下的积分 思考题 Lebesgue可积的函数类较Riemann可积类更大。 新的积分 可以证明： 1.在区间上，Riemann可积的函数一定可测，也一定Lebesdue可积。 2. 有界的可测函数一定Lebesdue可积。 3. Dirichlet函数是Lebesdue可积。 实变函数论 附：王军涛等的“Riemann积分与Lebesgue积分的比较” * * 积分与分割、介点集的取法无关 几何意义（非负函数）： 函数图象下方图形的面积。 xi-1 xi 其中 可积的必要条件 达布上和与下和 达布上和与下和 上（下）积分 可积的充要条件 定理3 （ 充要条件1 ） 其中： xi-1 xi xi-1 xi 定理4 （ 充要条件2 ） 定理4’ (充要条件2 ) Riemann可积的第二充要条件 Riemann可积的第二充要条件 f(x)在[a,b]上Riemann可积 其中： xi-1 xi xi-1 xi f(x)在[a,b]上Riemann可积 定理5 定理6 可能有无限多个间断点，它的个数是至多可数。 不连续点组成收敛数列 一起组成[a,b]的一个划分T，则 证毕 例题的证明（续） 问题 Lebesgue定理 这里的测度是线段长度概念的延伸（更一般地是欧氏空间中面积或体积概念的延伸）---lebesgue测度 性质 4.至多可数个零测集的并集是零测集； 性质 为此，数轴上的全部有理数点的集合是一个零测集。 若定义在[a，b]上的函数f（x）的不连续点的集合是零测集，称f（x）在[a，b]上几乎处处连续。 Lebesgue放松了对函数连续性的要求。 Lebesgue定理的证明 Lebesgue定理的证明（续） Lebesgue定理的证明（续） Lebesgue定理的证明（续） Lebesgue定理的证明（续） Lebesgue定理的证明（续）