Is Lebesgue measure the only σ-finite invariant Borel measure?

S. Saks and recently R.D. Mauldin asked if every translation invariant σ-finite Borel measure on Rd is a constant multiple of Lebesgue measure. The aim of this paper is to investigate the versions of this question, since surprisingly the answer is “yes and no,” depending on what we mean by Borel measure and by constant. According to a folklore result, if the measure is only defined for Borel sets, then the answer is affirmative.We show that if the measure is defined on a σ-algebra containing the Borel sets, then the answer is negative. However, if we allow the multiplicative constant to be infinity, then the answer is affirmative in this case as well. Moreover, our construction also shows that an isometry invariant σ-finite Borel measure (in the wider sense) on Rd can be non-σ-finite when we restrict it to the Borel sets. © 2005 Elsevier Inc. All rights reserved.