1
$\begingroup$

Let $X$ be a measure space with measure $\mu$. Suppose that $\mu$ is not $\sigma$-finite, so that $X$ is not the countable union of measurable sets of finite measure. Does this imply that the measure of $X$ is infinite?

2 Answers 2

4

Yes, otherwise take $A_1:=X$ and $A_k=\emptyset$ for $k\geq 2$.

Actually, it seems reasonable that a finite measure space is $\sigma$-finite.

  • 0
    Thank you. I just realized it myself.2012-09-22
3

If $X$ has finite measure then $X$ can be written as $X=X \cup \emptyset \cup \emptyset \cup ...$ which is a countable union of finite measure sets. Therefore $X$ would be $\sigma$-finite.