Accepted author manuscript, 550 KB, PDF document
Final published version
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Research output: Contribution to Journal/Magazine › Journal article › peer-review
}
TY - JOUR
T1 - Measurable circle squaring
AU - Grabowski, Łukasz
AU - Máthé, András
AU - Pikhurko, Oleg
N1 - 40 pages; Lemma 4.4 improved & more details added; accepted by Annals of Mathematics
PY - 2017/3/31
Y1 - 2017/3/31
N2 - Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$, then there is a partition of $A$ into finitely many parts that can be translated to form a partition of $B$. 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.
AB - Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$, then there is a partition of $A$ into finitely many parts that can be translated to form a partition of $B$. 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.
KW - math.MG
KW - math.CO
KW - Equidecomposition
KW - Graph matching
KW - Measurability
KW - Tarski's circle squaring
U2 - 10.4007/annals.2017.185.2.6
DO - 10.4007/annals.2017.185.2.6
M3 - Journal article
VL - 185
SP - 671
EP - 710
JO - Annals of Mathematics
JF - Annals of Mathematics
SN - 0003-486X
IS - 2
ER -