# 临界点 (数学)

紅點的x座標（橫坐標）是臨界點；藍點的x座標是拐点
在數學上，一個可微的实函数或複函數 WIKINIUM\_MATH\_PH\_0 的**臨界點**（英語：Critical point）是指在 WIKINIUM\_MATH\_PH\_2 的定義域中導數為0的點 。對於一個多變數實函數而言，臨界點是在定義域中所有偏導數為0的點。一個函數的臨界點的函数值稱為临界值。

這個概念重要的地方在於函數的局部極值會發生在臨界點上。

這個定義可以延伸到 WIKINIUM\_MATH\_PH\_4 與 WIKINIUM\_MATH\_PH\_6 之間的函數上，在這個情況下，臨界點是雅可比矩陣的秩不是最大的點。更進一步可以再延伸到微分流形之間的可微函數，在這個情況下臨界點也可以被稱為歧點。

特別的，假設 WIKINIUM\_MATH\_PH\_8 是一條由隱函數 WIKINIUM\_MATH\_PH\_10 定義的平面曲線。把 WIKINIUM\_MATH\_PH\_12 平行y軸投影到x軸的臨界點是 WIKINIUM\_MATH\_PH\_14 上所有滿足 WIKINIUM\_MATH\_PH\_16 的點。換句話說，臨界點是不能套用隱函數定理的點。

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

## 單變數函數的臨界點

一個可微實函數 WIKINIUM\_MATH\_PH\_18 的**臨界點** WIKINIUM\_MATH\_PH\_20 是一個在 WIKINIUM\_MATH\_PH\_22 的定義域中導數為0的點: WIKINIUM\_MATH\_PH\_24 ，**臨界值**是臨界點在 WIKINIUM\_MATH\_PH\_26 之下的像，這些概念可以藉由 WIKINIUM\_MATH\_PH\_28 的函數圖形來具象化:函數圖形在臨界點的位置會有水平切線而且函數的導數為0。雖然臨界點可以藉由函數圖形來具現化，但函數臨界點的概念和曲線在某些方向上的臨界點的概念並不能混為一談。如果 WIKINIUM\_MATH\_PH\_30 是一個兩變數可微函數， WIKINIUM\_MATH\_PH\_32 則是一個曲線的隱式方程，這樣的曲線對於平行 y 軸的投影(映射 WIKINIUM\_MATH\_PH\_34 )的**臨界點**，是曲線上滿足 WIKINIUM\_MATH\_PH\_36 的點，也就是說在那個點，曲線的切線會平行y軸，而且 WIKINIUM\_MATH\_PH\_38 不能定義成一個從 WIKINIUM\_MATH\_PH\_40 映射到 WIKINIUM\_MATH\_PH\_42 的隱函數（參考隱函數定理）。如果 WIKINIUM\_MATH\_PH\_44 是臨界點， WIKINIUM\_MATH\_PH\_46 則是對應的**臨界值**。這樣的臨界點也可以被稱為歧點，而且當 WIKINIUM\_MATH\_PH\_48 變動時，在 WIKINIUM\_MATH\_PH\_50 的一側有兩個曲線的分支而另一側沒有。

如果 WIKINIUM\_MATH\_PH\_52 有臨界點 WIKINIUM\_MATH\_PH\_54 和對應的臨界值 WIKINIUM\_MATH\_PH\_56 ，若且唯若 WIKINIUM\_MATH\_PH\_58 是 WIKINIUM\_MATH\_PH\_60 的函數圖形平行x軸投影的臨界點，且對應的臨界值是 WIKINIUM\_MATH\_PH\_62 。

例如，方程式 WIKINIUM\_MATH\_PH\_64 定義出單位圓，將單位圓平行 y 軸投影到 x 軸的臨界點是 WIKINIUM\_MATH\_PH\_66 和 WIKINIUM\_MATH\_PH\_68 ；將單位圓平行 x 軸投影到 y 軸的臨界點是 WIKINIUM\_MATH\_PH\_70 和 WIKINIUM\_MATH\_PH\_72 。上半圓是 WIKINIUM\_MATH\_PH\_74 的函數圖形 ， WIKINIUM\_MATH\_PH\_76 有唯一一個臨界點 0，其臨界值是 1。單位圓平行 y 軸的投影的臨界值則是對應到 WIKINIUM\_MATH\_PH\_78 的導數不存在的點。

有些作者會將函數 WIKINIUM\_MATH\_PH\_80 的**臨界點**定義為 WIKINIUM\_MATH\_PH\_82 的函數圖形平行 x 軸和 y 軸的投影的臨界點，以上述的上半圓的例子，-1、0、1 都是 WIKINIUM\_MATH\_PH\_84 的臨界點。然而，此定義大多只出現在基礎的課本，而且在定義的前面章節時候並未提到函數圖形以外的曲線，並且只限於單變數的情形，因為該定義不能推廣到多變數。

### 例子

* 函數 WIKINIUM\_MATH\_PH\_86 處處可微分，且導函數為 WIKINIUM\_MATH\_PH\_88 。此函數擁有唯一一個臨界點-1，因為它是唯一滿足 WIKINIUM\_MATH\_PH\_90 的數 WIKINIUM\_MATH\_PH\_92 。這個點是一個最小值，且對應到的臨界值為 WIKINIUM\_MATH\_PH\_94 。 WIKINIUM\_MATH\_PH\_96 的函數圖形是一個凹向上的拋物線，其臨界點是在切線為水平線的頂點的橫坐標，而臨界值則是頂點縱坐標，或者是說，切線與y軸的交點。
* 函數 WIKINIUM\_MATH\_PH\_98 對所有 WIKINIUM\_MATH\_PH\_100 都有定義，在 WIKINIUM\_MATH\_PH\_102 可微分，且其導數為 WIKINIUM\_MATH\_PH\_104 。因為 WIKINIUM\_MATH\_PH\_106 則 WIKINIUM\_MATH\_PH\_108 ，所以 WIKINIUM\_MATH\_PH\_110 的臨界點只可能發生在 WIKINIUM\_MATH\_PH\_112 上。因為 WIKINIUM\_MATH\_PH\_114 在 0 這點上是不可微的，所以不同的作者的定義會給出 0 是或不是臨界點不同的結果。 WIKINIUM\_MATH\_PH\_116 的圖形在 WIKINIUM\_MATH\_PH\_118 的位置是有一個尖點，且切線是鉛垂方向。如果視 0 為臨界點，則它對應到的臨界值是 WIKINIUM\_MATH\_PH\_120 。
* 函數 WIKINIUM\_MATH\_PH\_122 處處可微分，且導函數為 WIKINIUM\_MATH\_PH\_124 。它有兩個臨界點，分別在 WIKINIUM\_MATH\_PH\_126 和 WIKINIUM\_MATH\_PH\_128 。對應的兩個臨界值，分別是 WIKINIUM\_MATH\_PH\_130 的極大值 WIKINIUM\_MATH\_PH\_132 和極小值 WIKINIUM\_MATH\_PH\_134 。這個函數並沒有最大值或最小值。因為 WIKINIUM\_MATH\_PH\_136 ，所以我們可以發現在非臨界點的函數值也可以是臨界值。在幾何上，這表示在函數圖形上一個點（ WIKINIUM\_MATH\_PH\_138 ）的水平切線會與函數圖形相交於另一個點（ WIKINIUM\_MATH\_PH\_140 ），且交角為銳角。
* 函數 WIKINIUM\_MATH\_PH\_142 。點 WIKINIUM\_MATH\_PH\_144 看似臨界點，但它不在函數的定義域中。

### 臨界點的位置

根據高斯-盧卡斯定理，在複平面上所有多項式函數的臨界點會落在函數的根所構成的凸包內。所以對於一個只有實數解的多項式函數，所有的臨界點會是實數且落在最大的根和最小的根之間。

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

## 隱曲線的臨界點

在由隐函数定義出的平面曲線的研究上，臨界點扮演重要的角色，特別是在描繪曲線與決定拓樸結構方面。在本節中，臨界點定義由以下段落給出，它可能看起來與前面的定義完全不同，但事實上，它是前面定義的一個特殊情形。
我們考慮一個落在二維平面上的曲線 WIKINIUM\_MATH\_PH\_146 ，曲線上點的笛卡爾座標滿足由雙變數可微函數 WIKINIUM\_MATH\_PH\_148 定義的隱式方程 WIKINIUM\_MATH\_PH\_150 。設 WIKINIUM\_MATH\_PH\_152 、 WIKINIUM\_MATH\_PH\_154 分別是將曲線 WIKINIUM\_MATH\_PH\_156 投影到x、y軸上的標準投影，也就是 WIKINIUM\_MATH\_PH\_158 和 WIKINIUM\_MATH\_PH\_160 ， WIKINIUM\_MATH\_PH\_162 、 WIKINIUM\_MATH\_PH\_164 分別被稱作平行y軸方向和平行x軸方向的投影。

如果 C 在某個點上的切線存在，並且平行y軸，則稱該點是 WIKINIUM\_MATH\_PH\_166 的一個**臨界點**。此時，整條切線，包含該點，在 WIKINIUM\_MATH\_PH\_168 下的像都是同樣的值，稱為**臨界值**。所以 WIKINIUM\_MATH\_PH\_170 的臨界點就是座標滿足方程組 WIKINIUM\_MATH\_PH\_172 的點，下面將說明為何上述定義是原本定義的特殊情況。

類似的，我們有 WIKINIUM\_MATH\_PH\_174 的臨界點的定義，因此，如果 WIKINIUM\_MATH\_PH\_176 是 WIKINIUM\_MATH\_PH\_178 的函數圖形，則 WIKINIUM\_MATH\_PH\_180 是 WIKINIUM\_MATH\_PH\_182 的臨界點若且唯若 WIKINIUM\_MATH\_PH\_184 是 WIKINIUM\_MATH\_PH\_186 的臨界點，而且他們有相同的臨界值。

有些作者將平面曲線 WIKINIUM\_MATH\_PH\_188 的臨界點定義為 WIKINIUM\_MATH\_PH\_190 和 WIKINIUM\_MATH\_PH\_192 的臨界點，但是要注意到這個定義會依賴於坐標軸的選取。也有一些作者會將曲線的奇點也定義做臨界點，其中奇點是那些滿足方程式

 WIKINIUM\_MATH\_PH\_194
的點。在這個定義之下， WIKINIUM\_MATH\_PH\_196 的臨界點就是那些不適用隱函數定理的點。

### 判別式的使用

如果一個曲線 WIKINIUM\_MATH\_PH\_198 是代數的，也就是它可以被一個雙變數多項式函數 WIKINIUM\_MATH\_PH\_200 所定義，這時候判別式會是一個計算臨界點的有用工具。

## 可微分函數的臨界點

給定一個從 WIKINIUM\_MATH\_PH\_202 送到 WIKINIUM\_MATH\_PH\_204 的可微分函數 WIKINIUM\_MATH\_PH\_206 ，則 WIKINIUM\_MATH\_PH\_208 的**臨界點**是那些滿足 f 的雅可比矩陣的秩小於 WIKINIUM\_MATH\_PH\_210 的點。而臨界點在 WIKINIUM\_MATH\_PH\_212 之下所對應到的像稱為臨界值。如果一個點，位於所有臨界值所形成的集合的補集之中，便稱之為正則值。根據薩爾德定理，一個光滑函數的臨界值所形成的集合是零測集。特別在 WIKINIUM\_MATH\_PH\_214 時，在每個有界的區間中有有限個臨界值。

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

## 拓扑上的應用

臨界點是微分流形的拓扑結構與實代數幾何相關研究的基礎，特別的，它是莫爾斯理論和突變理論中的基本工具。

臨界點與拓扑學的關係在非常具體的情形終究可以體現出來。例如，令 WIKINIUM\_MATH\_PH\_216 是 WIKINIUM\_MATH\_PH\_218 中的子流形， WIKINIUM\_MATH\_PH\_220 是 WIKINIUM\_MATH\_PH\_222 外面的一點， WIKINIUM\_MATH\_PH\_224 是一個光滑函數將 WIKINIUM\_MATH\_PH\_226 中的點映射到與 WIKINIUM\_MATH\_PH\_228 的距離平方，很明顯的， WIKINIUM\_MATH\_PH\_230 在 WIKINIUM\_MATH\_PH\_232 的每個連通部分都至少有一個臨界點，就是距離最近的點。因此 WIKINIUM\_MATH\_PH\_234 的臨界點個數是 WIKINIUM\_MATH\_PH\_236 的連通部分個數的上界。

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

## 參考資料