Definizione
24
[17Y]Sia \(Cβ β^ n\) un convesso, e \(f:Cββ\) una funzione. \(f\) si dice convessa se
\[ β tβ[0,1],~ ~ β x,yβ C, ~ ~ f\big(tx+(1-t)y\big)β€ tf(x)+(1-t)f(y)~ ~ . \]
\(f\) si dice strettamente convessa se inoltre
\[ β tβ(0,1),~ ~ β x,yβ C, xβ y, ~ ~ f\big(tx+(1-t)y\big){\lt} tf(x)+(1-t)f(y)~ ~ . \]