一引入“一致性”的意义数学分析教材中有不少概念,如函数的连续性与一直连续性、函数列的收敛性与一致收敛性,初学者很容易混淆,因而成为“数学分析”中学习的一个难点所在。
数学分析中的三个“一致性”(即一致有界, 一致连续, 一致收敛) 的概念对数学基础知识的学习很重要。
弄清函数的一致连续性的概念和掌握判断函数一致连续的方法无疑是学好函数一致连续性理论的关键。
数学分析教材只给出一致连续的概念和判断函数在闭区间上一致连续的G·康托定理,内容篇幅少,为了使初学者对函数一致连续性的理论有正确的理解和全面的掌握,作为教材内容的适当扩展和补充显然,一致连续要比连续条件强。
但在数学分析教科书中,仅给出一致连续的定义以及利用定义证明函数f(x)在某区间上一致连续的数学方法,呈现了函数一致连续完美的逻辑结果,但学生对定义特别是其中δ的很难理解。
一致连续是一个很重要的概念,在微积分学以及其他学科中常常用到,而且函数列的一致连续性和一致收敛又有着密切关系。
在研究函数列的收敛问题中,常常要用到函数列与函数之间的收敛、一致连续性、一致收敛的关系。
数学分析中的函数一致连续性、函数列一致有界性、函数列一致收敛性、函数项级数一致收敛性、含参变量无穷积分一致收敛性等“一致性”概念是学习上的难点,因此,牢固掌握这些概念及与之有关的理论,对打好分析基础,培养良好的数学素养和创新能力都有着重要的意义。
对函数列的极限函数、函数项级数的和函数以及含参变量积分性质的讨论,常常需要讨论其一致收敛性,而函数项级数的一致收敛性可归结成部分和函数列的一致收敛性的研究,含参变量无穷积分的一致收敛性,又可归结成函数项级数的一致收敛性的研究,故本文着重讨论函数一致连续性和函数列一致收敛性重要概念。
函数一致连续的概念是学生学习高等数学的一个难点,证明某一个函数是否具有一致连续性让许多同学更是无从下手。
为了解决这一难点,化抽象为简单,给出一致连续性的几种等价形式,能帮助同学易于接受。
函数一致连续的几何意义数学分析是一门非常抽象的学科,有极强的逻辑性和严密性,体现在:能用简明的数学语言准确的表述用冗长的文学语言也不一定能定量的事物发展过程。
这也是初学者无法理解分析中定义的原因。
而几何意义将是数学分析课程入门的一引导者,它向学生展示了数学分析中最基本的思想方法,有利于学生对抽象概念的理解,能更好地发展学生的思维能力。
本文通过揭示一致连续与一致收敛概念之间的内在联系,导出了利用连续性判定一致收敛的方法。
此方法对于通常的初等函数及函数列一致收敛与非一致收放的判定非常有效,且很简便,可说是一目了然。
它不仅限于在指一致连续与一致收敛定区间上的讨论,还便于作全面的研究。
通过对函数及函数列的一致连续的定义的对照对函数列的一致收敛与一致连续问题进行了讨论,通过这种讨论使我们清晰的看到函数列的一致连续问题不仅和函数列本身有关而且和极限函数有着密切的关系。
探讨了一致连续和一致收敛的关系,并在有界区间上给出了一致连续和一致收敛的等价关系。
掌握这些关系为今后研究连续、收敛问题提供了更多的依据。
二对数学分析中一致连续的概念的理解一致连续是从函数连续的概念派生出来的,是指存在一个微小变化的界限,如果函数定义域内的任意两点间的距离不超过这个界限,则这两点对应的函数值之差就能达到任意小。
函数一致连续的概念一直是《数学分析》学习中的难点,在多年的教学实践中,深感学生对函数一致连续的概念掌握的不是很好,经常听到学生有这样的疑问:函数连续和一致连续究竟有什么区别?本文谈的就是在教学中如何让学生较快地理解函数一致连续的概念。
1 从连续的概念引出一致连续的概念函数的一致连续性是函数的重要特征,它标志着一个连续函数的变化速度有无“突变”。
对于函数一致连续来说,不仅要求函数在区间上的每一点保持连续,还进一步要求它在区间上所有点邻近有大体上均匀的变化趋势。
也就是说:对于任给的正数ε,要求存在一个与x 无关的正数δ,使对自变量的任意2 个值x',x",只要它们的距离︳x'-x " ︳<δ,对应的函数值︳f(x')-f(x ")︳<ε,。
显然,一致连续要比连续条件强。
但在数学分析教科书中,仅给出一致连续的定义以及利用定义证明函数f (x )在某区间上一致连续的数学方法,呈现了函数一致连续完美的逻辑结果,但学生对定义特别是其中δ 的很难理解,那么我们在上课时就不宜照本宣科,需要把概念中所隐含的知识逐步解释清楚,才可以帮助学生较快地理解一致连续的概念。
下面我们从函数f (x )在区间I 上连续的定义出发,通过2 个例子,快速建立函数f (x )在区间I 上一致连续的定义。
定义1 (函数f (x )在区间I 上连续) 设f (x )为定义在区间I 上的函数,若对ε>0,对于每一点x ∈I ,都存在相应δ=δ(ε,x )>0,只要x'∈I ,且︳x-x' ︳<δ,就有︳f (x )-f (x')︳<ε,则称函数f (x )在区间I 上连续。
给出以下2 个例子。
例1 考查函数f (x )=x1在区间(0,1]上的连续性。
解 对∀0x ∈(0,1],因为0lim x x →x=0x >0,则存在邻域U (0x ,δ'),使得x ∈U (0x ,δ'),有x >20x ,所以有 ︳x 1 -01x ︳=00xx x x -<0002x x x x -=2200x x x -。
对∀ε>0,取δ=min }"20,2δε⎪⎩⎪⎨⎧x ,就有︳x 1 -01x ︳<ε。
这里δ 与0x 有关,有时特记为δ(ε,0x )。
注意本例中不存在可在区间(0,1]上通用的δ,即不存在最小的(正数)δ。
强调:0x 的位置不同,δ 的取值也随之产生变化。
例2 考查函数f (x )=x1在区间上[c ,+∞)(c >0)的连续性。
解 对0x ∈[c ,+∞)(c >0),存在邻域U (0x ,δ'),使得x ∈U (0x ,δ')时,有 ︳x 1 -01x ︳=00xx x x -<2c x x o-。
对∀ε>0,取δ=2c ε,就有︳x1 -01x ︳<ε。
这里可取得最小的,也就是可通用的δ=2c ε,该δ 却与0x 无关,可记为δ(ε)。
比较例1 中δ 与例2 中δ 的不同,引出较函数f (x )在区间I 上连续的概念条件更强的函数f (x )在区间I 上一致连续的概念。
定义2 (一致连续) 设(f x )为定义在区间I 上的函数,若对∀ε>0,存在δ(>0),使得对任何x',x"∈I ,只要︳x'-x" ︳<δ,就有︳f (x')-f (x")︳<ε,则称函数f (x )在区间I 上一致连续。
连续概念中δ 与一致连续概念中的δ 不同,通过具体的例子来说明,就更加直观,对初学的学生来说,更容易接受。
通过这样的2 个例子引出函数f (x )在区间I 上一致连续的概念,可使学生在刚接触到一致连续时,就对其中的δ 有一种直观的感受。
这样学生对δ 的取法就比较清楚,可以迅速让学生理解一致连续的概念。
2 利用函数一致连续的概念证明函数一致连续为了进一步加深学生对函数一致连续概念的理解和记忆,随即提出用定义验证一致连续的方法:对∀ε>0,确证δ(>0)存在。
为此,从不失真地放大︳f (x')-f (x") ︳这个式子入手,使在放大后的式子中,除因子︳x'-x" ︳之外,其余部分中不含有x' 和x",然后使所得式子︳f (x')-f (x")︳ <ε,从中解出︳x'-x" ︳.例3 验证函数f (x )=sin x1在区间(c ,1)(0<c <1)内一致连续。
证明因为︳sin'1x - sin "1x ︳=2 ︳sin "'"'2x x x x -︳ ︳cos "'"'2x x x x -︳≤"'"'x x x x -≤ 2"'c x x -所以对∀ε>0,取δ=2c ε,使得对任何x',x"∈(c ,1),只要︳x'-x" ︳<δ,就有︳sin 1x' - sin1x"︳<ε。
3 函数不一致连续的概念下面证明例1 中的函数f (x )=x1在区间(1,0]上不一致连续。
找不到可在区间(0,1]上通用的δ,即不存在最小的δ(正数)。
先给出函数f (x )在区间I 上不一致连续的定义。
定义3 存在某个ε0,无论δ 是怎么样小的正数,在I 上总有两点x' 和x",虽然满足︳x'-x" ︳<0,却有︳f (x')-f (x")︳>ε。
证明取ε0=1,对∀δ(<1),取x'=min {δ,12}与x"=2'x ,便有︳x'-x" ︳=2'x ≤2δ<δ,但"'11xx -=︳'1x -'2x ︳='1x ≥2>1=0δ。
因此也可以说函数f (x )在区间I 上连续,存在一个集合A=﹛δx ︳x ∈I ﹜,如果当集合A 中存在一个最小的δ 时,则f (x )就是I 上一致连续,而f (x )在区间I 上连续则只要求存在集合A 就可以了。
三 一致收敛概念1 函数列一致收敛的定义设S 1 ( x) , S 2 ( x) , ⋯, Sn ( x) , ⋯是一列定义在同一数集X 上的函数, 称为定义在X 上的函数列. 设{ un ( x) } 称为定义在X 上的函数列,表达式u 1 ( x) + u 2 ( x) + ⋯ + un ( x) + ⋯, x ∈X 称为定义在X 上的函数项级数,简记为∑∞=1n un ( x) 或∑un ( x) .设数集X 为函数项级数∑∞=1n un ( x) 的收敛域,则对每个x ∈X,记S ( x) =∑∞=1n un( x) ,称S ( x) 为函数项级数∑∞=1n un ( x)的和函数.定义i 设有函数列{ Sn ( x) } ,若对任给的ε > 0 ,存在只依赖于ε的正整数N (ε) ,当n > N (ε) 时,不等式︱Sn ( x) - S ( x) ︱ <ε对X 上一切x 成立,则称{ Sn ( x) } 在X 上一致收敛于是s (x ).一致收敛的定义还可以用下面的方式来表达:定义ii 设‖sn - s ‖ = I x ∈sup | Sn ( x) - S ( x) | ,若∞→n lim ‖sn - s ‖ = 0,就称Sn ( x) 在X 上一致收敛于S ( x) .定义2 ∀ε>0,∃)(εN ∈N ,当时,对一切,都有.这时称函数列在上一致收敛于,记作 . 一致收敛与逐点收敛之间的区别:定义2中的只依赖于,它适用于一切;而定义1中的极限式 (1) 若用陈述方式来表示时,其中的既与有关,又与中的考察点有关. 定义 设函数项级数的部分和函数列为.如果 , 则称在上一致收敛于. 由定义2与定义易知: ● 若, 则. ● 若或在上一致收敛,,则它们在上必一致收敛.● 当把数列看作一个特殊的函数序列时,如果收敛,则可认为它在上一致收敛.●当把数项级数看作一个特殊的函数项级数时,如果收敛,则可认为它在上一致收敛.●又若,则同样可以认为.把逐点收敛(即数列或数项级数收敛)的柯西准则推广为一致收敛的柯西准则,即为以下两个定理.定理5.1在上一致收敛的充要条件是:,当时,对一切和一切都有.定理5.1'在上一致收敛的充要条件是:,当时,对一切和一切都有.有关定义2、定义以及柯西条件的否定说法,分别示于相关知识相关知识18.1-18.4.例5讨论函数列分别在和上的一致收敛性.解首先,对每一固定的,恒有,即在上处处收敛于.(i)当时,,,当时,对一切,都有.由于上述只依赖于,依据定义2,证得,.(ii)当时,由解出.由此可见既依赖,又依赖,故,.四对函数一致连续性的几点讨论弄清函数的一致连续性的概念和掌握判断函数一致连续的方法无疑是学好函数一致连续性理论的关键。