Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $K$ be a compact Hausdorff space. Does there exist a finite Borel measure on $K$, assigning positive values to all non-empty open sets of $K$?

share|cite|improve this question
Nate's answer here gives a counterexample (the Stone–Čech compactification of an uncountable discrete set). You have uncountably many open singletons which you can't charge all at the same time. – t.b. Jun 27 '12 at 8:55
At least if $K$ is a topological group, the answer is yes: Haar measure on $K$. – Xabier Domínguez Jun 27 '12 at 10:05
@XabierDomínguez, does this work if you take an uncountable power of the two-element group with the product topology? – user16299 Jul 2 '12 at 9:27
@YemonChoi: If I don't seriously misunderstand something here, this is straightforward in this case. The measure you get is an extension of the usual coin-flipping measure. The open sets in the product topology are finite intersections of cylinder sets and $\mu\big(\pi_i^{-1}(U_i)\cap\pi_j^{-1}(U_j)\big)=\mu\big(\pi_i^{-1}(U_i))\mu(\pi‌​_i^{-1}(U_i)\big)$. So an open set can be identified with a finite sequence of coin-flips and they have all positive measure. – Michael Greinecker Jul 5 '12 at 6:56
@Yemon: Let $U$ be an open null set of a compact group $G$. By compactness we can cover $G$ by finitely many translates of $U$ and deduce that Haar measure is zero. Similarly you can show that no open set in a locally compact group has zero measure: you'd deduce first that Haar measure is zero on compact sets and then deduce that it's zero on every measurable set by tightness. Alternatively use $\tau$-additivity of Haar measure. – t.b. Jul 8 '12 at 11:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.