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

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

The function ff is strictly convex if, for all distinct x,ydom(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)=x2f(x)=\lVert x\rVert^2 is strictly convex.
  • The function f(x)=xf(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.