14
$\begingroup$

Definition: Let $(X,M,\mu)$ be a measure space and $\{f_n\}$ a sequence of measurable functions on $x$ that are integrable.
Then $\{f_n\}$ is uniformly integrable if for every $\epsilon >0$, there is a $\delta >0$ such that if $E$ is a measurable subset of $X$ such that $\mu(E) < \delta$, then $$ \int_E |f_n|~d\mu < \epsilon\qquad\text{for every} ~n.$$

$\{f_n\}$ is said to be tight if for each $\epsilon >0$, there is a subset $X_0$ of $X$ such that $\mu(X_0)< \infty$ and $$\int_{X\setminus X_0} |f_n|~d\mu < \epsilon\qquad\text{for every} ~n.$$


Theorem:(Vitali Convergence) Let $(X,M,\mu)$ be a measure space. Let $\{f_n\}$ be a sequence of uniformly integrable functions that also forms a tight sequence. Suppose $f_n(x) \to f(x)$ a.e. on $X$. Then, $f$ is integrable and, $$ \lim_{n\to \infty} \int_X f_n~d\mu = \int_X f~ d\mu.$$


I wish to prove the following:

Let $\{f_n\}$ be a sequence of non-negative integrable functions on $X$. Suppose that $\{f_n(x)\} \to 0$ for almost all $x\in X.$. Then $$ \lim_{n\to\infty} \int f_n~d\mu =0 \Leftrightarrow \{f_n\}~\text{is uniformly integrable and tight.}$$

This is my Attempt:

$(\Leftarrow)$ Suppose $f_n \to 0$. If $\{f_n\}$ is uniformly integrable and tight, then by Vitali's Convergence theorem, $\lim_{n\to \infty} \int f_n~d\mu = 0$.

$(\Rightarrow)$ Let $\lim_{n\to \infty} \int f_n~d\mu = 0$. Let $\epsilon >0$. Then $\exists$ an $N$ such that $\int_X f_n ~d\mu< \epsilon$ whenever $n\geq N.$ Also, since $f_n \geq 0$, if $E$ is a measurable subset of $X$ and $n\geq N$, then $\int _E f_n~d\mu < \epsilon.$

I know that if I have a finite sequence $\{f_k\}_{n=1}^N$ of non-negative integrable functions over $X$, then $\{f_k\}_{n=1}^N$ is uniformly integrable, since if $E\subset X$ and $\mu(E)<\delta_k>0$ then $\int_E f_k~d\mu < \epsilon$. I can take $\delta=\min (\delta_1,\ldots, \delta_k)$ so that $\mu(E)< \delta$ and $$\int_E f_k~d\mu < \epsilon.$$

I'm afraid this is where I'm stuck and I don't know how to proceed. Any form of help will be very much appreciated. Thanks.

$\endgroup$

2 Answers 2

4
$\begingroup$

In order to show tightness, fix $\varepsilon>0$. Then you get $N=N(\varepsilon)$ such that $\int_Xf_nd\mu\leq\varepsilon$ if $n\geq N+1$. Now, for all $n\leq N$, you can find a positive $M$ such that $\int_{\{f_n\geq M_n\}}f_nd\mu\leq \varepsilon$, using integrability of $f_n$. (if $f$ is integrable apply the monotone convergence theorem to $f\mathbf 1_{\{|f|\geq n\}})$

Put $A_n:=\{f_n\leq M_n\}$, then $A_n$ is measurable. Take $X_0:=\bigcap_{k=1}^NA_k^c$. Each $A_k^c$ has finite measure (since $\mu(A_k^c)\leq \frac 1{M_k}\int f_kd\mu$) so $X_0$ is of finite measure. Check that we have the wanted inequality.

$\endgroup$
7
  • 1
    $\begingroup$ thanks for your answer. what about the uniform integrability part? $\endgroup$
    – Kuku
    Mar 5, 2012 at 23:56
  • $\begingroup$ It seems correct. $\endgroup$ Mar 6, 2012 at 9:49
  • $\begingroup$ Thanks. I have a couple of questions regarding tightness: (1) can u please explain your second statment? and (2) how do we know that $A_k^c$ has finite measure? $\endgroup$
    – Kuku
    Mar 7, 2012 at 11:41
  • 1
    $\begingroup$ $A_k^c$ has a finite measure, otherwise $f_k$ wouldn't be integrable. If $f$ is a non-negative integrable function, then the sequence $\{f\mathbf 1_{f\leq n}\}$ increases to $f$ and by the monotone convergence theorem the integral of $f_n$ converges to the integral of $f$. $\endgroup$ Mar 7, 2012 at 11:52
  • $\begingroup$ Is this how we get the inequality: $\int_{X\setminus X_0} f_n~d\mu < \int_X f_n ~d\mu < \epsilon$? $\endgroup$
    – Kuku
    Mar 7, 2012 at 14:22
3
$\begingroup$

When you're trying to prove $(\Rightarrow)$, the limit gives you a way to bound the integrals of $f_n$ by $\epsilon$ for sufficiently large $n$. Then it's a matter of using the fact that any collection of finite number of $L^1(E)$ functions are both uniformly integrable and tight.

This is problem 1 in $\textit{Royden and Fitzpatrick}$ page 99. In the errata the author mentions to interchange problem 1 and 2 because problem 2 states to prove that any collection of finite number of $L^1(E)$ functions are both uniformly integrable and tight over $E$. Once you prove that the problem becomes trivial.

$\endgroup$

You must log in to answer this question.

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