scientific article; zbMATH DE number 176921

Combinatorial geometries and geometric closure systems (51D20) Spreads and packing problems in finite geometry (51E23) Euclidean geometries (general) and generalizations (51M05)

Review text

[For the entire collection see Zbl 0755.00003.] Firstly the author considers partitions \({\mathcal L}\) of the euclidean space \(\mathbb{R}^ n\). He proves: 1. There is no partition \({\mathcal L}\) of \(\mathbb{R}^ n\) where \({\mathcal L}\) consists of homeomorphic images of the \((n-1)\)-dimensional unit sphere. (For the particular case \(n=2\), where \({\mathcal L}\) shall consist of circles, he gives an elementary proof.) 2. There is a partition \({\mathcal L}\) of \(\mathbb{R}^ 3\) where \({\mathcal L}\) consists of congruent circles. 3. For every nonempty open subset \(U\) of \(\mathbb{R}^ 3\) and a given ``fundamental family \({\mathcal S}\) of circles there exists a partition \({\mathcal L}\) of \(U\) such that each \(L\in{\mathcal L}\) is a circle congruent to a circle \(S\in{\mathcal S}\). 4. Let \({\mathcal S}\) be a set of disjoint lines of \(\mathbb{R}^ 3\) such that the cardinality \(|{\mathcal S}|\) is smaller than the continuum. Then there exists a partition \({\mathcal L}\) of \(\mathbb{R}^ 3\) consisting of lines (hence a spread) with \({\mathcal S}\subset{\mathcal L}\). Moreover if in \({\mathcal S}\) any two lines are skew, then there is such an \({\mathcal L}\) with the same property. Secondly the author presents a theorem analogous to one of Mazurkevich: 5. There exists a subset \(Z\subset\mathbb{R}^ 2\) such that i) if \(S\) is a circle of \(\mathbb{R}^ 2\), then \(| S\cap Z|=3\) ii) the interior Lebesgue measure of \((\mathbb{R}^ 2\backslash Z)\) is zero. (This theorem can be generalized to the case of \(\mathbb{R}^ n\) with \(n<2.)\) Finally he proves: 6. Let \(X\subset\mathbb{R}\) be infinite but locally finite (i.e. for every disc \(D\) of \(\mathbb{R}^ 2\), \(D\cap X\) is finite). Then there exists a bijection \(\beta:B\to X\); \(i\to x_ i\) where \(B=\mathbb{N}\) or \(B=\mathbb{Z}\) such that \(C:=\bigcup_{i\in B}[x_ i,x_{i+1}]\) is a simple curve homeomorphic to a line or a closed half line of \(\mathbb{R}^ 2\).

Recommendations

Cited in

(22)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036755)