No label defined (Q4036755)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 176921
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 176921 |
Statements
18 May 1993
0 references
partition of the Euclidean space
0 references
unit sphere
0 references
circles
0 references
0.7874729633331299
0 references
0.7860238552093506
0 references
[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\).
0 references