「劣勾配」の版間の差分
ナビゲーションに移動
検索に移動
(新しいページ: ''''【れつこうばい (subgradient)】''' 真凸関数 $f: {\bf R}^n \to (-\infty,+\infty)$ に対して, 次式を満足するベクトル $\xi \in {\bf R}^n$ を $f$ の ...') |
|||
| 1行目: | 1行目: | ||
'''【れつこうばい (subgradient)】''' | '''【れつこうばい (subgradient)】''' | ||
| − | 真凸関数 | + | 真凸関数 <math>f: {\bf R}^n \to (-\infty,+\infty)\,</math> に対して, 次式を満足するベクトル <math>\xi \in {\bf R}^n\,</math> を <math>f\,</math> の <math>x\,</math> における劣勾配といい, 劣勾配全体の集合を <math>\partial f(x)\,</math> と表す. |
\[ | \[ | ||
| 8行目: | 8行目: | ||
| − | 真凸関数はその実効定義域 | + | 真凸関数はその実効定義域 <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月11日 (水) 14:36時点における版
【れつこうばい (subgradient)】
真凸関数 に対して, 次式を満足するベクトル を の における劣勾配といい, 劣勾配全体の集合を と表す.
\[
f(y) \ge f(x) + \xi^{\top}(y-x) \quad\quad \forall \, y \in {\bf R}^n \]
真凸関数はその実効定義域 の任意の相対的内点において, 少なくとも1つの劣勾配をもつ. 特に, 凸関数 が点 において微分可能ならば, の における劣勾配は唯一存在し, 通常の勾配 に等しい.
