Essential range

Last updated October 03, 2024

In mathematics, particularly measure theory, the essential range, or the set of essential values, of a function is intuitively the 'non-negligible' range of the function: It does not change between two functions that are equal almost everywhere. One way of thinking of the essential range of a function is the set on which the range of the function is 'concentrated'.

Formal definition

Let $(X,{\cal {A}},\mu )$ be a measure space, and let $(Y,{\cal {T}})$ be a topological space. For any $({\cal {A}},\sigma ({\cal {T}}))$ -measurable function $f:X\to Y$ , we say the essential range of $f$ to mean the set

\operatorname {ess.im} (f)=\left\{y\in Y\mid 0<\mu (f^{-1}(U)){\text{ for all }}U\in {\cal {T}}{\text{ with }}y\in U\right\}.

^[1]^{: Example 0.A.5}^[2]^[3]

Equivalently, $\operatorname {ess.im} (f)=\operatorname {supp} (f_{*}\mu )$ , where $f_{*}\mu$ is the pushforward measure onto $\sigma ({\cal {T}})$ of $\mu$ under $f$ and $\operatorname {supp} (f_{*}\mu )$ denotes the support of $f_{*}\mu .$ ^[4]

Essential values

The phrase "essential value of $f$ " is sometimes used to mean an element of the essential range of $f.$ ^[5]^{: Exercise 4.1.6}^[6]^{: Example 7.1.11}

Special cases of common interest

Y = C

Say $(Y,{\cal {T}})$ is $\mathbb {C}$ equipped with its usual topology. Then the essential range of f is given by

\operatorname {ess.im} (f)=\left\{z\in \mathbb {C} \mid {\text{for all}}\ \varepsilon \in \mathbb {R} _{>0}:0<\mu \{x\in X:|f(x)-z|<\varepsilon \}\right\}.

^[7]^{: Definition 4.36}^[8]^[9]^{: cf. Exercise 6.11}

In other words: The essential range of a complex-valued function is the set of all complex numbers z such that the inverse image of each ε-neighbourhood of z under f has positive measure.

(Y,T) is discrete

Say $(Y,{\cal {T}})$ is discrete, i.e., ${\cal {T}}={\cal {P}}(Y)$ is the power set of $Y,$ i.e., the discrete topology on $Y.$ Then the essential range of f is the set of values y in Y with strictly positive $f_{*}\mu$ -measure:

\operatorname {ess.im} (f)=\{y\in Y:0<\mu (f^{\text{pre}}\{y\})\}=\{y\in Y:0<(f_{*}\mu )\{y\}\}.

^[10]^{: Example 1.1.29}^[11]^[12]

Properties

The essential range of a measurable function, being the support of a measure, is always closed.
The essential range ess.im(f) of a measurable function is always a subset of ${\overline {\operatorname {im} (f)}}$ .
The essential image cannot be used to distinguish functions that are almost everywhere equal: If $f=g$ holds $\mu$ -almost everywhere, then $\operatorname {ess.im} (f)=\operatorname {ess.im} (g)$ .
These two facts characterise the essential image: It is the biggest set contained in the closures of $\operatorname {im} (g)$ for all g that are a.e. equal to f:

\operatorname {ess.im} (f)=\bigcap _{f=g\,{\text{a.e.}}}{\overline {\operatorname {im} (g)}}

.

The essential range satisfies $\forall A\subseteq X:f(A)\cap \operatorname {ess.im} (f)=\emptyset \implies \mu (A)=0$ .
This fact characterises the essential image: It is the smallest closed subset of $\mathbb {C}$ with this property.
The essential supremum of a real valued function equals the supremum of its essential image and the essential infimum equals the infimum of its essential range. Consequently, a function is essentially bounded if and only if its essential range is bounded.
The essential range of an essentially bounded function f is equal to the spectrum $\sigma (f)$ where f is considered as an element of the C*-algebra $L^{\infty }(\mu )$ .

Examples

If $\mu$ is the zero measure, then the essential image of all measurable functions is empty.
This also illustrates that even though the essential range of a function is a subset of the closure of the range of that function, equality of the two sets need not hold.
If $X\subseteq \mathbb {R} ^{n}$ is open, $f:X\to \mathbb {C}$ continuous and $\mu$ the Lebesgue measure, then $\operatorname {ess.im} (f)={\overline {\operatorname {im} (f)}}$ holds. This holds more generally for all Borel measures that assign non-zero measure to every non-empty open set.

Extension

The notion of essential range can be extended to the case of $f:X\to Y$ , where $Y$ is a separable metric space. If $X$ and $Y$ are differentiable manifolds of the same dimension, if $f\in$ VMO $(X,Y)$ and if $\operatorname {ess.im} (f)\neq Y$ , then $\deg f=0$ .^[13]

Related Research Articles

In mathematics, the concept of a measure is a generalization and formalization of geometrical measures and other common notions, such as magnitude, mass, and probability of events. These seemingly distinct concepts have many similarities and can often be treated together in a single mathematical context. Measures are foundational in probability theory, integration theory, and can be generalized to assume negative values, as with electrical charge. Far-reaching generalizations of measure are widely used in quantum physics and physics in general.

In mathematical analysis, a null set is a Lebesgue measurable set of real numbers that has measure zero. This can be characterized as a set that can be covered by a countable union of intervals of arbitrarily small total length.

A random variable is a mathematical formalization of a quantity or object which depends on random events. The term 'random variable' in its mathematical definition refers to neither randomness nor variability but instead is a mathematical function in which

In mathematics, the $L p$ spaces are function spaces defined using a natural generalization of the $p$ -norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz.

In mathematics, fuzzy sets are sets whose elements have degrees of membership. Fuzzy sets were introduced independently by Lotfi A. Zadeh in 1965 as an extension of the classical notion of set. At the same time, Salii (1965) defined a more general kind of structure called an "L-relation", which he studied in an abstract algebraic context; fuzzy relations are special cases of L-relations when L is the unit interval [0, 1]. They are now used throughout fuzzy mathematics, having applications in areas such as linguistics, decision-making, and clustering.

In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the good convergence behaviour of monotonic sequences, i.e. sequences that are non-increasing, or non-decreasing. In its simplest form, it says that a non-decreasing bounded-above sequence of real numbers $converges to its smallest upper bound, its supremum. Likewise, a non-increasing bounded-below sequence converges to its largest lower bound, its infimum. In particular, infinite sums of non-negative numbers converge to the supremum of the partial sums if and only if the partial sums are bounded.$

In mathematical analysis, the Minkowski inequality establishes that the L^p spaces are normed vector spaces. Let $be a measure space, let and let and be elements of Then is in and we have the triangle inequality with equality for if and only if and are positively linearly dependent; that is, for some or Here, the norm is given by: if or in the case by the essential supremum$

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

In mathematics, the support of a real-valued function $is the subset of the function domain containing the elements which are not mapped to zero. If the domain of is a topological space, then the support of is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used widely in mathematical analysis.$

In the mathematical field of measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. The theory of outer measures was first introduced by Constantin Carathéodory to provide an abstract basis for the theory of measurable sets and countably additive measures. Carathéodory's work on outer measures found many applications in measure-theoretic set theory, and was used in an essential way by Hausdorff to define a dimension-like metric invariant now called Hausdorff dimension. Outer measures are commonly used in the field of geometric measure theory.

In mathematics, the total variation identifies several slightly different concepts, related to the (local or global) structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ R, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation x ↦ f(x), for x ∈ [a, b]. Functions whose total variation is finite are called functions of bounded variation.

The spectrum of a linear operator $that operates on a Banach space is a fundamental concept of functional analysis. The spectrum consists of all scalars such that the operator does not have a bounded inverse on . The spectrum has a standard decomposition into three parts:$

In mathematics, the concepts of essential infimum and essential supremum are related to the notions of infimum and supremum, but adapted to measure theory and functional analysis, where one often deals with statements that are not valid for all elements in a set, but rather almost everywhere, that is, except on a set of measure zero.

In mathematics, the support of a measure $on a measurable topological space is a precise notion of where in the space the measure "lives". It is defined to be the largest (closed) subset of for which every open neighbourhood of every point of the set has positive measure.$

In mathematics, more specifically measure theory, there are various notions of the convergence of measures. For an intuitive general sense of what is meant by convergence of measures, consider a sequence of measures $μ n$ on a space, sharing a common collection of measurable sets. Such a sequence might represent an attempt to construct 'better and better' approximations to a desired measure $μ$ that is difficult to obtain directly. The meaning of 'better and better' is subject to all the usual caveats for taking limits; for any error tolerance $ε > 0$ we require there be $N$ sufficiently large for $n \geq N$ to ensure the 'difference' between $μ n$ and $μ$ is smaller than $ε$ . Various notions of convergence specify precisely what the word 'difference' should mean in that description; these notions are not equivalent to one another, and vary in strength.

The Titchmarsh convolution theorem describes the properties of the support of the convolution of two functions. It was proven by Edward Charles Titchmarsh in 1926.

In mathematics, the Prékopa–Leindler inequality is an integral inequality closely related to the reverse Young's inequality, the Brunn–Minkowski inequality and a number of other important and classical inequalities in analysis. The result is named after the Hungarian mathematicians András Prékopa and László Leindler.

In mathematics, lifting theory was first introduced by John von Neumann in a pioneering paper from 1931, in which he answered a question raised by Alfréd Haar. The theory was further developed by Dorothy Maharam (1958) and by Alexandra Ionescu Tulcea and Cassius Ionescu Tulcea (1961). Lifting theory was motivated to a large extent by its striking applications. Its development up to 1969 was described in a monograph of the Ionescu Tulceas. Lifting theory continued to develop since then, yielding new results and applications.

<span class="mw-page-title-main">Lebesgue integral</span> Method of integration

In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the $X$ axis. The Lebesgue integral, named after French mathematician Henri Lebesgue, is one way to make this concept rigorous and to extend it to more general functions.

In mathematics, $, the vector space of bounded sequences with the supremum norm, and, the vector space of essentially bounded measurable functions with the essential supremum norm, are two closely related Banach spaces. In fact the former is a special case of the latter. As a Banach space they are the continuous dual of the Banach spaces of absolutely summable sequences, and of absolutely integrable measurable functions. Pointwise multiplication gives them the structure of a Banach algebra, and in fact they are the standard examples of abelian Von Neumann algebras.$

References

↑ Zimmer, Robert J. (1990). Essential Results of Functional Analysis. University of Chicago Press. p. 2. ISBN 0-226-98337-4.
↑ Kuksin, Sergei; Shirikyan, Armen (2012). Mathematics of Two-Dimensional Turbulence. Cambridge University Press. p. 292. ISBN 978-1-107-02282-9.
↑ Kon, Mark A. (1985). Probability Distributions in Quantum Statistical Mechanics. Springer. pp. 74, 84. ISBN 3-540-15690-9.
↑ Driver, Bruce (May 7, 2012). Analysis Tools with Examples (PDF). p. 327. Cf. Exercise 30.5.1.
↑ Segal, Irving E.; Kunze, Ray A. (1978). Integrals and Operators (2nd revised and enlarged ed.). Springer. p. 106. ISBN 0-387-08323-5.
↑ Bogachev, Vladimir I.; Smolyanov, Oleg G. (2020). Real and Functional Analysis. Moscow Lectures. Springer. p. 283. ISBN 978-3-030-38219-3. ISSN 2522-0314.
↑ Weaver, Nik (2013). Measure Theory and Functional Analysis. World Scientific. p. 142. ISBN 978-981-4508-56-8.
↑ Bhatia, Rajendra (2009). Notes on Functional Analysis. Hindustan Book Agency. p. 149. ISBN 978-81-85931-89-0.
↑ Folland, Gerald B. (1999). Real Analysis: Modern Techniques and Their Applications. Wiley. p. 187. ISBN 0-471-31716-0.
↑ Cf. Tao, Terence (2012). Topics in Random Matrix Theory. American Mathematical Society. p. 29. ISBN 978-0-8218-7430-1.
↑ Cf. Freedman, David (1971). Markov Chains. Holden-Day. p. 1.
↑ Cf. Chung, Kai Lai (1967). Markov Chains with Stationary Transition Probabilities. Springer. p. 135.
↑ Brezis, Haïm; Nirenberg, Louis (September 1995). "Degree theory and BMO. Part I: Compact manifolds without boundaries". Selecta Mathematica. 1 (2): 197–263. doi:10.1007/BF01671566.

Walter Rudin (1974). Real and Complex Analysis (2nd ed.). McGraw-Hill. ISBN 978-0-07-054234-1.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Zimmer, Robert J. (1990). Essential Results of Functional Analysis. University of Chicago Press. p. 2. ISBN 0-226-98337-4.

[2] Kuksin, Sergei; Shirikyan, Armen (2012). Mathematics of Two-Dimensional Turbulence. Cambridge University Press. p. 292. ISBN 978-1-107-02282-9.

[3] Kon, Mark A. (1985). Probability Distributions in Quantum Statistical Mechanics. Springer. pp. 74, 84. ISBN 3-540-15690-9.

[4] Driver, Bruce (May 7, 2012). Analysis Tools with Examples (PDF). p. 327. Cf. Exercise 30.5.1.

[5] Segal, Irving E.; Kunze, Ray A. (1978). Integrals and Operators (2nd revised and enlarged ed.). Springer. p. 106. ISBN 0-387-08323-5.

[6] Bogachev, Vladimir I.; Smolyanov, Oleg G. (2020). Real and Functional Analysis. Moscow Lectures. Springer. p. 283. ISBN 978-3-030-38219-3. ISSN 2522-0314.

[7] Weaver, Nik (2013). Measure Theory and Functional Analysis. World Scientific. p. 142. ISBN 978-981-4508-56-8.

[8] Bhatia, Rajendra (2009). Notes on Functional Analysis. Hindustan Book Agency. p. 149. ISBN 978-81-85931-89-0.

[9] Folland, Gerald B. (1999). Real Analysis: Modern Techniques and Their Applications. Wiley. p. 187. ISBN 0-471-31716-0.

[10] Cf. Tao, Terence (2012). Topics in Random Matrix Theory. American Mathematical Society. p. 29. ISBN 978-0-8218-7430-1.

[11] Cf. Freedman, David (1971). Markov Chains. Holden-Day. p. 1.

[12] Cf. Chung, Kai Lai (1967). Markov Chains with Stationary Transition Probabilities. Springer. p. 135.

[13] Brezis, Haïm; Nirenberg, Louis (September 1995). "Degree theory and BMO. Part I: Compact manifolds without boundaries". Selecta Mathematica. 1 (2): 197–263. doi:10.1007/BF01671566.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]