Über Gebilde mit einzigem Ordnungsindex. (Q1463345)

Wird eine ebene Menge \(\mathfrak C\) von einer Geraden in \(n\) Punkten getroffen, so heißt \(n\) ein ``Ordnungsindex'' von \(\mathfrak C\) und der größte auftretende Ordnungsindex die ``Ordnung'' von \(\mathfrak C\). Mit Hilfe eines auf der Wohlordnung der Punkte (und Geraden) der Ebene beruhenden Verfahrens wird zunächst gezeigt, daß es für jedes \(n > 1\) Mengen von einzigem Ordnungsindex \(n\) gibt (\(n\) endlich oder die Mächtigkeit der abzählbaren Mengen). Dabei kann noch vorgeschrieben werden, daß \(\mathfrak C\) in willkürlich bestimmten Gebieten, die auch leer sein, bzw. die ganze Ebene umfassen können, überall dicht, außerhalb dieser Gebiete nirgends dicht ist. Für \(n\geqq 4\) ergibt eine Modifikation desselben Verfahrens, daß man für \(\mathfrak C\) auch ein willkürliches Teilkontinuum von der Ordnung \(\leqq n-2\) vorschreiben kann. Dagegen kann eine Menge von der Ordnung 2 nur dann ein Kontinuum enthalten, wenn die Indices 0, 1, 2 vorkommen, und zwar jeder in der Mächtigkeit des Kontinuums. Kontinua von der Ordnung 2 sind konvexe Kurven. Das innere Maß einer Menge von endlicher oder abzählbarer Ordnung ist 0. Von dem Existenzsatz der Mengen von einzigem Ordnungsindex werden noch weitgehende Verallgemeinerungen gegeben. (III.)