epigraph (mathematics)

{{Short description|Region above a graph}}

{{distinguish|text = epigraph as an inscription studied in the archeological sub-discipline of epigraphy, or epigraph (literature)}}

File:Epigraph.svg

File:Epigraph convex.svg. This region is the function's epigraph.]]

In mathematics, the epigraph or supergraph of a function f : X \to [-\infty, \infty] valued in the extended real numbers [-\infty, \infty] = \Reals \cup \{\pm \infty\} is the set

\operatorname{epi} f = \{(x, r) \in X \times \Reals ~:~ r \geq f(x)\}

consisting of all points in the Cartesian product X \times \Reals lying on or above the function's graph.{{sfn|Rockafellar|Wets|2009|pp=1-37}}

Similarly, the strict epigraph \operatorname{epi}_S f is the set of points in X \times \Reals lying strictly above its graph.

Importantly, unlike the graph of f, the epigraph {{em|always}} consists {{em|entirely}} of points in X \times \Reals (this is true of the graph only when f is real-valued).

If the function takes \pm \infty as a value then \operatorname{graph} f will {{em|not}} be a subset of its epigraph \operatorname{epi} f.

For example, if f\left(x_0\right) = \infty then the point \left(x_0, f\left(x_0\right)\right) = \left(x_0, \infty\right) will belong to \operatorname{graph} f but not to \operatorname{epi} f.

These two sets are nevertheless closely related because the graph can always be reconstructed from the epigraph, and vice versa.

The study of continuous real-valued functions in real analysis has traditionally been closely associated with the study of their graphs, which are sets that provide geometric information (and intuition) about these functions.{{sfn|Rockafellar|Wets|2009|pp=1-37}} Epigraphs serve this same purpose in the fields of convex analysis and variational analysis, in which the primary focus is on convex functions valued in [-\infty, \infty] instead of continuous functions valued in a vector space (such as \Reals or \Reals^2).{{sfn|Rockafellar|Wets|2009|pp=1-37}} This is because in general, for such functions, geometric intuition is more readily obtained from a function's epigraph than from its graph.{{sfn|Rockafellar|Wets|2009|pp=1-37}} Similarly to how graphs are used in real analysis, the epigraph can often be used to give geometrical interpretations of a convex function's properties, to help formulate or prove hypotheses, or to aid in constructing counterexamples.

Definition

The definition of the epigraph was inspired by that of the graph of a function, where the {{em|{{visible anchor|graph|Graph}}}} of f : X \to Y is defined to be the set

\operatorname{graph} f := \{(x, y) \in X \times Y ~:~ y = f(x)\}.

The {{em|{{visible anchor|epigraph|Epigraph}}}} or {{em|{{visible anchor|supergraph|Supergraph}}}} of a function f : X \to [-\infty, \infty] valued in the extended real numbers [-\infty, \infty] = \Reals \cup \{\pm \infty\} is the set{{sfn|Rockafellar|Wets|2009|pp=1-37}}

\begin{alignat}{4}

\operatorname{epi} f

&= \{(x, r) \in X \times \Reals ~:~ r \geq f(x)\} \\

&= \left[f^{-1}(- \infty) \times \Reals\right] \cup \bigcup_{x \in f^{-1}(\Reals)} (\{x\} \times [f(x), \infty))

\end{alignat}

where all sets being unioned in the last line are pairwise disjoint.

In the union over x \in f^{-1}(\Reals) that appears above on the right hand side of the last line, the set \{x\} \times [f(x), \infty) may be interpreted as being a "vertical ray" consisting of (x, f(x)) and all points in X \times \Reals "directly above" it.

Similarly, the set of points on or below the graph of a function is its Hypograph (mathematics).

The {{em|{{visible anchor|strict epigraph|Strict epigraph}}}} is the epigraph with the graph removed:

\begin{alignat}{4}

\operatorname{epi}_S f

&= \{(x, r) \in X \times \Reals ~:~ r > f(x)\} \\

&= \operatorname{epi} f \setminus \operatorname{graph} f \\

&= \bigcup_{x \in X} \left( \{x\} \times (f(x), \infty) \right)

\end{alignat}

where all sets being unioned in the last line are pairwise disjoint, and some may be empty.

Relationships with other sets

Despite the fact that f might take one (or both) of \pm \infty as a value (in which case its graph would {{em|not}} be a subset of X \times \Reals), the epigraph of f is nevertheless defined to be a subset of X \times \Reals rather than of X \times [-\infty, \infty]. This is intentional because when X is a vector space then so is X \times \Reals but X \times [-\infty, \infty] is {{em|never}} a vector space{{sfn|Rockafellar|Wets|2009|pp=1-37}} (since the extended real number line [-\infty, \infty] is not a vector space).

This deficiency in X \times [-\infty, \infty] remains even if instead of being a vector space, X is merely a non-empty subset of some vector space.

The epigraph being a subset of a vector space allows for tools related to real analysis and functional analysis (and other fields) to be more readily applied.

The domain (rather than the codomain) of the function is not particularly important for this definition; it can be any linear space or even an arbitrary set instead of \Reals^n.

The strict epigraph \operatorname{epi}_S f and the graph \operatorname{graph} f are always disjoint.

The epigraph of a function f : X \to [-\infty, \infty] is related to its graph and strict epigraph by

\,\operatorname{epi} f \,\subseteq\, \operatorname{epi}_S f \,\cup\, \operatorname{graph} f

where set equality holds if and only if f is real-valued. However,

\operatorname{epi} f = \left[\operatorname{epi}_S f \,\cup\, \operatorname{graph} f\right] \,\cap\, [X \times \Reals]

always holds.

Reconstructing functions from epigraphs

The epigraph is empty if and only if the function is identically equal to infinity.

Just as any function can be reconstructed from its graph, so too can any extended real-valued function f on X be reconstructed from its epigraph E := \operatorname{epi} f (even when f takes on \pm \infty as a value). Given x \in X, the value f(x) can be reconstructed from the intersection E \cap (\{x\} \times \Reals) of E with the "vertical line" \{x\} \times \Reals passing through x as follows:

  • case 1: E \cap (\{x\} \times \Reals) = \varnothing if and only if f(x) = \infty,
  • case 2: E \cap (\{x\} \times \Reals) = \{x\} \times \Reals if and only if f(x) = -\infty,
  • case 3: otherwise, E \cap (\{x\} \times \Reals) is necessarily of the form \{x\} \times [f(x), \infty), from which the value of f(x) can be obtained by taking the infimum of the interval.

The above observations can be combined to give a single formula for f(x) in terms of E := \operatorname{epi} f.

Specifically, for any x \in X,

f(x) = \inf_{} \{r \in \Reals ~:~ (x, r) \in E\}

where by definition, \inf_{} \varnothing := \infty.

This same formula can also be used to reconstruct f from its strict epigraph E := \operatorname{epi}_S f.

Relationships between properties of functions and their epigraphs

A function is convex if and only if its epigraph is a convex set. The epigraph of a real affine function g : \Reals^n \to \Reals is a halfspace in \Reals^{n+1}.

A function is lower semicontinuous if and only if its epigraph is closed.

See also

  • {{annotated link|Effective domain}}
  • {{annotated link|Hypograph (mathematics)}}
  • {{annotated link|Proper convex function}}

Citations

{{commonscat|Epigraph and hypograph (mathematics)|epigraphs und hypographs}}

{{reflist|refs=

{{cite book|author1=Pekka Neittaanmäki|author2=Sergey R. Repin|title=Reliable Methods for Computer Simulation: Error Control and Posteriori Estimates|url=https://books.google.com/books?id=s5DA9DerIs4C&pg=PA81|year=2004|publisher=Elsevier|isbn=978-0-08-054050-4|page=81}}

{{cite book|author1=Charalambos D. Aliprantis|author2=Kim C. Border|title=Infinite Dimensional Analysis: A Hitchhiker's Guide|url=https://books.google.com/books?id=4hIq6ExH7NoC&pg=PA8|year=2007|publisher=Springer Science & Business Media|isbn=978-3-540-32696-0|page=8|edition=3rd}}

}}

References

  • {{Rockafellar Wets Variational Analysis 2009 Springer}}
  • Rockafellar, Ralph Tyrell (1996), Convex Analysis, Princeton University Press, Princeton, NJ. {{ISBN|0-691-01586-4}}.

{{Convex analysis and variational analysis}}

Category:Convex analysis

Category:Mathematical analysis

Category:Variational analysis