Skip to main content
2 of 3
deleted 5 characters in body
Norbert
  • 1.7k
  • 14
  • 27

Measure support decomposition that "tends to infinity"

I would like to know the answer to the following question.

Let $S$ be a locally compact Hausdorff space, $\mu$ be a regular Borel measure with non-compact support $M$. Does there exist an infinite disjoint family of Borel sets $\mathcal{H}$ such that

  • every element of $\mathcal{H}$ has positive measure and sits inside $M$;
  • for any compact $K\subset M$ only finitely many elements of $\mathcal{H}$ intersect $K$?

A few side notes:

  • I know, how to prove this in the case where $S$ is $\sigma$-compact;
  • There is an obvious example without $\sigma$-compactness - counting measure on an uncountable set;
  • From [342B, Measure theory. Vol 3. Measure algebras. D. H. Fremlin] I know how to construct at most countable disjoint family $\mathcal{H}$ consisting of compacts of positive measure.
Norbert
  • 1.7k
  • 14
  • 27