鞍点

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "鞍点" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年8月)

鞍点（あんてん、英: saddle point）は、多変数実関数の変域の中で、ある方向で見れば極大値だが別の方向で見れば極小値となる点である。

鞍部点、峠点とも言う。微分可能な関数については極値を取らない停留点とも言う。

点 ${\displaystyle (a_{1},\dots ,a_{n})}$ が 多変数実関数 ${\displaystyle f(x_{1},\dots ,x_{n})}$ の鞍点であるとは、零ベクトルでないある2つのベクトル ${\displaystyle (M_{1},\dots ,M_{n})}$ と ${\displaystyle (m_{1},\dots ,m_{n})}$ に対し、

関数 ${\displaystyle g(t)=f(a_{1}+tM_{1},\dots ,a_{n}+tM_{n})}$ が ${\displaystyle t=0}$ で極大となる。

関数 ${\displaystyle h(t)=f(a_{1}+tm_{1},\dots ,a_{n}+tm_{n})}$ が ${\displaystyle t=0}$ で極小となる。

が成り立つということである。 極大・極小の定義に、等号を認めるか認めないかで広義と狭義があるため、鞍点の定義にも広義と狭義がある。

例えば、図の2変数関数 ${\displaystyle f(x,y)=x^{2}-y^{2}}$において、点を原点 ${\displaystyle (0,0)}$ とし方向を ${\displaystyle (m_{1},m_{2})=(1,0)}$とすると、関数${\displaystyle g(t)=f(t,0)=t^{2}}$は点${\displaystyle (0,0)}$で極小となり、点を原点 ${\displaystyle (0,0)}$ とし方向を ${\displaystyle (M_{1},M_{2})=(0,1)}$とした関数${\displaystyle h(t)=f(0,t)=-t^{2}}$は点${\displaystyle (0,0)}$で極大となるので、点${\displaystyle (0,0)}$は2変数関数 ${\displaystyle f(x,y)=x^{2}-y^{2}}$の鞍点となる。

微分可能な多変数実関数の停留点（勾配ベクトルが零ベクトルとなる点、つまり、接平面が水平になる点）は、鞍点か極値である。

• 極値
• 停留点
• ヘッセ行列
• 遷移状態
• 最大最小不等式

この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。

• 表示
• 編集