次课、连续函数的性质

高等数学次课：连续函数的性质函数的连续性理论与核心定理Contents课程目录连续函数的性质——从局部到整体的系统性分析01连续函数的定义与等价刻画02连续函数的局部性质03连续函数的运算性质04初等函数的连续性05闭区间上连续函数的整体性质06一致连续性与反函数连续性CHAPTER01连续函数的定义与等价刻画从极限视角与增量视角建立连续性的严格数学定义DEFINITION连续函数的点连续性定义函数在某点连续的本质是极限值与函数值的一致性，即自变量的微小变化只引起函数值的微小变化。这一定义要求函数在该点有定义、极限存在且二者相等，三个条件缺一不可。01设函数f(x)在x₀的某邻域内有定义，若lim(x→x₀)f(x)=f(x₀)，则称f在x₀处连续，x₀称为连续点。02连续的三个必要条件：①f(x₀)有定义②lim(x→x₀)f(x)存在③极限值等于函数值，三者缺一则间断。03直观含义：自变量变化很小时，因变量的变化也很小，函数图像是一条"不断裂"的曲线，如气温随时间的变化。04若函数在其定义域的每一点都连续，则称该函数为连续函数，这是对整体性质的全局性描述。连续函数的性质·核心定义连续定义的两种等价刻画连续性可以用ε-δ精确语言和增量语言两种方式等价刻画，前者强调控制精度的分析思想，后者更直观地表达微小输入变化导致微小输出变化的连续本质。01ε-δ定义∀ε>0，∃δ>0，当|x−x₀|<δ时有|f(x)−f(x₀)|<ε，此处不要求0<|x−x₀|，即x=x₀时也自然成立。这一刻画体现了分析学中"任意接近"的精确控制思想。|x−x₀|<δ→|f(x)−f(x₀)|<ε02增量定义令Δx=x−x₀，Δy=f(x)−f(x₀)，连续等价于lim(Δx→0)Δy=0，即自变量增量趋于零时函数值增量也趋于零。这种表述更贴近物理中的连续变化直觉。limΔx→0Δy=003与极限定义的关键区别极限定义中x≠x₀，而连续定义允许x=x₀，因此连续必然要求函数在该点有定义。这是连续性强于极限存在的本质特征，体现了函数值与极限值的统一。允许x=x₀04各自证明优势ε-δ语言适合精确估计和严格证明，增量语言适合物理直觉和几何解释。两种语言各有侧重，在分析学和应用数学中相辅相成，共同构成连续性的完整理解。精确估计vs几何直觉§连续性的单侧分解左连续与右连续函数在某点连续的充要条件是左右连续同时成立。这一结论将双侧连续分解为两个单侧条件，为讨论闭区间端点连续性和间断点分类提供了分析工具。01左连续—若lim(x→x₀⁻)f(x)=f(x₀)，则称f在x₀左连续，即从左侧逼近时函数值趋于该点函数值02右连续—若lim(x→x₀⁺)f(x)=f(x₀)，则称f在x₀右连续，即从右侧逼近时函数值趋于该点函数值03核心定理—f在x₀连续的充要条件是f在x₀既左连续又右连续，直接来自极限存在的充要条件04闭区间[a,b]—要求f在(a,b)内每点连续，在左端点a右连续，在右端点b左连续左连续x→x₀⁻x₀−δf(x₀)右连续x→x₀⁺f(x₀)x₀+δ连续⟺左连续∧右连续定理应用·闭区间连续函数f在闭区间[a,b]上连续，当且仅当：f在开区间(a,b)内每一点连续；在左端点a处右连续，即lim(x→a⁺)f(x)=f(a)；在右端点b处左连续，即lim(x→b⁻)f(x)=f(b)。a点仅需右连续b点仅需左连续连续函数的性质区间上的连续性区间连续性是点连续性在区间范围的推广，开区间和闭区间有不同的要求标准。理解区间连续性是应用闭区间上连续函数定理的必要前提。01开区间(a,b)连续f在(a,b)内每一点都连续，不要求端点处有任何性质，如f(x)=1/x在(0,1)内连续。开区间02闭区间[a,b]连续f在(a,b)内每点连续，且在a处右连续、在b处左连续，端点条件不可省略。闭区间03半开半闭区间[a,b)或(a,b]的连续性可类推定义，分别在一端要求单侧连续。半开半闭04全局连续函数在整个定义域内每一点都连续的函数，如多项式、正弦函数、指数函数等初等函数。全局连续连续函数的性质间断点的定义与基本类型间断点是函数不连续的点，按不连续的原因可分为三类：无定义、极限不存在（振荡）、极限存在但不等于函数值。01间断点定义若f(x)在x₀处不连续，即不满足连续的三个条件中任何一个，则称x₀为f的间断点。f(x₀)不连续02无定义f在x₀处没有定义，如y=tanx在x=kπ+π/2处无定义且趋于无穷大。x=kπ+π/203极限不存在f在x₀附近有定义但极限不存在，如y=sin(1/x)在x=0附近无限振荡，无极限。sin(1/x)振荡04极限≠函数值极限存在且函数有定义，但limf(x)≠f(x₀)，常见于分段函数的人为断点。lim≠f(x₀)CHAPTER02连续函数的局部性质从连续性出发推导局部有界性与局部保号性连续函数的性质局部有界性定理函数在某点连续则在该点的某邻域内有界，这是连续性最直接的推论之一。但需注意"局部"二字——有界性仅在邻域内成立，不保证全局有界。01定理陈述若f(x)在x₀处连续，则存在x₀的某邻域U(x₀)，使得f在U(x₀)内有界02证明核心取ε=1，由连续性存在δ>0，当|x−x₀|<δ时|f(x)−f(x₀)|<1，故|f(x)|≤|f(x₀)|+103局部性警示局部有界≠全局有界，如f(x)=1/x在x=1处局部有界，但在(0,+∞)上整体无界04与极限有界性的关系极限存在也能推出局部有界，连续是更强的条件——极限存在且等于函数值连续函数的性质局部保号性定理连续函数在函数值为正（或负）的点附近，函数值在足够小的邻域内保持同号。保号性是证明零点存在性、不等式以及极值问题的重要工具。01定理陈述若f在x₀连续且f(x₀)>0（或<0），则存在x₀的邻域U(x₀)，使得∀x∈U(x₀)有f(x)>0（或<0）02证明方法取ε=f(x₀)/2>0，由连续性存在δ>0，当|x−x₀|<δ时|f(x)−f(x₀)|<f(x₀)/2，从而f(x)>f(x₀)/2>003推论（保序性）若f在x₀连续且f(x₀)>g(x₀)，g也在x₀连续，则在x₀某邻域内f(x)>g(x)04应用实例证明方程根的存在性、判断函数在极值点附近的符号变化、构造不等式证明中的关键步骤CHAPTER03连续函数的运算性质四则运算与复合运算下连续性的保持与传递连续函数的性质四则运算保持连续性连续函数经过加、减、乘运算后仍连续，除法运算在分母不为零时也保持连续性。该定理源自极限的四则运算法则，使我们能快速判断由基本连续函数通过四则运算构造的复杂函数的连续性。加减法若f、g在x₀连续，则f±g在x₀连续。证明直接由极限加减法则得出：lim(f±g)=limf±limg=f(x₀)±g(x₀)f±g乘法若f、g在x₀连续，则f·g在x₀连续。由极限乘法法则直接得出：lim(f·g)=limf·limg=f(x₀)·g(x₀)f·g除法若f、g在x₀连续且g(x₀)≠0，则f/g在x₀连续。分母非零是除法保持连续性的必要前提。g(x₀)≠0推广有限个连续函数经有限次四则运算（除法分母非零处）的结果仍为连续函数，如多项式函数处处连续。处处连续连续函数的性质复合函数的连续性连续函数的复合仍然连续——只要内外层函数在相应点连续，复合函数就在该点连续。01定理陈述：若u=g(x)在x₀连续，y=f(u)在u₀=g(x₀)连续，则复合函数y=f(g(x))在x₀连续02证明思路（ε-δ串接）：对∀ε>0，由f在u₀连续得∃η>0；再由g在x₀连续得∃δ>0，使|x−x₀|<δ时|g(x)−u₀|<η03极限与复合的关系：在满足条件时，极限号可以穿过连续函数，即limf(g(x))=f(limg(x))=f(g(x₀))04典型应用：判断sin(x²)、ecosx、ln(1+x²)等复合函数的连续性，只需验证内外层各自连续即可Chapter04初等函数的连续性从基本初等函数到一般初等函数的连续性论证连续函数的性质基本初等函数的连续性六大类基本初等函数（常数、幂、指数、对数、三角、反三角）在其定义域内均为连续函数。这一结论是论证所有初等函数连续性的基石。常数与幂函数常数函数f(x)=C在整个实数轴上连续，幂函数xα在其定义域内连续（如x²处处连续，√x在[0,+∞)连续）f(x)=C·xα指数与对数函数指数函数ax和对数函数logax分别在(−∞,+∞)和(0,+∞)上连续，自然指数ex和自然对数lnx是特例ax·logax三角函数sinx、cosx在R上连续，tanx、cotx在其定义域（去掉奇点）内连续sinx·cosx反三角函数arcsinx、arccosx在[−1,1]上连续，arctanx在R上连续，连续性可由反函数定理推导arcsin·arctan连续函数的性质初等函数在其定义区间内连续一切初等函数在其定义区间内都是连续的——这是四则运算定理和复合运算定理的直接推论。该结论使得我们判断初等函数的连续性时，只需确认该点在定义域内即可，无需每次都回到ε-δ定义验证。01定理内容一切初等函数在其定义区间内连续，"定义区间"是指包含在定义域内的区间（非孤立点集）。02论证逻辑基本初等函数连续→四则运算保持连续→复合运算保持连续→有限次组合后的初等函数连续。03实用价值判断初等函数在某点是否连续时，只需检验该点是否属于定义域，属于则连续，不必逐点验证。04注意例外分段定义的函数不一定是初等函数，如符号函数sgn(x)在x=0处不连续，需单独讨论。CONTINUITY·LIMIT利用连续性求极限的典型方法初等函数在定义域内的点处，极限值等于函数值，因此可以直接代入求极限。这是初等函数连续性最直接的实用价值，能极大地简化极限计算过程，是高等数学中最常用的计算技巧之一。01核心方法若f是初等函数且x₀在其定义域内，则lim(x→x₀)f(x)=f(x₀)，直接代入计算即可。02例1：多项式函数lim(x→2)(x³−3x+1)=2³−3·2+1=3多项式函数在定义域内处处连续，直接代入03例2：三角函数复合lim(x→π/6)cos(2x)=cos(π/3)=1/2三角函数复合后仍为初等函数，在定义域内连续可代入04复合函数极限limf(g(x))=f(limg(x))当f连续且limg(x)存在时，极限号可移入f内部CHAPTER05闭区间上连续函数的整体性质最值定理、有界性定理、介值定理与零点存在定理CONTINUITY·THEOREM有界性定理与最值定理闭区间上的连续函数必有界且必能取到最大值和最小值——这两个定理是闭区间连续性最核心的整体性质。'闭区间'条件不可或缺，开区间上连续函数未必有界、未必取到最值。有界性定理：若f在[a,b]上连续，则f在[a,b]上有界，即存在M>0使得|f(x)|≤M对所有x∈[a,b]成立最值定理：若f在[a,b]上连续，则存在x₁,x₂∈[a,b]使得f(x₁)=minf(x)、f(x₂)=maxf(x)，即最值一定能够被取到闭区间条件的必要性：f(x)=x在(0,1)上连续但取不到端点值；f(x)=1/x在(0,1]上连续但无界证明基础：有界性可由最值定理直接推出（取到最值自然有界），最值定理的严格证明依赖于实数的完备性公理连续函数的性质介值定理闭区间上的连续函数能取到两个端点函数值之间的一切中间值——这就是介值定理的核心内容。它反映了连续函数"不断裂"的本质特征，是证明方程根存在性和函数值域问题的重要工具。定理介值定理若f在[a,b]上连续且f(a)≠f(b)，则对f(a)与f(b)之间的任意值C，∃ξ∈(a,b)使f(ξ)=C几何几何直观连续曲线从(a,f(a))到(b,f(b))不断裂，必然穿过任意水平线y=C（C在两端点值之间）推论重要推论闭区间上连续函数的值域为闭区间[m,M]，其中m=minf(x)、M=maxf(x)，即值域也是连续的一段关联与最值定理的联系介值定理的证明通常借助最值定理和辅助函数构造，二者在逻辑上紧密关联CONTINUITY·THEOREM零点存在定理零点定理是介值定理在C=0时的特殊情况：若闭区间上连续函数在两端异号，则区间内必有零点。该定理是证明方程根存在性的最常用工具，也是二分法求根的数学理论基础。01定理表述若f在[a,b]上连续且f(a)·f(b)<0，则∃ξ∈(a,b)使得f(ξ)=0，即ξ是方程f(x)=0的一个根。f(a)·f(b)<002证明方法零点定理是介值定理的直接推论——f(a)与f(b)异号意味着0在二者之间，由介值定理即得结论。介值定理推论03应用示例证明x³−x−1=0在[1,2]内有根——f(1)=−1<0、f(2)=5>0，端点异号，故必有ξ∈(1,2)使f(ξ)=0。x³−x−1=004二分法基础反复将区间二等分并检查端点符号，逐步缩小根的范围，零点定理保证了该算法的数学正确性。BisectionMethod应用与证明零点定理与介值定理的应用例题通过构造辅助函数并验证端点异号，零点定理可以证明各类方程根的存在性。辅助函数的构造技巧和端点值的计算是解题的关键。例题01证明x=cosx在(0,π/2)有解令g(x)=x−cosx，g(0)=−1<0，g(π/2)=π/2>0，零点定理即证例题02连续周期位移的等值点证明f在[0,1]连续且f(0)=f(1)，令G(x)=f(x)−f(x+½)，则G(0)+G(½)=0核心技巧构造辅助函数的方法将目标等式变形为h(x)=0的形式，验证h在某闭区间端点异号，即可应用零点定理推广思路零点问题的统一转化框架证明存在ξ使f(ξ)=C，可构造h(x)=f(x)−C，转化为零点存在性问题CHAPTER06一致连续性与反函数连续性从逐点连续到整体一致连续的概念进阶与反函数连续性定理Definition·连续性理论一致连续性的定义一致连续性要求δ只依赖于ε而不依赖于具体的点，是比普通连续性更强的整体性条件。普通连续是"逐点"性质，每点有自己的δ；一致连续是"全局"性质，一个δ管整个区间。01定义f在区间I上一致连续，指∀ε>0，∃δ>0（仅依赖ε），对∀x₁,x₂∈I，当|x₁−x₂|<δ时|f(x₁)−f(x₂)|<ε02与普通连续的区别普通连续中δ=δ(ε,x₀)随点变化；一致连续中δ=δ(ε)对全区间统一适用03关系一致连续→连续（反之不然），如f(x)=1/x在(0,1)连续但不一致连续，因为靠近0时δ必须趋于004几何含义一致连续函数的图像可以用统一宽度的"管子"套住，管子的宽度不随位置变化连续函数的性质康托尔定理（Cantor定理）闭区间上的连续函数必然一致连续——康托尔定理在"连续"与"一致连续"之间建立了桥梁。该定理说明在闭区间条件下两个概念等价，但开区间上连续未必一致连续。01Cantor定理若函数f在闭区间[a,b]上连续，则f在[a,b]上必一致连续。闭区间的紧致性将函数的局部连续性提升为整体的一致连续性，这是实分析中的核心结论。02证明思路采用反证法结合聚点定理：假设f不一致连续，则可构造两数列{xₙ},{yₙ}满足|xₙ−yₙ|→0但|f(xₙ)−f(yₙ)|≥ε₀，利用闭区间紧致性导出矛盾，从而证明定理成立。03典型反例函数f(x)=1/x在开区间(0,1)上连续但不一致连续，当x→0⁺时函数值趋于无穷；同样f(x)=sin(1/x)在(0,1)上也不一致连续，振荡频率随x→0而无限增大。04充分条件拓展若f在开区间(a,b)上连续，且两端点极限limₓ→ₐ⁺f(x)与limₓ→b⁻f(x)均存在（即f可连续延拓至闭区间[a,b]），则f在(a,b)上必一致连续。连续函数的性质·定理反函数的连续性严格单调的连续函数，其反函数也是严格单调且连续的。该定理为反三角函数等反函数的连续性提供了理论依据。01📋定理陈述若函数f在区间I上严格单调且连续，则其反函数f⁻¹在对应值域f(I)上也严格单调且连续。这是反函数存在性与连续性的核心判定条件。02🔍直观解释连续严格单调函数的图像是一条不断裂的曲线，关于直线y=x作对称变换后，得到的反函数图像同样是一条不断裂的曲线，保持连续性不变。03📐反三角函数连续性sinx在[−π/2,π/2]上严格递增且连续，故其反函数arcsinx在[−1,1]上也严格递增且连续。同理可证arccosx、arctanx的连续性。04⚖️指数与对数的对称性指数函数aˣ（a>0,a≠1）在R上严格单调且连续，故其对数函数logₐx在(0,+∞)上也严格单调且连续。连续函数的性质普通连续与一致连续的系统对比普通连续是逐点的局部性质，一致连续是整体的全局性质。二者在闭区间上等价（康托尔定理），但在开区间或无界区间上有本质差异。普通连续vs一致连续比较维度普通连续一致连续性质类型逐点性质（局部）整体性质（全局）δ的依赖δ=δ(ε,x₀)，依赖于点和精度δ=δ(ε)，仅依赖于精度逻辑关系一致连续⇒连续连续