Besicovich proved a long time ago that a straight line segment of fixed length could be rotated 360 degrees within a subset S of the Euclidean plane such that M(S) is arbitrarily small-where M is two-dimensional Lebesgue measure. This solved the most general version of Kakeya's problem, which asked how small M(S) could be if no further restrictions were placed on S. But was it ever proved that M(S) could never actually be zero? I ask because Besicovich also proved that there existed subsets T of the Euclidean plane such that M(T)=0 and such that pairwise disjoint straight line segments of fixed length, having every possible orientation, were contained in S (as subsets).
A question about the Kakeya problem
Garabed Gulbenkian
- 6.2k
- 1
- 26
- 33