The existence of nonmeasurable sets for invariant measures

Penconek, Marcin; Zakrzewski, Piotr

doi:10.1090/S0002-9939-1994-1182704-6

The existence of nonmeasurable sets for invariant measures
HTML articles powered by AMS MathViewer

by Marcin Penconek and Piotr Zakrzewski PDF

Proc. Amer. Math. Soc. 121 (1994), 579-584 Request permission

Abstract:

We prove that if G is a locally compact Polish group acting in a reasonable way on a set X, then for every countably additive, $\sigma$-finite, G-invariant measure on X there exist nonmeasurable sets. In particular, the latter is true when X is a compact, metric, metrically homogeneous space, and G is the group of its isometries.

References

Set theory

an introduction to large cardinals

Paul Erdős and R. Daniel Mauldin, The nonexistence of certain invariant measures, Proc. Amer. Math. Soc. 59 (1976), no. 2, 321–322. MR 412390, DOI 10.1090/S0002-9939-1976-0412390-0
C. Ryll-Nardzewski and R. Telgársky, The nonexistence of universal invariant measures, Proc. Amer. Math. Soc. 69 (1978), no. 2, 240–242. MR 466494, DOI 10.1090/S0002-9939-1978-0466494-9
Piotr Zakrzewski, The existence of universal invariant measures on large sets, Fund. Math. 133 (1989), no. 2, 113–124. MR 1059152, DOI 10.4064/fm-133-2-113-124
Piotr Zakrzewski, When do equidecomposable sets have equal measures?, Proc. Amer. Math. Soc. 113 (1991), no. 3, 831–837. MR 1086587, DOI 10.1090/S0002-9939-1991-1086587-1

The uniqueness of Haar measure and set theory