Saturday, October 14, 2017

measure theory - Limit inferior/superior of sequence of sets



Let $(\Omega, \mathcal{A}, \mu)$ be a measure space, where $\mu(\Omega)< \infty$. Further $(A_n)_{n \in \mathbb{N}}$ is a a sequence of $\mathcal{A}$-measurable sets. I want to prove, that




$$ \mu ( \liminf_{n \rightarrow \infty} A_n) \leq \liminf_{n \rightarrow \infty} \mu (A_n) \leq \limsup_{n \rightarrow \infty} \mu (A_n) \leq \mu (\limsup_{n \rightarrow \infty} A_n)$$
holds for any sequence $(A_n)_{n \in \mathbb{N}}$.
I have no experience working with the limit superior/inferior. Clearly
$$\mu ( \liminf_{n \rightarrow \infty} A_n) \leq \mu (\limsup_{n \rightarrow \infty} A_n)$$
holds, since it is easy to prove that the one is a superset of the other. Also
$$\liminf_{n \rightarrow \infty} \mu (A_n) \leq \limsup_{n \rightarrow \infty} \mu (A_n)$$
holds, for any sqeuence. But I am stuck how to show the connection. I could use the Definitions, then I get
$$ \mu (\bigcup_n^\infty \bigcap_{k=n}^\infty A_n) \leq \lim_{n \rightarrow \infty} \inf_{k \geq n} \mu(A_n) \leq \inf_{n \geq 0} \sup_{k \geq n} \mu(A_n) \leq \mu (\bigcap_n^\infty \bigcup_{k=n}^\infty A_n) $$
But I don't know if this helps. Anyone got a hint how to go on?



Answer



Consider sets
$$
B_n=\bigcap\limits_{k=n}^\infty A_k
$$
Obviously, $B_n\subset A_k$ for all $k\geq n$, so $\mu(B_n)\leq \mu(A_k)$ for all $k\geq n$
After taking infimum we get $\mu(B_n)\leq\inf_{k\geq n}\mu(A_k)$. Since $B_n\subset B_{n+1}$ for all $n\in\mathbb{N}$ then the sequence $\{\mu(B_n):n\in\mathbb{N}\}$ is non-decreasing, so there exist $\lim_{n\to\infty}\mu(B_n)$. Similarly the sequence $\{\inf_{k\geq n}\mu(A_k):n\in\mathbb{N}\}$ is non-decreasing hence there exist $\lim_{n\to\infty}\inf_{k\geq n}\mu(A_k)$. Since existence of limits is justified we can say
$$
\lim\limits_{n\to\infty}\mu(B_n)\leq
\lim\limits_{n\to\infty}\inf\limits_{k\geq n}\mu(A_k)=\liminf\limits_{n\to\infty}\mu(A_n)\tag{1}

$$
Again recall that $B_n\subset B_{n+1}$ for all $n\in\mathbb{N}$, so
$$
\mu\left(\bigcup\limits_{n=1}^\infty B_n\right)=\lim\limits_{n\to\infty}\mu(B_n)\tag{2}
$$
It is remains to note that
$$
\liminf\limits_{n\to\infty}A_n=
\bigcup\limits_{n=1}^\infty \bigcap\limits_{k=n}^\infty A_k=
\bigcup\limits_{n=1}^\infty B_n\tag{3}

$$
From $(1)$, $(2)$ and $(3)$ we have
$$
\mu\left(\liminf\limits_{n\to\infty}A_n\right)\leq \liminf\limits_{n\to\infty}\mu(A_n)
$$
Now try to prove in the similar way the second inequality.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...