Infimum of a measure

38 Views Asked by At

Suppose you have a sequence of measurable sets $A_n$ and a measure $\mu$. Then I believe, $\mu(\bigcap_n A_n)=\mu(\inf_{n\in\mathbb N}A_n)\le \inf_{n\in\mathbb N}\mu(A_n)$ holds true.

How does one verify that inequality properly?

1

There are 1 best solutions below

0
On BEST ANSWER

If $A=\bigcap_{n\in\mathbb N} A_n$ then $A\subseteq A_n$ for every $n\in\mathbb N$, whence $\mu A\leq \mu A_n$ for every $n\in\mathbb N$.

That means that $\mu A$ is a lower bound of the set $\{\mu A_n\mid n\in\mathbb N\}$ so that: $$\mu A\leq\inf_{n\in\mathbb N}\mu(A_n)$$