「鞍点定理」の版間の差分

2007年7月10日 (火) 13:27時点における版

【あんてんていり (saddle point theorem)】

2変数関数の鞍点の存在性と関連する諸条件を述べた定理. 集合 $X\times Y\,$ 上で定義された拡張実数値関数 $F\,$ に対して, 点 $({\bar {x}},{\bar {y}})\,$ が

$F(x,{\bar {y}})\geq {F({\bar {x}},{\bar {y}})}\geq {F({\bar {x}},y)},\quad \forall (x,y)\in X\times Y\,$

を満足するとき, $({\bar {x}},{\bar {y}})\,$ を $F\,$ の $X\times {Y}\,$ 上での鞍点という. 関数 $F\,$ が非線形計画問題のラグランジュ関数の場合には, 双対性理論に密接に関係する.

@@ 1行目: / 1行目: @@
 '''【あんてんていり (saddle point theorem)】'''
-変数関数の鞍点の存在性と関連する諸条件を述べた定理. 集合 $X\times Y$ 上で定義された拡張実数値関数 $F$ に対して, 点 $(\bar{x},\bar{y})$ が
+変数関数の鞍点の存在性と関連する諸条件を述べた定理. 集合 <math>X\times Y \,</math> 上で定義された拡張実数値関数 <math>F \,</math> に対して, 点 <math>(\bar{x},\bar{y}) \,</math> が
-\[
+<math>
 F(x,\bar{y})\ge{F(\bar{x},\bar{y})}\ge{F(\bar{x},y)}, \quad
 \forall (x,y) \in X\times Y
-\]
+\, </math>
-を満足するとき, $(\bar{x},\bar{y})$ を $F$ の $X\times{Y}$ 上での鞍点という. 関数 $F$ が非線形計画問題のラグランジュ関数の場合には, 双対性理論に密接に関係する.
+を満足するとき, <math>(\bar{x},\bar{y}) \,</math> を <math>F \,</math> の <math>X\times{Y} \,</math> 上での鞍点という. 関数 <math>F \,</math> が非線形計画問題のラグランジュ関数の場合には, 双対性理論に密接に関係する.