在數學上，一個可微的實函式或複函式 f 的臨界點是指在 f 的定義域中導數為 0 的點 。對於一個而言，臨界點是在定義域中所有偏導數為 0 的點。一個函式的臨界點的函式值稱為臨界值。 這個概念重要的地方在於函式的區域性極值會發生在臨界點上。 這個定義可以延伸到 mathbb Rm 與 mathbb Rn 之間的函式上，在這個情況下，臨界點是雅可比矩陣的秩不是最大的點。更進一步可以再延伸到微分流形之間的可微函式，在這個情況下臨界點也可以被稱為歧點。 特別的，假設 C 是一條由隱函式 f xy0 定義的平面曲線。把 C 平行 y 軸投影到 x 軸的臨界點是 C 上所有滿足 frac partial fpartial yxy0 的點。換句話說，臨界點是不能套用隱函式定理的點。 臨界點這個概念能夠使用數學來描述哥白尼時代之前無法解釋的天文學現象，一個星球的軌跡的留點是一個在天球的星球軌跡上星球轉向其他方向前看起來停止的點，因為它是在黃道圓上軌跡投影的臨界點。 單變數函式的臨界點 一個可微實函式 f 的臨界點 x_0 是一個在 f 的定義域中導數為 0 的點fx_00，臨界值是臨界點在 f 之下的像，這些概念可以藉由 f 的函式圖形來具象化：函式圖形在臨界點的位置會有水平切線而且函式的導數為 0。雖然臨界點可以藉由函式圖形來具現化，但函式臨界點的概念和曲線在某些方向上的臨界點的概念並不能混為一談。如果 g xy 是一個兩變數可微函式，g xy0 則是一個曲線的隱式方程，這樣的曲線對於平行 y 軸的投影 對映 xyrightarrow x 的臨界點，是曲線上滿足 frac partial gpartial yxy0 的點，也就是說在那個點，曲線的切線會平行 y 軸，而且 g 不能定義成一個從 x 對映到 y 的隱函式 參考隱函式定理。如果 x_0y_0 是臨界點，x_0 則是對應的臨界值。這樣的臨界點也可以被稱為歧點，而且當 x 變動時，在 x_0 的一側有兩個曲線的分支而另一側沒有。 如果 f x 有臨界點 x_0 和對應的臨界值 y_0，若且唯若 x_0y_0 是 f 的函式圖形平行 x 軸投影的臨界點，且對應的臨界值是 y_0。 例如，方程式 x2y21 定義出單位圓，將單位圓平行 y 軸投影到 x 軸的臨界點是 0 1 和 0 1；將單位圓平行 x 軸投影到 y 軸的臨界點是 1 0 和 1 0。上半圓是 f xsqrt 1x2 的函式圖形 ，f 有唯一一個臨界點 0，其臨界值是 1。單位圓平行 y 軸的投影的臨界值則是對應到 f 的導數不存在的點。 有些作者會將函式 f 的臨界點定義為 f 的函式圖形平行 x 軸和 y 軸的投影的臨界點，以上述的上半圓的例子，1、0、1 都是 f 的臨界點。然而，此定義大多隻出現在基礎的課本，而且在定義的前面章節時候並未提到函式圖形以外的曲線，並且只限於單變數的情形，因為該定義不能推廣到多變數。 例子 函式 f xx22x3 處處可微分，且導函式為 fx2x2。此函式擁有唯一一個臨界點 1，因為它是唯一滿足 2x_020 的數 x_0。這個點是一個最小值，且對應到的臨界值為 f 12。f 的函式圖形是一個凹向上的拋物線，其臨界點是在切線為水平線的頂點的橫坐標，而臨界值則是頂點縱坐標，或者是說，切線與 y 軸的交點。 函式 f xxfrac 23 對所有 x 都有定義，在 xneq0 可微分，且其導數為 fxfrac 23 xfrac 13。因為 xneq0 則 fxneq0，所以 f 的臨界點只可能發生在 x0 上。因為 f 在 0 這點上是不可微的，所以不同的作者的定義會給出 0 是或不是臨界點不同的結果。f 的圖形在 x0 的位置是有一個尖點，且切線是鉛垂方向。如果視 0 為臨界點，則它對應到的臨界值是 f 00。 函式 f xx33x1 處處可微分，且導函式為 fx3x23。它有兩個臨界點，分別在 x1 和 x 1 。對應的兩個臨界值，分別是 f 的極大值 f 13 和極小值 f 1 1。這個函式並沒有最大值或最小值。因為 f 23，所以我們可以發現在非臨界點的函式值也可以是臨界值。在幾何上，這表示在函式圖形上一個點 x1 的水平切線會與函式圖形相交於另一個點 x2，且交角為銳角。 函式 f xfrac 1x。點 x0 看似臨界點，但它不在函式的定義域中。 臨界點的位置 根據高斯 盧卡斯定理，在複平面上所有多項式函式的臨界點會落在函式的根所構成的凸包內。所以對於一個只有實數解的多項式函式，所有的臨界點會是實數且落在最大的根和最小的根之間。 聲稱，在複平面上如果一個函式所有的根都落在單位圓中，那麼對於任意給定的根，至少有一個臨界點與其的距離不超過 1。 隱曲線的臨界點 在由隱函式定義出的平面曲線的研究上，臨界點扮演重要的角色，特別是在描繪曲線與決定拓樸結構方面。在本節中，臨界點定義由以下段落給出，它可能看起來與前面的定義完全不同，但事實上，它是前面定義的一個特殊情形。我們考慮一個落在二維平面上的曲線 C，曲線上點的笛卡爾座標滿足由雙變數可微函式 f 定義的隱式方程 f xy0。設 pi_x、pi_y 分別是將曲線 C 投影到 x、y 軸上的標準投影，也就是 pi_x xyx 和 pi_y xyy，pi_x、pi_y 分別被稱作平行 y 軸方向和平行 x 軸方向的投影。 如果 C 在某個點上的切線存在，並且平行 y 軸，則稱該點是 pi_y 的一個臨界點。此時，整條切線，包含該點，在 pi_y 下的像都是同樣的值，稱為臨界值。所以 pi_y 的臨界點就是座標滿足方程組 f xyfrac partial fpartial yxy0 的點，下面將說明為何上述定義是原本定義的特殊情況。 類似的，我們有 pi_x 的臨界點的定義，因此，如果 C 是 yg x 的函式圖形，則 xy 是 pi_x 的臨界點若且唯若 x 是 g 的臨界點，而且他們有相同的臨界值。 有些作者將平面曲線 C 的臨界點定義為 pi_x 和 pi_y 的臨界點，但是要注意到這個定義會依賴於坐標軸的選取。也有一些作者會將曲線的奇點也定義做臨界點，其中奇點是那些滿足方程式 f xyfrac partial fpartial xxyfrac partial fpartial yxy0 的點。在這個定義之下，pi_y 的臨界點就是那些不適用隱函式定理的點。 判別式的使用 如果一個曲線 C 是代數的，也就是它可以被一個雙變數多項式函式 f 所定義，這時候判別式會是一個計算臨界點的有用工具。 可微分函式的臨界點 給定一個從 Rm 送到 Rn 的可微分函式 f ，則 f 的臨界點是那些滿足 f 的雅可比矩陣的秩小於 n 的點。而臨界點在 f 之下所對應到的像稱為臨界值。如果一個點，位於所有臨界值所形成的集合的補集之中，便稱之為正則值。根據，一個光滑函式的臨界值所形成的集合是零測集。特別在 n 1 時，在每個有界的區間中有有限個臨界值。 這個定義可以延伸到微分流形上的可微函式。 拓撲上的應用 臨界點是微分流形的拓撲結構與相關研究的基礎，特別的，它是莫爾斯理論和中的基本工具。 臨界點與拓撲學的關係在非常具體的情形終究可以體現出來。例如，令 V 是 mathbb Rn 中的子流形，P 是 V 外面的一點，f colon V rightarrow mathbb R 是一個光滑函式將 V 中的點對映到與 P 的距離平方，很明顯的，f 在 V 的每個連通部分都至少有一個臨界點，就是距離最近的點。因此 f 的臨界點個數是 V 的連通部分個數的上界。 在實代數幾何，上述觀察變成多項式的次數是由它所定義出來的代數簇的聯通部分個數的上界。 註釋 參考資料 Category 微積分學 分類：多變數微積分 分類：光滑函式