临界点(数学) - 维基百科，自由的百科全书

在數學上，一個可微的實函數或複函數 f {\displaystyle f} f 的臨界點（英語：Critical point）是指在 f {\displaystyle f} f 的定義域中導數為0 的點 。

臨界點(數學) 語言 監視 編輯 此條目需要精通或熟悉相關主題的編者參與及協助編輯。

(2019年1月26日)請邀請適合的人士改善本條目。

更多的細節與詳情請參見討論頁。

此條目可參照英語維基百科相應條目來擴充。

若您熟悉來源語言和主題，請協助參考外語維基百科擴充條目。

請勿直接提交機械翻譯，也不要翻譯不可靠、低品質內容。

依版權協議，譯文需在編輯摘要註明來源，或於討論頁頂部標記{{Translatedpage}}標籤。

提示：此條目的主題不是駐點。

在數學上，一個可微的實函數或複函數 f {\displaystylef} 的臨界點（英語：Criticalpoint）是指在 f {\displaystylef} 的定義域中導數為0的點[1][2]。

[註1]對於一個多變數實函數（英語：functionofseveralrealvariables）而言，臨界點是在定義域中所有偏導數為0的點[3]。

一個函數的臨界點的函數值稱為臨界值。

紅點的x座標(橫坐標)是臨界點；藍點的x座標是反曲點 這個概念重要的地方在於函數的局部極值會發生在臨界點上。

這個定義可以延伸到 R m {\displaystyle\mathbb{R}^{m}} 與 R n {\displaystyle\mathbb{R}^{n}} 之間的函數上，在這個情況下，臨界點是雅可比矩陣的秩不是最大的點。

更進一步可以再延伸到微分流形之間的可微函數，在這個情況下臨界點也可以被稱為歧點。

特別的，假設 C {\displaystyleC} 是一條由隱函數 f ( x , y ) = 0 {\displaystylef(x,y)=0} 定義的平面曲線。

把 C {\displaystyleC} 平行y軸投影到x軸的臨界點是 C {\displaystyleC} 上所有滿足 ∂ f ∂ y ( x , y ) = 0 {\displaystyle{\frac{\partialf}{\partialy}}(x,y)=0} 的點。

換句話說，臨界點是不能套用隱函數定理的點。

臨界點這個概念能夠使用數學來描述哥白尼時代之前無法解釋的天文學現象，一個星球的軌跡的留點是一個在天球的星球軌跡上星球轉向其他方向前看起來停止的點，因為它是在黃道圓上軌跡投影的臨界點。

目次 1單變數函數的臨界點 1.1例子 1.2臨界點的位置 2隱曲線的臨界點 2.1判別式的使用 3可微分函數的臨界點 4拓樸上的應用 5注釋 6參考資料 單變數函數的臨界點編輯 一個可微實函數 f {\displaystylef}  的臨界點 x 0 {\displaystylex_{0}}  是一個在 f {\displaystylef}  的定義域中導數為0的點: f ′ ( x 0 ) = 0 {\displaystylef'(x_{0})=0}  ，臨界值是臨界點在 f {\displaystylef}  之下的像，這些概念可以藉由 f {\displaystylef}  的函數圖形來具象化:函數圖形在臨界點的位置會有水平切線而且函數的導數為0。

雖然臨界點可以藉由函數圖形來具現化，但函數臨界點的概念和曲線在某些方向上的臨界點的概念並不能混為一談。

如果 g ( x , y ) {\displaystyleg(x,y)}  是一個兩變數可微函數， g ( x , y ) = 0 {\displaystyleg(x,y)=0}  則是一個曲線的隱式方程，這樣的曲線對於平行y軸的投影(映射 ( x , y ) → x {\displaystyle(x,y)\rightarrowx}  )的臨界點，是曲線上滿足 ∂ g ∂ y ( x , y ) = 0 {\displaystyle{\frac{\partialg}{\partialy}}(x,y)=0}  的點，也就是說在那個點，曲線的切線會平行y軸，而且g不能定義成一個從x映射到y的隱函數(參考隱函數定理)。

如果 ( x 0 , y 0 ) {\displaystyle(x_{0},y_{0})}  是臨界點， x 0 {\displaystylex_{0}}  則是對應的臨界值。

這樣的臨界點也可以被稱為歧點，而且當x變動時，在 x 0 {\displaystylex_{0}}  的一側有兩個曲線的分支而另一側沒有。

如果 f ( x ) {\displaystylef(x)}  有臨界點 x 0 {\displaystylex_{0}}  和對應的臨界值 y 0 {\displaystyley_{0}}  ，若且唯若 ( x 0 , y 0 ) {\displaystyle(x_{0},y_{0})}  是 f {\displaystylef}  的函數圖形平行x軸投影的臨界點，且對應的臨界值是 y 0 {\displaystyley_{0}}  。

例如，方程式 x 2 + y 2 = 1 {\displaystylex^{2}+y^{2}=1}  定義出單位圓，將單位圓平行y軸投影到x軸的臨界點是(0,1)和(0,-1)；將單位圓平行x軸投影到y軸的臨界點是(1,0)和(-1,0)。

上半圓是 f ( x ) = 1 − x 2 {\displaystylef(x)={\sqrt{1-x^{2}}}}  的函數圖形， f {\displaystylef}  有唯一一個臨界點0，其臨界值是1。

單位圓平行y軸的投影的臨界值則是對應到 f {\displaystylef}  的導數不存在的點。

有些作者會將函數 f {\displaystylef}  的臨界點定義為 f {\displaystylef}  的函數圖形平行x軸和y軸的投影的臨界點，以上述的上半圓的例子，-1、0、1都是 f {\displaystylef}  的臨界點。

然而，此定義大多只出現在基礎的課本，而且在定義的前面章節時候並未提到函數圖形以外的曲線，並且只限於單變數的情形，因為該定義不能推廣到多變數。

例子編輯 函數 f ( x ) = x 2 + 2 x + 3 {\displaystylef(x)=x^{2}+2x+3}  處處可微分，且導函數為 f ′ ( x ) = 2 x + 2 {\displaystylef'(x)=2x+2}  。

此函數擁有唯一一個臨界點-1，因為它是唯一滿足 2 x 0 + 2 = 0 {\displaystyle2x_{0}+2=0}  的數 x 0 {\displaystylex_{0}}  。

這個點是一個最小值，且對應到的臨界值為 f ( − 1 ) = 2 {\displaystylef(-1)=2}  。

f {\displaystylef}  的函數圖形是一個凹向上的拋物線，其臨界點是在切線為水平線的頂點的橫坐標，而臨界值則是頂點縱坐標，或者是說，切線與y軸的交點。

函數 f ( x ) = x 2 3 {\displaystylef(x)=x^{\frac{2}{3}}}  對所有x都有定義，在 x ≠ 0 {\displaystylex\neq0}  可微分，且其導數為 f ′ ( x ) = 2 3 x − 1 3 {\displaystylef'(x)={\frac{2}{3}}x^{-{\frac{1}{3}}}}  。

因為 x ≠ 0 {\displaystylex\neq0}  則 f ′ ( x ) ≠ 0 {\displaystylef'(x)\neq0}  ，所以 f {\displaystylef}  的臨界點只可能發生在x=0上。

因為 f {\displaystylef}  在0這點上是不可微的，所以不同的作者的定義會給出0是或不是臨界點不同的結果。

f {\displaystylef}  的圖形在x=0的位置是有一個尖點，且切線是鉛垂方向。

如果視0為臨界點，則它對應到的臨界值是f(0)=0。

函數 f ( x ) = x 3 − 3 x + 1 {\displaystylef(x)=x^{3}-3x+1}  處處可微分，且導函數為 f ′ ( x ) = 3 x 2 − 3 {\displaystylef'(x)=3x^{2}-3}  。

它有兩個臨界點，分別在x=1和x=-1。

對應的兩個臨界值，分別是 f {\displaystylef}  的極大值 f ( − 1 ) = 3 {\displaystylef(-1)=3}  和極小值 f ( 1 ) = − 1 {\displaystylef(1)=-1}  。

這個函數並沒有最大值或最小值。

因為 f ( 2 ) = 3 {\displaystylef(2)=3}  ，所以我們可以發現在非臨界點的函數值也可以是臨界值。

在幾何上，這表示在函數圖形上一個點(x=-1)的水平切線會與函數圖形相交於另一個點(x=2)，且交角為銳角。

函數 f ( x ) = 1 x {\displaystylef(x)={\frac{1}{x}}}  。

點x=0看似臨界點，但它不在函數的定義域中。

臨界點的位置編輯 根據高斯-盧卡斯定理，在複平面上所有多項式函數的臨界點會落在函數的根所構成的凸包內。

所以對於一個只有實數解的多項式函數，所有的臨界點會是實數且落在最大的根和最小的根之間。

森多夫猜想（英語：Sendov'sconjecture）聲稱，在複平面上如果一個函數所有的根都落在單位圓中，那麼對於任意給定的根，至少有一個臨界點與其的距離不超過1。

隱曲線的臨界點編輯 參見：代數曲線 在由隱函數定義出的平面曲線的研究上，臨界點扮演重要的角色，特別是在描繪曲線與決定拓樸結構方面。

在本節中，臨界點定義由以下段落給出，它可能看起來與前面的定義完全不同，但事實上，它是前面定義的一個特殊情形。

我們考慮一個落在二維平面上的曲線 C {\displaystyleC}  ，曲線上點的笛卡爾座標滿足由雙變數可微函數 f {\displaystylef}  定義的隱式方程 f ( x , y ) = 0 {\displaystylef(x,y)=0}  。

設 π x {\displaystyle\pi_{x}}  、 π y {\displaystyle\pi_{y}}  分別是將曲線C投影到x、y軸上的標準投影，也就是 π x ( x , y ) = x {\displaystyle\pi_{x}(x,y)=x}  和 π y ( x , y ) = y {\displaystyle\pi_{y}(x,y)=y}  ， π x {\displaystyle\pi_{x}}  、 π y {\displaystyle\pi_{y}}  分別被稱作平行y軸方向和平行x軸方向的投影。

如果C在某個點上的切線存在，並且平行y軸，則稱該點是 π y {\displaystyle\pi_{y}}  的一個臨界點。

此時，整條切線，包含該點，在 π y {\displaystyle\pi_{y}}  下的像都是同樣的值，稱為臨界值。

所以 π y {\displaystyle\pi_{y}}  的臨界點就是座標滿足方程組 f ( x , y ) = ∂ f ∂ y ( x , y ) = 0 {\displaystylef(x,y)={\frac{\partialf}{\partialy}}(x,y)=0}  的點，下面將說明為何上述定義是原本定義的特殊情況。

類似的，我們有 π x {\displaystyle\pi_{x}}  的臨界點的定義，因此，如果C是 y = g ( x ) {\displaystyley=g(x)}  的函數圖形，則 ( x , y ) {\displaystyle(x,y)}  是 π x {\displaystyle\pi_{x}}  的臨界點若且唯若 x {\displaystylex}  是 g {\displaystyleg}  的臨界點，而且他們有相同的臨界值。

有些作者將平面曲線C的臨界點定義為 π x {\displaystyle\pi_{x}}  和 π y {\displaystyle\pi_{y}}  的臨界點，但是要注意到這個定義會依賴於坐標軸的選取。

也有一些作者會將曲線的奇點也定義做臨界點，其中奇點是那些滿足方程式 f ( x , y ) = ∂ f ∂ x ( x , y ) = ∂ f ∂ y ( x , y ) = 0 {\displaystylef(x,y)={\frac{\partialf}{\partialx}}(x,y)={\frac{\partialf}{\partialy}}(x,y)=0}  的點。

在這個定義之下， π y {\displaystyle\pi_{y}}  的臨界點就是那些不適用隱函數定理的點。

判別式的使用編輯 如果一個曲線 C {\displaystyleC}  是代數的，也就是它可以被一個雙變數多項式函數f所定義，這時候判別式會是一個計算臨界點的有用工具。

可微分函數的臨界點編輯 給定一個從Rm送到Rn的可微分函數f，則f的臨界點是那些滿足f的雅可比矩陣的秩小於n的點。

而臨界點在f之下所對應到的像稱為臨界值。

如果一個點，位於所有臨界值所形成的集合的補集之中，便稱之為正則值。

根據薩爾德定理（英語：Sard'stheorem），一個光滑函數的臨界值所形成的集合是零測集。

特別在n=1時，在每個有界的區間中有有限個臨界值。

這個定義可以延伸到微分流形上的可微函數。

拓樸上的應用編輯 臨界點是微分流形的拓樸結構與實代數幾何（英語：realalgebraicgeometry）相關研究的基礎，特別的，它是莫爾斯理論和突變理論（英語：catastrophetheory）中的基本工具。

臨界點與拓樸學的關係在非常具體的情形終究可以體現出來。

例如，令 V {\displaystyleV}  是 R n {\displaystyle\mathbb{R}^{n}}  中的子流形， P {\displaystyleP}  是 V {\displaystyleV}  外面的一點， f : V → R {\displaystylef\colonV\rightarrow\mathbb{R}}  是一個光滑函數將 V {\displaystyleV}  中的點映射到與 P {\displaystyleP}  的距離平方，很明顯的， f {\displaystylef}  在 V {\displaystyleV}  的每個連通部分都至少有一個臨界點，就是距離最近的點。

因此 f {\displaystylef}  的臨界點個數是 V {\displaystyleV}  的連通部分個數的上界。

在實代數幾何，上述觀察變成多項式的次數是由它所定義出來的代數簇的聯通部分個數的上界。

注釋編輯 ^有些作者會把臨界點的定義包括一般實或複函數的定義域中導數為0的點和不可微的點。

參考資料編輯 ^Stewart,James.Calculus:EarlyTranscendentals6th.Brooks/Cole.2008.ISBN 0-495-01166-5.  ^Larson,Ron;Edwards,BruceH.Calculus9th.Brooks/Cole.2009.ISBN 0-547-16702-4.  ^Adams,RobertA.;Essex,Christopher.Calculus:ACompleteCourse.PearsonPrenticeHall.2009:744.ISBN 978-0-321-54928-0.  取自「https://zh.wikipedia.org/w/index.php?title=临界点_(数学)&oldid=71558193」