Uniformly integrable set is bounded in $L^1$

1k Views Asked by At

Using the folowing definition of uniform integrability(u.i.), I want to show that a set $\Phi$ of u.i. $\mathbb{R}^d$-valued functions is bounded in $L^1$ meaning: $\sup_{f \in \Phi} \int_{\Omega}\lVert f \rVert d\mu<\infty $ .

A nonempty set $\Phi$ of $\mathbb{R}^d$-valued measurable functions on $(\Omega,\mathcal{F})$ is called u.i. if for every $\epsilon >0$ there exists a $\mu-$ integrable function $\omega_\epsilon:\Omega \mapsto \mathbb{R}_+$ such that:

$\sup_{f \in \Phi} \int_{\{\lVert f \rVert >\omega_\epsilon\}}\lVert f \rVert d\mu<\epsilon $

As I think my approach is totally wrong i kindly ask for help. Here my thoughts: $\sup_{f \in \Phi} \int_{\Omega}\lVert f \rVert d\mu =\sup_{f \in \Phi} \int_{\lim_{n\to\infty}\cup_{k=1}^n\{\lVert f \rVert >\omega_k\}}\lVert f \rVert d\mu \\ = \sup_{f \in \Phi} \lim_{n\to\infty} \int_{\cup_{k=1}^n\{\lVert f \rVert >\omega_k\}}\lVert f \rVert d\mu \\ \leq \lim_{n\to\infty} \sup_{f \in \Phi} \int_{\cup_{k=1}^n\{\lVert f \rVert >\omega_k\}}\lVert f \rVert d\mu \\ \leq \lim_{n\to\infty} \sum_{k=1}^n\sup_{f \in \Phi} \int_{\{\lVert f \rVert >\omega_k\}}\lVert f \rVert d\mu \\ \leq \sum_{k=1}^\infty k = \infty $

Where for the second equality I did pull out the Limes using dominated convergence (I hope doing this I do not use whate i want wo show)

1

There are 1 best solutions below

0
On

Integrating the pointwise inequality $$\lVert f\rVert= \lVert f\rVert\mathbf 1\left\{ \lVert f\rVert\gt w_1\right\}+\lVert f\rVert\mathbf 1\left\{ \lVert f\rVert\leqslant w_1\right\}\leqslant \lVert f\rVert\mathbf 1\left\{ \lVert f\rVert\gt w_1\right\}+w_1,$$ we get that for each $f\in\Phi$, $$ \int_\Omega\lVert f\rVert\mathrm d\mu\leqslant \int_\Omega\lVert f\rVert\mathbf 1\left\{ \lVert f\rVert\gt w_1\right\}\mathrm d\mu +\int_\Omega w_1\mathrm d\mu\leqslant 1+\int_\Omega w_1\mathrm d\mu. $$ Since the latter bound is independent of $f$, we get that $$\sup_{f\in\Phi}\int_\Omega\lVert f\rVert\mathrm d\mu\leqslant1+\int_\Omega w_1\mathrm d\mu .$$