Verallgemeinerte reelle Zahlen. (Q2580569): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 07:41, 5 March 2024

scientific article
Language Label Description Also known as
English
Verallgemeinerte reelle Zahlen.
scientific article

    Statements

    Verallgemeinerte reelle Zahlen. (English)
    0 references
    1942
    0 references
    Als verallgemeinerte reelle Zahlen vom Index \(\varepsilon\) bezeichnet Verf. die Dezimalbrüche \(0, a_1a_2\cdots a_\lambda\cdots\) (\(a_\xi\), wo \(\lambda\) eine Ordinalzahl \(< \xi, \xi =\omega_0\varepsilon\) aber eine Limeszahl bezeichnet und die \(a_\lambda\) die Werte 0 bis 9 haben können. Ist \(a_\eta \neq 9\), so heißen die Zahlen \(0, a_1a_2\cdots a_\eta99\cdots\)(\(9_\xi\) und \(0, a_1a_2\cdots (a_\eta + 1)\) \(00\cdots \)(\(0_\xi\) gleich. Stimmen in den Zahlen \(A = 0\), \(a_1a_2 \cdots a_\eta\cdots \)(\(a_\xi\) und \(A' = 0\), \(a_1a_2'\cdots a_\eta'\cdots\) (\(a_\xi'\) die Ziffern mit dem Index \(< \eta\) überein, und ist \(a_\eta < a_\eta'\), \(A = A'\), so wird \(A < A'\) gesetzt. Zunächst zeigt Verf., daß die geordnete Menge \(C_{\omega_0\varepsilon}\) mif aller Zahlen vom Index \(\varepsilon\) stetig im Dedekindschen Sinne ist. Das Kernproblem der Arbeit ist nun die Frage, ob aus \(\alpha\neq\beta\) immer folgt, daß \(C_{\omega_0\alpha}\) und \(C_{\omega_0\beta}\) nicht ähnlich sind. Verf. kann sie nicht allgemein lösen, aber in einer großen Reihe von Fällen positiv beantworten: zunächst im Falle \(\alpha, \beta< \omega_0\), d. h. \(\alpha, \beta\) natürliche Zahlen; auch \(C_{\omega_0\alpha}\) und \(C_{\omega_0^2+\omega_0\beta}\) mit natürlichen Zahlen \(\alpha, \beta\) sind unähnlich, ebenso \(C_{\omega_0^2+\omega_0\beta}\) und \(C_{\omega_0^2+\omega_0(\beta+\gamma)}\) mit natürlichen \(\beta, \gamma\neq 0\). -- Eine Ordinalzahl wird als Anfangszahl bezeichnet, wenn ihre Kardinalzahl größer ist als die aller vorangehenden Ordinalzahlen. Ist eine Anfangszahl Grenze einer wachsenden transfiniten Folge von Ordinalzahlen mit geringerer Kardinalzahl, so heißt sie singular (z. B. \(\omega_{\omega_0}\)), andernfalls regulär (z. B. \(\omega_1\)). Hat \(\alpha\) einen Vorgänger \(\alpha-1\), d. h. ist \(\alpha\) von erster Art, so ist \(\omega_\alpha\) regulär. Ist \(\omega_{\alpha} <\omega_{\beta}\) und \(\omega_\beta\) regulär, so sind \(C_{\omega\alpha}\) und \(C_{\omega\beta}\) unähnlich. Alle \(C_{\omega\alpha}\) mit verschiedenen Ordinalzahlen \(\alpha\) von erster Art sind, unähnlich. Ist \(\eta<\omega_\alpha\leqq \xi\), so sind \(C_\eta\) und \(C_\xi\) ebenfalls nicht ähnlich. -- Das zweite Problem der Arbeit ist das folgende: \((\alpha, \beta)\), \((\alpha',\beta')\) seien zwei Zerlegungen der Menge \(C_{\omega_0\varepsilon}\), vom gleichen Typus, d. h. \(\alpha\) und \(\alpha'\) haben beide oder beide nicht eine größte und entsprechend \(\beta, \beta'\) beide nicht oder beide eine kleinste Zahl; sind dann \(\alpha\) und \(\alpha'\) für alle Ordinalzahlen \(\varepsilon\) einander ähnlich? Die Antwort fällt positiv aus für \(\varepsilon = 1\), aber negativ, wenn \(1 < \varepsilon<\omega_1\) und \(\varepsilon\) eine Zahl erster Art, oder wenn \(\omega_1\leqq \varepsilon \) ist; eine feinere Analyse zeigt, daß die Antwort auch dann noch positiv ist, wenn \(\omega_0\varepsilon < \omega_1\) und \(\omega_0 \varepsilon\) eine unzerfällbare Ordinalzahl ist.
    0 references

    Identifiers