上一篇:凸函数总结
函数的图像定义为
,
它是空间的一个子集。函数
的上境图定义为
,它也是
空间的一个子集。
定理 函数是凸函数当且仅当
是凸集。
证明:
(必要性)显然成立,证明省略。
(充分性)假设,显然有
,又由于
是凸集
所以有即得
成立,由于
的任意性可知
是凸函数。
亚图
,
类似上述定理有函数是凹函数当且仅当其亚图是凸集。
上一篇:凸函数总结
函数的图像定义为
,
它是空间的一个子集。函数
的上境图定义为
,它也是
空间的一个子集。
定理 函数是凸函数当且仅当
是凸集。
证明:
(必要性)显然成立,证明省略。
(充分性)假设,显然有
,又由于
是凸集
所以有即得
成立,由于
的任意性可知
是凸函数。
亚图
,
类似上述定理有函数是凹函数当且仅当其亚图是凸集。