欧阳光中《数学分析》笔记和考研真题详解(导数和微分)【圣才出品】
- 格式:pdf
- 大小:1.15 MB
- 文档页数:11
第12章级数的一般理论1.设α>0,判断(并证明)下列两个级数的收敛性:解:(1)当α>1时级数显然绝对收敛.(2)当n≤x<n+1时,函数有Taylor展开令则(3)积分因为当α>1/2时,,对于任何所以由Dirich-let判别法则知上述积分收敛.于是当α>1/2时级数收敛.由步骤(2)可知因为α+1/2>1,所以α>1/2时级数收敛.(4)同法可证α>1/2时级数收敛.(5)设0<α≤1/2.那么由步骤(3),发散(读者补出证明).由步骤(2)有因为α+1/2>1/2,α+1>1,并根据步骤(4)中的结论,可知上式右边后二级数收敛,因此级数发散.(6)同法可证0<α≤1/2时级数发散.2.已知是正项发散级数,实数λ>0.求下列级数的和:解:(1)用表示所给级数的前n项之和,并令那么也就是将此式两边从k=2到k=n求和,即得关系式(2)根据并且应用不等式:当时,(可以用数学归纳法证明),即可得到因为级数发散,所以由上式可以推出由此及步骤(1)中的关系式即得级数之和3.(1)设是一个正数列,满足条件那么级数当α>1时收敛,当α≤1时发散(Gauss判别法则).(2)讨论下列级数的收敛性:解:(1)①令则其中γ=min{2,β}.因此因为γ>1,所以级数收敛,于是由得知存在(记为a),从而②因为所以级数当α>1时收敛,当α≤1时发散.(2)记级数通项为则于是x>1时级数收敛;x<1时级数发散.当x=1时,因为α=1/6<1,所以依本题(1)知级数发散.4.设是正实数列,如果级数收敛,那么级数也收敛.解:令则单调递增,而且记则单调递增.因此只需证明它有界,即可得到题中的结论.依题意可知用T表示题设收敛级数由Cauchy-Schwarz不等式得所以用除上式两边,其中(因为则因而有界.于是本题得证.5.设a,b>0,证明并求级数的和.证明:因为所以然后根据即可推出所要的公式.特别地,据此可得分部分式得因为,所以于是。
欧阳光中《数学分析》笔记和考研真题详解第3章映射与实函数3.1复习笔记一、映射1.相关定义(1)常量与变量常量是指在过程进行中,保持不变的量,否则,称为变量.在任何过程中都是不变的量称为绝对常量。
除去绝对常量,在某一过程中的常量在另一过程中可能成为变量.(2)映射设为X到Y的某种对应法则,若按这个法则,对集中的每个x存在惟一与之对应;而对中的每个x不存在与之对应,则称这个对应法则为X到Y具定义域的一个函数(映射).其中,x称为自变量,y称为因变量.集称为的定义域,有时为明确起见将记为.当时,称f在X上是全定义的.集合Y称为的值域.对每个按法则f所对应的惟一y常记为,称在点x的值.因变量y的取值范围显然为集,称为f的值域.X到Y的映射f(定义域不必是全X)可简记为2.像与逆像(1)定义如果,则称y为x在f下的像,而x称为y在f下的逆像.y的逆像全体记为:(2)相关符号当为单点集时,同一记号也可用来表示元素x本身,用来表示集合和用来表示元素x的含义是不一样的.3.函数相等的定义设f与g是x到y的两个函数,如果它们有相同的定义域且对定义域中每点x有,则称f与g相等,并记为.4.单射、满射与双射设f:X→Y.若必有,则称f为单射.若值域,则称f为满射.若(全定义!)且f既是单射又是满射,则称f为双射.单射、满射及双射又可分别称为1-1映射、到上映射及一一映射(或一一对应).5.复合映射设及为两个映射,X到Y的映射称为g与f的复合映射.它的定义域由来确定,u称为中间变量.6.逆映射(1)定义设是单射,对,方程必惟一解.这惟一解x就是:给出了Y到X的一个映射,其定义域为,映射称为f的逆映射.(2)定理①设是单射,则逆映射必存在且满足及②设是双射,则也是双射.二、一元实函数1.初等函数(1)基本初等函数常值函数、幂函数、指数函数、对数函数、三角函数及反三角函数统称为基本初等函数.(2)初等函数由基本初等函数经过有限次四则运算及复合所产生的一类函数称为初等函数.2.函数的分段表示(1)分段函数定义设A,B为两个互不相交的集,函数和分别于集A和集B上有定义,则定义了上的一个分段函数,这就是函数的分段表示法.(2)重要的分段函数①符号函数②Dirichlet函数无法用图形表示出来.③不超过x的最大整数[x]可分段表示成三、函数的几何特性1.奇偶性(1)定义设的定义域为,其中关于原点对称,即,若,,则称为偶函数;若,则称为奇函数.(2)性质偶函数的图形关于Y轴对称,奇函数的图形关于原点中心对称且(若).(3)常见的奇函数与偶函数函数,(称为双曲余弦)是偶函数,而,是奇函数,注意不是偶函数.2.周期性若,使得,则称f为周期函数,T称为周期.注意:定义要求具有以下性质:.3.单调性若在数集上有定义,且当时必有则称于上单调增加(严格单调增加),并简记作(f严格↑).上述不等式若改为则称f(x)于上单调减少(严格单调减少),简记作(f严格↓).4.有界性若f的值域是一个有界集,则称f是有界函数.即若固定数M>0,使有.则称f是有界函数.5.最值与极值(1)最值设f于上有定义,像集中的最大(小)数称为f在上的最大(小)值.使f取最大(小)值的自变量x的值称为最大(小)值点.函数的最大值与最小值统称为最值.(2)极值①设f于上有定义,.如果存在使得则称为f的极大值点,而称为极大值.②设f于上有定义,.如果存在,使得则称为f的极小值点,而称为极小值.3.2名校考研真题详解一、选择题1.有下列几个命题(1)任何周期函数一定存在最小正周期.(2)[x]是周期函数.(3)不是周期函数.(4)xcosx不是周期函数.其中正确的命题有()。
欧阳光中《数学分析》笔记和考研真题详解第8章导数的应用8.1复习笔记一、判断函数的单调性1.定理若f在〈a,b〉上连续,在〈a,b〉上可微且则2.推论在上述定理的全部条件下加上集不包含任何正长度的区间,则f严格二、极值和最值1.极值的充分判别法(1)判别法1设f在上连续,在上可微.如果当时,当时,那么必是f的极大值点.若判别法1中的不等号反向,则是f的极小值点.(2)判别法2若是f的驻点且存在,则在时,必是f的极小(大)值点.2.f∈C[a,b]时的最值求法(1)区间[a,b]上最值的存在性若有限,则有界闭区间[a,b]上的连续函数必存在最大(小)值.(2)最值的可能点①设是f的最值点,如果,则必是它的极值可疑点,否则就是区间的端点a,b.②定理设的极值可疑点的全体为则3.任意区间上的函数最值求法(1)在任意区间〈a,b〉(开的或闭的,有界的或无界的)上,f的最值不一定存在,如果f在(a,b)上的确界能被f取到时,则确界就是最值.(2)设f在〈a,b〉上连续,有极值可疑点,且f(a+)和f(b-)存在(有限或±∞).当a=-∞时,这里的f(a+)由f(-∞)来代替.同样,当b=+∞时,f(b-)改为f(+∞),记则三、函数的凸性1.凸函数(1)凸函数定义①设f在〈a,b〉上有定义,如果对一切及0<λ<1,成立不等式则称f是〈a,b〉上的下凸函数,简称为凸函数.如果不等式严格成立,则称f是〈a,b〉上的严格凸函数.②若-f是下凸函数,则称f是上凸函数.(2)凸函数的判别法①定理设f于〈a,b〉上可微,则f严格下凸严格②推论a.若f在〈a,b〉上二阶可微且,则f于(a,b)上严格下凸.b.若f在〈a,b〉上二阶可微且,则f于(a,b)上严格上凸.2.凸函数的性质(1)性质1(a,b)上的凸函数f(x)必连续且点点存在有限左右导数(2)性质2设f在〈a,b〉凸,则过任意点必存在直线使得f(x)的图形在该直线上方若f(x)严格凸,则上述不等式当且仅当时等号成立.(3)性质3设f在〈a,b〉凸,则对一切及正数列,成立不等式如果f严格凸,则上述不等式当且仅当时变成等式.3.0.618方法(黄金分割搜索法)(1)黄金分割法的用途0.618方法适用于求凸函数的最小值的数值解,同时对函数没有可微性要求.(2)命题设若则最小值点必在之中;若则最小值点必在之中.(3)黄金分割法求[a,b]上的严格下凸连续函数f的近似最小值点的算法:①取并求出及;②a.若,则取新区间为,为进一步提高精度,可取并求出而已不用另求了.b.若,则取新区间为,并求出,而已求出.反复以上过程,直到将最小值点定位在指定小的区间上为止.注:每次定位,区间长度缩短到原来的0.618倍,因此n次定位可将最小值点定在长度为的区间之中.四、函数作图1.渐近线(1)垂直渐近线若(或)为∞,则称x=a为f的垂直渐近线.(2)斜渐进线和水平渐近线设f在(a,+∞)上有定义,如果存在直线Y=kx+b,满足称该直线为f(x)在x→+∞时的渐近线.若=0,则称渐近线为水平渐近线,否则是斜渐近线.(3)渐近线的求法有两个求f在x→±∞的渐近线方法.①方法1若f(x)=kx+b+ (1),其中(或则Y=kx+b是f在x→+∞(或x→-∞)时的渐近线.②方法2Y=kx+b是f在x→+∞的渐近线下列极限均存在2.y=f(X)作图的一般步骤作f(x)图形的一般步骤:(1)确定函数f(x)的定义域、奇偶性及周期性.(2)求出f所有的极值可疑点(包括不连续点),记为,这里是f(x)的定义域的两个端点.(3)求出(在连续点,即为,是f的单调区间,这是因为在内不变号.若与不全存在,则可从的符号来确定f的单调情况.(4)求出它的渐近线.(5)求f的凸性区间.3.极坐标方程r=r(θ)的作图设r(θ)是周期函数,周期为T=απ且α是有理数.由于极坐标关于θ是以2π为周期进行循环的,故要得到r=r(θ)的完整图形,θ应取在[0,2nπ]上,这里区间[0,2nπ]恰由整数个长为απ且互不重叠的子区间构成,即2n/α是整数.4.隐函数及参数方程的作图要作由F(x,y)=0所决定的隐函数的图形,一般是先将方程F(x,y)=0化成参数方程或极坐标方程的形式后再来作图的.五、向量值函数1.向量值函数(1)向量值函数的定义参数方程x=x(t),y=y(t),t∈〈α,β〉可写成向量形式:r=r(t)=(x(t),y(t))这里r=(x,y)是起点在原点的向量,映射t→r(t)称为(二维)向量值函数.(2)向量值函数r(t)的极限、连续、导数及微分的定义①若都存在,则定义即向量值函数的极限等于各个分量的极限;②若x(t),y(t)在〈α,β〉上连续,则称r(t)=(x(t),y(t))于〈α,β〉上连续;。
欧阳光中数学分析答案【篇一:数学分析目录】合1.1集合1.2数集及其确界第二章数列极限2.1数列极限2.2数列极限(续)2.3单调数列的极限2.4子列第三章映射和实函数3.1映射3.2一元实函数3.3函数的几何特性第四章函数极限和连续性4.1函数极限4.2函数极限的性质4.3无穷小量、无穷大量和有界量第五章连续函数和单调函数5.1区间上的连续函数5.2区间上连续函数的基本性质5.3单调函数的性质第六章导数和微分6.1导数概念6.2求导法则6.3高阶导数和其他求导法则6.4微分第七章微分学基本定理及使用7.1微分中值定理7.2taylor展开式及使用7.3lhospital法则及使用第八章导数的使用8.1判别函数的单调性8.2寻求极值和最值8.3函数的凸性8.4函数作图8.5向量值函数第九章积分9.1不定积分9.2不定积分的换元法和分部积分法9.3定积分9.4可积函数类r[a,b]9.5定积分性质9.6广义积分9.7定积分和广义积分的计算9.8若干初等可积函数类第十章定积分的使用10.1平面图形的面积10.2曲线的弧长10.3旋转体的体积和侧面积10.4物理使用10.5近似求积第十一章极限论及实数理论的补充11.1cauchy收敛准则及迭代法11.2上极限和下极限11.3实数系基本定理第十二章级数的一般理论12.1级数的敛散性12.2绝对收敛的判别法12.3收敛级数的性质12.4abel-dirichlet判别法12.5无穷乘积第十三章广义积分的敛散性13.1广又积分的绝对收敛性判别法13.2广义积分的abel-dirichlet判别法第十四章函数项级数及幂级数14.1一致收敛性14.2一致收敛性的判别14.3一致收敛级数的性质14.4幂级数14.5函数的幂级数展开第十五章fourier级数15.1fourier级数15.2fourier级数的收敛性15.3fourier级数的性质15.4用分项式逼近连续函数第十六章euclid空间上的点集拓扑16.1euclid空间上点集拓扑的基本概念16.2euclid空间上点集拓扑的基本定理第十七章euclid空间上映射的极限和连续17.1多元函数的极限和连续17.2euclid空间上的映射17.3连续映射第十八章偏导数18.1偏导数和全微分18.2链式法则第十九章隐函数存在定理和隐函数求导法19.1隐函数的求导法19.2隐函数存在定理第二十章偏导数的使用20.1偏导数在几何上的使用20.2方向导数和梯度20.3taylor公式20.4极值20.5logrange乘子法20.6向量值函数的全导数第二十一章重积分21.1矩形上的二重积分21.2有界集上的二重积分21.3二重积分的变量代换及曲面的面积21.4三重积分、n重积分的例子第二十二章广义重积分22.1无界集上的广义重积分22.2无界函数的重积分第二十三章曲线积分23.1第一类曲线积分23.2第二类曲线积分23.3green 公式23.4green定理第二十四章曲面积分24.1第一类曲面积分24.2第二类曲面积分24.3gauss公式24.4stokes公式24.5场论初步第二十五章含参变量的积分25.1含参变量的常义积分25,2含参变量的广义积分25.3b函数和函数第二十六章lebesgue积分26.1可测函数26.2若干预备定理26.3lebesgue积分26.4(l)积分存在的充分必要条件26.5三大极限定理26.6可测集及其测度26.7fubini定理练习及习题解答? 序言复旦大学数学系的数学分析教材从20世纪60年代起出版了几种版本,随着改革开放和对外交流的发展,现代数学观点和方法融入数学分析教材是必然的趋势。
欧阳光中《数学分析》笔记和考研真题详解第22章广义重积分22.1复习笔记一、无界集上的广义重积分1.无界集上的广义重积分的定义(1)定义假设①D是边界为(二维)零集的无界集;②f(x,y)于D上几乎处处连续且f(x,y)于D的任一有界子集上保持有界,则定义广义二重积分为特别约定,这里的D R使常义积分存在,即若某D R,使不存在,则放弃这个D R.(2)敛散性若等式右端极限存在且有限,则称广义二重积分收敛,反之,称为发散.2.非负函数的广义二重积分(1)设f(x,y)≥0且满足条件①D是边界为(二维)零集的无界集;②f(x,y)于D上几乎处处连续且f(x,y)于D的任一有界子集上保持有界,若存在一串使得极限存在且有限,则广义重积分必收敛,且3.绝对可积(收敛)性(1)绝对收敛若积分与同时收敛,则称积分绝对收敛(或绝对可积).(2)条件收敛若积分收敛但绝对值积分发散,则称积分为条件收敛(或条件可积).(3)结论当函数f非负时,可积必绝对可积.(4)定理设f(x,y)满足条件①D是边界为(二维)零集的无界集;②f(x,y)于D上几乎处处连续且f(x,y)于D的任一有界子集上保持有界,则广义积分收敛必绝对收敛.二、无界函数的重积分1.无界函数积分的定义(1)定义设D为有界集,它的边界是(二维)零集,f(x,y)于集D上是几乎处处连续的且有惟一奇点,即f于点P无界.又设,f于有界.表示在δ邻域中,以点P为内点的集,并要求积分存在.定义无界函数的广义二重积分为(2)敛散性若右端极限存在且有限,则称收敛(或称可积),反之称为发散(不可积).2.无界函数积分定理(1)设D为有界集,它的边界是(二维)零集,f(x,y)于集D上是几乎处处连续的且有惟一奇点,即f于点P无界.又设,f于有界.表示在δ邻域中,以点P为内点的集,并要求积分存在.又设f非负,则收敛使收敛.(2)无界函数的重积分可积必绝对可积.注:被积函数f(x,y)已满足起始条件,特别是几乎处处连续.没有上述条件,若问收敛时是否也收敛,则结论否定.3.含奇线积分(1)奇线奇点连接成的线称为奇线.(2)含奇线积分的定义设为奇线,取的δ邻域集合表示位于内的一个集,它以上每点为内点,且存在,定义为含奇线积分.22.2名校考研真题详解1.求[北京师范大学2005研]解:由于所以2.求,其中表示整个平面。
欧阳光中《数学分析》笔记和考研真题详解第20章偏导数的应用20.1复习笔记一、偏导数在几何上的应用1.曲线的切向量、切线和法平面(1)光滑曲线设空间曲线l的参数方程是其中t是参数,又设都在[a,b]上连续,并且对每一个不全为0,这样的曲线称为光滑曲线.表示成向量值函数为r(t)的导数定义为(2)光滑曲线的切向量光滑曲线l在点P的切向量τ,即(3)光滑曲线的切线和法平面设其中那么曲线l在点P0的切线方程和法平面方程分别是2.曲面的法向量、法线和切平面(1)显示形式的光滑曲面的法向量若光滑曲面S的方程是在处曲面S的法向量为(2)隐式形式的光滑曲面的法向量光滑曲面S的方程并且光滑曲面的法向量为也可简单地写为(3)参数形式的光滑曲面的法向量光滑曲面S的方程是u,v是参数,并假定Jacobi矩阵的秩为2.不失一般性,设则法向量为二、方向导数和梯度1.数量场(1)数量场的定义设D是中的一个区域,f是定义在D内的一个实值函数,即则称在D内有了一个数量场f.(2)等量线的定义设f是D内的一个数量场,称(C是常数)是数量场f的等量面(或等值面).即在S内每一点x处,它所对应的数值是相同的,都等于C.特别当D是R2中的区域时,称S是等量线(或等值线).2.方向导数(1)方向导数的定义设D是R3中的一个区域,f是D内的一个数量场,P0∈D,l是R3中的一个单位向量,如果极限存在,则称此极限是数量场f在点P0沿方向l的方向导数,记为.即也称它是函数f在点P0沿方向l的方向导数.它表示数量场f在点P0沿方向l的变化率.(2)方向导数存在的充分条件设函数f在点P0可微,则f在点P0沿任何方向l的方向导数存在,并且有其中是方向l的方向余弦.3.梯度(1)梯度的定义设数量场f(x,y,z)定义于某个三维区域D内,又设函数f具有关于各个变元的连续偏导数,称向量是在点的梯度,记为,即(2)梯度与方向导数的关系θ是向量和向量l之间的夹角.①当θ=0时达到最大,即当l的方向是的方向时最大.即在点沿的方向,其方向导数最大.②当时达到的最大值等于.(3)梯度与等值面之间的关系①gradf的方向和等值面的法向量的方向是一致的(可能相差一个符号),如果选取法向量的方向是朝向数量场增加的方向,那么该法向量n的方向就和梯度的方向相同.②令n0是单位法向量,则有gradf的方向与n0相同,其大小等于f沿n0的方向导数.(4)梯度的性质设f,g都可微,则①②③④.其中φ(u)在点可微.三、泰勒公式1.二元函数的泰勒公式(1)定理(带拉格朗日余项)设函数f(x,y)在开圆盘内有关于x,y的各个n+1阶连续偏导数.对D内任意一点记则右端最后的一项称为拉格朗日余项,其中算子的意义如下:(2)推论(带Pean0余项)设函数f(x,y)在开圆盘内有关于x,y的各个n阶微分.对D内任意一点记则其中是Pean0余项.2.n元函数的泰勒公式设n元函数在开球内有关于的各个n+1阶连续偏导数.对内任一点记则其中.四、极值1.二元极值必要性条件。
欧阳光中《数学分析》笔记和考研真题详解第13章广义积分的敛散性13.1复习笔记一、广义积分的绝对收敛性判别法1.条件收敛和绝对收敛(1)广义积分的柯西收敛准则设f(x)在区间[a,b〉上有惟一奇点b,则广义积分收敛对成立(2)广义积分的收敛(发散)定义设f(x)在区间[a,b〉上有惟一奇点b,①如果和收敛,则称广义积分绝对收敛(又称为绝对可积);②如果但收敛,则称条件收敛(又称为条件可积).注意:从上述定义直接可知,当f(x)≥0时,收敛和绝对收敛是等价的.(3)相关定理绝对值积分收敛,且f于[a,b〉上有惟一奇点,则绝对收敛.2.广义积分的比较判别法假定f和g在[a,b〉上有惟一奇点b,如果|f(x)|≤|g(x)|,则也绝对收敛.反之,如果发散,则也发散.3.广义积分的等价量判别法设f和g在[a,b〉上存在惟一奇点b且则同时收敛或发散.二、广义积分的Abel-Dirichlet判别法1.积分型Abel不等式设u(x)单调,v'(x)可积,则不等式右边的项是v(x)在区间[a,b]上的振幅,M,m分别是v(x)在[a,b]上的上、下确界.2.Abel-Dirichlet判别法(A.D.判别法)设广义积分有惟一奇点b(a,b可以无限),若f(x)=u(x)v'(x),即其中u(x)单调且u(x),v(x)中一个是有界函数,另一个在x→b-时趋向于零,则上述积分必收敛.3.广义积分和级数的关系设f(x)≥0,又是一个单调增加数列,则积分.13.2名校考研真题详解1.举例说明连续函数f(x)使收敛,但未必有证明:当f(x)在[a,+∞)上单调且收敛时有[南京农业大学2005研]证明:例如令则由Dirichlet判别法知收敛,但不存在.不妨设f(x)存[a,+∞)上单调递减,则当x≥a时,有f(x)≥0.事实上,若存在使得,由于当x≥a时,故发散,矛盾.由于收敛,故存在A>2使得当x>A时,有.再由f(x)在[a,+∞)上单调递减知当x>A时,有下式成立即2.设收敛,且f(x)在[a,+∞)上一致连续,证明:[上海交通大学研]证明:反证法设当x→∞时,f(x)不趋于0,则存在,对任意的.有,使得.因为f(x)一致连续,所以对此,存在δ>0,使得对任意的,有,则对任意的,有从而,由Cauchy收敛准则知发散,矛盾.3.讨论的敛散性.[中国地质大学研]解:对于,由于,所以当q<1时,收敛.对于,易知当p>1或p=1且q>1时,收敛.综上所述,所以当p>1且q<1时,收敛.4.设积分绝对收敛,证明:在(-∞,+∞)上一致连续.[东南大学研]证明:方法一:题目所要证明可以归结为对任意的ε,存在δ>0,,只要,就有.由于当-A<x<A时,有故有已知存在,所以当A充分大时,可使,至此再将A固定,取,则当时,有,所以方法二:因为,而绝对收敛,所以由Weierstrass 判别法可知,g(α)绝对收敛.如果说f(x)在(-∞,+∞)上连续,则上述结论成立,所以g(α)在(-∞,+∞)上连续.下证存在.若该极限存在,则由上海交通大学2003年题目可知,g(α)在(-∞,+∞)上一致连续.因为收敛,故对任意的ε,存在G>0,使得,且f(x)可积,所以,则g (α)在(-∞,+∞)上一致连续.5.讨论反常积分的敛散性.[复旦大学研]解:易知当p-2>-1,即p>1时,收敛;当p≤1时,发散.由于,所以当5-p>1,即p<4时,收敛;当p≥4时,发散.故当且仅当1<p<4时,收敛.6.求[中山大学2007研]解:由于,且所以收敛.因为,所以发散,故发散.7.求证:(1)(2)[浙江大学研]证明:(1)在右端积分中作变换t=x+m,得设,广义积分是收敛的,因此(2)由(1)得。
欧阳光中《数学分析》笔记和考研真题详解第26章Lebesgue积分26.1复习笔记一、可测函数1.广义实数系将±∞加入到实数系R,得称为广义实数系,±∞称为广义实数,其余实数称为有限实数.在上取值的实值函数称为广义实值函数.注意:在含+∞的运算中应避免出现不定式,但约定数字0乘以±∞为零,即0(±∞)=0.2.几乎处处收敛(1)几乎处处收敛的定义若存在一个零测度集,仅当x∈I-E时,则称在I上几乎处处收敛到f,可记为:也可记为(2)命题几乎处处成立的定义任何一个命题若除去一个零测度集外成立,则称该命题几乎处处成立.3.补充知识(1)定理将非负二重级数,非负二次级数中的项任意排成一重级数则必成立:(2)推论若二重级数的正、负项级数至少有一个收敛,则显然成立4.阶梯函数(1)阶梯函数的定义在有限个互不相交的有界区间上取有限常值在并集外等于零的函数φ称为阶梯函数,可表示成阶梯函数的图形下方是有限个矩形,这有限个矩形面积代数和记为这里表示区间的长.(2)区间I上的阶梯函数定义设φ仅在区间I上有定义,若在I外补充定义φ(x)=0后,φ(x)成为阶梯函数,则称φ是区间I上的阶梯函数.(3)集△的长度定义记集,其中是区间,设它们互不相交,则集△的长度定义为5.可测函数(1)可测函数的定义设f是区间I上a.e.有定义的广义实值函数,若在I上存在阶梯函数则称f 是I上的可测函数,并记f∈M(I).注意:①阶梯函数φ本身必可测;②若f∈M(I),则g∈M(I);③若f∈M(I),又区间则特别可知狄利克雷函数D(x)可测.常量函数可测.(2)可测函数的性质①设f,g于I上可测,则,,都于I上可测.②设f,g于I上可测且均为a.e.有限,则f±g,fg,(要求{x|g(x)=0,x∈I}是个零测度集)也于I上可测.③设f∈M(I),g∈C(-∞,+∞)(若±∞∈R(f),极限存在(可以是±∞)),复合函数g(f)∈M(I).二、若干预备引理1.三条引理(1)若非负阶梯函数的总面积有限,则“高”之和也必a.e.有限(即非负级数a.e.收敛).(2)为非负阶梯函数且则(3)设为非负阶梯函数,若则特别,当时成立2.关于(R)积分的一个命题设f 于[a,b](R)可积,则f 于[a,b]上必可测且存在阶梯函数满足在f(x)≥0时可要求三、Lebesgue 积分1.Lebesgue 积分的定义设f 于I 上有a.e.定义且阶梯函数,使得,其中至少一个有限,则称f 于I 上存在(L)积分(Lebesgue 积分),定义(L)积分为:若有限,则称f于I上(L)可积2.相关定理(1)定理1阶梯函数满足:这时,f几乎处处有限.(2)定义的一意性若另有阶梯函数,同样满足则3.(L)积分的性质(1)最简单的性质①若则f于I上a.e.有限;②若存在,则f∈M(I);③若(于I上),则且特别地,Dirichlet函数且;④若存在,(于I上),则也存在且等于;⑤若存在,是I的子区间,则也存在.(2)基本性质下面将简写为①若在I上且和存在,则特别地,当且存在时.若I=(a,b),a≤b,则可记为但若a>b,则;②若存在,α∈R,则也存在,且;③若和存在且不是不定式(特别当时),则也存在,且;④若存在,则必存在,且;当时,⑤若可积,则也必可积.特别的,当f可积时,也必可积;⑥设区间是除端点外互不相交的区间,则存在同时存在且不为异号无穷大.当条件成立时,;⑦则必阶梯函数列使得若m≤f(x)≤M,x∈I,则还可要求⑧设存在(a,b包括±∞),则下式右边的积分也存在且等式成立:;。