鞍点

関数 f(x,y) = x² − y² の鞍点

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

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

定義

点 $(a_1,\cdots,a_n)$ が 多変数実関数 $f(x_1,\cdots,x_n)$ の鞍点であるとは、零ベクトルでないある2つのベクトル $(M_1,\cdots,M_n)$ と $(m_1,\cdots,m_n)$ に対し、

関数 $g(t)=f(a_1+M_1,\cdots,a_n+M_n)$ が $t = 0\$ で極大となる。

関数 $h(t)=f(a_1+m_1,\cdots,a_n+m_n)$ が $t = 0\$ で極小となる。

が成り立つということである。

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

特徴

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