设函数 f ( x ) f(x) f(x) 在区间 I I I 上定义,若对 I I I 中的任意两点 x 1 x_1 x1 和 x 2 x_2 x2,和任意 λ ∈ ( 0 , 1 ) \lambda\in(0,1) λ∈(0,1),都有
f ( λ x 1 + ( 1 − λ ) x 2 ) ⩽ λ f ( x 1 ) + ( 1 − λ ) f ( x 2 ) f(\lambda x_1+(1-\lambda)x_2)\leqslant \lambda f(x_1)+(1-\lambda)f(x_2) f(λx1+(1−λ)x2)⩽λf(x1)+(1−λ)f(x2)
则称 f ( x ) f(x) f(x) 是 I I I 上的凸函数
若不等号严格成立,则称 f ( x ) f(x) f(x) 在 I I I 上是严格下凸函数。
2021年9月10日15:27:56