The Haar Measure Problem
Abstract
An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable, consequence of the Continuum Hypothesis. We also establish the dual, Baire category analogue of this result.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2017
- DOI:
- 10.48550/arXiv.1709.02312
- arXiv:
- arXiv:1709.02312
- Bibcode:
- 2017arXiv170902312P
- Keywords:
-
- Mathematics - General Topology;
- Mathematics - Functional Analysis;
- Mathematics - Logic
- E-Print:
- To appear in Proceedings of the AMS