数学
鞍点（数学における定義と性質）
数学における鞍点（あんてん）の定義、性質、および多変数関数における挙動について解説します。ある方向からは極大、別の方向からは極小となる停留点の概念を詳述します。
📌 主なポイント
- ✓鞍点は、ある方向からは極大、別の方向からは極小となる停留点である。
- ✓微分可能な関数において、勾配がゼロであっても極値をとるとは限らず、鞍点である可能性がある。
- ✓2変数関数 f(x, y) = x² - y² の原点は、鞍点の典型的な例である。
数学における鞍点（あんてん、英: saddle point）とは、多変数実関数の定義域内において、ある方向から見れば極大値をとる一方で、別の方向から見れば極小値をとるような点を指します。その形状が馬の鞍（くら）に似ていることからこの名が付けられました。別名として「鞍部点」や「峠点」とも呼ばれます。
定義
多変数実関数 f(x₁, ..., xₙ) において、点 (a₁, ..., aₙ) が鞍点であるとは、その点において関数が極値をとらず、かつ勾配が零ベクトルとなる（停留点である）ことを指します。具体的には、ある方向ベクトル (M₁, ..., Mₙ) に沿って進むと極大となり、別の方向ベクトル (m₁, ..., mₙ) に沿って進むと極小となるような状態を指します。
具体例
最も代表的な例として、2変数関数 f(x, y) = x² - y² が挙げられます。この関数において原点 (0, 0) を考えると、以下の挙動が確認できます。
- x軸方向（y=0）に沿って見ると、g(t) = f(t, 0) = t² となり、原点で極小値をとります。
- y軸方向（x=0）に沿って見ると、h(t) = f(0, t) = -t² となり、原点で極大値をとります。
このように、進む方向によって極大と極小が入れ替わるため、原点は鞍点となります。
特徴と解析
微分可能な多変数実関数において、勾配ベクトルが零ベクトルとなる点は「停留点」と呼ばれます。停留点は、極大値、極小値、または鞍点のいずれかとなります。この点を判別するためには、ヘッセ行列（Hessian matrix）の固有値を確認する手法が一般的に用いられます。
よくある質問
鞍点と極値の違いは何ですか？
極値は関数の値が周囲よりも一貫して大きい（極大）または小さい（極小）点ですが、鞍点は方向によって極大にも極小にもなり得る点です。
鞍点はどのように判別しますか？
一般的には、その点におけるヘッセ行列の固有値を調べることで判別します。固有値が正と負の両方を含む場合、その点は鞍点となります。
鞍点は停留点に含まれますか？
はい、微分可能な関数において、勾配ベクトルが零ベクトルとなる点は停留点と呼ばれ、鞍点もその停留点の一種です。
関連記事
極値停留点ヘッセ行列微分積分学多変数関数
参考文献
- 解析学における多変数関数の極値および停留点に関する数学的定義。
- ヘッセ行列を用いた関数の局所的挙動の判別手法。