No label defined (Q4700519)

The main result of this paper is Theorem 0.4: Let \(L=L_0\cup L_1 \cup\dots\) be a countable partition of the set of lines of \(\mathbb{R}^n\). Then there is a countable partition \(\mathbb{R}^n= S_0\cup S_1\cup \dots\) of the set of points such what whenever \({\mathfrak l}\in L_i\), then \(|{\mathfrak l} \cap S_i |\leq 2\). This result is a significant improvement of theorems of \textit{R. O. Davies} [Proc. Camb. Philos. Soc. 59, 33-36 (1963; Zbl 0121.25702)] and answers one of its questions. It is derived from the following theorem: Let \(V\) be a vector space over \(\mathbb{R}\) such that \(\dim(V)\leq 2^{\aleph_0}\). Then there are functions \(\pi:V \to\omega\) and \(\lambda:V \to[{\mathcal L} (V)]^{< \omega}\) such that whenever \(l\in {\mathcal L}(V)\), \(a,b,c\in l\) are distinct and \(\pi(a)= \pi(b)= \pi(c)\), then \(l\in\lambda (a)\cap \lambda(b) \cap\lambda (c)\). Here \({\mathcal L}(V)\) is the set of lines of \(V\) and \([{\mathcal L}(V)]^{<\omega}\) the set of finite subsets of \({\mathcal L}(V)\). Several interesting corollaries follow, e.g., Theorem 2.6: Let be \(m<\omega\). Let \(V\) be a vector space over \(\mathbb{R}\) such that \(\dim(V) \leq(2^{\aleph_0}) ^{+m}\). Let \(S\subseteq V\) be such that each line of \(V\) meets \(S\) in a countable set. Then there is a countable partition \(S=S_0 \cup S_1\cup \dots\) such that whenever \(l\) is a line and \(i<\omega\), then \(|l\cap S_i|\leq m+2\). Finally there are generalizations to higher-dimensional subspaces (instead of lines) which improve results of \textit{P. Erdős}, \textit{S. Jackson} and \textit{R. D. Mauldin} [Fundam. Math. 152, No. 1, 75-95 (1997; Zbl 0883.03031)]. Page 188,2*: Replace ``lemma'' by ``theorem''.