聽過太多人第一次看到“?ε0?δ0”就頭皮發(fā)麻。極限這個概念從牛頓時代就開始用但“無限接近”這四個字含糊了兩百年最后才被一套嚴格的不等式語言錘實。這“錘實”的工具就是用 ε、δ、X、N、x、n、?、? 搭起來的形式化定義。這篇文章我想把這些符號掰開揉碎講清楚再給你一份完整的清點到底有哪 7 種極限存在的情況又有哪 21 種極限不存在的情況。適合正在學(xué)高等數(shù)學(xué)、數(shù)學(xué)分析或者準備考研數(shù)學(xué)需要重新梳理一遍極限體系的讀者。你不需要已經(jīng)有很深的功底只要能看懂“? 任意、? 存在、→ 趨近”這幾個詞就能跟著捋下來。更關(guān)鍵的是這套清點方法一旦裝進腦子里以后再遇到“這個極限存不存在”的問題你會有一個比直覺可靠得多的判斷框架。1. 從“無限接近”到“可以用邏輯錘死”這套符號到底在干什么1.1 直觀說法的致命漏洞“當 x 趨近于 a 時f(x) 趨近于 L。”這句話聽起來好像沒什么問題但經(jīng)不起追問什么叫“趨近”你離 0.001 算不算近離 0.0000001 算不算近“趨近”是一個動態(tài)過程而我們要判斷的卻是一個靜態(tài)結(jié)論中途沒有任何一個瞬間可以拿出來當證據(jù)。這個漏洞在數(shù)學(xué)上是很嚴重的。如果不把“趨近”定義清楚我們就沒法回答“極限是否存在”。比如 f(x)sin(1/x) 在 x0 附近來回震蕩肉眼看起來“好像有個趨勢”但追問下去你根本說不出它趨近哪個數(shù)。正是因為直觀語言扛不住這種追問數(shù)學(xué)家才發(fā)明了現(xiàn)在這套符號語言把“無限接近”翻譯成“無論你給我多小的允許誤差我都能找到一個范圍讓范圍內(nèi)所有點的函數(shù)值都落在允許誤差里”。1.2 一場“你出 ε、我出 δ”的攻防游戲理解這套定義最好的方式是把它當成一場攻防游戲。挑戰(zhàn)方先出招他報一個任意小的正數(shù) ε意思是“我允許你的函數(shù)值和目標值之間有 ε 的誤差不能再多了”。然后應(yīng)對方接招他必須找到一個正數(shù) δ也可能是 N 或 X自信地說“只要自變量落在離目標點 δ 的范圍里函數(shù)值和目標值的差就肯定不超過你的 ε”。關(guān)鍵是出招順序ε 是任意給定的δ 是隨后找到的。用符號寫就是?ε0?δ0?x滿足 0|x-a|δ|f(x)-L|ε讀作對任意 ε0存在 δ0使得對所有滿足 0|x-a|δ 的 x都有 |f(x)-L|ε。這個順序一旦顛倒整個定義就廢了。如果是“?δ?ε”等于你先圈好一個范圍再讓別人在這個范圍里隨意挑誤差那實際含義變成只要有一個點靠近就夠了完全不是極限的意思。所以 ? 和 ? 的順序真不是形式主義它就是整個邏輯的骨架ε 是別人對你提的要求δ 是你對要求的回應(yīng)。1.3 符號角色對照表很多同學(xué)卡在極限定義上不是因為邏輯不懂而是因為符號太多、角色太亂。我把這套符號按角色整理成一張表你對照著看會清楚很多。符號角色通俗解釋ε誤差上限挑戰(zhàn)者給出的“允許偏差”要多小有多小δ自變量距離控制半徑應(yīng)對方給出的“安全范圍”通常依賴于 ε 和目標點 aN數(shù)列的項數(shù)門檻數(shù)列場景里“從第幾項以后算數(shù)”通常依賴 εX無窮遠場景的距離門檻自變量要“足夠遠”的界限通常依賴 εx函數(shù)的自變量被檢查的“每一個點”必須在控制范圍內(nèi)n數(shù)列的下標被檢查的“每一項”必須是 N 以后的項?任意、一切“不管你拿出多苛刻的要求”?存在、找得到“我總能找到一個應(yīng)對方案”說到底這套符號的作用就是給“趨近”一個可驗證的靜態(tài)定義把一個無限過程壓縮成一串有限的不等式檢驗。理解了這一點后面 7 種存在和 21 種不存在的清單就只是同一個邏輯套在不同場景里的變體。2. 把它們放進七條“跑道”自變量變化過程的區(qū)分2.1 七條跑道怎么區(qū)分極限的存在與不存在第一個要看的問題是自變量是怎么跑的是離散地一項一項蹦數(shù)列還是連續(xù)地掃過去函數(shù)是靠近一個有限點還是朝無窮遠跑。我把自變量變化過程分成七種后面所有存在和不存在的情況都是在這七種過程里展開的n→∞數(shù)列極限n 是正整數(shù)一路增大x→a函數(shù)在有限點 a 的雙側(cè)極限x 從左右兩邊同時靠近 ax→a?右極限x 從 a 的右側(cè)靠近 ax→a?左極限x 從 a 的左側(cè)靠近 ax→∞自變量朝正無窮大方向跑x→-∞自變量朝負無窮大方向跑x→∞自變量絕對值趨于無窮大但不區(qū)分正負方向?qū)嶋H是“同時考慮 ±∞ 兩個方向”。為什么要把“雙側(cè)極限、右極限、左極限”分開又把“x→∞、x→-∞、x→∞”分開因為很多時候函數(shù)在一側(cè)的性態(tài)和在另一側(cè)完全不同。比如符號函數(shù) sgn(x)在 x0 的右側(cè)極限是 1左側(cè)極限是 -1雙側(cè)極限根本不存在。又比如 arctanx在 x→∞ 時趨近 π/2在 x→-∞ 時趨近 -π/2但如果問 x→∞絕對值跑向無窮時的極限答案是不存在因為兩側(cè)跑向了不同的值。2.2 同一句定義換三個參數(shù)現(xiàn)在你可能會覺得“這么多過程每種都要記一套定義太麻煩了?！逼鋵嵅挥盟鼈兊墓羌芡耆粯又皇强刂茀?shù)從 δ 換成了 N 或 X。先看共同結(jié)構(gòu)數(shù)列極限n→∞?ε0?N∈???nnN|x?-a|ε函數(shù)有限點極限x→a?ε0?δ0?x0|x-a|δ|f(x)-L|ε函數(shù)無窮遠極限x→∞?ε0?X0?xxX|f(x)-L|ε三個定義的區(qū)別只在于“自變量滿足什么條件”過程控制參數(shù)自變量約束條件判斷對象n→∞N 項數(shù)門檻nNx→aδ 半徑0|x-a|δx→∞X 距離門檻xXx→∞X 距離門檻|x|X所以你其實只需要理解一個核心邏輯給定任意小的誤差 ε我能不能找到一個控制范圍讓這個范圍里的所有輸出都不超出誤差范圍。剩下的就是把“范圍”翻譯成不同場景下的 δ、N 或 X。2.3 廣義極限的口徑說明還有一個必須先講清楚的問題∞ 和 -∞ 算不算“極限存在”這在不同教材里口徑不一樣。很多初等微積分教材以及考研數(shù)學(xué)的約定是把“極限存在”限定為“極限等于有限常數(shù)”。也就是說如果一個函數(shù)在趨向過程中無界增大到 ∞教材里會寫“極限為無窮大”或者“發(fā)散到無窮”但嚴格判卷時它屬于“極限不存在因為不是有限數(shù)”。另一類教材采用廣義極限允許把 ∞ 和 -∞ 看作極限值于是“f(x)→∞”也算一種極限存在。本文后面提到的“21 種極限不存在”統(tǒng)一采用前一種口徑只有當極限值是有限常數(shù)時才算極限存在。凡是趨向 ∞ 或 -∞ 的都歸入“極限不存在發(fā)散到無窮”。這樣 7 種存在和 21 種不存在恰好是互斥且完整的。如果你所在的課程采用廣義極限口徑只需要從 21 種里把“有定向且可判定的無窮發(fā)散”劃出去剩下的情形結(jié)論不變。3. 7 種極限存在情況的定義骨架與手算驗證這一節(jié)我們按七種自變量過程逐個寫出“極限存在”的完整定義并各配一個能直接照著做的驗證例子。每個例子的價值不在于“看一眼就懂”而在于讓你看到從“給 ε”到“找 δ/N/X”的那一步是怎么操作的。3.1 數(shù)列極限ε-N 定義與 1/n 驗證數(shù)列極限的定義是lim(n→∞) x? a ? ?ε0?N∈???nnN|x?-a|ε這里 N 是“從第幾項之后算數(shù)”的門檻它不要求是唯一值只要存在一個就行找到更大的 N 也完全沒問題。拿最經(jīng)典的 x?1/na0 來驗證。給定 ε0我們希望 |1/n-0|1/nε。解這個不等式得 n1/ε所以只要取 N「1/ε」1向上取整再加一保證是正整數(shù)且嚴格大于 1/ε當 nN 時就有 |1/n-0|ε。證明結(jié)束。這里有一個小細節(jié)值得你注意我們從來不要求“第一項開始就滿足”也不要求“中間的項都很小”只要求“存在一個時刻 N之后的所有項都滿足”。這就是數(shù)列極限里“尾巴決定一切”的含義前面有限項怎么折騰都不影響極限。3.2 有限點雙側(cè)極限ε-δ 定義與線性函數(shù)驗證函數(shù)在有限點的雙側(cè)極限定義是lim(x→a) f(x)L ? ?ε0?δ0?x0|x-a|δ|f(x)-L|ε特別強調(diào)那個“0|x-a|”它表示 x 可以無限靠近 a但不用等于 a。也就是說f(a) 本身的取值甚至 f 在 a 點有沒有定義都不影響極限的存在性。這是初學(xué)者最容易忽略的符號細節(jié)。驗證 lim(x→1)(2x1)3。先算 |f(x)-L||2x1-3||2x-2|2|x-1|。給定 ε0要讓 2|x-1|ε只需要 |x-1|ε/2所以取 δε/2 即可。這個例子簡單到不起眼但它演示了標準動作先把 |f(x)-L| 放大成一個含 |x-a| 的表達式然后用這個表達式反解出 δ。以后遇到多項式、有理函數(shù)甚至帶根號的函數(shù)套路都是這樣只是放大過程會復(fù)雜一些后面第 5 節(jié)我再展開。3.3 右極限、左極限與它們的 δ 寫法右極限和左極限就是把“從左右兩邊靠近”改成“只從指定側(cè)靠近”。右極限x→a?lim(x→a?) f(x)L ? ?ε0?δ0?x0x-aδ|f(x)-L|ε右極限x→a?lim(x→a?) f(x)L ? ?ε0?δ0?x0a-xδ|f(x)-L|ε區(qū)別就藏在“0x-aδ”和“0a-xδ”這兩組不等式里前者要求 x 在 a 的右側(cè)后者要求 x 在 a 的左側(cè)。右側(cè)極限和左側(cè)極限與雙側(cè)極限之間存在一個極其重要的等價關(guān)系雙側(cè)極限 lim(x→a)f(x)L 存在的充要條件是左極限 lim(x→a?)f(x) 和右極限 lim(x→a?)f(x) 都存在并且都等于 L。這條是后面判斷“極限不存在”最常用的武器。比如 sgn(x) 在 x0 處右極限為 1左極限為 -1二者不相等所以雙側(cè)極限不存在。3.4 自變量走向無窮的三種存在定義自變量走向無窮定義里的半徑 δ 變成距離門檻 X形式如下x→∞ 時?ε0?X0?xxX|f(x)-L|εx→-∞ 時?ε0?X0?xx-X|f(x)-L|εx→∞|x|→∞時?ε0?X0?x|x|X|f(x)-L|ε第三個要特別小心它與前兩個不同x→∞ 要求的是“絕對值足夠大”去掉了方向限制。因此 lim(x→∞)f(x)L 存在的充要條件是 lim(x→∞)f(x) 和 lim(x→-∞)f(x) 都存在且相等。典型例子lim(x→∞)1/x0 是存在的因為正負兩個方向都收斂到 0lim(x→∞)arctanxπ/2lim(x→-∞)arctanx-π/2兩者不相等所以 lim(x→∞)arctanx 不存在。這類例子在各種考試里出現(xiàn)頻率極高因為很多人習(xí)慣把 x→∞ 和 x→∞ 混用。3.5 廣義無窮極限的 M-δ/M-N 定義為了后面講 21 種情況時口徑統(tǒng)一這里我把廣義無窮極限的定義也列出來。理解它的關(guān)鍵是把“誤差 ε”換成“巨大關(guān)卡 M”要求函數(shù)值能沖過任意高的關(guān)卡。x→a 時 f(x)→∞?M0?δ0?x0|x-a|δf(x)Mx→a 時 f(x)→-∞?M0?δ0?x0|x-a|δf(x)-Mn→∞ 時 x?→∞?M0?N∈???nnNx?Mx→∞ 時 f(x)→∞?M0?X0?xxXf(x)M其余組合可以照葫蘆畫瓢把“自變量約束條件”和“函數(shù)值不等式方向”改一下即可。需要再次強調(diào)在本文的約定里這些都不算“極限存在”而是“發(fā)散到無窮”是后面 21 種不存在清單里的重要成員。4. 21 種極限不存在的情形按“7×3”逐格清點4.1 三類失敗模式現(xiàn)在正式清點“極限不存在”。我先把“失敗模式”分成三類再和七種自變量過程交叉得到 7×321 種情形。模式 A發(fā)散到 ∞。函數(shù)或數(shù)列無上界地增大但不能收斂到有限數(shù)。模式 B發(fā)散到 -∞。函數(shù)或數(shù)列無下界地減小同樣不收斂到有限數(shù)。模式 C無極限也就是既不趨向有限數(shù)也不定向發(fā)散到無窮。這里面又包含很多子類型有界振蕩、無界振蕩、左右極限沖突、多個子列極限不一致等。用“發(fā)散到 ±∞”和“無極限”這兩個維度去區(qū)分基本能把所有“極限不存在”的情形一網(wǎng)打盡。如果你采用廣義極限口徑那模式 A、B 會被劃到“極限為無窮大”那一類但模式 C 無論如何都是不存在的。4.2 21 種情形總表下面這張表行是七種自變量過程列是三類失敗模式每個格子給一個最典型的代表例子。這張表值得你收藏后反復(fù)看。編號自變量過程模式 A趨向 ∞模式 B趨向 -∞模式 C無極限振蕩/沖突1n→∞x?nx?-nx?(-1)?2x→a雙側(cè)f(x)1/(x-a)2f(x)-1/(x-a)2f(x)sgn(x-a) 或 1/(x-a)3x→a?右側(cè)f(x)1/(x-a)f(x)-1/(x-a)f(x)sin(1/(x-a))4x→a?左側(cè)f(x)1/(a-x)f(x)-1/(a-x)f(x)sin(1/(x-a))5x→∞f(x)xf(x)-xf(x)sin x6x→-∞f(x)-xf(x)xf(x)sin x7x→∞f(x)x2f(x)-x2f(x)arctan x 或 sin x這張表的價值是把“極限不存在”從一團模糊的感覺變成了 21 個可以逐格驗證的斷言。你在做題時只要先判斷“自變量走的是哪條跑道”再看“函數(shù)是沖高了、沖低了、還是在左右搖擺”就能很快對上號如果函數(shù)正好卡在一個格子里那就能直接寫“極限不存在”。4.3 重點情形逐個拆振蕩、無界振蕩、左右沖突表里的前兩列證明思路基本都是“函數(shù)值無界增大/減小”相對直白。真正有意思的是第三列它包含了好幾種完全不同的“壞法”下面我挑四個最值得展開的講。第一個是數(shù)列 x?(-1)?。它不趨向任何數(shù)理由很樸素假設(shè)它收斂到 L取 ε1/2那么無論 N 取多大當指數(shù) n 在 N 之后繼續(xù)交替變化時x? 一會兒是 1一會兒是 -1兩者的距離是 2不可能同時落在以 L 為中心、半徑 1/2 的區(qū)間里。這就是“有界振蕩不收斂”的數(shù)列典型。第二個是 f(x)sin(1/x) 在 x→0 時。要證明它極限不存在要展示的更基本找兩個都趨向 0 的數(shù)列 x? 和 y?使得 f(x?) 和 f(y?) 趨向不同值。取 x?1/(kπ)這時 f(x?)sin(kπ)0取 y?2/[(4k1)π]這時 f(y?)sin((4k1)π/2)1。兩個數(shù)列都趨向 0函數(shù)值卻分別穩(wěn)定在 0 和 1所以極限不存在。這句話值得反復(fù)體會它本質(zhì)上是把多元函數(shù)路徑不一致的思想用在了單變量點上。第三個是 f(x)x sin x 在 x→∞ 時。這個例子的價值在于糾正一個錯誤直覺無界不等于無窮大。x sin x 在 xkππ/2 處取值約等于 kππ/2可以任意大所以它無界但它在 xkπ 處又等于 0。它既不是收斂于有限數(shù)也不是發(fā)散到 ∞ 或 -∞而是典型“無界振蕩”。判斷這類函數(shù)不能只看“好像很大”必須看能不能找到?jīng)_高點和零點交替出現(xiàn)的子列。第四個是左右沖突型代表例子是 f(x)arctanx 在 x→∞ 時。lim(x→∞)arctanxπ/2lim(x→-∞)arctanx-π/2兩邊的“終點”不一致所以 lim(x→∞)arctanx 不存在。這正是第 2.1 節(jié)強調(diào) x→∞ 與 x→±∞ 必須分開的原因。另一個常見左右沖突發(fā)生在有限點上f(x)sgn(x) 在 x0左極限 -1、右極限 1不相等于是雙側(cè)極限不存在。5. 拿到函數(shù)怎么快速判斷我的標準流程與幾個翻車現(xiàn)場5.1 四問判定法我在看一個函數(shù)極限到底存不存在時很少上來就套定義而是先問自己四個問題。第一問自變量走的哪條跑道是 n→∞還是 x→a還是 x→±∞這一步?jīng)Q定了后面用 δ、N 還是 X。第二問目標點附近函數(shù)有沒有定義如果分母在目標點變成 0或者根號里在目標點附近變成負數(shù)就得警惕了。注意“沒有定義”和“極限不存在”是兩回事比如 (sin x)/x 在 x0 處沒有定義但極限存在因為去心鄰域里函數(shù)處處有定義且趨勢穩(wěn)定。第三問函數(shù)的主要趨勢是什么多項式看最高次分式看分子分母的階數(shù)對比指數(shù)函數(shù)看底數(shù)大于 1 還是小于 1對數(shù)函數(shù)看自變量趨向 0 還是無窮。這一問能快速判斷它是不是模式 A 或模式 B。第四問有沒有振蕩結(jié)構(gòu)看到 sin(1/x)、cos(1/x)、(-1)?、nπ、階乘這類結(jié)構(gòu)就要懷疑模式 C。振蕩不等于一定不存在但一旦出現(xiàn)就必須用子列法或其他工具驗證。5.2 用定義證明存在的三招如果判斷結(jié)果是“存在”怎么用定義寫出證明三個常用招數(shù)送給你。第一招直接拼出 |f(x)-L| 并放大成 C|x-a| 或 C/n 的形式然后解出 δ 或 N。比如 |2x1-3|2|x-1|就得到 δε/2。第二招處理分式或根式時先主動限制 |x-a|1把自變量鎖在一個有界范圍內(nèi)方便給分母做下界估計最后取 δmin{1, 某個關(guān)于 ε 的表達式}。比如證明 lim(x→1)(1/x)1 時|1/x-1||x-1|/|x|先假設(shè) |x-1|1/2則 |x|1/2于是 |1/x-1|2|x-1|取 δmin{1/2, ε/2} 即可。這個 min 是標準動作不是可有可無的小技巧。第三招證明無窮極限時把 ε 換成 M把“小于”變成“大于”這時你找的不再是“誤差范圍內(nèi)”而是“關(guān)卡之上”。邏輯還是一樣給定任意大的 M找控制范圍讓函數(shù)值超過它。5.3 三個高頻翻車點最后分享幾個我反復(fù)在學(xué)生作業(yè)里看到的問題也是我當年自己踩過的坑。第一個坑把 x→∞ 當成 x→∞。arctanx 已經(jīng)說明問題了。看到 ∞ 沒寫符號必須默認為“絕對值趨向無窮”也就是正負兩個方向都要看。第二個坑只驗證部分子列就下結(jié)論。比如看到 x?(-1)? 有子列 x??→1就以為“極限等于 1”這是錯的。極限的定義要求所有子列、所有路徑都趨向同一個值只要找到兩條路徑結(jié)果不同直接判定不存在。第三個坑把“無界”說成“無窮大”。x sin x 在 x→∞ 時無界但不是無窮大因為無窮大要求“從某個時刻之后函數(shù)值一直大于 M”而 x sin x 每隔一段就會回到 0。無界只是必要條件不是充分條件。反過來很多人看到 f(x)1/(x-a)2 在 x→a 時跑到 ∞就說“極限存在等于 ∞”這在初等數(shù)學(xué)口徑下是要扣分的因為它不是有限常數(shù)。我在實際輔導(dǎo)中還有一個習(xí)慣讓學(xué)生把每種不存在的情形都自己手寫一遍證明尤其是 sin(1/x) 的子列法證明。很多“感覺上懂了”的說法一旦要求落實到“找 δ、找子列、列不等式”這三步漏洞馬上就出來了。極限這個主題看十遍不如寫一遍這比任何技巧都管用。