Maybe a very basic question, but I don't have a specific measure theory background:
If $1\ge\sum_{i=0}^\infty\mu(A)$, where $\mu$ is the standard Lebesgue measure (on a phase space), does it imply that $\mu(A)=0$?
Maybe a very basic question, but I don't have a specific measure theory background:
If $1\ge\sum_{i=0}^\infty\mu(A)$, where $\mu$ is the standard Lebesgue measure (on a phase space), does it imply that $\mu(A)=0$?
If not, say, $\mu(A):=\alpha>0$, then $\displaystyle\sum_{i=0}^{N}\mu(A)=(N+1)\alpha$ and $(N+1)\alpha\leq 1$, or $(N+1)\leq\dfrac{1}{\alpha}$ for all $N=1,2,...$, then choose a large $N$ such that $\dfrac{1}{\alpha}<N$, then we end up with a contradiction that $N+1<N$.