3
$\begingroup$

A measure space $(X,\mathfrak{M},\mu)$ is decomposable if $X$ is a disjoint union of measurable subsets, $X=\bigcup_{i\in I}X_{i}$, with $\mu(X_{i})<\infty$ for all $i$, and $\mu(A)=\sum_{i\in I}\mu(A\cap X_i)$ for every measurable set $A$ of finite measure.

It is easy to see that a $\sigma$-finite measure space is decomposable.

Question: What is an example of a decomposable measure space that is not $\sigma$-finite?

A `simplest possible' example would be most welcome.

1 Answers 1

5

It is clear that every countable index set will be insufficient.

Therefore, it is natural to look at $\Bbb R$ as an index set; consider it as a disjoint set like so:

$\displaystyle \quad \Bbb R = \bigcup_{x \in \Bbb R} \{x\}$

Then put on this the discrete $\sigma$-algebra $\Sigma$, and put on $(\Bbb R, \Sigma)$ the counting measure $\mu$. Obviously, only countably many $\{x\}$ can be attained by an increasing sequence of sets of finite measure.

That is, $(\Bbb R, \Sigma, \mu)$ is not $\sigma$-finite.

  • 2
    You're welcome; sometimes a fresh look at the problem is all one needs.2012-10-11