Definition:Space of Measurable Functions/Extended Real-Valued

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

Then the space of $\Sigma$-measurable, extended real-valued functions $\map {\MM_{\overline \R} } \Sigma$ is the set of all $\Sigma$-measurable, extended real-valued functions.

That is:


 * $\map {\MM_{\overline \R} } \Sigma := \set {f: X \to \overline \R: f \text{ is $\Sigma$-measurable} }$

Also see

 * Space of Positive Extended Real-Valued Measurable Functions