Lusin's theorem. The following steps furnish a proof of the following result. Theorem (Lusin). Let (mu) be

Question:

 Lusin's theorem. The following steps furnish a proof of the following result.

Theorem (Lusin). Let \(\mu\) be an outer regular measure on the space \((X, d, \mathscr{B}(X))\). For every \(f \in \mathcal{L}^{p}(\mu), 1 \leqslant p0\) there is some \(\phi_{\epsilon} \in \mathcal{L}^{p}(\mu) \cap C_{b}(X)\), such that

\[\left\|\phi_{\epsilon}ight\|_{\infty} \leqslant\|f\|_{\infty} \leqslant \infty, \quad \mu\left\{f eq \phi_{\epsilon}ight\} \leqslant \epsilon \quad \text { and } \quad\left\|f-\phi_{\epsilon}ight\|_{p} \leqslant \epsilon\]

(i) Let \(A \in \mathscr{B}(X)\) such that \(\mathbb{1}_{A} \in \mathcal{L}^{p}(\mu)\). Then there is an open set \(U \supset A\) such that \(\mu(U)

(ii) Let \(f \in \mathcal{L}^{p}(\mu)\) such that \(0 \leqslant f \leqslant 1\). By the sombrero lemma (Corollary 8.9) there is a uniformly convergent sequence of simple functions which can be 'smoothed' using part (i).

(iii) Let \(f \in \mathcal{L}^{p}(\mu)\) such that \(c=\|f\|_{\infty}

(iv) Let \(f \in \mathcal{L}^{p}(\mu)\). Apply part (iii) to \(f_{R}:=(-R) \vee f \wedge R\).

Data from corollary 8.9

Corollary 8.9 Let (X, A) be a measurable space. Every A/B(R)-measurable function u: XR is the pointwise limit

Data from lemma 17.3

Lemma 17.3 Let u be a measure on (X, d, B(X)) and UC X be an open set such that (U) 0 and every kEN we find a

Since 11D 11DE LP (), there is some N(E) EN such that N() (use e.g. the dominated convergence theorem).

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: