Definition (Convex (891))

The function $\varphi:(a,b)\to \mathbb{R}$ is convex on $(a,b)$ if and only if: $\forall {0}\le \lambda\le 1,\forall a<x,y\le b$: $$\varphi(\lambda x+(1-\lambda)y)\le \lambda \varphi (x)+(1-\lambda)\varphi(y)$$ equivalently $\forall a<s<t<u<b$: $$\frac{\varphi(t)-\varphi(s)}{t-s}\le \frac{\varphi(u)-\varphi(t)}{u-t}$$

Definition (Convex (474))

The function $f:K\to\mathbb{R}$, where $K$ is a convex subset of $\mathbb{R}^n$, is called convex on $K$ if $\forall x_1,x_2\in K$ and $\lambda\in[0,1]$ $$f(\lambda\vec x_1+(1-\lambda)\vec x_2)\le\lambda f(\vec x_1)+(1-\lambda)f(\vec x_2)$$ Also if strict inequality holds whenever $\vec x_1\not=\vec x_2$ and $0<\lambda<1$, then $f$ is called strictly convex.