臨界点 (数学)
数学において，あるいはの可微分関数の臨界点（りんかいてん，）あるいは（ていりゅうてん，）とは，微分が 0 あるいは未定義となる定義域内の任意の値である．に対して，臨界点はすべての偏微分が 0 になるような定義域内の値である．関数の臨界点における値は臨界値（りんかいち，）である．
この概念の興味は，関数が極値をとる点は臨界点であるという事実にある．
この定義は と の間の可微分写像に拡張し，臨界点はこの場合ヤコビ行列の階数が最大でない点である．さらに，可微分多様体の間の可微分写像にも同様に拡張される．この場合，臨界点は とも呼ばれる．
特に， が陰方程式 で定義される平面曲線のとき， 軸に平行な 軸への射影の臨界点は の接線が 軸に平行な点，つまり，formula_1 なる点である．言い換えると，臨界点は陰関数定理が適用できない点である．
"臨界点"の概念により，コペルニクスの時代より前には解明されなかった天文学の現象の数学的記述ができる．惑星の軌道の停留点は天球上の惑星の軌道の点であって惑星の動きが他の方向に再出発する前に止まるように見える点である．これは，黄道円への軌道の射影の臨界点のために起こる．
実一変数の可微分関数 の臨界点 (critical point) あるいは停留点 (stationary point) とは， の定義域の値 であって，その微分が である もののことである．臨界値 (critical value) は臨界点の による像である．これらの概念は のグラフによって可視化できる：臨界点ではグラフは水平な接線をもち，関数の微分は 0 である．
（曲線である）グラフに可視化するのは容易だが，関数の臨界点の概念は曲線のある方向での臨界点の概念と混同してはならない（詳細な定義は下記参照）． が2変数可微分のとき， は曲線の陰方程式である．そのような曲線の， 軸に平行な射影（写像 ）に対する臨界点とは，formula_2 なる曲線の点である．これは，曲線の接線は 軸に平行であり，この点において は から への陰関数を定義しないことを意味する（陰関数定理を参照）． がそのような臨界点であれば， は対応する臨界値である．そのような臨界点は とも呼ばれる．一般に， が変化するとき， の片側には曲線の2つの分岐がありもう一方にはないからである．
これらの定義から，関数 が臨界値 の臨界点 を持つことと， がそのグラフの  軸に平行な射影の同じ臨界値 の臨界点であることが同値であることが従う．
例えば，方程式 の単位円の臨界点は 軸に平行な射影に対して と であり， 軸に平行な方向に対して と である．円の上半分を関数 formula_3 のグラフと考えると， が唯一の臨界点であり，臨界値は である． 軸に平行な射影に対する円の臨界点は の微分が定義されない点とちょうど対応する．
著者によっては関数 の臨界点をグラフがいずれかの軸に平行な射影に対する臨界点をもつような 値と定義する．上の円の上半分の例では，この拡大された定義での臨界点は である．そのような定義は，関数のグラフの他の曲線の定義の前に臨界点が定義され，多変数の関数が考えられていない（拡大した定義はこの場合に拡張しない）とき，初歩的な教科書にのみ通常現れる．により，複素平面における多項式関数の臨界点はすべて関数の根の凸包内にある．したがって実根しかない多項式関数に対して，すべての臨界点は実であり，最大の根と最小の根の間にある．
は，関数のすべての零点が複素平面の単位円板に入っていれば，任意の与えられた零点から単位距離内に少なくとも1つの臨界点があるという主張である．
臨界点は陰方程式によって定義された平面曲線の研究において，とくにそれらのと位相の決定に対して，重要な役割を果たす．この節で用いられる臨界点の概念は，前の節のそれとは異なって見えるかもしれない．実はそれは以下で与えられる臨界点の一般の概念の単純な場合への特殊化である．
陰方程式 によって定義される曲線 を考える．ただし は2変数の微分可能関数であり，よくあるのは多項式である．曲線の点はデカルト座標が方程式を満たすユークリッド平面の点である．formula_4 と formula_5 で定義される，曲線を座標軸に写す，2つの標準的な射影 と がある．それらはそれぞれ「 軸に平行な射影」および「 軸に平行な射影」と呼ばれる．
の解であるときである．これはこの定義が以下で与えられる臨界点の一般の定義の特別な場合であることを意味している．
著者によっては の臨界点を， かまたは に対して臨界である点として定義するが，それは だけでなく座標軸の取り方にも依存する．特異点を臨界点と考えるかどうかも著者による．実際特異点は
を満たす点であり，したがって臨界点を特徴づける方程式系の解である．このより一般の定義で， に対する臨界点はちょうど陰関数定理が適用できない点である．
曲線 が代数的であるとき，すなわち二変数多項式 によって定義されているとき，判別式は臨界点の計算に有用な道具である．
ここで射影 のみを考える． と を交換することで に同様の結果が成り立つ．
より正確には， の単根は，対応する臨界点が特異でも変曲点でもない点であるような の臨界値であるか，あるいは  軸に平行で「無限遠で」変曲点に接する漸近線 (inflexion asymptote) の  座標である．
判別式の重根は，いくつかの臨界点か，同じ臨界値を共有する inflection asymptotes か，変曲点でもある臨界点か，特異点に対応する．
連続微分可能なに対して，点 （入力変数の値の組， の点）が臨界点であるとは，関数の全ての偏微分が において零であること，あるいは同じことであるが，その勾配が零であることをいう．臨界値は臨界点における関数の値である．
関数が滑らかあるいは少なくとも2回連続微分可能ならば，臨界点で極大値か極小値をとるか停留点である．二階微分のヘッセ行列の固有値を考えることで異なる場合を区別できる．
ヘッセ行列が非特異である臨界点は"非退化"といわれ，ヘッセ行列の固有値の符号が関数の局所的な振る舞いを決定する．一変数の関数の場合には，ヘッセ行列は単に 行列と見た二階微分であり，それが非特異であることと 0 でないことは同値である．この場合，非退化臨界点では，二階微分の正負に応じて極小または極大である．二階微分が零ならば，臨界点は一般に変曲点であるが，undulation point であるかもしれず，このとき極値を取る．
により，微分可能関数のすべての極値は臨界点において生じる．したがって，極値を求めるには，理論的には，勾配の零点とこれらの零点におけるヘッセ行列の固有値を計算すればよい．それには連立の解を求めなければならず，これは難しい仕事なので，実際にはうまくいかない．通常の数値アルゴリズムは極値点を見つけるのにはるかに効率的であるが，すべての極値点が見つかったことを保証できない．特に，において，これらの手法は出力が本当に大域的最適解であることを保証できない．
最小化すべき関数が多変数多項式のとき，臨界点と臨界値はの解であり，そのような系を解く現代アルゴリズムは大域的最小値を見つける競争的な保証された手法を与える．
の開集合から への可微分写像 が与えられたとき， の臨界点とは の点であって のヤコビ行列のランクが最大でない点のことである． による臨界点の像はと呼ばれる．臨界値の集合の補集合の点は正則値と呼ばれる．サードの定理は滑らかな写像の臨界値の集合が であるというものである．とくに， ならば，各有界区間において臨界値は有限個である．
著者によってはわずかに異なる定義を与える： の臨界点とは の点であって のヤコビ行列のランクが よりも小さい点のことである．この慣習では， のときすべての点は臨界点である．
これらの定義は以下のように可微分多様体の間の可微分写像に拡張できる． を 次元多様体 から 次元多様体 への可微分写像とする． の点 の近傍 と の近傍 において，チャートは微分同相 , である．点 が の臨界点であるとは， が formula_8 の臨界点であることをいう．この定義はチャートの取り方に依らない，なぜならば変換関数は微分同相だからそれらのヤコビ行列は可逆でありそれらを掛けることは formula_8 のヤコビ行列の階数を変えないからである． が（有限次元とは限らない）ヒルベルト多様体で が実数値関数のとき， が の臨界点とは が において沈め込みで"ない"ことをいう．
臨界点は多様体やのトポロジーの研究に対して基本的である．特に，それらはモース理論とカタストロフ理論の基本的な道具である．
臨界点とトポロジーとのつながりは抽象化のより低いレベルで既に現れる．例えば， を の部分多様体とし， を の外の点とする． の点と との距離の平方は の各連結成分が距離が最小になるような少なくとも1つの臨界点を含むような可微分写像である．したがって の連結成分の個数は臨界点の個数によって上から抑えられる．
実代数多様体の場合には，この観察をベズーの定理とあわせて，多様体を定義する多項式の次数のある関数によって連結成分の個数をおさえることができる．