Proper convex function

From Wikipedia, the free encyclopedia

In mathematics, a proper convex function is a convex function f taking values in the extended real number line such that

f(x) < +\infty

for at least one x and

f(x) > -\infty

for every x. This definition takes account of the fact that the extended real number line does not constitute a field because, for example, the value of the expression ∞ − ∞ is left undefined.

It is always possible to consider the restriction of a proper convex function f to its effective domain

\mbox{dom} f = \left\{x : f(x) < \infty \right\}

instead of f itself, thereby avoiding some minor technicalities that may otherwise arise. The effective domain of a convex function is always a convex set.

[edit] Properties

For every proper convex function f on Rn there exist some b in Rn and β in R such that

f(x) \ge x \cdot b - \beta

for every x.

The sum of two proper convex functions is convex but not necessarily proper convex. The infimal convolute of two proper convex functions is convex but not necessarily proper convex.

[edit] References

  • Rockafellar, Ralph Tyrell, Convex Analysis, Princeton University Press (1996). ISBN 0-691-01586-4