连续函数

维基百科,自由的百科全书
跳转至: 导航搜索
微积分学
\int_M \mathrm{d}\omega = \oint_{\partial M} \omega
函数 · 导数 · 微分 · 积分

数学中,连续函数的一种属性。直观上来说,连续的函数就是当输入值的变化足够小的时候,输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义,则这个函数被称为是不连续的函数(或者说具有不连续性)。

举例来说,考虑描述一棵树的高度时间而变化的函数h(t),那么这个函数是连续的(除非树被砍断)。又例如,假设T(P)表示地球上某一点P的空气温度,则这个函数也是连续的。事实上,古典物理学中有一句格言:“自然界中,一切都是连续的。” 相比之下,如果M(t)表述在时间t的时候银行账户上的钱币金额,则这个函数无论在存钱或者取钱的时候都会有跳跃,因此函数M(t)是不连续的。

常用的连续性的最根本定义是在拓扑学中的定义,在条目连续函数 (拓扑学)中会有详细论述。在序理论特别是域理论中,有从这个基础概念中得出的另一种抽象的连续性:斯科特连续性

实值连续函数[编辑]

最基本也是最常见的连续函数是定义域实数集的某个子集、取值也是实数的连续函数。例如前面提到的花的高度,就是属于这一类型。这类函数的连续性可以用直角坐标系中的图像来表示。一个这样的函数是连续的,如果粗略地说,它的图像为一个单一的不破的曲线,并且没有间断跳跃无限逼近的振荡

严格来说,设f 是一个从实数集的子集\mathbf{I} \subset \mathbb{R} 射到\mathbf{J} \subset \mathbb{R} 的函数:f : \mathbf{I} \longrightarrow \mathbf{J}f\mathbf{I} 中的某个c 处是连续的当且仅当以下的两个条件满足:

  1. f 在点c 上有定义。
  2. c\mathbf{I} 中的一个聚点,并且无论自变量x\mathbf{I} 中以什么方式接近cf(x)极限都存在且等于f(c)

我们称函数到处连续处处连续,或者简单的称为连续,如果它在其定义域中的任意一点处都连续。更一般地,当一个函数在定义域中的某个子集的每一点处都连续时,就说这个函数在这个子集上是连续的。

\varepsilon-\delta 定义[编辑]

不用极限的概念,也可以用下面所谓的\varepsilon-\delta 方法来定义实值函数的连续性。

仍然考虑函数f : \mathbf{I} \longrightarrow \mathbf{J}。假设cf的定义域中的元素。函数f被称为是在c 点连续当且仅当以下条件成立:

对于任意的正实数\varepsilon >0,存在一个正实数\delta > 0 使得对于任意定义域中的x \in \mathbf{I}, 只要x满足c-\delta<x<c+\delta,就有

f(c)-\varepsilon <f(x)<f(c)+\varepsilon成立。

连续性的“\varepsilon-\delta 定义”由柯西首先给出。

更直观地,函数f是连续的当且仅当任意取一個\mathbf{J}中的点f(c)鄰域\Omega,都可以在其定义域\mathbf{I}中选取点x的足够小的鄰域,使得x的鄰域在函數f上的映射下都會落在f(c) 的鄰域\Omega 之內。

以上是针对单变量函数(定义域在\mathbb{R}上的函数)的定义,这个定义在推广到多变量函数时也是成立的。度量空间以及拓扑空间之间的连续函数定义见下一节。

例子[编辑]

  • 所有多项式函数都是连续的。各类初等函数,如指数函数对数函数平方根函数三角函数在它们的定义域上也是连续的函数。
  • 绝对值函数也是连续的。
  • 定义在非零实数上的倒数函数 f = 1/x 是连续的。但是如果函数的定义域扩张到全体实数,那么无论函数在零点取任何值,扩张后的函数都不是连续的。
  • 非连续函数的一个例子是分段定义的函数。例如定义 f 为: f(x) = 1 如果 x > 0,f(x) = 0 如果 x ≤ 0。取 ε = 1/2,不存在 x=0 的 δ-邻域使所有 f(x) 的值在 f(0) 的 ε 邻域内。直觉上我们可以将这种不连续点看做函数值的突然跳跃。
  • 另一个不连续函数的例子为符号函数

连续函数的性质[编辑]

如果两个函数fg是连续的,\lambda为一个实数,那么\displaystyle f + g\displaystyle \lambda f\displaystyle fg都是连续的。所有连续函数的集合构成一个环,也构成一个向量空间(实际上构成一个代数)。如果对于定义域内的所有x,都有g ( x ) \neq 0,那么\frac{f}{g}也是连续的。

两个连续函数的复合函数f \circ g也是连续函数。

如果实函数f闭区间[ a, b]内连续,且k是某个f ( a )f ( b )之间的数,那么存在某个[ a , b ]内的c,使得f ( c ) = k。这个定理称为介值定理。例如,如果一个小孩在五岁到十岁之间身高从1米增长到了1.5米,那么期间一定有某一个时刻的身高正好是1.3米。

如果f[ a , b ]内连续,且f ( a )f ( b )一正一负,则中间一定有某一个点c,使得f ( c ) = 0。这是介值定理的一个推论。

如果f在闭区间[ a, b]内连续,则它一定取得最大值,也就是说,对于所有的x \in [ a, b],总存在c \in [ a, b]使得f ( c ) \geqslant f(x))。同样地,函数也一定有最小值。这个定理称为极值定理。(注意如果函数是定义在开区间( a, b)内,则它不一定有最大值和最小值,例如定义在开区间(0,1)内的函数f ( x ) = \frac{1}{x}。)

如果一个函数在定义域中的某个点f ( c ) 可微,则它一定在点c连续。反过来不成立;连续的函数不一定可微。例如,绝对值函数在点c=0连续,但不可微。

度量空间之间的连续函数[编辑]

现在考虑从度量空间 (X, dX) 到另一个度量空间 (Y, dY) 的函数 f。则 fX 中的点 c 是连续的如果对任何正实数 ε,存在一个正实数 δ 使得所有 x 属于 X 只要满足 dX(x, c) < δ 也满足 dY(f(x), f(c)) < ε。

这个定义可以用序列极限的语言重述:函数 f 在点 c 连续如果对 X 中任何序列 (xn) 以 c 为极限 lim xn = c,我们有 lim f(xn) = f(c)。连续函数将极限变成极限。

后一个条件可以减弱为:fc 点连续当且仅当对 X 中任何收敛到 c 的序列 (xn),序列 (f(xn)) 是一个柯西序列。连续函数将收敛序列变成柯西序列。

拓扑空间之间的连续函数[编辑]

如上连续函数的定义可以自然地推广到一个拓扑空间到另一拓扑空间的函数:函数 f : XY,这里 XY 是拓扑空间是连续的当且仅当任何开集 VY逆像 f -1(V) 是 X 中开集。

历史[编辑]

函数的连续性质在很长时间内被认为是当然的。

第一个比较严格的定义归功于伯纳德·波尔查诺[1]。他在1817年用德文写下的定义是这样的:函数fx点是连续的,当且仅当

“……若h足够小时,f(x+h)-f(x)比任何事先给定的量都小”[2]

然后波尔查诺在证明中值定理时用\epsilon来表示所谓“事先给定的量”。

六年以后,柯西在1823年也给了一个定义,但此定义还不如波尔查诺前面给出的定义清楚:

“……f(x+h)-f(x)的大小随着h的减小而不确定地减小。……变量(指x)的一个无穷小的增长会导致函数本身(指f(x))的一个无穷小的增长”。

这里的无穷小指的是:一个量的“绝对值不断而无止境地减小以至于小于任何一个事先给定的量”。

现代的\epsilon - \delta定义只要把波尔查诺在其证明里的写法中“事先给定的量”用\epsilon来代替就可以了。这个现代定义第一次公开发表在刊物上是1874年由魏尔斯特拉斯的一个学生海涅根据魏尔斯特拉斯的讲义写的。

相关条目[编辑]

注释[编辑]

  1. ^ (法文),Bourbaki, N., Eléments d'histoire des mathématiques, Masson, Paris, 1984, ISBN 978-3-540-33938-0
  2. ^ "A Source book of classical analysis", Harvard university Press, edited by Garrett Birkhoff.


参考文献[编辑]