连续性

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

相关

  • 水疱病毒属水稻病毒属(Oryzavirus),又称作水稻皱缩矮化病毒,是呼肠孤病毒科(Reoviridae)中的一属,其代表种为:*水稻破(烂;褴)褛矮小(化)病毒(Rice ragged stunt virus),为一类植物病毒。
  • 大西洋鲑鱼大西洋鲑(学名:Salmo salar)又名安大略鲑,是主要分布在北大西洋海域及周边河流的一种鲑鱼。成鱼尺寸平均约90CM,大型个体可至110~150CM,重达40公斤以上。大西洋鲑的学名是由卡尔·
  • 草药药用植物也被称为草药、药草,自史前时代以来一直在传统医学实践中被发现和使用。植物合成了数百种化合物,其功能包括植物抵抗昆虫,真菌,植物病害和食草哺乳动物。许多植物化学物
  • Pb铅(原子量:207.2(1))的同位素,其中有2个是稳定的,以及2个天然放射性同位素204Pb、208Pb,但半衰期都只有下界,因此通常和另外2个一起归类为稳定同位素,208Pb在所有的稳定同位素中,质量
  • 科布县科布县(英语:Cobb County)是位于美国佐治亞州的一个县,成立于1832年12月3日。根据2000年人口普查,科布县的人口有607,751人,且不断增长。2006年,美国人口调查局估计人口为679,325人
  • 发光杆菌属P. leiognathiP. phosphoreumP. profundum发光杆菌属(Photobacterium)又叫光合细菌。染色性质上属于革兰氏阴性菌。普遍的存在于海洋环境中和海洋生物体的体表和少许海洋生物
  • 神农氏神农氏(?-?),又称烈山氏,或称连山氏,相传生存年代在夏朝以前,现存文字记载多出现在战国以后。相传“神农尝百草”、教人医疗与农耕,中国人视之为传说中的农业和医药的发明者、守护神,尊
  • 穆罕默德·阿里治下穆罕默德·阿里王朝(阿拉伯语:أسرة محمد علي Usrat Muhammad 'Ali)是十九世纪至二十世纪埃及和苏丹的统治王朝,以其创立者穆罕默德·阿里为名,穆罕默德·阿里被视为现
  • 刮胡刀刮胡刀,亦称为剃须刀,是用来刮胡须的刀,最早在1800年出现,但是由于使用上容易伤人,需要抹上刮胡泡软化胡渣以便刮除。金·坎普·吉列改良刮胡刀,使刮胡刀在使用上更安全,并于1903年
  • 清水祖师法融牛头宗|弘忍东山宗 – 神秀北宗禅|惠能南宗禅 – 北荷泽宗|南洪州宗|南石头宗|保唐宗惠能系曹溪南宗 –清水祖师,法号普足,俗名陈昭应(一说为陈荣祖、陈昭或陈应,1044年-1110年),