HOME

TheInfoList



OR:

In mathematics, a function f: \mathbb^n \rightarrow \mathbb is said to be closed if for each \alpha \in \mathbb, the
sublevel set In mathematics, a level set of a real-valued function of real variables is a set where the function takes on a given constant value , that is: : L_c(f) = \left\~, When the number of independent variables is two, a level set is cal ...
\ is a
closed set In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric spac ...
. Equivalently, if the epigraph defined by \mbox f = \ is closed, then the function f is closed. This definition is valid for any function, but most used for
convex function In mathematics, a real-valued function is called convex if the line segment between any two points on the graph of the function lies above the graph between the two points. Equivalently, a function is convex if its epigraph (the set of poin ...
s. A
proper convex function In mathematical analysis, in particular the subfields of convex analysis and optimization, a proper convex function is an extended real-valued convex function with a non-empty domain, that never takes on the value -\infty and also is not identica ...
is closed
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bi ...
it is
lower semi-continuous In mathematical analysis, semicontinuity (or semi-continuity) is a property of extended real-valued functions that is weaker than continuity. An extended real-valued function f is upper (respectively, lower) semicontinuous at a point x_0 if, r ...
. For a convex function which is not proper there is disagreement as to the definition of the ''closure'' of the function.


Properties

* If f: \mathbb^n \rightarrow \mathbb is a continuous function and \mbox f is closed, then f is closed. * If f: \mathbb R^n \rightarrow \mathbb R is a continuous function and \mbox f is open, then f is closed
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bi ...
it converges to \infty along every sequence converging to a
boundary Boundary or Boundaries may refer to: * Border, in political geography Entertainment * ''Boundaries'' (2016 film), a 2016 Canadian film * ''Boundaries'' (2018 film), a 2018 American-Canadian road trip film *Boundary (cricket), the edge of the pla ...
point of \mbox f . * A closed proper convex function ''f'' is the pointwise
supremum In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest l ...
of the collection of all
affine function In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles. More genera ...
s ''h'' such that ''h'' ≤ ''f'' (called the affine minorants of ''f'').


References

* Convex analysis Types of functions {{mathanalysis-stub