Skip to main content
3 of 3
added 163 characters in body
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Consider an uncountable discrete metric space $X $ (i.e., metrized by the Kronecker delta). Define a measure on $X$ putting for any $A\subset X,\\ $ $\mu(A)=1$ or $\mu(A)=0$ according whether $A$ belongs to a given non-principal ultrafilter $\mathcal{F}$, or not (sigma-additivity holds, for there are no disjoint subsets of positive measure). Then $\mu$ is a Borel probability measure with empty support.

[edit] Actually, this is additive, but to ensure sigma-additivity it would be needed that $\mathcal{F}$ be closed under countable intersections.

Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269