🔢 mathematics

Perfect Sets of Liouville Numbers with Controlled Self-Powers

Die Arbeit konstruiert eine perfekte Menge von Liouville-Zahlen mit der Mächtigkeit des Kontinuums, deren endliche Summen, Produkte und Selbstpotenzen ebenfalls Liouville-Zahlen sind, und zeigt damit, dass reichhaltige algebraische und topologische Strukturen unter der Abbildung $x \mapsto x^x$ im Universum der Liouville-Zahlen erhalten bleiben.

Ursprüngliche Autoren: Sidney A. Morris, Marcelo O. Ribeiro, Diego Marques

Veröffentlicht 2026-03-27

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Sidney A. Morris, Marcelo O. Ribeiro, Diego Marques

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Die große Frage: Was passiert, wenn eine „fast unmögliche" Zahl sich selbst potenziert?

Stellen Sie sich die Welt der Zahlen wie einen riesigen Ozean vor. Die meisten Zahlen, die wir kennen (wie 1, 2, 3, 1/2 oder $\sqrt{2}$ ), sind wie Fische, die man leicht fangen und benennen kann. Diese nennt man algebraische Zahlen oder rationale Zahlen.

Dann gibt es die transzendenten Zahlen (wie $\pi$ oder $e$ ). Diese sind wie Geister im Ozean: Sie sind da, aber sie lassen sich nicht durch einfache Gleichungen fangen. Sie sind „unendlich komplex".

Und dann gibt es eine ganz spezielle, extrem seltene Art von transzendenten Zahlen: die Liouville-Zahlen.

Die Metapher: Stellen Sie sich eine Liouville-Zahl wie einen Meister-Täuscher vor. Sie sieht auf den ersten Blick fast wie eine ganz normale, einfache Bruchzahl aus (z. B. 0,33333333), aber je genauer man hinsieht, desto mehr „Lügen" (Abweichungen) entdeckt man. Sie täuscht uns so perfekt, dass man sie mit einer extrem schnellen Annäherung fast beliebig genau beschreiben kann. Mathematiker nennen das eine „sehr gute rationale Approximation".

Das Rätsel: $x^x$

Die Autoren dieses Papiers stellen sich eine seltsame Frage:
Wenn wir eine dieser Meister-Täuscher-Zahlen ( $x$ ) nehmen und sie mit sich selbst potenzieren ( $x^x$ ), was passiert dann?

Wird das Ergebnis immer noch ein Meister-Täuscher sein (eine Liouville-Zahl)?
Oder wird es zu einem ganz normalen, langweiligen Geist (einer transzendenten, aber nicht Liouville-Zahl)?
Oder gar zu einer ganz normalen Zahl?

Bisher wusste niemand genau, wie sich diese „Selbst-Potenzierung" bei diesen speziellen Zahlen verhält.

Die Entdeckungen der Autoren

Die Forscher (Morris, Ribeiro und Marques) haben nun nicht nur eine Antwort gefunden, sondern haben ganze Kollektive (Mengen) von solchen Zahlen gebaut, die sich fast wie ein lebendiges Ökosystem verhalten.

1. Der „perfekte" Baukasten (Die Cantor-Menge)

Stellen Sie sich einen Kuchen vor, den man immer wieder in drei Teile schneidet und das mittlere Drittel wegwirft. Was übrig bleibt, ist die berühmte Cantor-Menge. Sie besteht aus unendlich vielen winzigen Punkten, ist aber trotzdem „groß" (sie hat die Mächtigkeit des Kontinuums, also genauso viele Punkte wie alle Zahlen auf einer Linie).

Die Autoren haben in diesem Kuchen eine spezielle Schicht von Zahlen gefunden, die sie „spiffy constants" (schicke Konstanten) nennen.

Das Ergebnis: Wenn man eine dieser Zahlen nimmt und sie mit sich selbst potenziert ( $x^x$ ), bleibt sie ein Meister-Täuscher (eine Liouville-Zahl).
Noch besser: Sie haben sogar eine Menge gebaut, in der jede Kombination funktioniert. Wenn Sie zwei beliebige Zahlen $x$ und $y$ aus dieser Menge nehmen, ist auch $x^y$ ein Meister-Täuscher. Es ist wie eine Klub, in dem alle Mitglieder ihre „magischen Eigenschaften" behalten, egal wie sie sich vermischen.

2. Die „Gegen-Strategie": Nicht alle sind gleich

Aber das ist nicht die ganze Geschichte. Die Autoren zeigen auch, dass es eine andere Gruppe von Meister-Täuschern gibt, bei denen das Potenzieren nicht funktioniert.

Wenn man eine Zahl aus dieser zweiten Gruppe nimmt, wird $x^x$ zwar immer noch transzendent (ein Geist), aber sie verliert ihre „Meister-Täuscher"-Eigenschaften. Sie wird zu einem „normalen" transzendenten Geist, den man nicht mehr so leicht täuschen kann.
Die Metapher: Es ist wie bei einem Zauberer. Manche Zauberer verlieren ihre Magie, wenn sie sich selbst beschwören ( $x^x$ ), andere behalten sie. Die Autoren haben gezeigt, dass es unendlich viele Zauberer in beiden Kategorien gibt.

3. Die „perfekte" Struktur

Ein besonders cooler Teil der Arbeit ist, dass diese Mengen nicht nur zufällige Ansammlungen sind. Sie sind „perfekte Mengen".

Was bedeutet das? Stellen Sie sich eine Menge vor, in der es keine „Einzelpunkte" gibt, die isoliert dastehen. Jeder Punkt ist von anderen Punkten umgeben, die ihm ähnlich sind. Man kann in diese Menge hineingehen und nie aufhören, neue Punkte zu finden. Es ist ein dichtes, zusammenhängendes Netz aus unendlich vielen Zahlen.
Die Autoren haben bewiesen, dass man in diesem Netz eine perfekte Struktur bauen kann, die unter Addition, Multiplikation und Potenzieren „geschlossen" ist. Das heißt: Wenn Sie zwei Zahlen aus diesem Netz nehmen und sie addieren, multiplizieren oder potenzieren, landen Sie immer noch im selben Netz.

Warum ist das wichtig?

In der Mathematik gibt es oft das Gefühl, dass „komplexe" Zahlen (wie Liouville-Zahlen) sehr fragil sind. Wenn man sie nur ein bisschen verändert (z. B. durch Potenzieren), zerfallen sie oft in etwas Einfacheres.

Diese Arbeit zeigt das Gegenteil:

Stabilität: Man kann riesige, stabile Welten (perfekte Mengen) bauen, in denen diese extrem komplexen Zahlen ihre Eigenschaften behalten, selbst wenn man sie mit sich selbst vermischt.
Vielfalt: Es gibt nicht „die eine" Art, wie $x^x$ sich verhält. Es gibt eine ganze Landschaft von Möglichkeiten.
Topologie trifft Arithmetik: Die Arbeit verbindet die Form (wie die Zahlen angeordnet sind) mit dem Verhalten (wie sie sich rechnen lassen). Sie zeigen, dass man in der Welt der „dünnen" (arithmetisch seltenen) Liouville-Zahlen riesige, „dicke" (topologisch große) Strukturen finden kann.

Zusammenfassung in einem Satz

Die Autoren haben bewiesen, dass man im Universum der extrem komplexen Liouville-Zahlen ganze perfekte Welten bauen kann, in denen Zahlen sich selbst potenzieren können, ohne ihre magische, unvorhersehbare Natur zu verlieren – und dass es gleichzeitig auch Welten gibt, in denen diese Magie verschwindet.

Es ist wie der Nachweis, dass es im Ozean sowohl Inseln gibt, auf denen die Geister ihre Macht behalten, wenn sie sich selbst berühren, als auch Inseln, auf denen sie ihre Macht verlieren – und dass beide Inselgruppen riesig und unendlich komplex sind.

1. Problemstellung und Motivation

Die Arbeit untersucht das arithmetische Verhalten von Selbstpotenzen $x^x$ , wenn $x$ eine Liouville-Zahl ist. Liouville-Zahlen ( $L$ ) bilden eine dichte $G_\delta$ -Menge in $\mathbb{R}$ mit der Mächtigkeit des Kontinuums, sind jedoch arithmetisch „dünn" (Lebesgue-Maß null).

Bisherige Ergebnisse zeigten:

Jede reelle Zahl lässt sich als Summe oder Produkt zweier Liouville-Zahlen darstellen.
Für $f(x, y) = y^x$ lässt sich jede positive reelle Zahl $r \neq 1$ als $r = \sigma^\tau$ mit $\sigma, \tau \in L$ schreiben.
Es ist jedoch unbekannt, ob $x^x$ für eine Liouville-Zahl $x$ immer transzendent ist.

Ein entscheidender Durchbruch erfolgte 2023 durch [7], der zeigte, dass für eine bestimmte Klasse von „ $\varepsilon$ -starken Liouville-Zahlen" ( $L_\varepsilon$ ) die Selbstpotenz $x^x$ stets transzendent ist. Die Definition von $L_\varepsilon$ erfordert eine stärkere Approximationseigenschaft als die klassische Liouville-Bedingung:
$\left| x - \frac{p_k}{q_k} \right| < q_k^{-(\log q_k)^{1+\varepsilon}}$

Die zentrale Frage dieses Artikels ist nun: Kann man eine perfekte Menge (topologisch groß) von Liouville-Zahlen konstruieren, deren Selbstpotenzen $x^x$ ebenfalls Liouville-Zahlen sind? Zudem wird untersucht, ob algebraische Operationen (Summen, Produkte) innerhalb dieser Mengen erhalten bleiben.

2. Methodik und Konstruktion

Die Autoren verwenden eine Kombination aus Cantor-artigen Konstruktionen, Diophantischer Approximation und topologischen Argumenten (Hausdorff-Dimension, Baire-Kategorie).

A. „Spiffy Constants" und $\varepsilon$ -starke Liouville-Zahlen

Die Basis der Konstruktion bilden sogenannte „Spiffy Constants". Diese werden durch Reihenentwicklungen in einer speziellen Basis definiert:
$x_a = \sum_{n=1}^\infty \frac{a_n}{3^{e_n}}$
wobei $e_1=3, e_{n+1}=3e_n$ und $a_n \in \{0, 2\}$ . Diese Zahlen liegen im klassischen Cantor-Mittel-Drittel-Menge.

Theorem 2.2: Alle Spiffy-Konstanten gehören zu $L_\varepsilon$ für jedes $\varepsilon > 0$ .
Dies garantiert, dass $x^x$ für diese Zahlen transzendent ist (nach Theorem 1.2).

B. „Tuned Spiffy Constants" für Liouville-Eigenschaft von $x^x$

Um sicherzustellen, dass $x^x$ nicht nur transzendent, sondern selbst eine Liouville-Zahl ist, führen die Autoren „abgestimmte Spiffy-Konstanten" (tuned spiffy constants) ein.

Methode: Sie nutzen die Lipschitz-Stetigkeit der Funktion $\phi(t) = t \log t$ auf Intervallen $[\delta, 1]$ mit $\delta > e^{-1}$ .
Konstruktion: Durch geschickte Wahl der Ziffern $a_n$ und der Approximationsstellen $m_j$ wird sichergestellt, dass $x \log x$ sehr gut durch rationale Zahlen $U_j/V_j$ approximiert werden kann.
Durch die Exponentialfunktion $e^{U_j/V_j}$ (die $x^x$ approximiert) und die Kontrolle der Nennerwachstumsraten wird gezeigt, dass $x^x$ die Liouville-Bedingung erfüllt.

C. Probabilistische Argumente und Hausdorff-Dimension

In Abschnitt 3 wird gezeigt, dass es auch „viele" $\varepsilon$ -starke Liouville-Zahlen gibt, deren Selbstpotenz nicht Liouville ist.

Ansatz: Betrachtung der Funktion $f(x) = x^x$ auf $[\delta, 1]$ . Da $f$ dort bi-Lipschitz ist, kann die Hausdorff-Dimension von Mengen, die unter $f$ in die Nähe rationaler Zahlen fallen, kontrolliert werden.
Ergebnis: Die Menge der $x \in L_\varepsilon$ , für die $x^x$ nicht Liouville ist, hat die Mächtigkeit des Kontinuums.

D. Algebraische Abgeschlossenheit und Paarweise Potenzen

Die Autoren konstruieren perfekte Mengen $S$ und $W$ , die unter algebraischen Operationen (Polynome mit ganzzahligen Koeffizienten) und sogar unter der Paar-Potenz $x^y$ abgeschlossen sind, wobei das Ergebnis stets eine Liouville-Zahl bleibt.

Technik: Synchronisation der „Truncations" (Abbrüche) der Cantor-Reihenentwicklung. Durch die extrem schnelle Wachstumsrate der Exponenten $e_n$ (doppelt-exponentiell) dominieren die Fehlerterme der Approximationen die Nennerwachstumsraten, sodass die Liouville-Bedingung für alle Kombinationen erfüllt bleibt.

3. Wichtige Ergebnisse und Sätze

Existenz perfekter Mengen mit Liouville-Selbstpotenzen:
Es existiert eine perfekte Menge $T$ (Mächtigkeit $\mathfrak{c}$ ) von Liouville-Zahlen, sodass für alle $x \in T$ die Zahl $x^x$ ebenfalls eine Liouville-Zahl ist (Theorem 5.5).
Algebraische Liouville-Abgeschlossenheit:
Es existiert eine perfekte Menge $S$ , die „algebraisch Liouville-abgeschlossen" ist. Das bedeutet: Für beliebige $x_1, \dots, x_t \in S$ und jedes nicht-konstante Polynom $P \in \mathbb{Z}[X_1, \dots, X_t]$ ist $P(x_1, \dots, x_t)$ entweder rational oder eine Liouville-Zahl (Theorem 5.1, 5.6).
Paarweise Potenzen:
Es existiert eine perfekte Menge $W \subset S$ , sodass für alle Paare $x, y \in W$ die Zahl $x^y$ eine Liouville-Zahl ist (Theorem 6.1). Dies ist eine starke Verallgemeinerung der Selbstpotenz-Eigenschaft.
Topologische Größe:
Die Menge der Liouville-Zahlen $x$ , für die $x^x$ transzendent ist, ist eine dichte $G_\delta$ -Menge (Theorem 4.3). Ebenso ist die Menge der Liouville-Zahlen $x$ , für die $x^x$ eine Liouville-Zahl ist, eine dichte $G_\delta$ -Menge.
Gegenbeispiel zur Rationalität:
Es wird gezeigt, dass man nicht erwarten kann, dass $P(x, y)$ für alle $x, y$ irrational ist; es existieren Paare in den konstruierten Mengen, deren Differenz rational ist (Beispiel 5.2). Daher ist die Definition der „algebraischen Abgeschlossenheit" (Rational oder Liouville) notwendig.

4. Signifikanz und Bedeutung

Die Arbeit leistet einen wesentlichen Beitrag zur Theorie der transzendenten Zahlen und der Diophantischen Approximation:

Überwindung des Gelfond-Schneider-Theorems: Das klassische Gelfond-Schneider-Theorem besagt, dass $a^b$ transzendent ist, wenn $a$ algebraisch ( $\neq 0, 1$ ) und $b$ algebraisch irrational ist. Innerhalb der Klasse der Liouville-Zahlen (die arithmetisch sehr „dünn" sind) gibt es keine solche Einschränkung. Die Autoren zeigen, dass die Struktur der Liouville-Zahlen so reichhaltig ist, dass sie sogar unter der nicht-linearen Abbildung $x \mapsto x^x$ und $x, y \mapsto x^y$ stabil bleibt.
Topologie vs. Arithmetik: Die Ergebnisse unterstreichen das Paradoxon der Liouville-Zahlen: Sie sind topologisch „groß" (dichte $G_\delta$ -Mengen, perfekte Mengen), aber arithmetisch „dünn" (Maß null). Die Konstruktion perfekter Mengen, die unter komplexen Operationen stabil bleiben, zeigt, dass diese topologische Größe tief in der arithmetischen Struktur verankert ist.
Flexibilität der Konstruktion: Die Einführung der „tuned spiffy constants" bietet ein flexibles Werkzeug, um die Approximationsgüte von $x$ und $x \log x$ unabhängig voneinander zu steuern, was für die Kontrolle von $x^x$ entscheidend ist.

Zusammenfassend beweisen die Autoren, dass der „Universum" der Liouville-Zahlen nicht nur eine Ansammlung isolierter pathologischer Beispiele ist, sondern komplexe algebraische und topologische Strukturen enthält, die auch unter der Abbildung der Selbstpotenz erhalten bleiben.