上一篇:凸函數總結
函數的圖像定義爲
,
它是空間的一個子集。函數的上境圖定義爲
,它也是空間的一個子集。
定理 函數是凸函數當且僅當是凸集。
證明:
(必要性)顯然成立,證明省略。
(充分性)假設,顯然有,又由於是凸集
所以有即得
成立,由於的任意性可知是凸函數。
亞圖
,
類似上述定理有函數是凹函數當且僅當其亞圖是凸集。
上一篇:凸函數總結
函數的圖像定義爲
,
它是空間的一個子集。函數的上境圖定義爲
,它也是空間的一個子集。
定理 函數是凸函數當且僅當是凸集。
證明:
(必要性)顯然成立,證明省略。
(充分性)假設,顯然有,又由於是凸集
所以有即得
成立,由於的任意性可知是凸函數。
亞圖
,
類似上述定理有函數是凹函數當且僅當其亞圖是凸集。
今天逛《數學譯林》看到一篇有意思的文章,結合參考文獻看更佳: 本博客相關博文: http://blog.csdn.net/qq_23997101/article/details/50541709