學習目標與步驟
圖像綜合精確信息,不能取代精確分析。先確定定義域;化簡時保留被排除的輸入;計算邊界極限與漸近線;分析導數符號;再研究凹凸性和值域。端點、尖角和不連通的定義域分支須分別處理。
局部極值相對於附近的定義域點;全局極值比較整個定義域。內部臨界點是導數為零或不存在的點;駐點則特指導數為零。二階導數變號只有在連續曲線上的點才支持拐點判斷;被排除的極點不是拐點。
命題:導數符號為甚麼決定形狀
設 f f f 在區間 I I I 的每個閉子區間上連續,在其內部可微。若內部處處 f ′ > 0 f'>0 f ′ > 0 ,則 f f f 嚴格遞增;若 f ′ ≥ 0 f'\ge0 f ′ ≥ 0 ,則非遞減。若二階導數在 I I I 的整個內部存在且處處 f ′ ′ > 0 f''>0 f ′′ > 0 ,則 f ′ f' f ′ 嚴格遞增,f f f 嚴格凸。
單調性證明。 對 I I I 中任意 x < y x<y x < y ,中值定理給出 f ( y ) − f ( x ) = f ′ ( c ) ( y − x ) f(y)-f(x)=f'(c)(y-x) f ( y ) − f ( x ) = f ′ ( c ) ( y − x ) ,其中 c ∈ ( x , y ) c\in(x,y) c ∈ ( x , y ) 。由符號得到結論。當 f ′ ′ > 0 f''>0 f ′′ > 0 時,對 f ′ f' f ′ 應用相同論證,斜率遞增。為得到凸性,取 x < z < y x<z<y x < z < y 。[ x , z ] [x,z] [ x , z ] 與 [ z , y ] [z,y] [ z , y ] 上的割線斜率分別等於兩個依次位於這些區間內的點的導數值,因此前者不大於後者。整理得到 f ( z ) ≤ [ ( y − z ) f ( x ) + ( z − x ) f ( y ) ] / ( y − x ) f(z)\le[(y-z)f(x)+(z-x)f(y)]/(y-x) f ( z ) ≤ [( y − z ) f ( x ) + ( z − x ) f ( y )] / ( y − x ) ;若斜率嚴格遞增則不等式嚴格。這就是凸函數的弦不等式。
例題:完整分析有理曲線
設 f ( x ) = ( x 2 + 1 ) / ( x − 1 ) f(x)=(x^2+1)/(x-1) f ( x ) = ( x 2 + 1 ) / ( x − 1 ) 。定義域排除一;除法得 f ( x ) = x + 1 + 2 / ( x − 1 ) f(x)=x+1+2/(x-1) f ( x ) = x + 1 + 2/ ( x − 1 ) 。因為 x 2 + 1 > 0 x^2+1>0 x 2 + 1 > 0 ,沒有實數 x x x 軸截距;y y y 軸截距為 − 1 -1 − 1 。在 1 1 1 處左極限為 − ∞ -\infty − ∞ ,右極限為 + ∞ +\infty + ∞ 。在正、負無窮處均有 f ( x ) − ( x + 1 ) → 0 f(x)-(x+1)\to0 f ( x ) − ( x + 1 ) → 0 ,故斜漸近線為 y = x + 1 y=x+1 y = x + 1 。
導數為
f ′ ( x ) = 1 − 2 ( x − 1 ) 2 , f ′ ′ ( x ) = 4 ( x − 1 ) 3 . f'(x)=1-\frac2{(x-1)^2},\qquad f''(x)=\frac4{(x-1)^3}. f ′ ( x ) = 1 − ( x − 1 ) 2 2 , f ′′ ( x ) = ( x − 1 ) 3 4 .
臨界點為 1 ± 2 1\pm\sqrt2 1 ± 2 。一階導數在 ( − ∞ , 1 − 2 ) (-\infty,1-\sqrt2) ( − ∞ , 1 − 2 ) 和 ( 1 + 2 , ∞ ) (1+\sqrt2,\infty) ( 1 + 2 , ∞ ) 上為正,在中間兩個定義域區間上為負。因此左分支在 1 − 2 1-\sqrt2 1 − 2 處有局部最大值 2 − 2 2 2-2\sqrt2 2 − 2 2 ,右分支在 1 + 2 1+\sqrt2 1 + 2 處有局部最小值 2 + 2 2 2+2\sqrt2 2 + 2 2 。整個定義域上的函數值在正、負方向均無界,因此二者都不是全局極值。
由 f ′ ′ f'' f ′′ 的符號可知,左分支為凹,右分支為凸。跨越極點的符號變化不產生拐點。各分支的連續性、單調性及端點極限給出值域
( − ∞ , 2 − 2 2 ] ∪ [ 2 + 2 2 , ∞ ) . (-\infty,2-2\sqrt2]\ \cup\ [2+2\sqrt2,\infty). ( − ∞ , 2 − 2 2 ] ∪ [ 2 + 2 2 , ∞ ) .
圖像的每個特徵都由上述計算得到。
例題:絕對值函數的尖角
對 g ( x ) = ∣ x 2 − 1 ∣ g(x)=|x^2-1| g ( x ) = ∣ x 2 − 1∣ ,當 ∣ x ∣ ≥ 1 |x|\ge1 ∣ x ∣ ≥ 1 時表達式為 x 2 − 1 x^2-1 x 2 − 1 ,當 ∣ x ∣ < 1 |x|<1 ∣ x ∣ < 1 時為 1 − x 2 1-x^2 1 − x 2 。它處處連續,但在 − 1 -1 − 1 處左、右導數為 − 2 -2 − 2 、2 2 2 ,在 1 1 1 處也是 − 2 -2 − 2 、2 2 2 。這兩個點都是值為零的尖角最小值點。駐點 0 0 0 是值為一的局部最大值點,但不是全局最大值點,因為在無窮遠處 g ( x ) → ∞ g(x)\to\infty g ( x ) → ∞ 。若只尋找導數零點,會漏掉兩個全局最小值點。
分級練習
基礎。 求 h ( x ) = ( x 2 − 4 ) / ( x − 2 ) h(x)=(x^2-4)/(x-2) h ( x ) = ( x 2 − 4 ) / ( x − 2 ) 的所有漸近線和被排除的點。
核心。 判斷 x + 1 / x x+1/x x + 1/ x 在 ( 0 , ∞ ) (0,\infty) ( 0 , ∞ ) 上的單調性及全局最小值。
核心。 用導數符號而不是沒有結論的二階導數判別法,分別判別 x 3 x^3 x 3 和 x 4 x^4 x 4 的零點。
證明。 圖像能穿過水平漸近線嗎?能在非駐點處取到等於上確界的值嗎?舉例並說明定義域。
完整解答
定義域排除 2 2 2 ,其他處約分得到 x + 2 x+2 x + 2 。在 ( 2 , 4 ) (2,4) ( 2 , 4 ) 處有一個空點,沒有垂直漸近線,斜漸近線為 y = x + 2 y=x+2 y = x + 2 。
導數為 1 − 1 / x 2 1-1/x^2 1 − 1/ x 2 ,在 ( 0 , 1 ) (0,1) ( 0 , 1 ) 上為負、在 ( 1 , ∞ ) (1,\infty) ( 1 , ∞ ) 上為正。兩個邊界極限均為 + ∞ +\infty + ∞ ,故全局最小值 2 2 2 在 x = 1 x=1 x = 1 處取到。
對 x 3 x^3 x 3 ,3 x 2 3x^2 3 x 2 在零的兩側都為正,因此沒有極值;但 6 x 6x 6 x 變號使凹凸性改變,所以零是駐點拐點。對 x 4 x^4 x 4 ,4 x 3 4x^3 4 x 3 從負變正,零處為嚴格全局最小值;12 x 2 12x^2 12 x 2 不變號,因此沒有拐點。
可以:f ( x ) = sin x / x f(x)=\sin x/x f ( x ) = sin x / x 在 x > 0 x>0 x > 0 上趨於零,且在每個正整數倍 π \pi π 處穿過 y = 0 y=0 y = 0 。也可以:f ( x ) = x f(x)=x f ( x ) = x 在 [ 0 , 1 ] [0,1] [ 0 , 1 ] 上於端點取最大值一,內部駐點的必要條件不適用於該端點。另一個例子是 − ∣ x ∣ -|x| − ∣ x ∣ ,它在尖角處取得內部最大值,但該點不是駐點。
總結與術語
斜漸近線 指函數與某直線之差在無窮遠處趨於零。凹凸性 描述斜率如何變化;駐點拐點 改變曲率但斜率不變號。尖角 是左右斜率不等的連續點。對定義域各分支分別分析,並區分分支局部極值與整個定義域上的全局極值。
本篇所用方法的證明
有限實數極限運算與等比數列:補全證明
使用有序實數、阿基米德性質、正整數歸納法及絕對值三角不等式。數列收斂至有限實數 L L L ,是指每個 ε > 0 \varepsilon>0 ε > 0 都有對所有 n ≥ N n\ge N n ≥ N 有效的下標 N N N 。
唯一性、有界性與子列。 若 a n → L , M a_n\to L,M a n → L , M 且 L ≠ M L\ne M L = M ,在同一充分大下標使兩誤差均小於 ∣ L − M ∣ / 3 |L-M|/3 ∣ L − M ∣/3 ,三角不等式便給出 ∣ L − M ∣ < 2 ∣ L − M ∣ / 3 |L-M|<2|L-M|/3 ∣ L − M ∣ < 2∣ L − M ∣/3 ,矛盾。要證有界,令尾部 ∣ a n − L ∣ < 1 |a_n-L|<1 ∣ a n − L ∣ < 1 ,再取 ∣ L ∣ + 1 |L|+1 ∣ L ∣ + 1 與有限個初始絕對值的最大值。對子列下標 n 1 < n 2 < ⋯ n_1<n_2<\cdots n 1 < n 2 < ⋯ ,歸納給出 n k ≥ k n_k\ge k n k ≥ k ,故原數列的每個尾部閾值最終也適用於子列。
和、數乘及積。 若 a n → a a_n\to a a n → a 、b n → b b_n\to b b n → b ,令兩個輸入誤差均小於 ε / 2 \varepsilon/2 ε /2 ,則
∣ ( a n + b n ) − ( a + b ) ∣ ≤ ∣ a n − a ∣ + ∣ b n − b ∣ < ε . |(a_n+b_n)-(a+b)|\le|a_n-a|+|b_n-b|<\varepsilon. ∣ ( a n + b n ) − ( a + b ) ∣ ≤ ∣ a n − a ∣ + ∣ b n − b ∣ < ε .
對固定 c ≠ 0 c\ne0 c = 0 ,使用輸入容差 ε / ∣ c ∣ \varepsilon/|c| ε /∣ c ∣ ;c = 0 c=0 c = 0 直接成立。取所有 ∣ b n ∣ |b_n| ∣ b n ∣ 的一個上界 B ≥ 1 B\ge1 B ≥ 1 ,要求
∣ a n − a ∣ < ε 2 B , ∣ b n − b ∣ < ε 2 ( ∣ a ∣ + 1 ) . |a_n-a|<\frac{\varepsilon}{2B},\qquad |b_n-b|<\frac{\varepsilon}{2(|a|+1)}. ∣ a n − a ∣ < 2 B ε , ∣ b n − b ∣ < 2 ( ∣ a ∣ + 1 ) ε .
在共同的後期閾值後,∣ a n b n − a b ∣ ≤ B ∣ a n − a ∣ + ∣ a ∣ ∣ b n − b ∣ < ε |a_nb_n-ab|\le B|a_n-a|+|a||b_n-b|<\varepsilon ∣ a n b n − ab ∣ ≤ B ∣ a n − a ∣ + ∣ a ∣∣ b n − b ∣ < ε 。
倒數與商。 若 b ≠ 0 b\ne0 b = 0 ,先令 ∣ b n − b ∣ < ∣ b ∣ / 2 |b_n-b|<|b|/2 ∣ b n − b ∣ < ∣ b ∣/2 ,從而 ∣ b n ∣ > ∣ b ∣ / 2 |b_n|>|b|/2 ∣ b n ∣ > ∣ b ∣/2 ,分母非零。於是
∣ 1 b n − 1 b ∣ ≤ 2 ∣ b n − b ∣ ∣ b ∣ 2 . \left|\frac1{b_n}-\frac1b\right|\le\frac{2|b_n-b|}{|b|^2}. b n 1 − b 1 ≤ ∣ b ∣ 2 2∣ b n − b ∣ .
再要求 ∣ b n − b ∣ < ε ∣ b ∣ 2 / 2 |b_n-b|<\varepsilon|b|^2/2 ∣ b n − b ∣ < ε ∣ b ∣ 2 /2 ,便證明倒數收斂。乘積法則繼而給出 a n / b n → a / b a_n/b_n\to a/b a n / b n → a / b 。可省略最初有限個無定義的商;收斂只約束尾部。
保序與夾逼。 若最終 a n ≤ b n a_n\le b_n a n ≤ b n 且分別趨於 a , b a,b a , b ,則 a ≤ b a\le b a ≤ b ;否則將兩誤差限制在 ( a − b ) / 3 (a-b)/3 ( a − b ) /3 內會迫使 a n > b n a_n>b_n a n > b n 。若最終 a n ≤ z n ≤ b n a_n\le z_n\le b_n a n ≤ z n ≤ b n ,兩端都趨於 L L L ,令兩端誤差均小於 ε \varepsilon ε ,就得到 L − ε < z n < L + ε L-\varepsilon<z_n<L+\varepsilon L − ε < z n < L + ε ,所以 z n → L z_n\to L z n → L 。無需事先知道中間數列有極限。
對相應的函數極限法則,固定共同的允許趨近定義域 D ⊆ R D\subseteq\mathbb R D ⊆ R ,並設 a a a 是 D D D 的聚點:a a a 的每個去心鄰域都含 D D D 中的點。設 f , g : D → R f,g:D\to\mathbb R f , g : D → R 在 a a a 有所述的有限相對定義域極限。將上述估計中的尾部閾值改為去心定義域半徑,並取有限個正半徑的最小值。乘積證明只需局部有界:由 g ( x ) → b g(x)\to b g ( x ) → b ,充分小的去心 D D D 鄰域上有 ∣ g ( x ) ∣ ≤ ∣ b ∣ + 1 |g(x)|\le|b|+1 ∣ g ( x ) ∣ ≤ ∣ b ∣ + 1 ,即使它在 D D D 的其他部分無界。相同估計證明和、數乘、積、倒數及商的法則,並保留極限分母非零的條件;相同保序及夾逼估計適用於共同趨近域。證明唯一性或排除不相容的極限次序時,聚點條件提供實際定義域點。
對複合,設 B ⊆ R B\subseteq\mathbb R B ⊆ R 、b ∈ B b\in B b ∈ B ,且 F : B → R F:B\to\mathbb R F : B → R 在 b b b 相對於 B B B 連續。設 g : D → R g:D\to\mathbb R g : D → R 趨於 b b b ,並在 a a a 的某個充分小去心 D D D 鄰域中處處滿足 g ( x ) ∈ B g(x)\in B g ( x ) ∈ B 。給定 ε > 0 \varepsilon>0 ε > 0 ,連續性給出 η > 0 \eta>0 η > 0 ,使 u ∈ B u\in B u ∈ B 且 ∣ u − b ∣ < η |u-b|<\eta ∣ u − b ∣ < η 蘊含 ∣ F ( u ) − F ( b ) ∣ < ε |F(u)-F(b)|<\varepsilon ∣ F ( u ) − F ( b ) ∣ < ε 。g g g 的極限與複合定義域條件提供共同正半徑,令每個允許趨近的 x x x 都滿足兩條件。因此 F ( g ( x ) ) → F ( b ) F(g(x))\to F(b) F ( g ( x )) → F ( b ) 。這包括 g ( x ) = b g(x)=b g ( x ) = b 的輸入,不除以內層增量。
等比數列的分類。 對 t ≥ 0 t\ge0 t ≥ 0 ,Bernoulli 界 ( 1 + t ) n ≥ 1 + n t (1+t)^n\ge1+nt ( 1 + t ) n ≥ 1 + n t 可由歸納證明:將 n n n 的情形乘以正數 1 + t 1+t 1 + t ,保留非負餘項 n t 2 nt^2 n t 2 。若 0 < q < 1 0<q<1 0 < q < 1 ,令 t = q − 1 − 1 > 0 t=q^{-1}-1>0 t = q − 1 − 1 > 0 ,則
0 < q n ≤ 1 1 + n t ⟶ 0. 0<q^n\le\frac1{1+nt}\longrightarrow0. 0 < q n ≤ 1 + n t 1 ⟶ 0.
給定容差,由阿基米德性質選 N N N 使右側更小。因此 0 < ∣ r ∣ < 1 0<|r|<1 0 < ∣ r ∣ < 1 時,由 ∣ r n ∣ = ∣ r ∣ n |r^n|=|r|^n ∣ r n ∣ = ∣ r ∣ n 得 r n → 0 r^n\to0 r n → 0 ;r = 0 r=0 r = 0 時所有正下標項為零。r = 1 r=1 r = 1 時恆為一。r = − 1 r=-1 r = − 1 時偶、奇子列分別為一和負一,由唯一性及子列繼承性排除收斂。若 r > 1 r>1 r > 1 ,取 t = r − 1 t=r-1 t = r − 1 ,Bernoulli 給 r n ≥ 1 + n t → + ∞ r^n\ge1+nt\to+\infty r n ≥ 1 + n t → + ∞ 。若 r < − 1 r<-1 r < − 1 ,同理 ∣ r n ∣ → + ∞ |r^n|\to+\infty ∣ r n ∣ → + ∞ ,與收斂實數列必有界矛盾。這些情況窮盡所有實公比。
子列
定義
子列 ( x n ) (x_n) ( x n ) 的子列是 ( x n k ) (x_{n_k}) ( x n k ) ,其中 n 1 < n 2 < ⋯ n_1<n_2<\cdots n 1 < n 2 < ⋯ 為正整數。若 x n → L x_n\to L x n → L ,每個子列都收斂至 L L L ,因為 n k ≥ k n_k\ge k n k ≥ k ,最終會超過任意指定下標。
證明
套疊區間證明 把所有項放入閉有界區間 I 1 I_1 I 1 ,並把它平分。至少一半含無窮多個數列項;選該半區間為 I 2 I_2 I 2 。繼續進行,得到長度趨零的套疊閉區間 I k I_k I k ,每個都含無窮多項。選嚴格遞增的下標 n k n_k n k 使 x n k ∈ I k x_{n_k}\in I_k x n k ∈ I k ;因每個區間含無窮多項,故可做到。完備性給出所有區間的一個共同點 L L L :左端點集合的上確界位於每個區間內,因為每個左端點都不超過每個右端點。由 x n k , L ∈ I k x_{n_k},L\in I_k x n k , L ∈ I k ,二者距離不超過區間長度,故趨零。
結論是關於子列,而非整個數列。例如 ( − 1 ) n (-1)^n ( − 1 ) n 有分別收斂至 1 1 1 及 − 1 -1 − 1 的常數子列,但自身不收斂。
實直線閉集:序列判據與開補集
在通常的經典集合論背景下討論實直線,並允許可數次見證選擇。集合 U U U 為開集,是指每個 y y y 屬於 U U U 都有某個 r > 0 r>0 r > 0 ,使 ( y − r , y + r ) (y-r,y+r) ( y − r , y + r ) 包含於 U U U 。使用阿基米德性質的推論:1 / n 1/n 1/ n 趨於零。對任意實直線子集 K K K ,下列條件等價:
K K K 中任意在實直線上收斂的序列,其極限仍屬於 K K K 。
K K K 的補集為開集。
由 2 推出 1。 設 x n x_n x n 屬於 K K K 且 x n x_n x n 趨於 x x x 。若 x x x 不屬於 K K K ,補集的開放性給出 r > 0 r>0 r > 0 ,使 ( x − r , x + r ) (x-r,x+r) ( x − r , x + r ) 與 K K K 不相交。收斂性保證充分靠後時 ∣ x n − x ∣ < r |x_n-x|<r ∣ x n − x ∣ < r ,與 x n x_n x n 屬於 K K K 矛盾,故 x x x 屬於 K K K 。
由 1 推出 2。 固定不屬於 K K K 的 y y y 。若以 y y y 為中心的每個正半徑區間都遇到 K K K ,則對每個正整數 n n n ,都有 x n x_n x n 屬於 K K K 且 ∣ x n − y ∣ < 1 / n |x_n-y|<1/n ∣ x n − y ∣ < 1/ n 。將這些見證選成一個序列。給定 ε > 0 \varepsilon>0 ε > 0 ,取 N N N 使 1 / N < ε 1/N<\varepsilon 1/ N < ε ;當 n ≥ N n\ge N n ≥ N ,有 ∣ x n − y ∣ < 1 / n ≤ 1 / N < ε |x_n-y|<1/n\le1/N<\varepsilon ∣ x n − y ∣ < 1/ n ≤ 1/ N < ε ,故 x n x_n x n 趨於 y y y 。條件 1 會迫使 y y y 屬於 K K K ,矛盾。因此 y y y 周圍存在避開 K K K 的區間。對補集每點均如此,故補集開放。選擇見證序列這一步使用已聲明的經典背景;這裏不聲稱在不帶選擇的基礎體系中證明同一結論。若 K K K 為空,其中沒有序列,其補集為整個開實直線;若 K K K 為整個實直線,其空補集的開放性真空成立。兩種邊界情形也滿足等價關係。
學習目標與定義
集合 K ⊆ R K\subseteq\mathbb R K ⊆ R 稱為緊致的,如果任意一族開集只要其並包含 K K K ,就存在有限個成員仍覆蓋 K K K 。集合若包含其點構成的每個收斂序列的極限,則稱為閉集;等價地,其補集是開集。序列緊致性指 K K K 中每個序列都有收斂到 K K K 中某點的子列。
空集是緊致、閉且有界的,也滿足序列緊致性;這些性質均以空真方式成立。在需要選取點或無窮序列的證明中,要單獨處理空集。我們使用先前數列內容中的實數完備性及其閉區間套和 Bolzano–Weierstrass 推論。
定理:實數直線上的 Heine–Borel 定理
對 K ⊆ R K\subseteq\mathbb R K ⊆ R ,下列條件等價:開覆蓋意義下的緊致性;閉且有界;序列緊致性。
緊致推出閉且有界。 區間 ( − n , n ) (-n,n) ( − n , n ) (n ≥ 1 n\ge1 n ≥ 1 )覆蓋 R \mathbb R R ,因而覆蓋 K K K 。有限子覆蓋給出一個界。為證明閉性,取 y ∉ K y\notin K y ∈ / K 。對每個 x ∈ K x\in K x ∈ K ,區間 B ( x , ∣ x − y ∣ / 2 ) B(x,|x-y|/2) B ( x , ∣ x − y ∣/2 ) 不含 y y y 。取其中覆蓋 K K K 的有限子族,令 δ \delta δ 為這些區間中心到 y y y 的正距離的一半所組成的有限集合的最小值。所選以 x x x 為中心的區間內每點到 y y y 的距離嚴格大於 ∣ x − y ∣ / 2 ≥ δ |x-y|/2\ge\delta ∣ x − y ∣/2 ≥ δ 。因此 B ( y , δ ) B(y,\delta) B ( y , δ ) 與 K K K 不相交,因此對每個集合外的點,都找到不與集合相交的開鄰域,補集是開集。若 K K K 為空,結論立即成立。
閉且有界推出緊致。 將非空的 K K K 放入閉有界區間 I 0 I_0 I 0 。假設 K K K 的某個開覆蓋不存在有限子覆蓋。將 I 0 I_0 I 0 二等分;至少一個閉半區間與 K K K 的交集不能被有限覆蓋,否則兩組有限覆蓋合起來便覆蓋 K K K 。選取這樣的半區間並重複,得到長度趨於零的閉區間套 I n I_n I n ,且 K ∩ I n K\cap I_n K ∩ I n 不能被有限覆蓋。每個交集非空,選取 x n ∈ K ∩ I n x_n\in K\cap I_n x n ∈ K ∩ I n 。閉區間套性質給出唯一公共點 p p p ;因兩者均在 I n I_n I n 中,故 x n → p x_n\to p x n → p 。由閉性得 p ∈ K p\in K p ∈ K 。覆蓋中某個成員 O O O 含 p p p ;由其開放性,O O O 包含以 p p p 為中心的某個開球。當 n n n 足夠大時,整個區間 I n I_n I n 均在該球內,於是單個開集 O O O 就覆蓋 K ∩ I n K\cap I_n K ∩ I n ,矛盾。
閉且有界推出序列緊致。 K K K 中每個序列有界,故 Bolzano–Weierstrass 定理給出收斂子列。由閉性,其極限仍在 K K K 中。
序列緊致推出閉且有界。 若無界,可選取 x n ∈ K x_n\in K x n ∈ K ,使 ∣ x n ∣ > n |x_n|>n ∣ x n ∣ > n ;它沒有收斂到有限實數的子列,矛盾。若 p p p 是 K K K 中點的極限,則可選取 x n ∈ K x_n\in K x n ∈ K 使 ∣ x n − p ∣ < 1 / n |x_n-p|<1/n ∣ x n − p ∣ < 1/ n 。由序列緊致性,某子列收斂到 K K K 中一點;它也收斂到 p p p ,由實數極限唯一性得 p ∈ K p\in K p ∈ K 。因此 K K K 是閉集,所有蘊涵均已證明。
固定整數 n ≥ 1 n\ge1 n ≥ 1 ,在 R n \mathbb R^n R n 上使用歐幾里得範數。集合若包含在某個有限半徑的球內,就稱為有界 ;若補集是開集,就稱為閉集 ;若它的每個由 R n \mathbb R^n R n 中開集組成的覆蓋都有有限子覆蓋,就稱為緊集 。我們使用實數完備性,包括閉區間套性質。
有限維歐幾里得空間的 Heine–Borel 定理
定理。 集合 K ⊆ R n K\subseteq\mathbb R^n K ⊆ R n 緊致,當且僅當它閉且有界。空集具有這三種性質。
緊致推出有界。 開球 B ( 0 , m ) B(0,m) B ( 0 , m ) (整數 m ≥ 1 m\ge1 m ≥ 1 )覆蓋 K K K 。取有限子覆蓋後,K K K 包含在其中最大的球內。
緊致推出閉。 設 K ≠ ∅ K\ne\varnothing K = ∅ 且 y ∉ K y\notin K y ∈ / K 。開球 B ( x , ∥ x − y ∥ / 2 ) B(x,\|x-y\|/2) B ( x , ∥ x − y ∥/2 ) (x ∈ K x\in K x ∈ K )覆蓋 K K K 。取中心為 x 1 , … , x r x_1,\ldots,x_r x 1 , … , x r 的有限子覆蓋,令 δ = min i ∥ x i − y ∥ / 2 > 0 \delta=\min_i\|x_i-y\|/2>0 δ = min i ∥ x i − y ∥/2 > 0 。若 z z z 在以 x i x_i x i 為中心的所選球內,三角不等式給出 ∥ z − y ∥ > ∥ x i − y ∥ / 2 ≥ δ \|z-y\|>\|x_i-y\|/2\ge\delta ∥ z − y ∥ > ∥ x i − y ∥/2 ≥ δ 。所以 B ( y , δ ) B(y,\delta) B ( y , δ ) 不與 K K K 相交,補集是開集。
閉且有界推出緊致。 設非空的 K K K 閉且有界,把它包含在閉立方體 Q 0 = [ − M , M ] n Q_0=[-M,M]^n Q 0 = [ − M , M ] n 內,其中 M > 0 M>0 M > 0 。假設 K K K 的某個開覆蓋沒有有限子覆蓋。把每個坐標區間分成兩個閉半區間,所得 2 n 2^n 2 n 個閉子立方體覆蓋 Q 0 Q_0 Q 0 。至少一個子立方體與 K K K 的交集不能由給定覆蓋族有限覆蓋;否則把有限多個有限子覆蓋合併,就能覆蓋 K K K 。選取這樣的子立方體並重複,得到閉立方體套 Q j Q_j Q j ,其邊長為 2 M / 2 j 2M/2^j 2 M / 2 j ,且 K ∩ Q j K\cap Q_j K ∩ Q j 不能被有限覆蓋,因而非空。
對每個坐標使用閉區間套性質,得到公共坐標值;合起來得到 p ∈ ⋂ j Q j p\in\bigcap_jQ_j p ∈ ⋂ j Q j 。Q j Q_j Q j 中任意兩點的距離不超過 2 M n / 2 j 2M\sqrt n/2^j 2 M n / 2 j ,所以交集中只有 p p p 。選取 x j ∈ K ∩ Q j x_j\in K\cap Q_j x j ∈ K ∩ Q j ,則 ∥ x j − p ∥ ≤ 2 M n / 2 j → 0 \|x_j-p\|\le2M\sqrt n/2^j\to0 ∥ x j − p ∥ ≤ 2 M n / 2 j → 0 。閉集包含這種極限:若 p p p 在開補集中,p p p 周圍某個開球就會使最終的 x j x_j x j 落在 K K K 外,矛盾。因此 p ∈ K p\in K p ∈ K 。
覆蓋中有一個成員 O O O 含 p p p ,由開放性,存在 ε > 0 \varepsilon>0 ε > 0 使 B ( p , ε ) ⊆ O B(p,\varepsilon)\subseteq O B ( p , ε ) ⊆ O 。當 j j j 足夠大時,Q j Q_j Q j 的每點到 p p p 的距離都小於 ε \varepsilon ε ,於是單個 O O O 就覆蓋 K ∩ Q j K\cap Q_j K ∩ Q j ,與 Q j Q_j Q j 的選取矛盾。因此每個開覆蓋都有有限子覆蓋。這裏 2 n 2^n 2 n 是有限數;若改成無限多個子塊,這個論證就不再成立。
連續像與極值
定理。 若 K ⊆ R n K\subseteq\mathbb R^n K ⊆ R n 緊致,且 F : K → R m F:K\to\mathbb R^m F : K → R m 相對於 K K K 連續,則 F ( K ) F(K) F ( K ) 緊致。特別地,非空緊集 K K K 上的連續函數 f : K → R f:K\to\mathbb R f : K → R 有界,並達到最大值和最小值。
證明。 F ( K ) F(K) F ( K ) 的開覆蓋 ( O i ) (O_i) ( O i ) 的原像是相對開集 F − 1 ( O i ) = K ∩ U i F^{-1}(O_i)=K\cap U_i F − 1 ( O i ) = K ∩ U i ,其中 U i U_i U i 在 R n \mathbb R^n R n 中開。這些 U i U_i U i 覆蓋 K K K ,所以有限多個足夠。對應的 O i O_i O i 覆蓋 F ( K ) F(K) F ( K ) ,證明了像的緊致性。對標量函數 f f f ,由已證明定理的一維情形,其像非空、閉且有界。令 a = sup f ( K ) a=\sup f(K) a = sup f ( K ) 。對每個 j ≥ 1 j\ge1 j ≥ 1 ,由上確界定義,可取 y j ∈ f ( K ) y_j\in f(K) y j ∈ f ( K ) 使 a − 1 / j < y j ≤ a a-1/j<y_j\le a a − 1/ j < y j ≤ a 。於是 y j → a y_j\to a y j → a ,閉性使 a a a 屬於像,所以最大值可達。對 − f -f − f 使用同一論證即得最小值。該結論證明存在性,而不提供極大點的計算公式。
費馬必要條件。 在可微的內點局部最大值或最小值處,f ′ ( a ) = 0 f'(a)=0 f ′ ( a ) = 0 。
證明。 在局部最大值處,充分小的正增量給出非正差商,負增量給出非負差商。雙側導數的極限要同時滿足兩種符號,只能為零。對函數取負處理最小值。□ \square □
內點條件很重要:f ( x ) = x f(x)=x f ( x ) = x 在 [ 0 , 1 ] [0,1] [ 0 , 1 ] 上的極值出現在端點,儘管導數為 1。逆命題不成立:x 3 x^3 x 3 在零處導數為零,但那裡不是極值。
Rolle 定理。 若 a < b a<b a < b ,f f f 在 [ a , b ] [a,b] [ a , b ] 上連續、在 ( a , b ) (a,b) ( a , b ) 上可微,且 f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) ,則存在 c ∈ ( a , b ) c\in(a,b) c ∈ ( a , b ) 使 f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 。
證明。 極值定理保證最大值和最小值存在。若函數為常數,任意內點均符合要求。否則某值不同於相等的端點值,因此最大值或最小值之一出現在內部。可在該處應用費馬條件。□ \square □
中值定理。 在相同的連續與可微條件下,不要求端點值相等,則存在 c ∈ ( a , b ) c\in(a,b) c ∈ ( a , b ) 滿足 f ( b ) − f ( a ) = f ′ ( c ) ( b − a ) f(b)-f(a)=f'(c)(b-a) f ( b ) − f ( a ) = f ′ ( c ) ( b − a ) 。
從 f f f 減去割線 f ( a ) + [ f ( b ) − f ( a ) ] ( x − a ) / ( b − a ) f(a)+[f(b)-f(a)](x-a)/(b-a) f ( a ) + [ f ( b ) − f ( a )] ( x − a ) / ( b − a ) ,再應用 Rolle 定理即可。這一證明不假定 f ′ f' f ′ 連續。推論包括:導數在區間上為零則函數為常數;導數非負則函數不減;區間上 ∣ f ′ ∣ ≤ M |f'|\le M ∣ f ′ ∣ ≤ M 則其中各點滿足 ∣ f ( y ) − f ( x ) ∣ ≤ M ∣ y − x ∣ |f(y)-f(x)|\le M|y-x| ∣ f ( y ) − f ( x ) ∣ ≤ M ∣ y − x ∣ 。不能由一點的導數值推出整個區間上的導數界。
只用點處二次可微性的二階導數判別法
設 f f f 在 c c c 附近的開區間上可微,f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 ,且 f ′ f' f ′ 在 c c c 可微。若 f ′ ′ ( c ) > 0 f''(c)>0 f ′′ ( c ) > 0 ,則 c c c 是嚴格局部最小值點。不假設 f ′ ′ f'' f ′′ 在某鄰域連續。
令 k = f ′ ′ ( c ) > 0 k=f''(c)>0 k = f ′′ ( c ) > 0 。由定義,在該開區間內存在 δ > 0 \delta>0 δ > 0 ,使
f ′ ( c + h ) − f ′ ( c ) h > k / 2 > 0 ( 0 < ∣ h ∣ < δ ) . \frac{f'(c+h)-f'(c)}h>k/2>0\qquad(0<|h|<\delta). h f ′ ( c + h ) − f ′ ( c ) > k /2 > 0 ( 0 < ∣ h ∣ < δ ) .
由於 f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 ,負 h h h 給出 f ′ ( c + h ) < 0 f'(c+h)<0 f ′ ( c + h ) < 0 ,正 h h h 給出 f ′ ( c + h ) > 0 f'(c+h)>0 f ′ ( c + h ) > 0 。若 c < x < c + δ c<x<c+\delta c < x < c + δ ,在 [ c , x ] [c,x] [ c , x ] 用中值定理,得 f ( x ) − f ( c ) = f ′ ( ξ ) ( x − c ) > 0 f(x)-f(c)=f'(\xi)(x-c)>0 f ( x ) − f ( c ) = f ′ ( ξ ) ( x − c ) > 0 。若 c − δ < x < c c-\delta<x<c c − δ < x < c ,在 [ x , c ] [x,c] [ x , c ] 用中值定理,得 f ( c ) − f ( x ) = f ′ ( ξ ) ( c − x ) < 0 f(c)-f(x)=f'(\xi)(c-x)<0 f ( c ) − f ( x ) = f ′ ( ξ ) ( c − x ) < 0 ,仍有 f ( x ) > f ( c ) f(x)>f(c) f ( x ) > f ( c ) ,所以是嚴格局部最小值。可微性保證這些閉子區間上的連續性,故定理適用。若 f ′ ′ ( c ) < 0 f''(c)<0 f ′′ ( c ) < 0 ,對 − f -f − f 使用同一結果,得到嚴格局部最大值。若 f ′ ′ ( c ) = 0 f''(c)=0 f ′′ ( c ) = 0 ,沒有結論:零處的 x 4 x^4 x 4 、− x 4 -x^4 − x 4 、x 3 x^3 x 3 分別有最小值、最大值及無極值,而一階、二階導數都為零。駐點及內部鄰域條件不可少;單獨 f ′ ′ ( c ) > 0 f''(c)>0 f ′′ ( c ) > 0 並不足夠,例如零處的 f ( x ) = x + x 2 f(x)=x+x^2 f ( x ) = x + x 2 。