Su una corrispondenza fra un gruppo di punti ed un continuo ambedue lineari. (Q1536971)

Axel Harnack (Notiz über die Abbildung einer stetigen linearen Mannigfaltigkeit auf eine unstetige, Math. Ann. XXIII. 285-288, F. d. M. XVI. 1884. 461, JFM 16.0461.01) legte sich die Frage vor, wann eine unstetige lineare Punktgruppe auf eine Strecke derart umkehrbar eindeutig abgebildet werden kann, dass die Rangordnung der einander entsprechenden Elemente in beiden Gruppen dieselbe ist, wann nämlich (nach Cantor's Ausdrucksweise) eine unstetige lineare Punktgruppe demselben ``Ordnungstypus'' wie das Continuum angehört. Die von ihm angegebenen Bedingungen sind aber, wie Herr Bettazzi nachweist, nicht sämtlich notwendig, und der Typus des Continuums ist demnach viel umfassender, als es nach Harnack's Untersuchungen scheinen dürfte. Herr Bettazzi führt folgende Bezeichnungen ein. Sagt man, dass eine Gruppe ``in einem Intervalle \(a\dots b\) enthalten ist'', so soll darunter verstanden werden, das \(a\dots b\) das kleinste diese Gruppe umfassende Intervall ist. Eine ``Succession'' ist die Folge von zwei Punkten einer Gruppe, zwischen welchen kein der Gruppe zugehöriger Punkt liegt. Enthält jede Umgebung eines Punktes \(P\), welcher der Gruppe \(G\) nicht angehört, links und rechts von \(P\) Punkte von \(G\), so bildet \(P\) eine ``Lücke''. Liegt im Intervalle \(P_1P_2\) die Grenzpunkte eingeschlossen, kein Element von \(G\), und enthält jede linke Umgebung von \(P_1\) und jede rechte Umgebung von \(P_2\) Elemente von \(G\), so bilden die Punkte \(P_1,P_2\) einen ``absoluten Sprung.'' Nun beweist der Verfasser folgende Sätze: Eine lineare Punktgruppe gehört stets und nur dann dem Typus des Continuums an, wenn sie keine Successionen oder Lücken oder absoluten Sprünge besitzt, und die Grenzpunkte des Intervalles umfasst, in welchem sie enthalten ist. Sei \(H\) irgend eine perfecte Gruppe, \(P_1P_2\) eine in \(H\) etwa existirende Succession. Verschiebt man einen der Punkte \(P_1,P_2\), zum Beispiel \(P_1\), und lässt den anderen \(P_2\) an seiner Stelle oder führt ihn in einen beliebigen Punkt der Strecke \(P_1P_2\;(P_1\) ausgeschlossen) über, so entsteht hieraus eine Gruppe, welche dem Typus des Continuums angehört. Umgekehrt kann jede Gruppe vom Typus des Continuums auf diese Weise erzeugt werden.