凸函数就是一个定义在某个向量空间的凸子集C（区间）上的实值函数。这句话什么意思？？

凸函数就是一个定义在某个向量空间的凸子集C（区间）上的实值函数。这句话什么意思？？

凸函数是一个定义在某个向量空间的凸子集C（区间）上的实值函数f 设f为定义在区间I上的函数，若对I上的任意两点X1，X2和任意的实数λ∈（0，1），总有 f(λx1+(1-λ)x2)≤λf(x1)+(1-λ)f(x2), 则f称为I上的凸函数. 判定方法可利用定义法、已知结论法以及函数的二阶导数 一般的判别方法是求它的二阶导数，如果其二阶导数在区间上恒大于等于0，就称为凸函数。（向下凸） 如果其二阶导数在区间上恒大于0，就称为严格凸函数。编辑本段性质 定义在某个开区间C内的凸函数f在C内连续，且在除可数个点之外的所有点可微。如果C是闭区间，那么f有可能在C的端点不连续。 一元可微函数在某个区间上是凸的，当且仅当它的导数在该区间上单调递减。 一元连续可微函数在区间上是凸的，当且仅当函数位于所有它的切线的上方：对于区间内的所有x和y，都有f(y) ≥ f(x) + f '(x) (y − x)。特别地，如果f '(c) = 0，那么c是f(x)的最小值。 一元二阶可微的函数在区间上是凸的，当且仅当它的二阶导数是非负的；这可以用来判断某个函数是不是凸函数。如果它的二阶导数是正数，那么函数就是严格凸的，但反过来不成立。例如，f(x) = x4的二阶导数是f "(x) = 12 x2，当x = 0时为零，但x4是严格凸的。 更一般地，多元二次可微的连续函数在凸集上是凸的，当且仅当它的黑塞矩阵在凸集的内部是正定的。 凸函数的任何极小值也是最小值。严格凸函数最多有一个最小值。 对于凸函数f，水平子集{x | f(x) 0时，g(x,t) = tf(x / t)是凸函数。 单调递增但非凸的函数包括和g(x) = log(x)。 非单调递增的凸函数包括h(x) = x2和k(x) = − x。 函数f(x) = 1/x2，f(0)=+∞，在区间(0,+∞)内是凸函数，在区间(-∞,0)内也是凸函数，但是在区间(-∞,+∞)内不是凸函数，这是由于x = 0处的奇点