Measurable function

In mathematics, and in particular measure theory, a measurable function is a function between the underlying sets of two measurable spaces that preserves the structure of the spaces: the preimage of any measurable set is measurable. This is in direct analogy to the definition that a continuous function between topological spaces preserves the topological structure: the preimage of any open set is open. In real analysis, measurable functions are used in the definition of the Lebesgue integral. In probability theory, a measurable function on a probability space is known as a random variable.

Formal definition

Let $(X,\Sigma )$ and $(Y,\mathrm {T} )$ be measurable spaces, meaning that $X$ and $Y$ are sets equipped with respective σ-algebras $\Sigma$ and $\mathrm {T} .$ A function $f:X\to Y$ is said to be measurable if for every $E\in \mathrm {T}$ the pre-image of $E$ under $f$ is in $\Sigma$; that is, for all $E\in \mathrm {T}$ $$f^{-1}(E):=\{x\in X\mid f(x)\in E\}\in \Sigma .$$

That is, $\sigma (f)\subseteq \Sigma ,$ where $\sigma (f)$ is the σ-algebra generated by f. If $f:X\to Y$ is a measurable function, one writes Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f\colon (X,\Sigma )\rightarrow (Y,\mathrm {T} ).} to emphasize the dependency on the $\sigma$-algebras $\Sigma$ and $\mathrm {T} .$

Term usage variations

The choice of $\sigma$-algebras in the definition above is sometimes implicit and left up to the context. For example, for $\mathbb {R} ,$ $\mathbb {C} ,$ or other topological spaces, the Borel algebra (generated by all the open sets) is a common choice. Some authors define measurable functions as exclusively real-valued ones with respect to the Borel algebra.

If the values of the function lie in an infinite-dimensional vector space, other non-equivalent definitions of measurability, such as weak measurability and Bochner measurability, exist.

Notable classes of measurable functions

• Random variables are by definition measurable functions defined on probability spaces.
• If $(X,\Sigma )$ and $(Y,T)$ are Borel spaces, a measurable function Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f:(X,\Sigma )\to (Y,T)} is also called a Borel function. Continuous functions are Borel functions but not all Borel functions are continuous. However, a measurable function is nearly a continuous function; see Luzin's theorem. If a Borel function happens to be a section of a map Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle Y\xrightarrow {~\pi ~} X,} it is called a Borel section.
• A Lebesgue measurable function is a measurable function Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f:(\mathbb {R} ,{\mathcal {L}})\to (\mathbb {C} ,{\mathcal {B}}_{\mathbb {C} }),} where Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {L}}} is the $\sigma$-algebra of Lebesgue measurable sets, and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {B}}_{\mathbb {C} }} is the Borel algebra on the complex numbers $\mathbb {C} .$ Lebesgue measurable functions are of interest in mathematical analysis because they can be integrated. In the case Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f:X\to \mathbb {R} ,} $f$ is Lebesgue measurable if and only if Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \{f>\alpha \}=\{x\in X:f(x)>\alpha \}} is measurable for all Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \alpha \in \mathbb {R} .} This is also equivalent to any of Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \{f\geq \alpha \},\{f<\alpha \},\{f\leq \alpha \}} being measurable for all $\alpha ,$ or the preimage of any open set being measurable. Continuous functions, monotone functions, step functions, semicontinuous functions, Riemann-integrable functions, and functions of bounded variation are all Lebesgue measurable. A function Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f:X\to \mathbb {C} } is measurable if and only if the real and imaginary parts are measurable.

Properties of measurable functions

• The sum and product of two complex-valued measurable functions are measurable. So is the quotient, so long as there is no division by zero.
• If Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f:(X,\Sigma _{1})\to (Y,\Sigma _{2})} and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle g:(Y,\Sigma _{2})\to (Z,\Sigma _{3})} are measurable functions, then so is their composition $g\circ f:(X,\Sigma _{1})\to (Z,\Sigma _{3}).$
• If Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f:(X,\Sigma _{1})\to (Y,\Sigma _{2})} and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle g:(Y,\Sigma _{3})\to (Z,\Sigma _{4})} are measurable functions, their composition $g\circ f:X\to Z$ need not be Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle (\Sigma _{1},\Sigma _{4})} -measurable unless Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Sigma _{3}\subseteq \Sigma _{2}.} Indeed, two Lebesgue-measurable functions may be constructed in such a way as to make their composition non-Lebesgue-measurable.
• The (pointwise) supremum, infimum, limit superior, and limit inferior of a sequence (viz., countably many) of real-valued measurable functions are all measurable as well.
• The pointwise limit of a sequence of measurable functions Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f_{n}:X\to Y} is measurable, where $Y$ is a metric space (endowed with the Borel algebra). This is not true in general if $Y$ is non-metrizable. The corresponding statement for continuous functions requires stronger conditions than pointwise convergence, such as uniform convergence.

Non-measurable functions

Real-valued functions encountered in applications tend to be measurable; however, it is not difficult to prove the existence of non-measurable functions. Such proofs rely on the axiom of choice in an essential way, in the sense that Zermelo–Fraenkel set theory without the axiom of choice does not prove the existence of such functions.

In any measure space $(X,\Sigma )$ with a non-measurable set Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle A\subset X,} Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle A\notin \Sigma ,} one can construct a non-measurable indicator function: Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathbf {1} _{A}:(X,\Sigma )\to \mathbb {R} ,\quad \mathbf {1} _{A}(x)={\begin{cases}1&{\text{ if }}x\in A\\0&{\text{ otherwise}},\end{cases}}} where $\mathbb {R}$ is equipped with the usual Borel algebra. This is a non-measurable function since the preimage of the measurable set Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \{1\}} is the non-measurable Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle A.}  

As another example, any non-constant function $f:X\to \mathbb {R}$ is non-measurable with respect to the trivial $\sigma$-algebra Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Sigma =\{\varnothing ,X\},} since the preimage of any point in the range is some proper, nonempty subset of Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle X,} which is not an element of the trivial Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Sigma .}

See also

• Bochner measurable function
• Bochner space
• Lp space – Function spaces generalizing finite-dimensional p norm spaces - Vector spaces of measurable functions: the $L^{p}$ spaces
• Measure-preserving dynamical system
• Vector measure
• Weakly measurable function

External links

• Measurable function at Encyclopedia of Mathematics
• Borel function at Encyclopedia of Mathematics