Category:Measurable Functions

This category contains results about Measurable Functions.
Definitions specific to this category can be found in Definitions/Measurable Functions.

Let $\struct {X, \Sigma}$ be a measurable space.

Let $E \in \Sigma$.

Let $\Sigma_E$ be the trace $\sigma$-algebra of $E$ in $\Sigma$.

Let $\map \BB \R$ be the Borel $\sigma$-algebra on $\R$.

Let $f : E \to \R$ be a real-valued function.

We say that $f$ is ($\Sigma$-)measurable if and only if:

$f$ is $\Sigma_E \, / \, \map \BB \R$-measurable.