Good measures on locally compact Cantor sets

Abstract

We study the set M(X) of full non-atomic Borel (finite or infinite) measures on a non-compact locally compact Cantor set X. For an infinite measure $μ$ in M(X), the set $\mathfrak{M}_μ= \{x \in X : {for any compact open set} U \ni x {we have} μ(U) = \infty \}$ is called defective. We call $μ$ non-defective if $μ(\mathfrak{M}_μ) = 0$. The class $M^0(X) \subset M(X)$ consists of probability measures and infinite non-defective measures. We classify measures $μ$ from $M^0(X)$ with respect to a homeomorphism. The notions of goodness and compact open values set $S(μ)$ are defined. A criterion when two good measures from $M^0(X)$ are homeomorphic is given. For any group-like $D \subset [0,1)$ we find a good probability measure $μ$ on X such that $S(μ) = D$. For any group-like $D \subset [0,\infty)$ and any locally compact, zero-dimensional, metric space A we find a good non-defective measure $μ$ on X such that $S(μ) = D$ and $\mathfrak{M}_μ$ is homeomorphic to A. We consider compactifications cX of X and give a criterion when a good measure $μ\in M^0(X)$ can be extended to a good measure on cX.