凸函数

凸函数是具有如下特性的一个定义在某个向量空间的凸子集${\displaystyle C}$内的凸函数在内连续，且在除可数个点之外的所有点可微。如果是闭区间，那么有可能在的端点不连续。

一元可微函数在某个区间上是凸的，当且仅当它的导数在该区间上单调不减。

一元连续可微函数在区间上是凸的，当且仅当函数位于所有它的切线的上方：对于区间内的所有和，都有() ≥ () + '() ( − )。特别地，如果 '() = ，那么是()的最小值。

一元二阶可微的函数在区间上是凸的，当且仅当它的二阶导数是非负的；这可以用来判断某个函数是不是凸函数。如果它的二阶导数是正数，那么函数就是严格凸的，但反过来不成立。例如，() = 4的二阶导数是 "() = 12 2，当 = 0时为零，但4是严格凸的。

更一般地，多元二次可微的连续函数在凸集上是凸的，当且仅当它的黑塞矩阵在凸集的内部是半正定的。

凸函数的任何极小值也是最小值。严格凸函数最多有一个最小值。

对于凸函数，水平子集{ | () < }和{ | () ≤ }（ ∈ R）是凸集。然而，水平子集是凸集的函数不一定是凸函数；这样的函数称为。

延森不等式对于每一个凸函数都成立。如果${\displaystyle X}$的定义域内取值，那么${\displaystyle E(f(X))\ge <!--\; \ge \; -->f(E(X)).}$（在这里，${\displaystyle E}$表示数学期望。）

注意：中国大陆数学界某些机构关于函数凹凸性定义和国外的定义是相反的。Convex Function在某些中国大陆的数学书中指凹函数。Concave Function指凸函数。但在中国大陆涉及经济学的很多书中，凹凸性的提法和其他国家的提法是一致的，也就是和数学教材是反的。举个例子，同济大学高等数学教材对函数的凹凸性定义与本条目相反，本条目的凹凸性是指其上方图是凹集或凸集，而同济大学高等数学教材则是指其下方图是凹集或凸集，两者定义正好相反。另外，也有些教材会把凸定义为上凸，凹定义为下凸。碰到的时候应该以教材中的那些定义为准。