Nie jesteś zalogowany | Zaloguj się

Borel circle squaring

Prelegent(ci)
Tomasz Cieśla
Afiliacja
University of Warsaw
Termin
15 marca 2017 16:15
Pokój
p. 5050
Seminarium
Seminarium „Topologia i teoria mnogości”

In 1925 Alfred Tarski asked whether a square is equidecomposable by isometries with a disc of the same area. This question was answered in the affirmative in 1990 by Laczkovich. In 2015 Grabowski, Mathe and Pikhurko proved that one can require the pieces to be Lebesgue measurable or Baire measurable. In 2016 Marks and Unger further improved this theorem - they proved that they are equidecomposable using Borel pieces. We will discuss main ideas and tools used by Marks and Unger in their proof.