Definition:Measurable Function
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
Definition 1
Let $\struct {X, \Sigma}$ be a measurable space.
Let $E \in \Sigma$.
Then a function $f: E \to \R$ is said to be $\Sigma$-measurable on $E$ if and only if:
- $\forall \alpha \in \R: \set {x \in E: \map f x \le \alpha} \in \Sigma$
See the theorem on measurable images for equivalences of this definition.
Definition 2
Real-Valued Function
Let $\struct {X, \Sigma}$ be a measurable space.
Let $\BB$ be the Borel $\sigma$-algebra on $\R$.
A real-valued function $f: X \to \R$ is said to be ($\Sigma$-)measurable if and only if $f$ is $\Sigma \, / \, \BB$-measurable.
Extended Real-Valued Function
Let $\struct {X, \Sigma}$ be a measurable space.
Let $\overline \BB$ be the Borel $\sigma$-algebra on the extended real number space.
An extended real-valued function $f: X \to \R$ is said to be ($\Sigma$-)measurable if and only if $f$ is $\Sigma \, / \, \overline \BB$-measurable.
Def 1 corresponds to def 2 for real-valued fns; this needs to be covered
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Positive Measurable Function
A measurable function $f$ is said to be a positive measurable function if and only if it also satisfies:
- $f \ge 0$
where $\ge$ denotes pointwise inequality.
Define the notion of $\Sigma$-measurable function on a subset
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.
To discuss it in more detail, feel free to use the talk page.
If you are able to do this, then when you have done so you can remove this instance of {{Expand}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Also see
- Measurable Mapping, a more general notion of which this is a specialization.
- Space of Measurable Functions, naming collections of $\Sigma$-measurable functions conveniently
Sources
As such, the following source works, along with any process flow, will need to be reviewed.
Specifically: which definition or definitions?
If you have access to any of these works, then you are invited to review this list, and make any necessary corrections.
When you have done this, move the citation of that source work (if it is appropriate that it stay on this page) above this message, into the usual chronological ordering.
When this has been done for all of the sources below, {{SourceReview}} should be removed from the code.
- 2005: René L. Schilling: Measures, Integrals and Martingales ... (previous) ... (next): $\S 8$
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Entry: measurable function