「劣勾配」の版間の差分
4行目: | 4行目: | ||
− | + | <center> | |
− | + | <math>f(y) \ge f(x) + \xi^{\top}(y-x) \quad\quad \forall \, y \in {\mathbf R}^n</math> | |
+ | </center> | ||
真凸関数はその実効定義域 <math>\mbox{dom} \, f := \{ x \, | \, f(x) < \infty \}\,</math> の任意の相対的内点において, 少なくとも1つの劣勾配をもつ. 特に, 凸関数 <math>f\,</math> が点 <math>x\,</math> において微分可能ならば, <math>f\,</math> の <math>x\,</math> における劣勾配は唯一存在し, 通常の勾配 <math>\nabla f(x)\,</math> に等しい. | 真凸関数はその実効定義域 <math>\mbox{dom} \, f := \{ x \, | \, f(x) < \infty \}\,</math> の任意の相対的内点において, 少なくとも1つの劣勾配をもつ. 特に, 凸関数 <math>f\,</math> が点 <math>x\,</math> において微分可能ならば, <math>f\,</math> の <math>x\,</math> における劣勾配は唯一存在し, 通常の勾配 <math>\nabla f(x)\,</math> に等しい. |
2007年7月17日 (火) 16:18時点における版
【れつこうばい (subgradient)】
真凸関数 に対して, 次式を満足するベクトル を の 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x\,} における劣勾配といい, 劣勾配全体の集合を と表す.
真凸関数はその実効定義域 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mbox{dom} \, f := \{ x \, | \, f(x) < \infty \}\,}
の任意の相対的内点において, 少なくとも1つの劣勾配をもつ. 特に, 凸関数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f\,}
が点 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x\,}
において微分可能ならば, の における劣勾配は唯一存在し, 通常の勾配 に等しい.