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 , Σ ) {\displaystyle (X,\Sigma )} and ( Y , T ) {\displaystyle (Y,\mathrm {T} )} be measurable spaces, meaning that X {\displaystyle X} and Y {\displaystyle Y} are sets equipped with respective σ-algebras Σ {\displaystyle \Sigma } and T . {\displaystyle \mathrm {T} .} A function f : X → Y {\displaystyle f:X\to Y} is said to be measurable if for every E ∈ T {\displaystyle E\in \mathrm {T} } the pre-image of E {\displaystyle E} under f {\displaystyle f} is in Σ {\displaystyle \Sigma } ; that is, for all E ∈ T {\displaystyle E\in \mathrm {T} }
f − 1 ( E ) := { x ∈ X ∣ f ( x ) ∈ E } ∈ Σ . {\displaystyle f^{-1}(E):=\{x\in X\mid f(x)\in E\}\in \Sigma .}
That is, σ ( f ) ⊆ Σ , {\displaystyle \sigma (f)\subseteq \Sigma ,} where σ ( f ) {\displaystyle \sigma (f)} is the σ-algebra generated by f. If f : X → Y {\displaystyle f:X\to Y} is a measurable function, one writes
f : ( X , Σ ) → ( Y , T ) . {\displaystyle f\colon (X,\Sigma )\rightarrow (Y,\mathrm {T} ).}
to emphasize the dependency on the σ {\displaystyle \sigma } -algebras Σ {\displaystyle \Sigma } and T . {\displaystyle \mathrm {T} .}
Term usage variations The choice of σ {\displaystyle \sigma } -algebras in the definition above is sometimes implicit and left up to the context. For example, for R , {\displaystyle \mathbb {R} ,} C , {\displaystyle \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.
… excerpt ends here. Continue reading the full article.
