Measurable function: Difference between revisions

Revision as of 21:35, 14 November 2020

Let $(X,M)$ and $(Y,N)$ be measure spaces. A map $f:X\to Y$ is $(M,N)$ -measurable if $f^{-1}(E)\in M$ for all $E\in N.$

A function $f:\mathbb {R} \to {\overline {\mathbb {R} }}$ is called a Lebesgue measurable function if $f$ is $(L,B_{\overline {\mathbb {R} }})$ - measurable, where $L$ is the class of Lebesgue measurable sets and $B_{\overline {\mathbb {R} }}$ is Borel $\sigma$ -algebra.

Revision as of 21:34, 14 November 2020 (view source) Jihye (talk \| contribs) (→‎Examples of measurable functions) ← Older edit		Revision as of 21:35, 14 November 2020 (view source) Jihye (talk \| contribs) (→‎Examples of measurable functions) Newer edit →
Line 2:		Line 2:

	==Examples of measurable functions==		==Examples of measurable functions==
	* A function <math>f: \mathbb{R} \to \overline{\mathbb{R}}</math> is called a '''Lebesgue measurable function''' if <math>f</math> is <math>(L, B_{\overline{\mathbb{R}}})</math>- measurable, where <math>L</math> is the class of Lebesgue measurable sets and		* A function <math>f: \mathbb{R} \to \overline{\mathbb{R}}</math> is called a '''Lebesgue measurable function''' if <math>f</math> is <math>(L, B_{\overline{\mathbb{R}}})</math>- measurable, where <math>L</math> is the class of Lebesgue measurable sets and <math>B_{\overline{\mathbb{R}}}</math> is Borel <math>\sigma</math>-algebra.