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?
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
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. |
|||
|
|
|
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. |
|||
|
|