「共役関数」の版間の差分
ナビゲーションに移動
検索に移動
| 3行目: | 3行目: | ||
真凸関数 <math>f: \mathbf{R}^n \to (-\infty,+\infty] \,</math> に対して, 次式で定義される真凸関数 <math>f^*: \mathbf{R}^n \to (-\infty,+\infty] \,</math> のこと. | 真凸関数 <math>f: \mathbf{R}^n \to (-\infty,+\infty] \,</math> に対して, 次式で定義される真凸関数 <math>f^*: \mathbf{R}^n \to (-\infty,+\infty] \,</math> のこと. | ||
| + | |||
| + | <center> | ||
<math> | <math> | ||
f^*(\xi) := \sup_{x \in \mathbf{R}^n} \{ \, \xi^{\top} x - f(x) \, \} | f^*(\xi) := \sup_{x \in \mathbf{R}^n} \{ \, \xi^{\top} x - f(x) \, \} | ||
\,</math> | \,</math> | ||
| + | </center> | ||
| + | |||
共役関数 <math>f^* \,</math> に対して, さらにその共役関数 <math>f^{**} \,</math> を考えることができるが, <math>f \,</math> が下半連続な真凸関数のときには, <math>f^{**} \,</math> は <math>f \,</math> に一致する. 共役関数は数理計画の双対理論において重要な役割を果たす. | 共役関数 <math>f^* \,</math> に対して, さらにその共役関数 <math>f^{**} \,</math> を考えることができるが, <math>f \,</math> が下半連続な真凸関数のときには, <math>f^{**} \,</math> は <math>f \,</math> に一致する. 共役関数は数理計画の双対理論において重要な役割を果たす. | ||
2007年7月17日 (火) 10:44時点における版
【きょうやくかんすう (conjugate function)】
真凸関数 に対して, 次式で定義される真凸関数 のこと.
![{\displaystyle f:\mathbf {R} ^{n}\to (-\infty ,+\infty ]\,}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/ba67a7348319319028ec014e23da676b2ee2b1d7)
![{\displaystyle f^{*}:\mathbf {R} ^{n}\to (-\infty ,+\infty ]\,}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/da1b18014d392b545b546f1acfc89b2fea61c124)
共役関数 に対して, さらにその共役関数 を考えることができるが, が下半連続な真凸関数のときには, は に一致する. 共役関数は数理計画の双対理論において重要な役割を果たす.
