Closed convex function

Template:Short description In mathematics, a function $f:{ℝ}^n\to ℝ$ is said to be closed if for each $\alpha \in ℝ$, the sublevel set $\{x\in \text{dom}f|f(x)\le \alpha \}$ is a closed set.

Equivalently, if the epigraph defined by $\text{epi}f=\{(x,t)\in {ℝ}^{n+1}|x\in \text{dom}f,f(x)\le t\}$ is closed, then the function $f$ is closed.

This definition is valid for any function, but most used for convex functions. A proper convex function is closed if and only if it is lower semi-continuous.

Properties

• If $f:{ℝ}^n\to ℝ$ is a continuous function and $\text{dom}f$ is closed, then $f$ is closed.
• If $f:{ℝ}^n\to ℝ$ is a continuous function and $\text{dom}f$ is open, then $f$ is closed if and only if it converges to $\mathrm{\infty }$ along every sequence converging to a boundary point of $\text{dom}f$.
• A closed proper convex function f is the pointwise supremum of the collection of all affine functions h such that h ≤ f (called the affine minorants of f).

References

• Template:Cite book