首先定义凸集,如果x,y属于某个集合M,并且所有的θx+(1-θ)f(y)也属于M,那么M为一个凸集。如果函数f的定义域是凸集,并且满足
则该函数为凸函数。
如果函数存在二阶导并且为正,或者多元函数的Hessian矩阵半正定则均为凸函数。
「注意」:中国大陆数学界某些机构关于函数凹凸性定义和国外的定义是相反的。Convex Function在某些中国大陆的数学书中指凹函数。Concave Function指凸函数。但在中国大陆涉及经济学的很多书中,凹凸性的提法和其他国家的提法是一致的,也就是和数学教材是反的。举个例子,同济大学高等数学教材对函数的凹凸性定义与本条目相反,本条目的凹凸性是指其上方图是凹集或凸集,而同济大学高等数学教材则是指其下方图是凹集或凸集,两者定义正好相反。
「为什么要求是凸函数呢?因为如果是下图这样的函数,则无法获得全局最优解。」
「为什么要求是凸集呢?因为如果可行域不是凸集,也会导致局部最优」