鞍点

ファイル:Saddle point.png

関数 [math]f(x,y) = x^2-y^2[/math] の鞍点

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

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

定義

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

関数 [math]g(t)=f(a_1+tM_1,\cdots,a_n+tM_n)[/math] が [math]t = 0\ [/math] で極大となる。

関数 [math]h(t)=f(a_1+tm_1,\cdots,a_n+tm_n)[/math] が [math]t = 0\ [/math] で極小となる。

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

例えば、図の2変数関数 [math]f(x,y)=x^2-y^2[/math]において、点を原点 [math](0,0)[/math] とし方向を [math](m_1,m_2)=(1,0)[/math]とすると、関数[math]g(t)=f(t,0)=t^2[/math]は点[math](0,0)[/math]で極大となり、点を原点 [math](0,0)[/math] とし方向を [math](M_1,M_2)=(0,1)[/math]とした関数[math]h(t)=f(0,t)=-t^2[/math]は点[math](0,0)[/math]で極小となるので、点[math](0,0)[/math]は2変数関数 [math]f(x,y)=x^2-y^2[/math]の鞍点となる。

特徴

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