Rim-finite, arc-free subsets of the plane (Q1862066)

We call \(X\subset \mathbb{R}^2\) an \(n\)-point set if for all lines \(l \subset \mathbb{R}^2\), \(|l\cap X|= n\). We call \(X\) a partical \(n\)-point set if for all lines \(l\subset \mathbb{R}^2\), \(|l\cap X|\leq n\). We call \(X\) an \(n\)-GM-set if for all lines \(l\subset \mathbb{R}^2\) separating two points of \(X\), \(|l\cap X|= n\). The author shows: Theorem 2.1. Let \(H\) and \(V\) be countable dense sets of horizontal and vertical lines, respectively, and let \(X\subset \mathbb{R}^2\) such that \(X\) contains no arcs and for every compact, convex \(D\subset \mathbb{R}^2\) there is an \(n_D\) with \(|X\cap D\cap l|\leq n_D\) for all lines \(l\in H\cup V\). Then \(\dim(X) = 0\). Corollary 2.7. If \(X\) is an \(n\)-point set, partial \(n\)-point set, or \(n\)-GM set containing no arcs, then \(\dim(X)= 0\). This corollary gives the answer to a question due to L. D. Loveland and S. M. Loveland. Let \(\mathcal U\subset P(\mathbb{R}^2)\) be a set of open sets. Call \(\mathcal U\) an arc-basis if for any \(A\subset \mathbb{R}^2\) where \(A\) is an arc of length 1 and for any closed set \(C\subset \mathbb{R}^2\) with \(\mathcal U \cap A = \emptyset\) there is a \(V\in \mathcal U\) such that \(A\subset V\) and \(\text{Cl}(V)\cap C = \emptyset\). For any positive integer \(n\), call \(X\subset \mathbb{R}^2\) an n-arc-finite set if there is some arc-basis \(\mathcal U\) such that for all \(V\in \mathcal U |\text{Bd}(V)\cap X|\leq n\). The author shows: Theorem 3.1. Let \(n\) be a positive integer and let \(X\subset \mathbb{R}^2\) be an \(n\)-arc-finite set with the associated arc-basis \(\mathcal U\). Then either \(X\) contains an arc, or \(\dim(X) = 0\). Finally, the author constructs the following interesting example: Example. There is a rim-72 subset \(X\) of \(\mathbb{R}^2\) which contains no arcs but which satisfies \(\dim(X) = 1\).