首页 >
连续
✍ dations ◷ 2025-07-27 18:23:48 #连续
在数学中,连续是函数的一种属性。直观上来说,连续的函数就是当输入值的变化足够小的时候,输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义,则这个函数被称为是不连续的函数(或者说具有不连续性)。举例来说,考虑描述一棵树的高度随时间而变化的函数
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年由魏尔斯特拉斯的一个学生海涅根据魏尔斯特拉斯的讲义写的。
相关
- 磺胺异磺胺异
- 政治生态学生态政治学又称生态政经学或生态政治经济学(英文:Political ecology),其在本质上与政治生态学或称政治生态(Ecological Politics)有很大的差异。 前者以环境与生态为主要的对象,
- 拉沃斯拉夫·鲁日奇卡拉沃斯拉夫·斯捷潘·鲁日奇卡(克罗地亚语:Lavoslav Stjepan Ružička,1887年9月13日克罗地亚武科瓦尔 - 1976年9月26日瑞士),克罗地亚化学家,1939年获诺贝尔化学奖。鲁日奇卡生
- 褐藻门褐藻(学名:Phaeophyceae)是属较高等的多细胞藻类,属真核细胞生物,有1,500种左右,主要分布于大陆附近的水域,则淡水种罕见。褐藻纲外表从暗褐色的橄榄绿都有,其取决于褐藻素与叶绿素
- 国教国教或官方宗教、官方信仰,是指由国家确立的特定宗教。拥有国教的国家并非一定为神权国家,也不代表国教受到政府控制。国家或政府在当代社会中对公民施加国教影响的程度差别很
- 多维元素片复合维生素(Multivitamin)是一种膳食补充剂,含有维生素及矿物质等微量营养素。通常所见的复合维生素有片剂、胶囊剂、锭剂、粉状、液状及注射剂等形式。除注射剂在医师指导下方
- 甲胺磷甲胺磷(Methamidophos),是一种有机磷化合物,通常用作农药,在台湾的商品名为达马松、在中国大陆的商品名为多灭灵。工业品为黄色粘稠液体,易溶于水、醇、丙酮等溶剂,不溶于石油醚,遇
- 佩勒姆亨利·佩勒姆(Henry Pelham,1694年9月25日-1754年3月6日),英国辉格党政治家,曾任首相(1743年8月27日 - 1754年3月6日),任内逝世。继任人为其长兄纽卡素公爵。亨利·佩勒姆,佩勒姆男爵
- 巴黎大清真寺巴黎大清真寺(Grande Mosquée de Paris)位于巴黎第五区,是法国最大清真寺、欧洲第二大清真寺。它兴建于第一次世界大战之后,法国以此感激来自法国殖民地的穆斯林军人与德国作战
- 宫外孕异位妊娠(Ectopic pregnancy),又称为子宫外孕(eccyesis),是指胚胎在子宫以外部位着床的妊娠并发症。典型症状和体征包含腹痛及阴道出血(英语:vaginal bleeding),上述二种症状都有的女