# Definition:Convex Real Function

## Definition

Let $f$ be a real function which is defined on a real interval $I$.

### Definition 1

$f$ is convex on $I$ if and only if:

$\forall x, y \in I: \forall \alpha, \beta \in \R_{>0}, \alpha + \beta = 1: \map f {\alpha x + \beta y} \le \alpha \map f x + \beta \map f y$

### Definition 2

$f$ is convex on $I$ if and only if:

$\forall x_1, x_2, x_3 \in I: x_1 < x_2 < x_3: \dfrac {f \left({x_2}\right) - f \left({x_1}\right)} {x_2 - x_1} \le \dfrac {f \left({x_3}\right) - f \left({x_2}\right)} {x_3 - x_2}$

### Definition 3

$f$ is convex on $I$ if and only if:

$\forall x_1, x_2, x_3 \in I: x_1 < x_2 < x_3: \dfrac {f \left({x_2}\right) - f \left({x_1}\right)} {x_2 - x_1} \le \dfrac {f \left({x_3}\right) - f \left({x_1}\right)} {x_3 - x_1}$

## Also known as

A convex function can also be referred to as:

• a concave up function
• a convex down function

## Also see

• Results about convex real functions can be found here.