函數之連續

来自维基学院

读者朋友请注意,本文有较多的公式,请将浏览器的字体调大(20号左右),以便阅读,谢谢!

极限的补充说明[编辑 | 编辑源代码]

函数的左极限定义[编辑 | 编辑源代码]

设函数的某个去心邻域的左半区间内有定义。若,总有使得当满足时,必有:

则称函数趋于常数的左极限是,通常记作:

函数的右极限定义[编辑 | 编辑源代码]

设函数的某个去心邻域的右半区间内有定义。若,总有使得当满足时,必有:

则称函数趋于常数的右极限是,通常记作:

函数极限存在的等价条件[编辑 | 编辑源代码]

函数在点处(其中)的极限是否存在等价于函数的左极限与右极限都存在且相等;与函数在点处是否有定义无关。例如:

函数在点0处没有定义,但其在点0处的极限存在。

连续的定义与性质[编辑 | 编辑源代码]

定义[编辑 | 编辑源代码]

函数在某点上连续的定义[编辑 | 编辑源代码]

1.左连续:设函数点处有定义,在点处左极限存在,并且满足:

则称函数点处左连续。

2.右连续:设函数点处有定义,在点处右极限存在,并且满足:

则称函数点处右连续。

3.连续:函数在点处连续等价于函数同时满足点处的左连续性与右连续性。以上条件可表述为:

函数在开区间上连续的定义[编辑 | 编辑源代码]

满足;若函数在开区间内每一点都连续,则称函数在该开区间上连续,记作:

函数在闭区间上连续的定义[编辑 | 编辑源代码]

满足;若函数在开区间内每一点都连续,且函数在点上右连续,在点上左连续,则称在闭区间上连续,记作:

闭区间上连续函数的性质[编辑 | 编辑源代码]

最大最小值性质[编辑 | 编辑源代码]

若函数在闭区间上连续,则恒满足

零点定理[编辑 | 编辑源代码]

若函数在闭区间上连续,且,则满足

介值定理[编辑 | 编辑源代码]

若函数在闭区间上连续,且,则满足

一致连续[编辑 | 编辑源代码]

定义[编辑 | 编辑源代码]

设函数在区间上有定义。若,对所有满足的都有:

则称函数在区间上一致连续。

性质[编辑 | 编辑源代码]

一致连续与连续的关系[编辑 | 编辑源代码]

函数在区间上一致连续在区间上连续(反之未必成立)。 应该注意的是,一个函数是否在某个区间上一致连续。这个事情往往和区间有关 例如,整个实数轴上不是一致连续的。但是如果把这函数的定义域限制在一个有限的区间上,那么它是一致连续的。

康托尔(Cantor)定理[编辑 | 编辑源代码]

函数函数在闭区间上一致连续。

函数的间断点[编辑 | 编辑源代码]

第一类间断点[编辑 | 编辑源代码]

可去间断点[编辑 | 编辑源代码]

若函数点处的极限存在,但点处无定义,或者是有定义,不过,则称点为函数的可去间断点。

跳跃间断点[编辑 | 编辑源代码]

若函数点处满足条件:均存在,但,则称点为函数的跳跃间断点。

第二类间断点[编辑 | 编辑源代码]

若函数点处的左右极限至少有一个不存在,则称点为函数的第二类间断点。

初等函数的连续性[编辑 | 编辑源代码]

所有初等函数都在其定义区间内连续。

典型函数的连续性问题[编辑 | 编辑源代码]

荻里克莱(Dirichlet)函数[编辑 | 编辑源代码]

第一种表达方法[编辑 | 编辑源代码]

第二种表达方法[编辑 | 编辑源代码]

连续性[编辑 | 编辑源代码]

用函数极限的定义很容易看出荻里克莱函数在实数域上每一点的左右极限都不存在,所以荻里克莱函数在实数域上每一点都不连续,每一点都属于第二类间断点。

黎曼(Riemann)函数[编辑 | 编辑源代码]

表达式[编辑 | 编辑源代码]

式中表示的最大公约数是1,表示不包含0的整数范围。

连续性[编辑 | 编辑源代码]

这是一个周期函数,1是其周期;在内讨论该函数连续性即可。
根据函数极限定义可知此函数在实数域上每一点的极限都是0,所以黎曼函数在每一无理数点上连续,在每一有理数点上不连续,而且都是可去间断点。