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
      [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

      Identifiers

      0 references
      0 references
      0 references
      0 references