Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Since each measurable subset has a finite measure, what can you say about $\mu(\bigcap_{k\geq n}A_k)$? Anyway, +1 for showing your work. – Davide Giraudo Jul 16 '12 at 12:05
up vote 1 down vote accepted

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.

share|cite|improve this answer
Thanks think I got it. The prove for the other inequality worked. – Haatschii Jul 16 '12 at 13:09

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.