Measurable circle squaring
Metric Geometry
2016-09-06 v4 Combinatorics
Abstract
Laczkovich proved that if bounded subsets and of have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than , then there is a partition of into finitely many parts that can be translated to form a partition of . Here we show that it can be additionally required that each part is both Baire and Lebesgue measurable. As special cases, this gives measurable and translation-only versions of Tarski's circle squaring and Hilbert's third problem.
Keywords
Cite
@article{arxiv.1501.06122,
title = {Measurable circle squaring},
author = {Łukasz Grabowski and András Máthé and Oleg Pikhurko},
journal= {arXiv preprint arXiv:1501.06122},
year = {2016}
}
Comments
40 pages; Lemma 4.4 improved & more details added; accepted by Annals of Mathematics