ch13,4函数极限定义与性质

函数极限定义与性质(2)第一章函数与极限·第三、四节Contents课程目录函数极限定义与性质（二）——从收敛数列到函数极限的系统性过渡。01收敛数列性质回顾02函数极限的定义03函数极限的性质04数列极限与函数极限的关系CHAPTER01收敛数列性质回顾唯一性、有界性、保号性与子列收敛PropertiesofConvergentSequences收敛数列的四大性质收敛数列具有唯一性、有界性、保号性和子列收敛性四个基本性质，这些性质构成了极限理论的核心框架，也是理解函数极限性质的重要基础。Uniqueness唯一性收敛数列的极限唯一，不可能同时趋近于两个不同的值。limaₙ=a（唯一）Boundedness有界性收敛数列必有界，即存在正数M使得所有项的绝对值不超过M。|aₙ|≤MSignPreservation保号性若极限a>0，则存在正整数N，当n>N时数列各项均为正。a>0→aₙ>0Subsequence子列收敛收敛数列的任一子列也收敛，且极限与原数列相同。aₙₖ→aCONVERGENCETHEOREMS唯一性与有界性的严格表述唯一性保证极限值的确定性，有界性揭示收敛数列的幅度约束，两者共同构成极限存在的基本特征。唯一性定理若数列{xn}收敛，则其极限唯一。不可能存在limxn=a有界性定理若数列{xn}收敛，则存在正数M，使得对所有n都有|xn|≤M，即数列各项被限制在有限区间内。|xn|≤M必要非充分条件有界数列不一定收敛。如(−1)n有界但发散，有界性仅是收敛的必要非充分条件。(−1)nChapter1·Limits保号性与子列性质详解保号性建立了极限符号与数列项符号之间的联系，子列性质则为判断数列敛散性提供了强有力的工具。保号性若limxn=a且a>0（或a<0），则存在正整数N，当n>N时都有xn>0（或xn<0）a>0⟹xn>0保号性推论若从某项起xn≥0（或xn≤0），且limxn=a，则a≥0（或a≤0）xn≥0⟹a≥0子列定义从数列{xn}中任意抽取无限多项并保持原次序得到的新数列称为子列保持原次序子列收敛定理若{xn}收敛于a，则其任一子列也收敛于a；反之，若存在两个子列收敛于不同极限，则原数列发散充要条件CHAPTER02函数极限的定义自变量趋于有限值与无穷大时的极限Definition·LimitTheory自变量趋于有限值时的极限定义ε-δ语言精确定义了函数极限：对任意误差容限ε，都能找到邻域半径δ，使得函数值落在极限值的ε邻域内。这是微积分严格化的基石。01严格定义：设f(x)在x₀的某去心邻域内有定义，若存在常数A，对任意ε>0，总存在δ>0，当0<|x−x₀|<δ时，|f(x)−A|<ε，则称A为f(x)当x→x₀时的极限。ε-δ定义02标准记法：lim(x→x₀)f(x)=A，或写作f(x)→A（当x→x₀时）。两种记法等价，前者强调极限过程，后者强调函数值的趋向。limf(x)=A03去心邻域：定义中0<|x−x₀|表示x≠x₀，因此极限值与f(x)在x₀处是否有定义无关，函数在该点可以无定义或取任意值。x≠x₀04ε与δ的关系：ε可任意小，体现精度要求的任意性；δ通常随ε变化，记为δ(ε)，表示满足精度所需的邻域范围。δ(ε)GeometricInterpretationε-δ定义的几何解释几何上看，极限定义意味着：无论横条区域多窄，总能在x₀附近找到δ邻域，使函数图像在该邻域内完全落入横条区域。横条区域：给定ε>0，作y=A-ε和y=A+ε两条水平线，形成宽度为2ε的横条区域δ邻域：存在x₀的δ邻域(x₀-δ,x₀+δ)，使得函数图像在此邻域内的点都落在横条区域内动态过程：ε越小，横条越窄，要求函数值越接近A，相应的δ通常也越小去心邻域的意义：只考虑x≠x₀的情况，因此x₀处的函数值（无论是否存在）不影响极限函数极限ε-δ定义的几何示意图：横条区域与δ邻域One-SidedLimits单侧极限：左极限与右极限单侧极限描述函数从单侧趋近时的行为，双侧极限存在的充要条件是左右极限都存在且相等，这为分析分段函数提供了理论依据。左极限x从左侧趋近x₀（记作x→x₀⁻），定义中将0<|x−x₀|<δ改为0<x₀−x<δ右极限x从右侧趋近x₀（记作x→x₀⁺），定义中将0<|x−x₀|<δ改为0<x−x₀<δ双侧与单侧的关系lim(x→x₀)f(x)=A的充要条件是左极限和右极限都存在且等于A分段函数应用分段函数在分段点处的极限需要分别计算左右极限来判断LimitTheory自变量趋于无穷大时的极限定义x→∞时的极限用X-ε语言描述：对任意ε>0，存在X>0，当|x|>X时函数值与极限值的偏差小于ε，反映了函数在无穷远处的渐近行为。ε-X定义若存在常数A，对任意ε>0，总存在正数X，当|x|>X时，|f(x)-A|<ε，则称A为f(x)当x→∞时的极限|f(x)−A|<ε三种趋向情形x→+∞（x趋于正无穷）、x→-∞（x趋于负无穷）、x→∞（|x|趋于无穷），三者分别描述不同方向的渐近行为+∞−∞∞几何意义存在正数X，使得当x在(-∞,-X)∪(X,+∞)内时，函数图像落入y=A±ε的横条区域y=A±ε水平渐近线若lim(x→∞)f(x)=A，则直线y=A是函数图像的水平渐近线，反映函数在无穷远处的稳定趋势y=Aε-δProof极限定义的证明示例通过具体证明示例掌握ε-δ语言的应用：从|f(x)−A|<ε出发，反解出关于|x−x₀|的不等式，从而确定δ的取值。例1：证明limx→2(3x−1)=5分析|(3x−1)−5|=|3x−6|=3|x−2|要使3|x−2|<ε，只需|x−2|<ε/3证明对任意ε>0，取δ=ε/3当0<|x−2|<δ时，|f(x)−5|=3|x−2|<3δ=ε，证毕δ=ε/3例2：证明limx→0(x²)=0分析|x²−0|=x²=|x|²要使|x|²<ε，只需|x|<√ε证明对任意ε>0，取δ=√ε当0<|x|<δ时，|x²|=|x|²<δ²=ε，证毕δ=√εCHAPTER03函数极限的性质唯一性、局部有界性与局部保号性性质一函数极限的唯一性函数极限的唯一性保证：若极限存在，则极限值唯一确定，不可能同时趋近于两个不同的值。这是极限理论的基础性质。01定理表述：如果lim(x→x₀)f(x)存在，那么这个极限是唯一的。换言之，函数在某点的极限值不可能有两个不同的结果。02证明思路（反证法）：假设有两个不同极限A和B，取ε=|A−B|/2>0，由极限定义可推出矛盾。这是唯一性证明的标准方法。03与数列极限的对应：函数极限的唯一性与数列极限的唯一性完全类似，证明方法也相同。两者都依赖于实数的完备性。04意义：唯一性保证了极限值的确定性，使得极限运算具有明确的数学意义。这是后续微积分理论的重要基石。性质二函数极限的局部有界性局部有界性揭示：函数在某点有极限，则在该点的某个去心邻域内函数值有界。注意这是局部性质，不同于数列的全局有界性。01定理表述如果lim(x→x₀)f(x)=A，则存在常数M>0和δ>0，使得当0<|x−x₀|<δ时，|f(x)|≤M02证明过程取ε=1，由极限定义存在δ>0，当0<|x−x₀|<δ时，|f(x)−A|<1，故|f(x)|≤|f(x)−A|+|A|<1+|A|，取M=1+|A|03"局部"的含义有界性只在x₀的某个去心邻域内成立，函数在其他区域可能无界04与数列有界性的区别数列收敛则有界是全局性质；函数极限存在只保证局部有界PropertyIII性质三：函数极限的局部保号性局部保号性建立极限符号与函数值符号的联系：若极限为正（负），则在某去心邻域内函数值也为正（负），是后续证明的重要工具。01定理表述：如果lim(x→x₀)f(x)=A，且A>0（或A<0），则存在δ>0，当0<|x−x₀|<δ时，f(x)>0（或f(x)<0）A>0极限符号02证明（A>0情形）：取ε=A/2>0，由极限定义存在δ>0，当0<|x−x₀|<δ时，|f(x)−A|<A/2，即f(x)>A/2>0ε=A/2关键取值03几何直观：函数值趋近于正数A，则在x₀附近函数图像位于x轴上方f(x)>0邻域性质04应用价值：保号性是证明极限运算法则、判断函数符号的重要工具证明工具核心定位CHAPTER03·函数极限的性质局部保号性的推论与加强保号性推论揭示：若函数在某去心邻域内非负且极限存在，则极限非负。加强形式给出函数值的下界估计，在理论证明中广泛应用。保号性推论COROLLARY若在x₀的某去心邻域内f(x)≥0（或f(x)≤0），且lim(x→x₀)f(x)=A，则A≥0（或A≤0）CAUTIONf(x)>0不能推出A>0，例如f(x)=x²在x≠0时恒正，但lim(x→0)x²=0A≥0加强形式THEOREM若lim(x→x₀)f(x)=A且A≠0，则存在δ>0，当0<|x−x₀|<δ时，|f(x)|>|A|/2APPLICATION加强形式给出了函数值绝对值的下界估计，在极限运算证明中非常有用|f(x)|>|A|/2APPLICATIONEXAMPLES函数极限性质的应用例题函数极限的性质不仅是理论结果，更是解决实际问题的有力工具，在极限计算、不等式证明和函数性态分析中有广泛应用。例题：局部有界性应用01已知lim(x→1)(x²+2x)=3，证明f(x)=x²+2x在x=1的某邻域内有界02由局部有界性，存在M>0和δ>0，当0<|x−1|<δ时，|x²+2x|≤M局部有界性·LocalBoundedness例题：保号性应用01已知lim(x→0)f(x)=2，判断f(x)在x=0附近的符号02由保号性，存在δ>0，当0<|x|<δ时，f(x)>0（因为极限2>0）保号性·SignPreservation性质对比·Comparison数列极限与函数极限性质对比数列极限与函数极限的性质高度对应，但有界性存在本质差异：数列为全局有界，函数为局部有界，反映了离散与连续的根本区别。数列极限与函数极限性质对比表性质数列极限函数极限唯一性极限唯一极限唯一有界性全局有界（所有项有界）局部有界（去心邻域内有界）保号性从某项起保号在去心邻域内保号子列/子过程任一子列收敛于同一极限由海涅定理保证两类极限性质高度对应，有界性的全局与局部差异是核心区别CHAPTER04数列极限与函数极限的关系海涅归结原则及其应用Chapter3·函数极限的性质海涅归结原则（Heine定理）海涅归结原则建立了函数极限与数列极限的等价关系：函数极限存在当且仅当所有趋近方式对应的函数值数列都收敛于同一极限。01定理表述lim(x→x₀)f(x)=A的充要条件是，对定义域内任一收敛于x₀的数列{xn}（xn≠x₀），都有limf(xn)=A充要条件02核心思想将函数极限（连续过程）归结为数列极限（离散过程），实现两类极限的统一。这一思想架起了连续与离散之间的桥梁，使得我们可以用数列极限的工具来研究函数极限的性质，同时也为极限理论提供了更严格的数学基础。连续→离散03条件要求数列{xn}必须满足xn→x₀且xn≠x₀，即数列从定义域内趋近x₀但不等于x₀xn→x₀∧xn≠x₀04普适性对任意趋近方式（左侧、右侧、振荡等）对应的数列都成立。无论是单调递增还是递减趋近，或是以任意方式振荡趋近于x₀，只要满足基本收敛条件，归结原则均适用。任意趋近方式HEINETHEOREM·APPLICATION海涅定理的应用：证明极限不存在海涅定理为证明函数极限不存在提供了有效方法：只需找到两个趋近方式使函数值数列收敛于不同极限，或找到一个使函数值数列发散的方式。证明极限不存在的方法01找两个数列{xn}和{yn}都收敛于x₀，但limf(xn)≠limf(yn)limf(xₙ)≠limf(yₙ)02找一个收敛于x₀的数列{xn}，使得{f(xn)}发散{f(xₙ)}发散经典例题01证明lim(x→0)sin(1/x)不存在：取xn=1/(2nπ)→0，f(xn)=0；取yn=1/(2nπ+π/2)→0，f(yn)=1f(xₙ)=0vsf(yₙ)=102两个数列都趋于0但函数值极限不同，故原极限不存在∴lim不存在HEINETHEOREM·APPLICATION海涅定理应用例题详解通过构造特殊数列是应用海涅定理的关键技巧，选取使函数值呈现不同极限行为的数列可以有效证明极限不存在。EXAMPLE01证明limx→0cos(1/x)不存在01取xn=1/(2nπ)→0，则cos(1/xn)=cos(2nπ)=1→102取yn=1/((2n+1)π)→0，则cos(1/yn)=cos((2n+1)π)=−103两数列函数值极限不同（1≠−1），故原极限不存在DIVERGENCE1≠−1EXAMPLE02证明limx→0(1/x)不存在01取xn=1/n→0⁺，则f(xn)=n→+∞，函数值数列发散02由海涅定理，存在发散的函数值数列，故原极限不存在DIVERGENCEn→+∞Summary本章核心知识点总结函数极限理论由定义、性质和归结原则三部分构成，ε-δ语言提供严格基础，三大性质揭示极限特征，海涅定理实现离散与连续的统一。01函数极限定义x→x₀时的ε-δ定义：对任意ε>0，存在δ>0，当0<|x-x₀|<δ时|f(x)-A|<εx→∞时的X-ε定义：对任意ε>0，存在X>0，当|x|>X时|f(x)-A|<εε-δ02函数极限性质唯一性：极限值唯一确定局部有界性：在去心邻域内函数有界局部保号性：极限符号决定邻域内函数符号三大性质03海涅归结原则函数极限与数列极限的等价刻画，建立离散与连续极限的统一桥梁limx→x₀f(x)=A⇔对任意{xₙ}→x₀且xₙ≠x₀，都有limn→∞f(xₙ)=A常用于证明极限不存在，或利用数列极限求函数极限HeineKeyTakeaways重要注意事项与易错点函数极限学习中存在多个易混淆概念，准确理解"局部"与"全局"、"极限"与"函数值"的区别是避免错误的关键。极限与定义无关lim(x→x₀)f(x)是否存在，与f(x)在x₀处是否有定义、定义为何值无关x₀无定义局部有界≠全局有界函数在某点有极限只保证该点附近有界，不能推出整个定义域有界邻域vs全域保号性推论的方向f(x)≥0且极限为A，只能推出A≥0，不能推出A>0A≥0≠A>0单侧极限的重要性分段函数在分段点处必须分别计算左右极限来判断双侧极限是否存在分段点PRACTICE课后练习题通过针对性的练习题巩固函数极限定义、性质和归结原则的理解，培养严格证明的能力。基础题01用ε-δ定义证明：lim(x→3)(2x+1)=702用ε-δ定义证明：lim(x→1)(x²−1)/(x−1)=2提高题01已知lim(x→0)f(x)=3，证明存在δ>0使得当0<|x|<δ时f(x)>102用海涅定理证明：lim(x→0)sin(1/x)·cos(1/x)不存在HISTORY·LIMITTHEORY数学史：极限理论的建立极限理论经历了从直观到严格的漫长发展，柯西和魏尔斯特拉斯的ε-δ语言为微积分奠定了坚实的逻辑基础，解决了第二次数学危机。01早期探索：牛顿、莱布尼茨时代对极限的直观理解，"无穷小量"概念引发争议02柯西的贡献：19世纪初首次尝试用严格语言描述极限，提出"变量趋近"的概念03魏尔斯特拉斯的完善：19世纪中叶建立完整的ε-δ语言，使极限定义完全严格化04历史意义：ε-δ语言的建立解决了"第二次数学危机"，为现代分析学奠定基础KarlWeierstrass(1815–1897)，ε-δ语言创立者Techniquesε-δ证明的常用技巧掌握ε-δ证明的技巧是运用极限定义的关键，放大法、限制δ范围和取最小值是三种最常用的方法。放大法01将|f(x)−A|放大为更简单的表达式，如|x²−4|=|x−2|·|x+2|，限制|x−2|<1则|x+2|<502从而|x²−4|<5|x−2|，取δ=min{1,ε/5}即可完成证明核心思想：通过适当放大，将复杂函数转化为线性控制，便于找到明确的δ表达式目标：|f(x)−A|<ε限制δ范围01先假设δ≤1（或其他常数），简化|x−x₀|相关表达式的估计过程02最终取δ=min{1,ε的表达式}，确保所有条件同时满足，证明严密成立关键步骤：先限制范围获得上界，再综合两种情况取最小值，保证证明的严谨性公式：δ=min{1,ε/M}GEOMETRICINTUITION函数极限的几何直观几何直观是理解函数极限的重要辅助，极限对应函数图像在特定点附近或无穷远处的渐近行为，与渐近线概念密切相关。01x→x₀的极限：观察函数图像在x₀附近的行为，函数值是否趋近于某个确定的y值x→x₀02x→∞的极限：观察函数图像向右无限延伸时的趋势，对应水平渐近线y=Ay=A03极限不存在：函数图像在x₀附近振荡（如sin(1/x)）或趋于无穷（如1/x）∄04单侧极限：分别从左侧和右侧观察函数图像趋近x₀时的行为差异x₀⁻x₀⁺函数图像及其水平渐近线与垂直渐近线示意AdvancedMathematics·高等数学延伸：极限与连续性的关系函数极限是连续