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