この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "鞍点"
鞍点(あんてん、英: saddle point)は、多変数実関数の変域の中で、ある方向で見れば極大値だが別の方向で見れば極小値となる点である。
鞍部点、峠点とも言う。微分可能な関数については極値を取らない停留点とも言う。 点 ( a 1 , … , a n ) {\displaystyle (a_{1},\dots ,a_{n})} が 多変数実関数 f ( x 1 , … , x n ) {\displaystyle f(x_{1},\dots ,x_{n})} の鞍点であるとは、零ベクトルでないある2つのベクトル ( M 1 , … , M n ) {\displaystyle (M_{1},\dots ,M_{n})} と ( m 1 , … , m n ) {\displaystyle (m_{1},\dots ,m_{n})} に対し、関数 g ( t ) = f ( a 1 + t M 1 , … , a n + t M n ) {\displaystyle g(t)=f(a_{1}+tM_{1},\dots ,a_{n}+tM_{n})} が t = 0 {\displaystyle t=0} で極大となる。関数 h ( t ) = f ( a 1 + t m 1 , … , a n + t m n ) {\displaystyle h(t)=f(a_{1}+tm_{1},\dots ,a_{n}+tm_{n})} が t = 0 {\displaystyle t=0} で極小となる。 が成り立つということである。極大・極小の定義に、等号を認めるか認めないかで広義と狭義があるため、鞍点の定義にも広義と狭義がある。 例えば、図の2変数関数 f ( x , y ) = x 2 − y 2 {\displaystyle f(x,y)=x^{2}-y^{2}} において、点を原点 ( 0 , 0 ) {\displaystyle (0,0)} とし方向を ( m 1 , m 2 ) = ( 1 , 0 ) {\displaystyle (m_{1},m_{2})=(1,0)} とすると、関数 g ( t ) = f ( t , 0 ) = t 2 {\displaystyle g(t)=f(t,0)=t^{2}} は点 ( 0 , 0 ) {\displaystyle (0,0)} で極小となり、点を原点 ( 0 , 0 ) {\displaystyle (0,0)} とし方向を ( M 1 , M 2 ) = ( 0 , 1 ) {\displaystyle (M_{1},M_{2})=(0,1)} とした関数 h ( t ) = f ( 0 , t ) = − t 2 {\displaystyle h(t)=f(0,t)=-t^{2}} は点 ( 0 , 0 ) {\displaystyle (0,0)} で極大となるので、点 ( 0 , 0 ) {\displaystyle (0,0)} は2変数関数 f ( x , y ) = x 2 − y 2 {\displaystyle f(x,y)=x^{2}-y^{2}} の鞍点となる。
定義
特徴が水平になる点)は、鞍点か極値である。
関連項目
極値
停留点
ヘッセ行列
遷移状態
最大最小不等式
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}