Movatterモバイル変換

[0]ホーム
URL:

跳转到内容
维基百科自由的百科全书
搜索

连续函数

本页使用了标题或全文手工转换
维基百科，自由的百科全书
（重定向自連續函數）
建議将連續函數 (拓撲學)併入此條目或章節。（討論）
系列條目
微积分学
基础概念（含极限论和级数论）
多元微积分
连续函数g(x){\displaystyle g(x)}与不连续函数f(x){\displaystyle f(x)}

连续函数（英語：continuous function）是指函数在数学上的属性为连续。直观上来说，连续的函数就是当输入值的变化足够小的时候，输出的变化也会随之足够小的函数。

如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义，则这个函数被称为是不连续函数，或者说具有不连续性。非连续函数一定存在间断点。

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

实值连续函数

[编辑]

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

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

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

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

定义

[编辑]

不用极限的概念，也可以用下面所谓的ε−δ{\displaystyle \varepsilon -\delta }方法来定义实值函数的连续性。

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

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

连续性的“ε−δ{\displaystyle \varepsilon -\delta }定义”由柯西首先给出。

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

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

例子

[编辑]

连续函数的性质

[编辑]

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

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

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

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

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

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

度量空间之间的连续函数

[编辑]

现在考虑从度量空间(X,dX){\displaystyle (X,d_{X})}到另一个度量空间(Y,dY){\displaystyle (Y,d_{Y})}的函数f{\displaystyle f}。

f{\displaystyle f}在c∈X{\displaystyle c\in X}是连续的，則对任何实数ε>0{\displaystyle \varepsilon >0}，存在一个实数δ>0{\displaystyle \delta >0}使得∀x∈X{\displaystyle \forall x\in X}，只要满足dX(x,c)<δ{\displaystyle d_{X}(x,c)<\delta }，就满足dY(f(x),f(c))<ε{\displaystyle d_{Y}(f(x),f(c))<\varepsilon }。

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

如果函数f{\displaystyle f}在点c{\displaystyle c}连续，則对X{\displaystyle X}中任何序列{xn}{\displaystyle \{x_{n}\}}，只要limn→∞xn=c{\displaystyle \lim \limits _{n\rightarrow \infty }x_{n}=c}，就有limn→∞f(xn)=f(c){\displaystyle \lim \limits _{n\rightarrow \infty }f(x_{n})=f(c)}。连续函数将极限变成极限。

后一个条件可以减弱为：

f{\displaystyle f}在c{\displaystyle c}点连续，当且仅当对X{\displaystyle X}中任何序列{xn}{\displaystyle \{x_{n}\}}，只要limn→∞xn=c{\displaystyle \lim \limits _{n\rightarrow \infty }x_{n}=c}，就滿足序列{f(xn)}{\displaystyle \{f(x_{n})\}}是一个柯西序列。连续函数将收敛序列变成柯西序列。

性質

[编辑]

拓扑空间之间的连续函数

[编辑]
主条目：连续函数 (拓扑学)

如上连续函数的定义可以自然地推广到一个拓扑空间到另一拓扑空间的函数：对拓扑空间X{\displaystyle X}与Y{\displaystyle Y}，函数f:X→Y{\displaystyle f:X\rightarrow Y}是连续的当且仅当任何开集V⊆Y{\displaystyle V\subseteq Y}的逆像f−1(V){\displaystyle f^{-1}(V)}是X{\displaystyle X}中开集。

历史

[编辑]

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

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

“……若h{\displaystyle h}足够小时，f(x+h)−f(x){\displaystyle f(x+h)-f(x)}比任何事先给定的量都小”[2]。

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

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

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

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

现代的ϵ−δ{\displaystyle \epsilon -\delta }定义只要把波尔查诺在其证明里的写法中“事先给定的量”用ϵ{\displaystyle \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.


参考文献

[编辑]
检索自“https://zh.wikipedia.org/w/index.php?title=连续函数&oldid=90159319”
分类：​
隐藏分类：​
[8]ページ先頭
©2009-2025 Movatter.jp