A note on measurable functions

Contents, measures, outer measures, capacities (28A12) Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20)

Review text

Let X be a non-empty set, \({\mathcal R}^ a \delta\)-ring of X and \({\mathcal M}^ a \)band of the Dedekind complete Riesz space of all real-valued measures on \({\mathcal R}\). For \(f\in {\bar {\mathbb{R}}}^ X\) let \[ {\mathcal M}(f):=\{\mu \in {\mathcal M}| f\in {\mathcal L}^ 1(\mu)\}. \] The function f is called \(\mu\)-measurable iff for every \(\alpha\in {\mathbb{R}}\) and \(C\in {\mathcal R}\) the characteristic function of \(\{x\in C| f(x)>\alpha \}\) is in \({\mathcal L}^ 1(\mu).\) The main result of this note is the following equivalence for \(f\in {\bar {\mathbb{R}}}^ X:\) \({\mathcal M}(f)\) is order dense in \({\mathcal M}\Leftrightarrow\) f is \(\mu\)-measurable and \(\mu\)-a.e. finite for every \(\mu\in {\mathcal M}\).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: A note on measurable functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1821891)