Let XX be a real vector space and let f:X→(−∞,+∞]f:X\to(-\infty,+\infty] have a convex effective domain

dom⁡(f)={x∈X:f(x)<+∞}.\operatorname{dom}(f)=\{x\in X:f(x)<+\infty\}.

The function ff is strictly convex if, for all distinct x,y∈dom⁡(f)x,y\in\operatorname{dom}(f) and all λ∈(0,1)\lambda\in(0,1),

f(λx+(1−λ)y)<λf(x)+(1−λ)f(y).f(\lambda x+(1-\lambda)y)<\lambda f(x)+(1-\lambda)f(y).
Examples
  • On R\mathbb R, f(x)=x2f(x)=x^2 is strictly convex.
  • On a real Hilbert space, f(x)=∥x∥2f(x)=\lVert x\rVert^2 is strictly convex.
  • The function f(x)=∣x∣f(x)=|x| on R\mathbb R is convex but not strictly convex: equality holds between distinct points on the same ray.
Remarks

Strict convexity strengthens . If a strictly convex function attains a minimum on a convex set, that minimizer is unique.