4
$\begingroup$

Let $(X,\Omega,\mu)$ be a measure space. A sequence $f_n$ is said to be uniformly integrable if for every $\epsilon \gt 0$ there is a $\delta \gt 0$ such that for every measurable set $A$ with $\mu(A)\lt \delta$, $\int_A |f_n|~d\mu \lt \epsilon$, for every $n\in \mathbb{N}$.

A sequence is said to be tight if for every $\epsilon \gt 0$ there is a measurable set $B$ of finite measure such that $\int_{X\setminus B} |f_n|~d\mu \lt \epsilon $, for every $n\in \mathbb{N}$.

I claim the $f_n = n\cdot 1_{[0,1/n]}$ is not uniformly integrable and $g_n = 1_{[n,n+1]}$ is not tight.

Proof. Fix $\epsilon \gt 0$. Pick $n$ sufficiently large so that for every $\delta \gt 0$, $n\delta \gt 1/2.$ Then there is an $n$ such that $\int_A |f_n| \gt 1/2.$

Let $\mu(B)\lt \infty$. Suppose to the contrary that $g_n$ were tight. Then $\mu\left((X\setminus B)\cap [n,n+1]\right) \lt \epsilon$. If I can get that $\mu(B) = \infty$, then I would have a contradiction, but I don't see how.

Is what I have done above right?

  • 0
    The subject is somewhat tricky, at least for me, so maybe this can help, it is a sort of an attempt to demonstrate what the uniform integrability is: http://websfog.blogspot.co.il/2012/09/probability-1.html2012-11-01
  • 0
    @robjohn I fail to see how your comment on the deleted answer concerns anybody else than the author of the answer.2012-11-01

1 Answers 1

1

Your arguments are not correct. It seems you are mixing up or ignoring the quantifiers.


For your first claim:

You are trying to show that $\{f_n\}$ is not uniformly integrable. The definition of uniform integrablity states that something is true for all $\epsilon>0$. So if a sequence is not uniformly integrable, that something must be false for some $\epsilon>0$. Here, as it turns out, you can take $\epsilon=1/2$; this will be the $\epsilon$ that "doesn't work" in the definition.

So, set $\epsilon=1/2$. We then have to show that the following is not true:

$\ \ \ $There is a $\delta>0$ such that for every set $B$ with $\mu(B)<\delta$, we have $\int_B|f_n|<1/2$ for all $n$.

So, we have to show that, given $\delta>0$, there is a set with measure less that $\delta$ but with the integral of some $f_n$ over that set greater than or equal to $1/2$. Towards this end, you can do the following:

Let $\delta>0$. Choose $1/N<\delta$. Then $\mu([0,1/N])<\delta$, but $\int_{[0,1/N]} |f_N|=N\cdot{1\over N}=1$.

Since $1>1/2$, we are done.


For the second claim:

I would argue directly: "We will show $\{g_n\}$ is not tight".

The definition of tightness says that something is true for all $\epsilon>0$. So you have to show that that something is not true for some $\epsilon>0$. As it turns out you can take $\epsilon=1/2$; this will be the $\epsilon$ that "doesn't work" in the definition.

What "doesn't work" here is the following:

$\ \ \ \ $There is a set $B$ of finite measure with $\int_{X\setminus B} |g_n|<1/2$ for all $n$.

So we have to show the above statement is not true. So, we have to show that for any $B$ with finite measure, the following does not hold: $\int_{X\setminus B} |g_n|<1/2$ for all $n$.

So, let $\mu(B)$ be finite. $B$ is fixed now, and your task is to show that for some $n$, $\int_{X\setminus B} |g_n|\ge1/2$.

Once you've done this, you'll have your result.

A hint for this: since the measure of $B$ is finite there is an $n$ with $\mu\bigl((X\setminus B)\cap[n,n+1]\bigr)\ge1/2$.

  • 0
    I meant to say fix $\epsilon = 1/2.$ why do you have $\int_{[1,1/n]} |f_n|$?2012-04-04
  • 0
    @Jonjo Sorry, that was a typo. I rewrote the answer; I hope it helps...2012-04-04
  • 0
    Thanks. I think I got it now, but why $\mu(B\cap[n,n+1])\ge1/2$ and not $\mu((X\setminus B)\cap[n,n+1])\ge1/2$?2012-04-04
  • 0
    @Jonjo Bleh, another "typo"... Thanks.2012-04-04
  • 0
    So would any $n$ such the $\mu([n,n+1]) \gt 1/2$ suffice?2012-04-04
  • 0
    @Jonjo Yes, you only need to find one $n$ with $\int_{X/B}|g_n|\ge1/2$.2012-04-04
  • 0
    @DavidMitra: How does one find such an $n$?2012-05-08