最优化课件-第一章.ppt

定理1.7 设 ，其中 为非空凸集，若 是凸函数，则对于任意实数 ， 水平集 是凸集。 证 若 是空集，则是凸集。以下设 非空。任取 ，则 。又设 但 ，根据 的凸性，必有 即 。因此， 是凸集。 判断一个函数是否为凸函数，一般说来，是比较困 难的。但当函数可微时，有以下几个判定定理。 定理1.7 设 定理1.8 设 是可微函数，其中 为 凸集。则 ⅰ) 为凸函数的充要条件是对于 中的任意两点 ，都有 ⅱ) 为