ch27,8函数的连续性

函数的连续性第2章§7-8·连续概念、间断点分类与闭区间连续函数性质Contents目录函数连续性理论的核心框架与分析方法01函数连续性的基本概念02间断点的概念与分类03连续函数的运算性质04闭区间上连续函数的性质05典型例题与方法总结CHAPTER01函数连续性的基本概念从增量定义到ε-δ语言，建立连续的严格数学表述Continuity·Definition函数在一点连续的定义函数在某点连续的本质是"自变量的微小变动只引起函数值的微小变动"。严格定义有增量形式和极限形式两种等价表述，后者可拆解为三个独立条件，为判断连续性提供了可操作的框架。01增量定义设f(x)在x₀附近有定义，若lim(Δx→0)Δy=lim(Δx→0)[f(x₀+Δx)−f(x₀)]=0，则称f(x)在x₀连续。02等价三条件①f(x)在x₀处有定义；②lim(x→x₀)f(x)存在；③lim(x→x₀)f(x)=f(x₀)。三个条件必须同时满足。03左连续与右连续若左极限f(x₀⁻)=f(x₀)称左连续，右极限f(x₀⁺)=f(x₀)称右连续；f(x)在x₀连续等价于左右都连续。MATHEMATICALANALYSIS连续性的ε-δ精确定义ε-δ定义是连续性的严格数学表述，它将"微小变动引起微小变化"的直观描述转化为可量化的逻辑命题。理解这一定义是掌握分析学论证方法的关键起点。01DEFINITION对∀ε>0，∃δ>0，当|x−x₀|<δ时恒有|f(x)−f(x₀)|<ε，则称f(x)在x₀连续。这是连续性最严格的数学表述，将直观概念转化为精确的逻辑命题。02GEOMETRY在y=f(x₀)上下画宽2ε的水平带，总能在x₀两侧找到宽2δ的竖直带，使函数曲线完全落入矩形区域内。这一几何直观是理解ε-δ定义的重要辅助。03DEPENDENCEδ通常与ε和x₀都有关，不同点处使函数保持连续所需的δ可能不同。当δ可以只依赖于ε而与x₀无关时，便引出了"一致连续"这一更强的连续性概念。04VSLIMIT极限中要求0<|x−x₀|<δ（去心邻域），连续性中允许|x−x₀|<δ（含x₀本身），且极限值必须等于f(x₀)。连续性是比极限存在更强的条件，要求函数在该点有定义且取值匹配。Calculus·Continuity区间上的连续性区间连续性是点连续的自然推广。开区间内逐点连续即可，闭区间需额外关注端点的单侧连续性。01开区间连续若f(x)在(a,b)内每一点都连续，则称f(x)在(a,b)内连续，图像上表现为一条不间断的曲线。(a,b)02闭区间连续f(x)在(a,b)内连续，且在左端点a处右连续、右端点b处左连续，则称f(x)在[a,b]上连续。[a,b]03连续曲线参数方程x(t)、y(t)均为连续函数时，对应曲线称为连续曲线，可推广到空间曲线和n维情形。n维推广04初等函数连续性基本初等函数在定义域上连续，初等函数在其定义区间内也连续，这是求极限时直接代入的理论依据。直接代入MathematicalAnalysis一致连续性一致连续性要求存在对整个区间统一适用的δ，是比普通连续更强的条件。康托尔定理保证了闭区间上连续函数的一致连续性，但开区间上连续不一定一致连续。点连续vs一致连续点连续δ依赖于ε和x₀，不同点可能需要不同的δ，反映函数在局部位置的连续性态康托尔定理闭区间定理闭区间[a,b]上的连续函数一定在该区间上一致连续，是闭区间紧致性的深刻体现点连续vs一致连续一致连续定义对∀ε>0，∃δ>0对区间内任意两点x,x'只要|x-x'|<δ就有|f(x)-f(x')|<ε，δ仅依赖于ε康托尔定理多元推广多元函数在有界闭区域上连续，则在该区域上一致连续，区间换成有界闭区域结论依然成立反例：f(x)=1/x在(0,1)连续但不一致连续——一致连续蕴含连续，反之不成立应用：一致连续性保证函数整体行为的"均匀可控"，在数值计算和逼近理论中有重要应用Chapter02间断点的概念与分类从极限存在性出发建立间断点的完整分类体系CONTINUITY间断点的定义间断点是函数不连续的点，其产生原因可归结为三种：函数无定义、极限不存在、或极限值不等于函数值。理解这三种原因是进行间断点分类的前提。间断点定义若f(x)在x₀处不连续，则称x₀为f(x)的间断点，此时连续性三条件中至少有一个不满足。f(x₀)情形一：无定义f(x)在x₀处无定义，如f(x)=sin(x)/x在x=0处，函数无定义但极限存在。sin(x)/x情形二：极限不存在f(x)在x₀处有定义，但lim(x→x₀)f(x)不存在，如f(x)=sin(1/x)在x=0处振荡。sin(1/x)情形三：值不匹配f(x)在x₀处有定义且极限存在，但lim(x→x₀)f(x)≠f(x₀)，图像上出现"脱节"或"错位"。脱节数学分析·连续性第一类间断点第一类间断点的核心特征是左右极限均存在。其中可去间断点可通过补充或修改定义恢复连续性，跳跃间断点则反映了函数值在该点的突变，跃度为左右极限之差。TYPEⅠ可去间断点左右极限相等但f(x₀)≠A或无定义，可重新定义恢复连续TYPEⅡ跳跃间断点左右极限均存在但不相等，图像出现"台阶"式突变01特征：左右极限存在且相等lim(x→x₀⁻)f(x)=lim(x→x₀⁺)f(x)=A，但f(x₀)≠A或无定义02"可去"含义：只需重新定义f(x₀)=A即可使函数在该点连续，不连续性可消除03典型例子：f(x)=(x²−1)/(x−1)在x=1无定义，lim=2，令f(1)=2即可修补04特征：左右极限都存在但不相等，图像上出现"台阶"式跳跃05跃度：B−A为跳跃间断点的跃度，B=lim(x→x₀⁺)f(x)，A=lim(x→x₀⁻)f(x)06典型例子：符号函数sgn(x)在x=0处，左极限−1、右极限+1，跃度为2MathematicalAnalysis·间断点分类第二类间断点第二类间断点的特征是至少一侧极限不存在，反映了函数在该点附近更剧烈的不规则行为。常见子类包括无穷间断点和振荡间断点，它们的函数图像分别表现为趋向无穷和无限振荡。无穷间断点特征函数在x₀附近趋于无穷大，至少一侧极限为∞，如lim(x→x₀)f(x)=∞。这种间断点意味着函数值在该点附近无界增长，无法通过任何有限数值来描述其行为。例子f(x)=1/x²在x=0处，lim(x→0)1/x²=+∞，函数值无界增长。无论从左侧还是右侧趋近于0，函数值都趋向正无穷，不存在有限的极限值。图像曲线在间断点附近趋向纵轴方向的无穷远，形成垂直渐近线。图像表现为在x=x₀处断开，两侧曲线分别向上或向下无限延伸，无法在该点连接。振荡间断点特征函数在x₀附近无限振荡、不趋于任何定值，极限既不是有限数也不是无穷大。这种间断点的本质在于函数值在任意小的邻域内无限次地取到不同的数值，无法稳定下来。例子f(x)=sin(1/x)在x=0处，当x→0时函数在[-1,1]之间无限次振荡。随着x越来越接近0，1/x的变化越来越快，导致正弦函数在有限区间内无限次振动。图像曲线在间断点附近越来越密集地上下波动，无法确定趋近方向。图像表现为在x=x₀附近形成无限密集的波浪线，振幅保持不变而频率趋于无穷，呈现出独特的"震颤"形态。MathematicalAnalysis·极限与连续间断点分类总结间断点分类以左右极限的存在性为判据：左右极限均存在为第一类（可去/跳跃），至少一个不存在为第二类（无穷/振荡）。判断方法为先分别计算左右极限，再对照分类标准。间断点分类体系大类子类判定条件典型例子第一类可去间断点左右极限存在且相等，但不等于f(x₀)f(x)=(x²−1)/(x−1)在x=1第一类跳跃间断点左右极限都存在但不相等f(x)=sgn(x)在x=0第二类无穷间断点至少一侧极限为无穷大f(x)=1/x²在x=0第二类振荡间断点极限不存在且不趋于无穷f(x)=sin(1/x)在x=0间断点以左右极限存在性为一级分类标准，第一类间断点行为温和，第二类间断点行为剧烈Chapter03连续函数的运算性质四则运算、复合运算与反函数运算下的连续性保持CONTINUITY·ARITHMETICOPERATIONS四则运算与连续性连续函数经四则运算后仍保持连续性（除法要求分母非零）。这一封闭性质使得初等函数的连续性判断可以简化为定义域的确定，大幅降低了分析复杂度。01加减运算若f(x)、g(x)在x₀连续，则f(x)±g(x)也在x₀连续，连续性对加减法封闭02乘法运算若f(x)、g(x)在x₀连续，则f(x)·g(x)也在x₀连续，常数倍c·f(x)也连续03除法运算若f(x)、g(x)在x₀连续且g(x₀)≠0，则f(x)/g(x)在x₀连续，分母非零是唯一前提04推论应用多项式在全体实数上连续，有理函数在分母非零处连续，三角函数在定义域内连续Theorem复合函数的连续性复合函数的连续性要求内层函数在x₀连续、外层函数在对应点连续。更一般地，即使内层仅有极限，只要外层在极限值处连续，即可将极限运算与函数运算交换次序。01连续性传递：若u=g(x)在x₀连续，y=f(u)在u₀=g(x₀)连续，则复合函数f(g(x))在x₀连续02极限穿透定理：若lim(x→x₀)g(x)=A（A为常数），且f(u)在A处连续，则limf(g(x))=f(A)03应用方法：对于初等函数的复合，只需求出内层极限再代入外层函数，即limf(g(x))=f(limg(x))04反函数连续性：若f(x)在某区间上严格单调且连续，则其反函数f⁻¹(x)在对应区间上也严格单调且连续CONTINUITY初等函数的连续性初等函数在其定义区间上连续，这是四则运算与复合运算封闭性的综合推论。这一结论使得求初等函数的极限可以直接代入函数值，是微积分计算中最常用的简化工具。01基本初等函数幂函数、指数函数、对数函数、三角函数、反三角函数在各自定义域上均连续。这是初等函数连续性的基础，涵盖了数学分析中最常用的函数类型。5FUNCTIONS02初等函数定义由基本初等函数经有限次四则运算和复合运算构成的函数，在其定义区间上连续。运算的封闭性保证了连续性得以传递。FINITEOPERATIONS03直接代入法若f(x)为初等函数且x₀在其定义域内，则lim(x→x₀)f(x)=f(x₀)，无需复杂的极限运算。这是连续性理论在计算中的直接应用。f(x₀)DIRECT04定义域限制ln(x)仅在x>0连续，tan(x)在x≠π/2+kπ处连续，判断连续性首先要确定定义域。定义域是讨论连续性的前提条件。CHECKDOMAINChapter04闭区间上连续函数的性质最值定理、有界性定理、介值定理与零点定理ContinuousFunctionsonClosedIntervals最值定理与有界性定理闭区间上的连续函数一定能取到最大值和最小值（最值定理），从而必然是有界的（有界性定理）。这两个定理的关键前提是"闭区间"和"连续"，缺少任一条件结论都可能不成立。最值定理f(x)在[a,b]上连续，则至少存在ξ₁,ξ₂∈[a,b]，使f(ξ₁)为最小值m、f(ξ₂)为最大值M几何意义：闭区间上连续曲线必有最高点和最低点，函数值域是闭区间[m,M]反例警示：开区间上不一定成立，如f(x)=x在(0,1)上既无最大值也无最小值[m,M]有界性定理f(x)在[a,b]上连续，则存在正数M，对任意x∈[a,b]有|f(x)|≤M与最值定理关系：有界性是最值定理的直接推论，取M=max{|m|,|M|}即可反例警示：开区间上不一定有界，如f(x)=1/x在(0,1)上连续但无界|f(x)|≤MIntermediateValueTheorem介值定理介值定理揭示了闭区间上连续函数的值域具有"完备性"：函数取遍最大值与最小值之间的一切中间值。结合最值定理可知，闭区间上连续函数的值域恰好是[m,M]。定理

THEOREMf(x)在[a,b]上连续，f(a)=A，f(b)=B，则对A与B之间任意实数C，∃ξ∈(a,b)使f(ξ)=C几何意义

GEOMETRY连续曲线y=f(x)与水平直线y=C（C在A、B之间）在开区间(a,b)内至少相交于一点推论

COROLLARY闭区间上连续函数的值域为[m,M]，即取遍最小值m与最大值M之间的一切值条件必要性

NECESSITY开区间或不连续的函数介值定理可能不成立，如符号函数sgn(x)在[-1,1]上跳过0以外的中间值INTERMEDIATEVALUETHEOREM零点定理零点定理是介值定理的特殊形式：若连续函数在区间两端异号，则区间内至少存在一个零点。它是判断方程根的存在性、确定根的区间的核心工具，在数值分析中有广泛应用。FORMULA定理表述f(x)在[a,b]上连续，若f(a)·f(b)<0（两端异号），则∃ξ∈(a,b)使f(ξ)=0。即连续函数在异号端点之间必经过零点。GEOMETRY几何意义连续曲线y=f(x)从x轴一侧穿到另一侧，由于连续性必然穿过x轴至少一次。曲线不可跳跃或断裂，保证了零点的存在性。APPLICATION判断方程根要判断f(x)=0在(a,b)内是否有根，只需验证f(a)与f(b)是否异号。异号即可确认根的存在，无需知道根的精确位置。BISECTIONMETHOD二分法基础零点定理是数值分析中二分法的理论依据，通过不断缩小异号区间逐步逼近方程的根，直至达到所需精度。ANALYSIS四大定理的逻辑关系最值定理、有界性定理、介值定理和零点定理构成了闭区间连续函数的性质体系。最值定理是基础，有界性是直接推论，介值定理拓展了值域的完备性，零点定理是介值定理的实用特例。基础最值定理闭区间上连续函数必取到最大值M和最小值mmax·min推论有界性定理由最值定理直接得出|f(x)|≤max{|m|,|M|}|f(x)|≤M拓展介值定理函数取遍[m,M]中一切值，值域为完整闭区间[m,M]前提一闭区间开区间上结论可能不成立，如f(x)=x在(0,1)无最值[a,b]前提二连续性有间断点时结论可能不成立，如f(x)=1/x在[-1,1]无界f∈C[a,b]应用零点定理判断方程根的存在性和位置，是二分法的理论基础二分法Chapter05典型例题与方法总结连续性讨论、间断点判别、极限计算与零点定理应用Example·Calculus例题：分段函数的连续性讨论分段函数的连续性讨论需要分别处理：非分段点处由初等函数性质直接得出连续；分段点处必须用定义分别求左右极限并验证三条件。这是判断分段函数连续性的标准方法。题目讨论f(x)={x²,0≤x≤1;√x,x>1}的连续性，并求f(π/2)01非分段点x≠1x²在[0,1)上连续（初等函数性质），√x在(1,+∞)上连续（初等函数性质），这两段区间内无需额外验证。02分段点x=1验证左极限limx→1⁻x²=1，右极限limx→1⁺√x=1，f(1)=1。三者相等，故f(x)在x=1处连续。03结论f(x)在[0,+∞)上连续；因π/2≈1.571>1，代入右段函数得f(π/2)=√(π/2)。Continuity·SolvedExample例题：利用连续性求参数含参分段函数的连续性问题是考试高频题型。解题核心是利用连续条件列等式：令左右极限分别等于函数值，通过求解方程组确定参数。题目设分段函数：(1+ax)1/x,x>0e,x=0sin(bx)/x,x<0求a、b的值，使得f(x)在x=0处连续。01右极限：limx→0⁺(1+ax)1/x=ea，属1∞型，利用重要极限lim(1+t)1/t=e求解02左极限：limx→0⁻sin(bx)/x=b·limx→0⁻sin(bx)/(bx)=b·1=b03连续条件：ea=e且b=e，左右极限均等于函数值f(0)=e04结果：解得a=1，b=e，此时f(x)在x=0处连续Calculus·Continuity例题：利用连续性求极限利用连续函数求极限的核心是'极限穿透'：若外层函数在极限值处连续，则limf(g(x))=f(limg(x))。01例1：ln(sinx)极限求lim(x→π/2)ln(sinx)。sinx在π/2处连续，sin(π/2)=1；lnu在u=1处连续，故极限=ln(1)=0。ln(1)=002例2：√(x²+1)极限求lim(x→3)√(x²+1)。x²+1在x=3处连续，值为10；√u在u=10处连续，故极限=√10。√1003方法总结对于初等函数复合的极限，若代入后各层函数在对应点有定义且连续，可直接代入求值。DirectSubstitution04注意事项代入前需验证每层函数的连续性，若出现0/0或∞/∞等未定式，需先化简再代入。VerifyContinuity例题解析零点定理证明方程根的存在性零点定理是证明方程根存在性的标准工具。构造辅助函数、验证连续性、计算端点函数值并判断异号，三步完成存在性证明。该方法不需求出根的具体值，仅证明其存在。01题目：证明方程x³−4x²+1=0在区间(0,1)内至少有一个实根02构造辅助函数：令f(x)=x³−4x²+1，f(x)为多项式函数，在[0,1]上连续（满足零点定理前提条件）03计算端点值：f(0)=1>0，f(1)=1−4+1=−2<0，f(0)·f(1)=−2<0，两端函数值异号04结论：由零点定理，∃ξ∈(0,1)使f(ξ)=0，即方程x³−4x²+1=0在(0,1)内至少有一个实根CALCULUS·EXAMPLE例题：间断点类型的判别判别间断点类型的标准流程：先找出所有可能的间断点（无定义点和分段点），再分别计算左右极限，最后对照分类标准确定类型。注意区分可去间断点和跳跃间断点的差异。PROBLEM讨论函数f(x)=x/sin(x)的间断点及其类型。FINDDISCONTINUITIESsin(x)=0的点x=kπ（k∈Z），这些点处f(x)无定义，均为间断点。CASE1·x=0lim(x→0)x/sin(x)=1（重要极限），极限存在但f(0)无定义，故x=0为可去间断点。=1极限存在CASE2·x=kπ（k≠0）分子kπ≠0但分母sin(kπ)=0，lim=∞，故这些点为第二类无穷间断点。→∞极限不存在Summary核心方法总结函数连续性的讨论方法可归纳为五大核心技能：连续性验证三路径、连续区间求解法、间断点分类法、连续性求极限法和零点定理应用法。判断连续性的三条路径定义法：直接验证lim(Δx→0)Δy=0，适用于简单函数的理论证明三条件法：验证有定义、极限存在、极限等于函数值，适用于具体点的连续性判断性质法：利用初等函数在定义域内连续、四则运算和复合保持连续性，适用于复合函数解题技巧与注意事项求连续区间：初等函数求定义域即可；分段函数须额外讨论分段点处的左右极限间断点分类：先找可能的间断点（无定义点、分段点），再算左右极限，最后对照分类表极限穿透法：limf(g(x))=f(limg(x))，前提是外层函数f在极限值处连续OVERVIEW本章知识框架函数连续性以极限为基础，向正向延伸出运算性质与闭区间四大定理，向反向延伸出间断点分类体系。连续性与极限互为工具，构成了微积分分析的核心方法论。01基础概念点连续（增量定义/ε-δ定义/三条件）→区间连续→一致连续，层层递进建立完整概念体系02正向延伸连续函数的四则运算封闭性、复合函数连续性、初等函数连续性→闭区间四大定理03反向延伸不连续即间断点→第一类（可去/跳跃）和第二类（无穷/振荡），以极限存在性为分类依据04应用工具连续性求极限（极限穿透法）、零点定理判断方程根的存在性、介值定理确定函数值域LOCALPROPERTIES连续函数的局部性质连续函数在某点附近具有良好的局部行为：局部有界性保证函数值不会突然发散，保号性保证函数值在连续点附近不会改变符号。这些性质是构建分析学证明的基本工具。局部有界性若函数f(x)在点x₀处连续