# Convex function

From Maths

- See
*convex*for other uses of the word (eg a*convex set*)

**Stub grade: A***

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Demote once a reference is found and the definition is suitably abstracted

## Definition

Let [ilmath]S\in\mathcal{P}(\mathbb{R}^n)[/ilmath] be an arbitrary subset of Euclidean [ilmath]n[/ilmath]-space, [ilmath]\mathbb{R}^n[/ilmath], and let [ilmath]f:S\rightarrow\mathbb{R} [/ilmath] be a function. We say [ilmath]f[/ilmath] is a *convex function* if both of the following holdTemplate:RAFCIRAPM:

- [ilmath]S[/ilmath] is a convex set itself,
*i.e.*the line connecting any two points in [ilmath]S[/ilmath] is also entirely contained in [ilmath]S[/ilmath]- In symbols: [ilmath]\forall x,y\in S\forall t\in [0,1]\subset\mathbb{R}[x+t(y-x)\in S][/ilmath], and

- The image of a point [ilmath]t[/ilmath]-far along the line [ilmath][x,y][/ilmath] is [ilmath]\le[/ilmath] the point [ilmath]t[/ilmath]-far along the line [ilmath]f(x)[/ilmath] to [ilmath]f(y)[/ilmath]
- In symbols: [ilmath]\forall t\in [0,1]\subset\mathbb{R}[f(x+t(y-x))\le f(x)+t(f(y)-f(x))][/ilmath]

Grade: C

This page requires some work to be carried out

Some aspect of this page is incomplete and work is required to finish it

The message provided is:

The message provided is:

A picture would be great

*Warning:*That grade doesn't exist!## Equivalent statements

- "
*a function is convex if and only if its domain is convex and its epigraph are convex sets*"Template:RAFCIRAPM