0
$\begingroup$

If $f\in L^{+}$ and $\int f < \infty$, for every $\epsilon > 0$ there exists $E\in M$ such that $\mu(E) < \infty$ and $\int_{E} > \left(\int f\right) - \epsilon$

Proof: Let $\epsilon > 0$, and $f\in L^{+}$ where $f$ is simple, we can define $$\int f d\mu = \sup\{\int \phi d\mu: 0\leq \phi \leq f, \phi \ \ \text{simple}\}$$ Set $E_n = \{x:f(x) > 1/n\}$ where $n\in\mathbb{N}$, then $$\int_{E_n}f d\mu = \int f 1_{E_n}d\mu = \sum_{1}^{N}a_j\mu(E_j)$$ and so given an $\epsilon\in (0,\infty)$ there exists $n\in\mathbb{N}$ such that $$\int_{E_n}f d\mu > \int f d\mu - \epsilon$$

I am not sure if this is correct, any suggestions is greatly appreciated.

$\endgroup$

1 Answer 1

1
$\begingroup$

First of all you haven't proved that $\mu(E_n) <\infty$. This is true as $f$ is positive, $$\int f d\mu > \int_{E_n} f d\mu > \int_{E_n} \frac 1n d\mu = \frac 1n \mu(E_n).$$

To show your last claim, you can use the monotone convergence theorem: let $f_n = f 1_{E_n}$. Then $\{f_n\}$ is increasing and $f_n \to f$ pointwisely. So $$\int_{E_n} f d\mu = \int f_n d\mu \to \int fd\mu.$$ Thus the last claim can be clarified by writing down the above limit definition.

$\endgroup$
2
  • $\begingroup$ I see ok so adding onto my last claim and taking your approach will my proof be correct? $\endgroup$
    – Wolfy
    Commented Dec 3, 2015 at 20:48
  • $\begingroup$ You don't need to go back to the definition (for simple function). The key step is just monotone convergence theorem. @MorganWeiss $\endgroup$
    – user99914
    Commented Dec 4, 2015 at 7:42

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .