Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.