MathOverflow is a question and answer site for professional mathematicians. 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

Wikipedia states that the Haar measure on a compact group is a mean (and that every compact group is amenable). But, obviously, the Haar mesure on the group of unit quaternions cannot be defined on every subset, else the Banach-Tarski paradox would not happen. What am I missing?

share|cite|improve this question
up vote 5 down vote accepted

The definition of a mean for a locally compact group is not a finitely additive measure defined on the entire power set of $G$---that definition is only correct for discrete $G$. See the wikipedia article for the correct definition. Indeed, the definition given there refers to the Haar measure, so is easily seen to hold in the compact case.

For indiscrete $G$ there will typically be non-measurable subsets; of course, the pieces that appear in the Banach--Tarski paradox are non-measurable.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.