连续性

✍ dations ◷ 2025-07-15 16:40:54 #连续性
在数学中,连续是函数的一种属性。直观上来说,连续的函数就是当输入值的变化足够小的时候,输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义,则这个函数被称为是不连续的函数(或者说具有不连续性)。举例来说,考虑描述一棵树的高度随时间而变化的函数 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年由魏尔斯特拉斯的一个学生海涅根据魏尔斯特拉斯的讲义写的。

相关

  • 结缔组织结缔组织(英语:connective Tissue)为脊椎动物基本组织之一,由细胞和大量细胞外基质组成。广义上的结缔组织包括固有结缔组织、软骨组织和骨组织、血液以及淋巴。一般所指的结缔
  • 音乐美国音乐反映了该国多元种族混合的文化。该国音乐受到西非、爱尔兰(英语:music of Ireland)、苏格兰(英语:music of Scotland)和欧洲大陆音乐的影响,最出名的音乐类型包括爵士、蓝
  • 宏观经济学宏观经济学(英语:Macroeconomics,来自希腊语前缀makro-意为“大”+经济学),是指用国民收入、经济整体的投资和消费等总体性的统计概念来分析经济运行规律的一个经济学领域。宏观
  • 收入越不平均贫富差距(亦称为贫富不均、经济不平等和国民收入不均等)是指一个群体里面每个人之间的经济资产(财富)及收入的分配不均等。本用词一般是指一个社会里面个人或群体之间的收入差距
  • 脱氧核糖去氧核糖(Deoxyribose)又称脫氧核糖、D-脱氧核糖、2-脱氧核糖或D-2-脱氧核糖,是核糖的2-位羟基被氢取代后形成的脱氧糖衍生物,是一个戊醛糖。它同时也是D-阿拉伯糖的2-脱氧产物
  • Springfield, Illinois斯普林菲尔德(英语:Springfield)是美国伊利诺州的首府,同时也是桑加蒙县首府。它是第16任美国总统林肯政坛上崛起的地方。外地人常误以为伊州首府是芝加哥,事实上芝加哥是伊州最
  • 公元公历纪元或公元(英语:Common Era,缩写为C.E.),也称西元,是一个被当今国际社会最广泛地使用的纪年标准。其源自于欧洲等西方基督教信仰为主国家,以当时认定的耶稣出生为纪年的开始,原
  • 哈萨克斯坦哈萨克斯坦国家图书馆(哈萨克语:Национальная Библиотека Республики Казахстан),是哈萨克斯坦的国家图书馆。这座图书馆于1931年建
  • 副交感神经副交感神经系统(Parasympathetic system)是自律神经系统的两个部分其中之一,另一个部分是交感神经系统。(肠神经系统(ENS)现在通常被称为一个独立的系统,因为它有自己独立的反射活
  • 退伍军人美国退伍军人事务部长是美国退伍军人事务部的主管,它在美国内阁中排名第17位。当美国退伍军人事务部长空缺时,由美国退伍军人事务部副部长接替,直到总统任命新部长为止,现任部长