0
$\begingroup$

Question: For $n\ge 3$, is there a maximal isometrically-invariant finitely additive extension of Lebesgue measure on $\mathbb R^3$?

A maximal extension of a measure with some properties (in this case, isometric invariance and finite additivity) is one that cannot be extended to a larger algebra of subsets while preserving these properties.

Ciesielski and Pelc (see here) proved that there is no maximal isometrically-invariant countably additive extension of Lebesgue measure on $\mathbb R^n$. On the other hand, Banach showed that for $n\le 2$, there is a finitely additive extension of Lebesgue measure to all subsets of $\mathbb R^n$, and of course it follows from Banach-Tarski that this is false for $n\ge 3$.

I am assuming Choice throughout, of course.

[Edit: As Bill Johnson points out in the comments, this is just a quick application of Zorn. I guess that since this is very much nontrivial in the countably additive case, it didn't occur to me that maybe the finitely additive case is really easy!]

$\endgroup$
3
  • 2
    $\begingroup$ What am I missing? It looks obvious that Zorn's Lemma applies to give a maximal extension. $\endgroup$ Commented Jan 15, 2014 at 2:27
  • $\begingroup$ Can we say more? For example, can we ensure that there is always such an extension containing the $\Sigma^1_2$ sets? $\endgroup$ Commented Jan 15, 2014 at 3:51
  • $\begingroup$ @BillJohnson Zorn guarantees that we can get a maximal extension to an algebra, but can we get a maximal extension to a sigma algebra? $\endgroup$ Commented Jul 7, 2023 at 11:12

0

You must log in to answer this question.

Browse other questions tagged .