Skip to content

Question

Math 6210 • Real Analysis

Spring 2025 • Question 6

Let \(\mathcal {B}\) be the Borel \(\sigma \)-algebra on \(\mathbb {R}\) and \(\mathcal {M}\) be a \(\sigma \)-algebra on \(\mathbb {R}\). Prove that \(f:(\mathbb {R},\mathcal {M})\to (\mathbb {R},\mathcal {B})\) is measurable for all monotone functions \(f\) iff \(\mathcal {M}\) contains the Borel \(\sigma \)-algebra.

Raw LaTeX

Let \(\mathcal{B}\) be the Borel \(\sigma\)-algebra on \(\mathbb{R}\) and \(\mathcal{M}\) be a \(\sigma\)-algebra on \(\mathbb{R}\). Prove
that \(f:(\mathbb{R},\mathcal{M})\to(\mathbb{R},\mathcal{B})\) is measurable for all monotone functions \(f\) iff
\(\mathcal{M}\) contains the Borel \(\sigma\)-algebra.