ewCh13函数极限及性质

函数极限及性质微积分的基石：从直观到严密的逻辑跨越Contents目录函数极限及性质——从基本概念到计算工具的系统梳理01函数极限的概念与定义02极限的性质与存在准则03两个重要极限及其应用04无穷小与无穷大的阶05连续性与极限计算工具CHAPTER01函数极限的概念与定义从离散到连续，从直观到严密CALCULUS·极限理论函数极限的直观描述函数极限描述的是自变量x在无限逼近某一点x₀的过程中，函数值f(x)的确定性变化趋势。极限的存在与否，与函数在x₀点是否有定义完全无关，它关注的是"过程"而非"终点"。01逼近过程的对称性自变量x需从x₀的左侧（x<x₀）和右侧（x>x₀）同时逼近，函数值必须趋于同一个常数A02去心邻域的概念极限考察x₀附近的"空心邻域"（0<|x−x₀|<δ），排除了x=x₀这一孤立点的影响03典型案例解析f(x)=(x²−1)/(x−1)在x=1处无定义，但x→1时f(x)=x+1→2，故极限存在且为204直观定义的局限"无限靠近"等描述性语言缺乏数学严密性，无法用于复杂的逻辑证明函数f(x)=(x²−1)/(x−1)的逼近数据表x（左侧逼近）f(x)值x（右侧逼近）f(x)值0.91.91.12.10.991.991.012.010.9991.9991.0012.0010.99991.99991.00012.0001数据表明，无论x从左侧还是右侧逼近1，f(x)均稳定趋于2函数极限及性质ε-δ语言：极限的严密定义ε-δ定义通过量词逻辑（∀ε>0,∃δ>0）将动态的逼近过程转化为静态的不等式控制。它确立了分析学的严密性标准，是证明极限存在性及推导后续定理的根本工具。逻辑结构拆解∀ε>0（挑战）：代表对函数值精度的任意要求，ε越小，要求越苛刻∃δ>0（应战）：代表对自变量控制范围的寻找，δ通常依赖于ε的大小0<|x−x₀|<δ（前提）：限制x在去心邻域内，排除x₀点的干扰|f(x)−A|<ε（结论）：保证函数值落入目标区间(A−ε,A+ε)内几何意义在坐标系中，作两条水平线y=A−ε和y=A+ε，形成一个水平带状区域无论水平带多窄，总能在x₀两侧找到垂直带(x₀−δ,x₀+δ)，使得其中所有函数图像完全落入水平带内ε-δ定义的几何解释Ox₀AA+εA−εx₀−δx₀+δ水平带：y∈(A−ε,A+ε)控制函数值精度垂直带：x∈(x₀−δ,x₀+δ)控制自变量范围ε-δPROOFINACTIONε-δ证明实战演练运用ε-δ定义证明极限的核心策略是"逆向推导，正向书写"。通过分析|f(x)−A|的表达式，将其放大或变形为包含|x−x₀|的形式，从而确定δ与ε的函数关系。Augustin-LouisCauchy·极限严密化奠基人01例题·证明lim(x→2)(3x−1)=5。目标：寻找δ，使0<|x−2|<δ时，|(3x−1)−5|<ε02逆向分析·|(3x−1)−5|=|3x−6|=3|x−2|。要使3|x−2|<ε，只需|x−2|<ε/303确定δ·令δ=ε/3。对任意ε>0，总存在δ>0，满足定义要求04正向书写·∀ε>0，取δ=ε/3，当0<|x−2|<δ时，|f(x)−5|=3|x−2|<3·(ε/3)=ε，证毕05非线性推广·f(x)=x²时，利用|x²−4|=|x+2|·|x−2|，先限制δ≤1以控制|x+2|上界函数极限及性质单侧极限与双侧极限的关系当函数在x₀两侧呈现不同性态或仅在一侧有定义时，需引入单侧极限。双侧极限存在的充要条件是左、右极限均存在且相等。左极限与右极限LEFTLIMITlim(x→x₀⁻)f(x)=Ax从左侧逼近(x<x₀)，对应ε-δ定义中0<x₀−x<δRIGHTLIMITlim(x→x₀⁺)f(x)=Ax从右侧逼近(x>x₀)，对应ε-δ定义中0<x−x₀<δEXAMPLE:SGN(X)x=0处双侧极限不存在左极限=−1，右极限=+1，两侧不相等存在性判定定理THEOREMlim(x→x₀)f(x)=A⟺左极限=右极限=A，双侧极限存在的充要条件APPLICATION分段函数在x=0处的极限分析f(x)={x+1,x<0;x²,x≥0}RESULT左极限=1≠右极限=0两侧极限不等，故f(x)在x=0处极限不存在PropertiesofLimits函数极限的基本性质函数极限的四大基本性质（唯一性、局部有界性、局部保号性、四则运算）是直接从ε-δ定义推导出的必然结果。它们不仅是理论证明的基石，更是解决复杂不等式与估值问题的核心工具。基础性质唯一性若极限存在，则其极限值必唯一。不可能同时趋近于A和B（A≠B）limf(x)=A，A唯一基础性质局部有界性若limf(x)存在，则存在x₀的去心邻域，使得f(x)在该邻域内有界去心邻域内有界基础性质局部保号性若limf(x)=A>0，则存在去心邻域，使得该邻域内f(x)>0（或f(x)>A/2）A>0→f(x)>0推论与应用保号性推论若在x₀附近f(x)≥0且极限存在，则极限值A必≥0（注意：不能保证A>0）f(x)≥0→A≥0推论与应用四则运算和差积的极限等于极限的和差积；商的极限等于极限的商（前提：分母极限不为0）lim(f±g)=A±B推论与应用幂运算推广lim[f(x)]ⁿ=[limf(x)]ⁿ（n为正整数），为多项式极限计算提供依据limf(x)ⁿ=AⁿSqueezeTheorem夹逼准则(SqueezeTheorem)夹逼准则是判定极限存在并求值的强大工具，特别适用于处理含有界振荡因子（如sin,cos）或复杂根式的函数。通过构造上下界函数，将复杂问题转化为两个简单极限的验证。01定理表述：若在x₀去心邻域内g(x)≤f(x)≤h(x)，且limg(x)=limh(x)=A，则limf(x)=A02核心逻辑：利用不等式传递性，迫使目标函数f(x)在"挤压"下只能收敛于A，无需知道f(x)的具体表达式03为004经典案例2：lim(n→∞)(1ⁿ+2ⁿ+…+kⁿ)^(1/n)=k。利用kⁿ<和式<n·kⁿ进行放缩夹逼夹逼准则几何示意：两条边界曲线夹住目标函数趋于同一点COMPOSITEFUNCTIONLIMIT复合函数的极限运算法则复合函数极限法则为"换元法"提供了严格的理论支撑。在满足一定条件下，可将复杂复合函数的极限拆解为内外两层分别处理。01定理条件设limg(x)=u₀，且limu→u₀f(u)=A。需满足f(u)在u₀连续，或在x₀附近g(x)≠u₀。02结论复合函数f[g(x)]的极限存在，且limf[g(x)]=limu→u₀f(u)=A。=A03换元法的本质令u=g(x)，将复杂变量x的极限过程转化为简单变量u的极限过程。u=g(x)04典型应用求limx→0sin(3x)/(3x)。令u=3x，当x→0时u→0，原式化为limu→0sin(u)/u=1。=1Chapter03·Limits第一个重要极限的广义形式第一个重要极限的本质结构是lim(□→0)sin(□)/□=1。掌握这一广义形式，配合恒等变形（如倍角公式、和差化积），可高效解决各类含三角函数的0/0型未定式。01广义模型：若limg(x)=0，则limsin(g(x))/g(x)=1。核心是分子sin内部与分母必须保持"同构"，这一结构是识别和应用该极限的关键。sin(□)/□=102凑系数：当分子分母的变量系数不一致时，需要通过恒等变形凑出标准形式。lim(x→0)sin(3x)/x=lim[sin(3x)/(3x)·3]=1·3=3=303恒等变换：lim(x→0)(1−cosx)/x²=lim[2sin²(x/2)/x²]=2·(1/2)²·[sin(x/2)/(x/2)]²，利用1−cosx=2sin²(x/2)的恒等变形。=1/204常见陷阱：lim(x→∞)sin(x)/x=0，这是有界量乘无穷小，而非第一个重要极限——因为x不趋于0。必须严格验证自变量的趋向。⚠x→∞≠x→0IMPORTANTLIMITS第二个重要极限：e的定义lim(x→∞)(1+1/x)^x=e揭示了"1^∞"型未定式的内在规律，是连接离散复利与连续增长的桥梁。01数列形式的直观考察数列xₙ=(1+1/n)ⁿ：n=1时值为2；n=2时值为2.25；n=10时约为2.59单调有界证明：该数列单调递增且有上界3，故极限必然存在定义该极限值为e≈2.71828…，是一个超越数e≈2.7182802函数形式的推广x→+∞与x→−∞时极限均为e，故lim(x→∞)(1+1/x)^x=e等价形式（令t=1/x）：当t→0时，lim(1+t)1/t=e广义模型：若limg(x)=∞，则lim(1+1/g(x))g(x)=elim(1+t)1/t=eUNDETERMINEDFORM1^∞型未定式的通用解法对于1^∞型未定式limf(x)^g(x)，存在通用公式：e^lim[g(x)·(f(x)−1)]。该公式将幂指函数极限转化为乘积极限。01通用公式推导：f(x)^g(x)={[1+(f(x)−1)]^(1/(f(x)−1))}^[g(x)·(f(x)−1)]，利用第二个重要极限lim(1+t)^(1/t)=e，即得通用公式e^lim[g(x)·(f(x)−1)]。e^[g·(f−1)]02案例1：lim(x→0)(1+2x)^(1/x)。令f=1+2x，g=1/x；指数极限=lim(1/x)·(2x)=2，故原式=e²。e²03案例2：lim(x→∞)((x+1)/(x−1))^x。底数化为1+2/(x−1)，指数极限=limx·[2/(x−1)]=2，故原式=e²。e²04案例3：lim(x→0)(cosx)^(1/x²)。化为[1+(cosx−1)]^(1/x²)，指数极限=lim(cosx−1)/x²=−1/2，故原式=e^(−1/2)。e−½CHAPTER04无穷小与无穷大的阶变化速度的量化与比较INFINITESIMALS无穷小的概念与性质无穷小是指在某一变化过程中极限为0的变量，而非"很小的数"。0是唯一可作为无穷小的常数。其核心性质（如有界量乘无穷小仍为无穷小）是简化极限计算、处理振荡函数的重要工具。01定义若limα(x)=0，则称α(x)为该过程下的无穷小。例如x→0时，x、x²、sin(x)均为无穷小。02封闭性有限个无穷小的和、积仍为无穷小，运算在无穷小集合内封闭。03有界量相乘有界量与无穷小的乘积是无穷小。例：lim(x→0)x·sin(1/x)=0，因|sin(1/x)|≤1。04函数关系函数f(x)与常数A的关系可表示为f(x)=A+α(x)，其中α(x)为无穷小。CALCULUS·LIMITTHEORY无穷小的阶的比较通过考察两个无穷小比值的极限，可量化它们趋于0的"速度"差异。高阶无穷小趋于0的速度更快，在加减运算中可被忽略；而等价无穷小则在局部具有极高的近似度，是乘除运算中的替换基础。无穷小阶的分类(设limα=0,limβ=0)关系类型极限条件几何/物理意义高阶无穷小lim(β/α)=0β趋于0的速度远快于α，记为β=o(α)同阶无穷小lim(β/α)=c(c≠0)β与α趋于0的速度相当等价无穷小lim(β/α)=1β与α在局部几乎相等，记为β~αk阶无穷小lim(β/αk)=cβ的主部是α的k次方，用于泰勒展开阶的比较本质是分析函数在极限点附近的"主部"结构。CHAPTERIII·LIMITTHEORY等价无穷小替换定理等价无穷小替换是简化极限计算的"捷径"。在乘除运算中，将复杂函数替换为其等价的简单幂函数，可大幅降低计算难度。但必须警惕"加减法替换"的陷阱，避免因丢失高阶项而导致错误。常用等价无穷小(x→0)TRIGONOMETRICsinx~x，tanx~x，arcsinx~x，arctanx~xEXP/LOGeˣ−1~x，ln(1+x)~x，aˣ−1~x·lnaPOWER(1+x)ᵅ−1~αx，1−cosx~½x²替换规则与禁忌THEOREM若α~α′，β~β′，且lim(α′/β′)存在，则lim(α/β)=lim(α′/β′)✓VALID乘除因子可直接替换：lim(tan3x/sin5x)=lim(3x/5x)=3/5✗INVALID加减法一般不可替换：lim(sinx−x)/x³，若sinx→x得0，实为−1/6Calculus·Limits无穷大与渐近线无穷大是极限不存在的特殊情形，其倒数必为无穷小。在几何上，函数趋于无穷大的点构成了图像的垂直渐近线，而函数在无穷远处的极限则决定了水平渐近线，二者共同勾勒出函数的全局轮廓。01无穷大：若limf(x)=∞，则称f(x)为该过程下的无穷大。例如x→0时，函数f(x)=1/x的绝对值无限增大，即为无穷大。02互为倒数：无穷大与无穷小存在倒数关系。在自变量的同一变化过程中，无穷大的倒数是无穷小；非零无穷小的倒数是无穷大。03垂直渐近线：函数趋于无穷大的几何表现。若lim(x→x₀)f(x)=∞（或单侧极限），则直线x=x₀为曲线的垂直渐近线。04水平渐近线：函数在无穷远处的极限行为。若lim(x→∞)f(x)=A，则直线y=A为曲线的水平渐近线，描述函数远端趋势。CHAPTER05连续性与极限计算工具从理论走向应用CONTINUITY函数连续性的极限定义函数在一点连续，本质是极限过程与函数取值的完美契合：lim(x→x₀)f(x)=f(x₀)。这一等式将"动态趋势"与"静态数值"统一，是分析学从离散走向连续的关键枢纽。连续的三个要素01f(x)在x₀处有定义函数在该点存在确定的取值02lim(x→x₀)f(x)存在函数在该点的极限必须收敛03极限值等于函数值lim(x→x₀)f(x)=f(x₀)04增量定义lim(Δx→0)Δy=0，微小变化引起微小变化连续函数的运算四则运算封闭连续函数的和、差、积、商（分母不为0）仍连续复合运算封闭连续函数的复合函数仍保持连续性基本初等函数幂、指、对、三角、反三角函数在定义域内均连续Classification间断点的分类与判定间断点是函数连续性被破坏的点。根据左右极限的存在性，可将其严格分为第一类与第二类。TypeI第一类间断点定义左极限f(x₀⁻)与右极限f(x₀⁺)均存在可去间断点f(x₀⁻)=f(x₀⁺)，但≠f(x₀)或无定义，可修改定义使其连续跳跃间断点f(x₀⁻)≠f(x₀⁺)，函数图像在此处发生"断裂"跳跃TypeII第二类间断点定义左、右极限至少有一个不存在无穷间断点极限为∞，如1/x在x=0处振荡间断点极限振荡不存在，如sin(1/x)在x=0处ContinuousFunctionsonClosedIntervals闭区间上连续函数的性质闭区间上的连续函数具有"完美"的性态：必有界、必有最值、必取遍中间值。这些定理不仅是存在性证明的利器，也是数值算法的理论保障。01最值定理若f(x)在[a,b]上连续，则f(x)在该区间上必有最大值和最小值02有界性定理闭区间上的连续函数必有界；反之不成立，有界不一定连续03介值定理若f(a)=A,f(b)=B，则对A与B之间任意值C，至少存在ξ使f(ξ)=C04零点定理若f(a)·f(b)<0，则在(a,b)内至少存在一个实根，是方程求根的基石xyabABCξ连续曲线必穿过任意中间值水平线介值定理几何示意：连续曲线必穿过任意中间值水平线L'HÔPITAL'SRULE洛必达法则L'Hôpital'sRule洛必达法则通过导数之比来替代函数之比，将复杂的未定式极限转化为相对简单的求导运算。它是解决0/0和∞/∞型极限最高效的工具，但必须严格验证使用条件，避免陷入"循环求导"或"失效"陷阱。法则表述条件1：limf(x)=0且limg(x)=0（或均为∞）条件2：在去心邻域内可导，且g'(x)≠0条件3：limf'(x)/g'(x)存在（或为∞）结论：limf(x)/g(x)=limf'(x)/g'(x)其他未定式的转化0·∞型：取倒数转化为0/0或∞/∞。如x·ln(x)=ln(x)/(1/x)∞−∞型：通分或提取公因式转化为分式0⁰,1^∞,∞⁰型：取对数lny转化为0·∞型，最后还原y=e^(limlny)陷阱与策略洛必达法则的失效与陷阱洛必达法则并非万能钥匙。非未定式误用、循环求导、导数比值极限不存在（振荡）均会导致法则失效。在使用前，务必验证"未定式"前提，并观察求导后的结构是否简化，否则应果断切换至泰勒展开或夹逼准则。陷阱1：非未定式强行使用如lim(x→0)(x+1)/x=∞，若误用洛必达得1/1=1，结果完全错误。使用前必须确认分子分母同趋0或同趋∞。lim→∞陷阱2：循环求导如lim(x→∞)(eˣ+e⁻ˣ)/(eˣ−e⁻ˣ)，求导后形式不变，陷入死循环，永远无法得出结果。∞Loop陷阱3：导数极限不存在如lim(x→∞)(x+sinx)/x=1，用洛必达得lim(1+cosx)/1振荡不存在，法则失效。Oscillate策略建议当洛必达求导后式子变得更复杂时，应停止并考虑泰勒公式或等价无穷小替换，选择更高效的工具。TaylorChapter30·Limits泰勒公式与极限计算带有皮亚诺余项的泰勒公式（Maclaurin展开）是处理复杂未定式（特别是加减法中的高阶抵消）的"终极武器"。通过将超越函数多项式化，可精确定位"主部"，避免洛必达法则可能带来的繁琐求导。01核心思想：用多项式逼近复杂函数，保留足够的高阶项以应对"抵消"现象多项式逼近02常用展开式(x→0)：sinx=x−x³/6+o(x³)ln(1+x)=x−x²/2+o(x²)03实战案例：lim(x→0)(sinx−x)/x³=(x−x³/6−x)/x³=−1/604原则："上下同阶"。分母是