浅论闭区间连续函数的性质.docVIP

浅论闭区间上连续函数的性质 中山大学数学与应用数学 04级数统基地班 黎俊彬 摘要:本文就闭区间上连续函数的性质进行了一定程度上的探讨,从直观感觉和理论论证两面方面论述了有界性,最值定理,介值定理和一致连续性定理,并且将之与开区间上连续函数及不连续函数作一定的对比. 关键字:闭区间 连续函数 实数的连续性和闭区间的紧致性 实数的连续性和闭区间的紧致性,使闭区间上的连续函数有丰富的性质,而且可由实数的各等价命题推出.本文主要从对连续函数的直观理解深入到纯分析的论证.在论证过程中,严格地不出现微分学和积分学的内容,只是从连续函数本身的性质及实数系的性质入手. 从直观上理解,连续函数的图像是一条连续不断的曲线,这对于一般初等函数来说都是成立的.而闭区间上的连续函数的图像两端必须紧紧地连接着定义在端点处的点上,形成一条封闭的曲线,即与直线形成一个或多个封闭的区域.直观理解虽然不完全正确,但却能帮助我们了解和发现闭区间连续函数的性质,某些时候还能帮助我们找到证明.但直观的认识不一定是正确的,的确存在一些连续函数,其图像并不能作出来.直观认识,在科学里面只是充当一个开路先锋的角色,到最后,一定要用严格的推理来证明. 先看何谓闭区间上的连续函数.连续的定义首先是点连续的定义. 若函数该点的极限值不等于函数值,经验告诉我们函数在该点必定断开,连续的定义与我们的直观认识相符合.而若函数在连续,是指函数在区间的每点都连续,在左端点右连续,右端点左连续.下面讨论闭区间连续函数的相关性质,并从直观和理论上与非闭区间的情况作比较,体会闭区间的独特的性质. 1.闭区间连续函数在其定义域上有界. 闭区间连续函数的图像是封闭的连续不断的曲线,可以想象这条曲线不可能纵向(y轴方向)无限延伸,而开区间上的连续函数可以在端点处无限延伸. 若函数在某点有极限,则在某点附近有界,而连续函数每点的极限都存在,因而在每点的附近都有界.只要用有限覆盖定理,就可以知道只需要有限个有界的区间就可以把函数的定义域覆盖.因而函数在其定义域上也是有界的. 若命题条件改为开区间,有限覆盖定理的条件不充分,该命题的证明便进行不下去.由此可见闭区间的条件是必须的.而连续的条件可以减弱,令每一点的极限都存在,可以同样推出函数在闭区间上有界. 闭区间上的连续函数有界,由确界定理知道该函数必有上下确界.由此可以联想到闭区间上连续函数总能取得最大最小值,分别对应于上下确界. 2.闭区间连续函数必定在定义域上取得最大最小值. 已经证明了上下确界的存在.只需要证明函数能够取到上下确界的值. 分析条件在证明中的作用.由函数的连续性知,这是连续函数的定义,也是一条重要的性质,求初等函数极限值采用直接代入函数值的方法就是以此为依据的.而闭区间的作用是令子列的极限值限制在闭区间里面.因为在两边取极限,可能得到 即使是一个有界的函数,只要不是闭区间上的连续函数,都不能保证能在定义域上取得最值.可以想象将闭区间连续函数的图像的最大值点向下移动一段距离,得到一个有界的不连续函数的图像(不妨设有且只有一个最大值点),那么这个函数在定义域内就不可能取得最大值.而一个定义在开区间且存在单调连续函数,如,虽然在定义域上有界,但都不能够取得最值. 3.连续函数介值定理. 这是一条重要的性质.连续函数在区间内必能取得介于端点函数值的值,称之为介值.从直观上看来,这是显然的.一条连续变化的曲线必会在某个时刻经过介值点.若连续函数的取值可正可负,那么此函数必定存在零点,称之为零点定理.而介值定理是零点定理的直接推论,只需在原函数加减一个常数即可.下面给出用到确界定理的证明. 两个证明除了用到确界定理外几乎没有用到其它性质,譬如第二个证明,只是用到函数极限的保号性.这根本在于用确界定理给出了数集的下确界ξ.确界定理是函数连续性的一个刻画,而介值性的结论可以由连续性从直观上得到,只要给出了连续性一个理论上的刻画,余下的证明就像从直观上得到一般简单.但不连续的函数,就未必具有介值性.至于闭区间的条件并没有用到,原因是任何一个连续函数都可以截出某一个闭区间,在这个闭区间上讨论介值的问题.在这里自然引出一个问题,具有介值性,即其值域为连续系的函数是否连续?如果不连续,要补充什么条件才能保证函数连续? 如下面一个处处不连续的函数,其值域是.这说明具有介值性的函数不一定连续. 只要加强条件,令函数在定义域上单调,就一定有函数连续.有以下命题: 这个命题的正确性在直观上很显然.证明也只需要简单的说明.用反证法,设函数不连续.由于单调函数只能有第一类间断点,并且间断点的取值要么是左极限,要么是右极限.那么只要通过极限保号性,说明函数不能取得间断点左极限和右极限之间的值便可. 有界性,最值定理和介值定理合起来,说明了闭区间上的连续