臨界点 (数学)

赤い円のテンプレート:仮リンク（「テンプレート:Mvar-座標」）は停留点である；青い四角は変曲点である。

数学において、テンプレート:仮リンクあるいはテンプレート:仮リンクの可微分関数の臨界点（りんかいてん、テンプレート:Lang-en-short）あるいはテンプレート:仮リンク（ていりゅうてん、テンプレート:Lang-en-short）とは、微分が 0となる定義域内の任意の値である。テンプレート:仮リンクに対して、臨界点はすべての偏微分が 0 になるような定義域内の値である。関数の臨界点における値は臨界値（りんかいち、テンプレート:Lang-en-short）である。

この概念の興味は、関数が極値をとる点は臨界点であるという事実にある。

この定義は テンプレート:Math と テンプレート:Math の間の可微分写像に拡張し、臨界点はこの場合ヤコビ行列の階数が最大でない点である。さらに、可微分多様体の間の可微分写像にも同様に拡張される。この場合、臨界点は テンプレート:仮リンク とも呼ばれる。

特に、テンプレート:Mvar が陰方程式 テンプレート:Math で定義される平面曲線のとき、テンプレート:Mvar 軸に平行な テンプレート:Mvar 軸への射影の臨界点は テンプレート:Mvar の接線が テンプレート:Mvar 軸に平行な点、つまり、$\frac{\partial f}{\partial y}(x,y)=0$ なる点である。言い換えると、臨界点は陰関数定理が適用できない点である。

臨界点の概念により、コペルニクスの時代より前には解明されなかった天文学の現象の数学的記述ができる。惑星の軌道の停留点は天球上の惑星の軌道の点であって惑星の動きが他の方向に再出発する前に止まるように見える点である。これは、黄道円への軌道の射影の臨界点のために起こる。

一変数関数の臨界点

実一変数の可微分関数 テンプレート:Math の臨界点 (critical point) あるいは停留点 (stationary point) とは、テンプレート:Mvar の定義域の値 テンプレート:Math であって、その微分が テンプレート:Math である テンプレート:Math もののことである。臨界値 (critical value) は臨界点の テンプレート:Mvar による像である。これらの概念は テンプレート:Mvar のグラフによって可視化できる：臨界点ではグラフは水平な接線をもち、関数の微分は 0 である。

（曲線である）グラフに可視化するのは容易だが、関数の臨界点の概念は曲線のある方向での臨界点の概念と混同してはならない（詳細な定義は下記参照）。テンプレート:Math が2変数可微分テンプレート:仮リンクのとき、テンプレート:Math は曲線の陰方程式である。そのような曲線の、テンプレート:Mvar 軸に平行な射影（写像 テンプレート:Math）に対する臨界点とは、$\frac{\partial g}{\partial y}(x,y)=0$ なる曲線の点である。これは、曲線の接線は テンプレート:Mvar 軸に平行であり、この点において テンプレート:Mvar は テンプレート:Mvar から テンプレート:Mvar への陰関数を定義しないことを意味する（陰関数定理を参照）。テンプレート:Math がそのような臨界点であれば、テンプレート:Math は対応する臨界値である。そのような臨界点は テンプレート:仮リンク とも呼ばれる。一般に、テンプレート:Mvar が変化するとき、テンプレート:Math の片側には曲線の2つの分岐がありもう一方にはないからである。

これらの定義から、関数 テンプレート:Math が臨界値 テンプレート:Math の臨界点 テンプレート:Math を持つことと、テンプレート:Math がそのグラフの テンプレート:Mvar 軸に平行な射影の同じ臨界値 テンプレート:Math の臨界点であることが同値であることが従う。

例えば、方程式 テンプレート:Math の単位円の臨界点は テンプレート:Mvar 軸に平行な射影に対して テンプレート:Math と テンプレート:Math であり、テンプレート:Mvar 軸に平行な方向に対して テンプレート:Math と テンプレート:Math である。円の上半分を関数 $f(x)=\sqrt{1-x^2}$ のグラフと考えると、テンプレート:Math が唯一の臨界点であり、臨界値は テンプレート:Math である。テンプレート:Mvar 軸に平行な射影に対する円の臨界点は テンプレート:Mvar の微分が定義されない点とちょうど対応する。

著者によっては関数 テンプレート:Mvar の臨界点をグラフがいずれかの軸に平行な射影に対する臨界点をもつような テンプレート:Mvar 値と定義する。上の円の上半分の例では、この拡大された定義での臨界点は テンプレート:Math である。そのような定義は、関数のグラフの他の曲線の定義の前に臨界点が定義され、多変数の関数が考えられていない（拡大した定義はこの場合に拡張しない）とき、初歩的な教科書にのみ通常現れる。

例

• 関数 テンプレート:Math はいたるところ微分可能であり、導関数は テンプレート:Math である。この関数はただ1つの臨界点 テンプレート:Math をもつ、なぜならばそれは テンプレート:Math なる唯一の数 テンプレート:Math だからである。この点で テンプレート:Mvar は（大域的）最小値をとる。対応する臨界値は テンプレート:Math である。テンプレート:Mvar のグラフは下に凸な放物線であり、臨界点は頂点の横座標で、そこで接線は水平で、臨界値は頂点の縦座標でこの接線と テンプレート:Mvar 軸との交点によって表せる。
• 関数 テンプレート:Math はすべての テンプレート:Mvar に対して定義され、テンプレート:Math に対して微分可能で、微分は テンプレート:Math である。テンプレート:Math に対して テンプレート:Math だから、テンプレート:Mvar の臨界点は テンプレート:Math のみである。関数 テンプレート:Mvar のグラフはこの点において垂直な接線を持つカスプを持つ。対応する臨界値は テンプレート:Math である。
• 関数 テンプレート:Math はいたるところ微分可能で、微分は テンプレート:Math である。テンプレート:Math と テンプレート:Math において2つの臨界点を持つ。対応する臨界値は、テンプレート:Mvar の極大値である テンプレート:Math と、極小値である テンプレート:Math である。この関数は大域的な最大値も最小値も持たない。テンプレート:Math だから、臨界値は非臨界点においてもとられることがわかる。幾何学的には、これは一点 (テンプレート:Math) におけるグラフの水平接線が他の点 (テンプレート:Math) において鋭角にグラフと交わりうることを意味する。
• 関数 テンプレート:Math は臨界点を持たない。点 テンプレート:Math は関数の定義域に含まれないから臨界点とは考えない。

臨界点の位置

テンプレート:仮リンクにより、複素平面における多項式関数の臨界点はすべて関数の根の凸包内にある。したがって実根しかない多項式関数に対して、すべての臨界点は実であり、最大の根と最小の根の間にある。

テンプレート:仮リンクは、関数のすべての零点が複素平面の単位円板に入っていれば、任意の与えられた零点から単位距離内に少なくとも1つの臨界点があるという主張である。

陰曲線の臨界点

テンプレート:See also 臨界点は陰方程式によって定義された平面曲線の研究において、とくにそれらのテンプレート:仮リンクと位相の決定に対して、重要な役割を果たす。この節で用いられる臨界点の概念は、前の節のそれとは異なって見えるかもしれない。実はそれは以下で与えられる臨界点の一般の概念の単純な場合への特殊化である。

陰方程式 テンプレート:Math によって定義される曲線 テンプレート:Math を考える。ただし テンプレート:Mvar は2変数の微分可能関数であり、よくあるのは多項式である。曲線の点はデカルト座標が方程式を満たすユークリッド平面の点である。${\pi }_y((x,y))=x$ と ${\pi }_x((x,y))=y$ で定義される、曲線を座標軸に写す、2つの標準的な射影 テンプレート:Mvar と テンプレート:Mvar がある。それらはそれぞれ「テンプレート:Mvar 軸に平行な射影」および「テンプレート:Mvar 軸に平行な射影」と呼ばれる。

テンプレート:Math の点が テンプレート:Mvar に対して臨界とは、テンプレート:Mvar への接線が存在して テンプレート:Mvar 軸に平行なことをいう。その場合、臨界点と接線の テンプレート:Mvar による像は テンプレート:Mvar 軸の同じ点であり、臨界値と呼ばれる。したがって点が テンプレート:Mvar に対して臨界であるのはその座標が方程式系

$f(x,y)=\frac{\partial f}{\partial y}(x,y)=0$

の解であるときである。これはこの定義が以下で与えられる臨界点の一般の定義の特別な場合であることを意味している。

テンプレート:Mvar に対する臨界点の定義は同様である。テンプレート:Mvar が関数 テンプレート:Math のグラフならば、テンプレート:Math が テンプレート:Mvar に対して臨界であることと テンプレート:Mvar が テンプレート:Mvar の臨界点であることは同値であり、臨界値は同じであることに注意すべきである。

著者によっては テンプレート:Mvar の臨界点を、テンプレート:Mvar かまたは テンプレート:Mvar に対して臨界である点として定義するが、それは テンプレート:Mvar だけでなく座標軸の取り方にも依存する。特異点を臨界点と考えるかどうかも著者による。実際特異点は

$f(x,y)=\frac{\partial f}{\partial x}(x,y)=\frac{\partial f}{\partial y}(x,y)=0$

を満たす点であり、したがって臨界点を特徴づける方程式系の解である。このより一般の定義で、テンプレート:Mvar に対する臨界点はちょうど陰関数定理が適用できない点である。

判別式の使用

曲線 テンプレート:Mvar が代数的であるとき、すなわち二変数多項式 テンプレート:Mvar によって定義されているとき、判別式は臨界点の計算に有用な道具である。

ここで射影 テンプレート:Mvar のみを考える。テンプレート:Mvar と テンプレート:Mvar を交換することで テンプレート:Mvar に同様の結果が成り立つ。

テンプレート:Math を テンプレート:Mvar を係数が テンプレート:Mvar の多項式である テンプレート:Mvar の多項式と見たときの判別式とする。したがってこの判別式は テンプレート:Mvar の多項式でその根に沿って テンプレート:Mvar の臨界値を持つ。

より正確には、テンプレート:Math の単根は、対応する臨界点が特異でも変曲点でもない点であるような テンプレート:Mvar の臨界値であるか、あるいは テンプレート:Mvar 軸に平行で「無限遠で」変曲点に接する漸近線 (inflexion asymptote) の テンプレート:Math 座標である。

判別式の重根は、いくつかの臨界点か、同じ臨界値を共有する inflection asymptotes か、変曲点でもある臨界点か、特異点に対応する。

多変数

連続微分可能なテンプレート:仮リンクに対して、点 テンプレート:Mvar（入力変数の値の組、テンプレート:Math の点）が臨界点であるとは、関数の全ての偏微分が テンプレート:Mvar において零であること、あるいは同じことであるが、その勾配が零であることをいう。臨界値は臨界点における関数の値である。

関数が滑らかあるいは少なくとも2回連続微分可能ならば、臨界点で極大値か極小値をとるか停留点である。二階微分のヘッセ行列の固有値を考えることで異なる場合を区別できる。

ヘッセ行列が非特異である臨界点は非退化といわれ、ヘッセ行列の固有値の符号が関数の局所的な振る舞いを決定する。一変数の関数の場合には、ヘッセ行列は単に テンプレート:Math 行列と見た二階微分であり、それが非特異であることと 0 でないことは同値である。この場合、非退化臨界点では、二階微分の正負に応じて極小または極大である。二階微分が零ならば、臨界点は一般に変曲点であるが、undulation point であるかもしれず、このとき極値を取る。

テンプレート:Mvar 変数の関数に対して、臨界点におけるヘッセ行列の負の固有値の個数は臨界点の指数 (index) と呼ばれる。非退化臨界点で極大値をとることと指数が テンプレート:Mvar であること、あるいはおなじことだがヘッセ行列が負定値であることは同値である。指数の他の値に対しては、非退化臨界点は鞍点である、つまりある方向には極大でありある方向には極小である。

最適化への応用

テンプレート:仮リンクにより、微分可能関数のすべての極値は臨界点において生じる。したがって、極値を求めるには、理論的には、勾配の零点とこれらの零点におけるヘッセ行列の固有値を計算すればよい。それには連立テンプレート:仮リンクの解を求めなければならず、これは難しい仕事なので、実際にはうまくいかない。通常の数値アルゴリズムは極値点を見つけるのにはるかに効率的であるが、すべての極値点が見つかったことを保証できない。特に、テンプレート:仮リンクにおいて、これらの手法は出力が本当に大域的最適解であることを保証できない。

最小化すべき関数が多変数多項式のとき、臨界点と臨界値はテンプレート:仮リンクの解であり、そのような系を解く現代アルゴリズムは大域的最小値を見つける競争的な保証された手法を与える。

可微分写像の臨界点

テンプレート:Math の開集合から テンプレート:Math への可微分写像 テンプレート:Mvar が与えられたとき、テンプレート:Mvar の臨界点とは テンプレート:Math の点であって テンプレート:Mvar のヤコビ行列のランクが最大でない点のことである。テンプレート:Mvar による臨界点の像は臨界値と呼ばれる。臨界値の集合の補集合の点は正則値と呼ばれる。サードの定理は滑らかな写像の臨界値の集合がテンプレート:仮リンク であるというものである。

著者によってはわずかに異なる定義を与える：テンプレート:Mvar の臨界点とは テンプレート:Math の点であって テンプレート:Mvar のヤコビ行列のランクが テンプレート:Mvar よりも小さい点のことである。この慣習では、テンプレート:Math のときすべての点は臨界点である。

これらの定義は以下のように可微分多様体の間の可微分写像に拡張できる。テンプレート:Math を テンプレート:Mvar 次元多様体 テンプレート:Mvar から テンプレート:Mvar 次元多様体 テンプレート:Mvar への可微分写像とする。テンプレート:Mvar の点 テンプレート:Mvar の近傍 テンプレート:Mvar と テンプレート:Math の近傍 テンプレート:Mvar において、チャートは微分同相 テンプレート:Math, テンプレート:Math である。点 テンプレート:Math が テンプレート:Mvar の臨界点であるとは、テンプレート:Math が $\psi \circ f\circ {\phi }^{-1}$ の臨界点であることをいう。この定義はチャートの取り方に依らない、なぜならば変換関数は微分同相だからそれらのヤコビ行列は可逆でありそれらを掛けることは $\psi \circ f\circ {\phi }^{-1}$ のヤコビ行列の階数を変えないからである。テンプレート:Mvar が（有限次元とは限らない）ヒルベルト多様体で テンプレート:Mvar が実数値関数のとき、テンプレート:Mvar が テンプレート:Mvar の臨界点とは テンプレート:Mvar が テンプレート:Mvar において沈め込みで"ない"ことをいう。

位相幾何学への応用

臨界点は多様体やテンプレート:仮リンクのトポロジーの研究に対して基本的である。特に、それらはモース理論とカタストロフ理論の基本的な道具である。

臨界点とトポロジーとのつながりは抽象化のより低いレベルで既に現れる。例えば、テンプレート:Mvar を テンプレート:Math の部分多様体とし、テンプレート:Mvar を テンプレート:Mvar の外の点とする。テンプレート:Mvar の点と テンプレート:Mvar との距離の平方は テンプレート:Mvar の各連結成分が距離が最小になるような少なくとも1つの臨界点を含むような可微分写像である。したがって テンプレート:Mvar の連結成分の個数は臨界点の個数によって上から抑えられる。

実代数多様体の場合には、この観察をベズーの定理とあわせて、多様体を定義する多項式の次数のある関数によって連結成分の個数をおさえることができる。

関連項目

• 曲線の特異点
• テンプレート:仮リンク