首页 >
连续函数
✍ dations ◷ 2024-07-07 22:20:07 #连续函数
在数学中,连续是函数的一种属性。直观上来说,连续的函数就是当输入值的变化足够小的时候,输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义,则这个函数被称为是不连续的函数(或者说具有不连续性)。举例来说,考虑描述一棵树的高度随时间而变化的函数
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}
处是连续的当且仅当以下的两个条件满足:我们称函数到处连续或处处连续,或者简单的称为连续,如果它在其定义域中的任意一点处都连续。更一般地,当一个函数在定义域中的某个子集的每一点处都连续时,就说这个函数在这个子集上是连续的。不用极限的概念,也可以用下面所谓的
ε
−
δ
{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 xin 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}
和
f
g
{displaystyle displaystyle fg}
都是连续的。所有连续函数的集合构成一个环,也构成一个向量空间(实际上构成一个代数)。如果对于定义域内的所有
x
{displaystyle x}
,都有
g
(
x
)
≠
0
{displaystyle g(x)neq 0}
,那么
f
g
{displaystyle {frac {f}{g}}}
也是连续的。两个连续函数的复合函数
f
∘
g
{displaystyle fcirc g}
也是连续函数。如果实函数
f
{displaystyle f}
在闭区间
[
a
,
b
]
{displaystyle }
内连续,且
k
{displaystyle k}
是某个
f
(
a
)
{displaystyle f(a)}
和
f
(
b
)
{displaystyle f(b)}
之间的数,那么存在某个
[
a
,
b
]
{displaystyle }
内的
c
{displaystyle c}
,使得
f
(
c
)
=
k
{displaystyle f(c)=k}
。这个定理称为介值定理。例如,如果一个小孩在五岁到十岁之间身高从1米增长到了1.5米,那么期间一定有某一个时刻的身高正好是1.3米。如果
f
{displaystyle f}
在
[
a
,
b
]
{displaystyle }
内连续,且
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 }
内连续,则它一定取得最大值,也就是说,总存在
c
∈
[
a
,
b
]
{displaystyle cin }
,使得对于所有的
x
∈
[
a
,
b
]
{displaystyle xin }
,有
f
(
c
)
⩾
f
(
x
)
{displaystyle f(c)geqslant f(x)}
。同样地,函数也一定有最小值。这个定理称为极值定理。(注意如果函数是定义在开区间
(
a
,
b
)
{displaystyle (a,b)}
内,则它不一定有最大值和最小值,例如定义在开区间(0,1)内的函数
f
(
x
)
=
1
x
{displaystyle f(x)={frac {1}{x}}}
。)如果一个函数在定义域中的某个点
f
(
c
)
{displaystyle f(c)}
可微,则它一定在点
c
{displaystyle c}
连续。反过来不成立;连续的函数不一定可微。例如,绝对值函数在点
c
=
0
{displaystyle c=0}
连续,但不可微。现在考虑从度量空间
(
X
,
d
X
)
{displaystyle (X,d_{X})}
到另一个度量空间
(
Y
,
d
Y
)
{displaystyle (Y,d_{Y})}
的函数
f
{displaystyle f}
。这个定义可以用序列与极限的语言重述:后一个条件可以减弱为:如上连续函数的定义可以自然地推广到一个拓扑空间到另一拓扑空间的函数:对拓扑空间
X
{displaystyle X}
与
Y
{displaystyle Y}
,函数
f
:
X
→
Y
{displaystyle f:Xrightarrow Y}
是连续的当且仅当任何开集
V
⊆
Y
{displaystyle Vsubseteq Y}
的逆像
f
−
1
(
V
)
{displaystyle f^{-1}(V)}
是
X
{displaystyle X}
中开集。函数的连续性质在很长时间内被认为是当然的。第一个比较严格的定义归功于伯纳德·波尔查诺。他在1817年用德文写下的定义是这样的:函数
f
{displaystyle f}
在
x
{displaystyle x}
点是连续的,当且仅当:然后波尔查诺在证明中值定理时用
ϵ
{displaystyle epsilon }
来表示所谓“事先给定的量”。六年以后,柯西在1823年也给了一个定义,但此定义还不如波尔查诺前面给出的定义清楚:这里的无穷小指的是:一个量的“绝对值不断而无止境地减小以至于小于任何一个事先给定的量”。现代的
ϵ
−
δ
{displaystyle epsilon -delta }
定义只要把波尔查诺在其证明里的写法中“事先给定的量”用
ϵ
{displaystyle epsilon }
来代替就可以了。这个现代定义第一次公开发表在刊物上是1874年由魏尔斯特拉斯的一个学生海涅根据魏尔斯特拉斯的讲义写的。
相关
- 弥漫性肺病间质性肺病(Interstitial Lung Disease(ILD),又称为弥漫性肺病 Diffuse Parenchymal Lung Disease(DPLD))是一群主要侵犯肺泡上皮细胞,肺微血管内皮细胞、基底膜以及肺内血管及淋巴
- 可卡因可卡因(INN:Cocaine),又译为古柯碱。为一强烈的兴奋剂,是一种毒品。可能造成思觉失调、欣快感或者精神激动(英语:Psychomotor agitation)等心理影响。生理上的症状可能包括心跳过速
- 巴统巴统 (格鲁吉亚语:ბათუმი,拉丁化:Batumi),为格鲁吉亚西南部的阿扎尔自治共和国首府,位于黑海之滨,为当地著名的旅游胜地。2002年人口121,806。巴统是格鲁吉亚重要的港口和商业
- 美容美容指为了追求“美”而对于身体所进行的物理性之修缮巧饰之行为,通常指容貌上的。美容有三个定义:本条目指第一及第二项。我们现在每天出门前必做的事情——洗脸,是文字记载的
- 陈述在逻辑中,一个陈述可以是:若陈述是指后者,陈述和语句是不同的,语句只是一种陈述的逻辑型式(英语:Logic form),也有可能存在许多可以表达同一陈述的不同语句。& ∨ ¬
- 酮体酮体(Ketone bodies)是在身体饥饿、禁食或某些病理状态(如糖尿病)下产生的一类化合物,它包括丙酮、乙酰乙酸和β-羟丁酸三种化合物,不过严格意义上来讲,β-羟丁酸是一种羟基酸,而非
- 基督教世界基督教世界有多种含义,既可以指世界范围的基督徒;也可以指基督徒居多的国家。自从罗马帝国初期基督教自中东沙姆地区传入欧洲与北非之后,基督教始终存在分裂现象,形成了以罗马为
- 美国电影列表本表列出美国电影工业所出产的电影作品。因影片数量庞大,由2000年代美国电影开始分门别类,依年代排序另分出条目列表,再按电影片名英文原名字母顺序排列。注意:此列表刚刚开始建
- 迪奥克丽丝汀·迪奥(法语:Christian Dior),简称迪奥(Dior),是源自法国的国际奢侈品品牌,由法国时装设计师克丽丝汀·迪奥于1946年创立,总部位于巴黎。主要经营时装、配饰、香水、化妆品、
- 现役军人数这个列表列出了在役军人和预备役军人人数。它包括所有由政府为进一步推动各自的国内外政策所提供资金的士兵。此文中“国家”为其最常用的用法,即行使主权或有限认可的国家。