查看“连续函数”的源代码

{{merge from|連續函數 (拓撲學)|time=2018-01-04T05:04:21+00:00}}
{{NoteTA
|G1 = Math
}}
{{微积分学}}
在[[数学]]中，'''连续'''是[[函数]]的一种属性。直观上来说，连续的函数就是当输入值的变化足够小的时候，输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义，则这个函数被称为是'''不连续'''的函数（或者说具有'''不连续性'''）。

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

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

严格来说，设<math>f</math>是一个从实数集的子集<math>\mathbf{I} \subset \mathbb{R}</math>射到<math>\mathbf{J} \subset \mathbb{R}</math>的函数：<math>f : \mathbf{I} \longrightarrow \mathbf{J}</math>。<math>f</math>在<math>\mathbf{I}</math>中的某个[[点]]<math>c</math>处是连续的当且仅当以下的两个条件满足：
# <math>f</math>在点<math>c</math>上有定义。
# <math>c</math>是<math>\mathbf{I}</math>中的一个[[聚点]]，并且无论自变量<math>x</math>在<math>\mathbf{I}</math>中以什么方式接近<math>c</math>，<math>f(x)</math>的[[极限]]都存在且等于<math>f(c)</math>。

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

=== <math>\varepsilon-\delta</math>定义 ===

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

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

{{Quote
|对于任意的正实数<math>\varepsilon >0</math>，存在一个正实数<math>\delta > 0</math>使得对于任意定义域中的<math>x \in \mathbf{I}</math>，只要<math>x</math>满足<math>c-\delta<x<c+\delta</math>，就有<math>f(c)-\varepsilon <f(x)<f(c)+\varepsilon</math>成立。
}}

连续性的“<math>\varepsilon-\delta</math>定义”由[[柯西]]首先给出。

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

以上是针对单变量函数（定义域在<math>\mathbb{R}</math>上的函数）的定义，这个定义在推广到多变量函数时也是成立的。[[度量空间]]以及[[拓扑空间]]之间的连续函数定义见下一节。

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

=== 连续函数的性质 ===

如果两个函数<math>f</math>和<math>g</math>是连续的，<math>\lambda</math>为一个实数，那么<math>\displaystyle f + g</math>、<math>\displaystyle \lambda f</math>和<math>\displaystyle fg</math>都是连续的。所有连续函数的集合构成一个环，也构成一个[[向量空间]]（实际上构成一个[[代数 (环论)|代数]]）。如果对于定义域内的所有<math>x</math>，都有<math>g ( x ) \neq 0</math>，那么<math>\frac{f}{g}</math>也是连续的。 

两个连续函数的[[复合函数]]<math>f \circ g</math>也是连续函数。

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

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

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

如果一个函数在定义域中的某个点<math>f ( c ) </math>[[可微]]，则它一定在点<math>c</math>连续。反过来不成立；连续的函数不一定可微。例如，[[绝对值]]函数在点<math>c=0</math>连续，但不可微。

== 度量空间之间的连续函数 ==

现在考虑从[[度量空间]]<math>(X, d_X)</math>到另一个度量空间<math>(Y, d_Y)</math>的函数<math>f</math>。

:<math>f</math>在<math>c\in X</math>是连续的，則对任何[[实数]]<math>\varepsilon>0</math>，存在一个实数<math>\delta>0</math>使得<math>\forall x\in X</math>，只要满足<math>d_X(x, c)<\delta</math>，就满足<math>d_Y(f(x), f(c))<\varepsilon</math>。

这个定义可以用[[序列]]与[[极限]]的语言重述：

:如果函数<math>f</math>在点<math>c</math>连续，則对<math>X</math>中任何序列<math>\{x_n\}</math>，只要<math>\lim\limits_{n\rightarrow\infty} x_n=c</math>，就有<math>\lim\limits_{n\rightarrow\infty}f(x_n)=f(c)</math>。连续函数将极限变成极限。

后一个条件可以减弱为：

:<math>f</math>在<math>c</math>点连续，当且仅当对<math>X</math>中任何序列<math>\{x_n\}</math>，只要<math>\lim\limits_{n\rightarrow\infty} x_n=c</math>，就滿足序列<math>\{f(x_n)\}</math>是一个[[柯西序列]]。连续函数将收敛序列变成柯西序列。

== 拓扑空间之间的连续函数 ==
{{main|连续函数 (拓扑学)}}
如上连续函数的定义可以自然地推广到一个[[拓扑空间]]到另一拓扑空间的函数：对拓扑空间<math>X</math>与<math>Y</math>，函数<math>f: X\rightarrow Y</math>是连续的[[当且仅当]]任何[[开集]]<math>V\subseteq Y</math>的[[逆像]]<math>f^{-1}(V)</math>是<math>X</math>中开集。

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

第一个比较严格的定义归功于[[伯纳德·波尔查诺]]<ref>{{fr}},Bourbaki, N., Eléments d'histoire des mathématiques, Masson, Paris, 1984, ISBN 978-3-540-33938-0</ref>。他在1817年用德文写下的定义是这样的：函数<math>f</math>在<math>x</math>点是连续的，[[当且仅当]]：
:“……若<math>h</math>足够小时，<math>f(x+h)-f(x)</math>比任何事先给定的量都小”<ref>"A Source book of classical analysis", Harvard university Press, edited by Garrett Birkhoff.</ref>。

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

六年以后，柯西在1823年也给了一个定义，但此定义还不如波尔查诺前面给出的定义清楚：
:“……<math>f(x+h)-f(x)</math>的大小随着<math>h</math>的减小而不确定地减小。……变量（指<math>x</math>）的一个无穷小的增长会导致函数本身（指<math>f(x)</math>）的一个无穷小的增长”。

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

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

== 相关条目 ==

* [[单一连续]]
* [[一致连续]]
* [[有界线性算子]]
* [[绝对连续]]
* [[半连续]]

== 注释 ==
<div>
<references/>
</div>

<!--
* [[normal function]]
* [[equicontinuity]]
* [[limit (category theory)|continuous functor]]
* [[Lipschitz continuity]]
-->

== 参考文献 ==
* [http://archives.math.utk.edu/visual.calculus/ Visual Calculus] by Lawrence S. Husch, [[University of Tennessee]] (2001)

[[Category:微积分|L]]
[[Category:拓扑学|L]]
[[Category:点集拓扑学|L]]
[[Category:连续映射|L]]