The intersection of typical Besicovitch sets with lines (Q785264)

The present paper deals with Besicovitch sets. The following two equivalent definitions of these sets are given: \begin{itemize} \item A Besicovitch set is a set \(B\subseteq \mathbb R^n (n\ge 2)\) which contains a unit line segment in every direction. \item A Besicovitch set is a set \(B\subseteq \mathbb R^n (n\ge 2)\) which contains a line in every direction. \end{itemize} Moreover, the Kakeya conjecture which is still open except for \(n = 2\) and which is connected to several famous open questions in various fields of mathematics, is noted. In the section ``Preliminaries'', dual sets and special code sets, projections of a compact set, and Baire category and Hausdorff distance, are considered. Corresponding statements are given with references or are proven. It is noted the following: ``it is clear from Fubini's theorem that if we intersect a Besicovitch nullset with lines of a fixed direction, then almost every intersection is of measure zero. We will use Baire category arguments combined with duality methods to obtain Besicovitch sets with stronger properties.'' The main proofs are explained and the author writes on the obtained results: ``We show that a typical Besicovitch set \(B\) has intersections of measure zero with every line not contained in it. Moreover, every line in \(B\) intersects the union of all the other lines in \(B\) in a set of measure zero.''