🔢 mathematics

Discontinuity at the fixed point in suprametric spaces

Dieser Artikel verallgemeinert Fixpunktsätze für konvexe Kontraktionen der Ordnung $m$ auf vollständigen Suprametrik-Räumen und zeigt, dass solche Abbildungen einen Fixpunkt garantieren, ohne Stetigkeit an diesem Punkt zu erfordern, wodurch eine neue Lösung für Rhoades' offenes Problem geboten und Ergebnisse im Zusammenhang mit Quasi-Kontraktionen erweitert werden.

Ursprüngliche Autoren: Nicola Fabiano, Sedigheh Barootkoob, Hossein Lakzian

Veröffentlicht 2026-05-11

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Nicola Fabiano, Sedigheh Barootkoob, Hossein Lakzian

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

Stellen Sie sich vor, Sie versuchen, einen bestimmten Ort auf einer Karte zu finden, an dem Sie, wenn Sie dort stehen, sich nicht bewegen, wenn Sie einen Schritt machen. In der Mathematik wird dieser „Ort" als Fixpunkt bezeichnet. Wenn Sie eine Regel (eine Funktion) haben, die Ihnen sagt, wie Sie von einem Ort zum anderen gelangen, ist ein Fixpunkt ein Ort, an dem die Regel sagt: „Bleib genau hier."

Lange Zeit hatten Mathematiker eine sehr strenge Regel, um zu garantieren, dass Sie diesen Ort finden können. Es war wie die Aussage: „Wenn Ihre Schritte jedes Mal kleiner und kleiner werden und Sie niemals aufhören zu bewegen, werden Sie schließlich auf einem Fixpunkt landen." Doch diese Regel verlangte, dass der Wanderweg perfekt glatt und vorhersehbar (stetig) war.

Dieser Artikel, verfasst von Fabiano, Barootkoob und Lakzian, untersucht eine neue, etwas wackeligere Art von Karte, die als Suprametrischer Raum bezeichnet wird.

Die neue Karte: Suprametrische Räume

Stellen Sie sich eine normale Karte (einen Standardmetrischen Raum) vor, bei der der Abstand zwischen zwei Punkten nur eine gerade Linie ist. Stellen Sie sich nun vor, ein Suprametrischer Raum sei wie eine Karte mit „Staus" oder „Unebenheiten". Der Abstand zwischen zwei Punkten ist nicht nur die Summe der Schritte; er hängt auch davon ab, wie überfüllt der Weg ist. Wenn Sie einen großen Schritt machen, könnte die „Kosten" dieses Schritts aufgrund des Verkehrs steigen.

Die Autoren fragen: Können wir diesen speziellen „Bleib hier"-Ort auf dieser buckeligen, verkehrsreichen Karte immer noch finden?

Die „buckelige" Regel: Konvexe Kontraktionen

Normalerweise benötigen Sie, um einen Fixpunkt zu finden, eine Regel, die besagt: „Jedes Mal, wenn Sie sich bewegen, kommen Sie um einen bestimmten Prozentsatz näher zum Ziel."

Die Autoren betrachten eine komplexere Regel, die als Kontraktion konvexer Ordnung m bezeichnet wird.

Die Analogie: Stellen Sie sich vor, Sie versuchen, einen Schatz zu erreichen. Anstatt nur zu schauen, wo Sie sich gerade befinden, müssen Sie schauen, wo Sie 1 Schritt, 2 Schritte, bis zu m Schritte zuvor waren. Die Regel besagt, dass der Abstand zwischen Ihrer aktuellen Position und der nächsten Position durch einen gewichteten Durchschnitt aller Ihrer vorherigen Schritte gesteuert wird.
Der Twist: In der Vergangenheit mussten Sie, um zu beweisen, dass Sie den Schatz finden würden, annehmen, dass die Karte perfekt glatt (stetig) war. Wenn die Karte einen plötzlichen Sprung oder eine Klippe hatte, sagte die alte Mathematik: „Game over, keine Garantie."

Die große Entdeckung: Sie brauchen keine glatte Karte

Der Hauptdurchbruch in diesem Artikel besteht darin zu beweisen, dass Sie die Karte nicht perfekt glatt haben müssen, um den Fixpunkt zu finden.

Die Autoren zeigen, dass Sie den Ort immer noch finden können, selbst wenn die Regel (die Abbildung) genau am Zielort einen plötzlichen Sprung oder eine „Diskontinuität" aufweist.

Die Metapher: Stellen Sie sich vor, Sie gehen auf eine Tür zu. In der alten Theorie musste sich die Tür öffnen, während Sie sich näherten. In dieser neuen Theorie könnte die Tür zuschlagen oder sich genau in dem Moment öffnen, in dem Sie dort ankommen, aber solange Ihre Schritte dem spezifischen „konvexen" Muster folgen, werden Sie trotzdem vor der Tür stehen.

Um dies zu ermöglichen, ersetzen sie die Anforderung der „Glattheit" durch zwei schwächere, flexiblere Bedingungen:

k-Stetigkeit: Sie müssen nicht überall glatt sein, sondern nur nach k Schritten glatt genug.
Orbitale untere Halbstetigkeit: Das ist eine elegante Art zu sagen: „Solange Ihre Schritte nicht plötzlich riesig werden, genau am Zielpunkt, sind Sie in Ordnung."

Lösung eines alten Rätsels

1988 stellte ein Mathematiker namens Rhoades eine berühmte Frage: „Gibt es eine Regel, die stark genug ist, um einen Fixpunkt zu garantieren, aber schwach genug, um die Karte nicht an diesem Punkt glatt zu erzwingen?"

Jahrzehntelang konnte niemand dies für diese spezifischen Arten von Karten endgültig beantworten. Dieser Artikel sagt: „Ja, wir haben es gefunden!" Sie bewiesen, dass diese „konvexen Kontraktions"-Regeln stark genug sind, um den Ort zu finden, selbst wenn der Ort selbst etwas gezackt ist.

Andere Werkzeuge, die sie geschärft haben

Die Autoren haben nicht nur die Regel für konvexe Kontraktionen repariert; sie haben auch andere berühmte „Suchwerkzeuge" (wie diejenigen, die von den Mathematikern Sehgal, Ćirić und Fisher erfunden wurden) so weiterentwickelt, dass sie auf diesen buckeligen, verkehrsreichen Suprametrischen Karten funktionieren. Sie zeigten, dass diese Werkzeuge auch dann noch funktionieren, wenn die Karte keine perfekte, glatte Linie ist.

Ein reales Beispiel (aus dem Artikel)

Um zu beweisen, dass ihre Mathematik funktioniert, wandten sie sie auf eine Fredholmsche Integralgleichung an.

Die Analogie: Stellen Sie sich dies als Versuch vor, die perfekte Temperatureinstellung für einen Raum zu finden, bei dem die Wärme von der Temperatur jedes anderen Teils des Raums abhängt. Es ist eine komplexe Schleife.
Das Ergebnis: Sie zeigten, dass sie durch die Verwendung ihrer neuen „buckeligen Karten"-Mathematik beweisen können, dass es genau eine korrekte Temperatureinstellung gibt, die das Problem löst. Sie sagten nicht nur „es funktioniert"; sie zeigten, dass die Mathematik garantiert, dass eine eindeutige Lösung existiert.

Zusammenfassung

Einfach ausgedrückt sagt dieser Artikel:

Wir haben einen neuen, etwas unordentlichen Typ mathematischen Raums (Suprametrisch).
Wir haben einen Weg gefunden, um zu garantieren, dass Sie einen „Fixpunkt" (einen stabilen Ort) in diesem Raum finden können.
Entscheidend: Wir haben bewiesen, dass Sie den Pfad nicht perfekt glatt haben müssen, um ihn zu finden.
Dies löst ein 30 Jahre altes Rätsel darüber, ob „Glattheit" tatsächlich notwendig ist.
Wir haben dies verwendet, um eine bestimmte Art von Gleichung zu lösen, die Wärme und Fluss beinhaltet, und bewiesen, dass es genau eine Lösung gibt.

Technische Zusammenfassung: Diskontinuität am Fixpunkt in Suprametrischen Räumen

Problemstellung und Motivation
Der Artikel behandelt die Existenz und Eindeutigkeit von Fixpunkten für Selbstabbildungen auf vollständigen suprametrischen Räumen, einer Verallgemeinerung metrischer Räume, die von Berzig eingeführt wurde. Ein zentrales Motiv für diese Arbeit ist das offene Problem von B. E. Rhoades (1988): Gibt es eine kontraktive Definition, die stark genug ist, um einen Fixpunkt zu erzeugen, aber die Abbildung nicht zwingt, am Fixpunkt stetig zu sein?

Während klassische Fixpunktsätze (z. B. Banach–Picard–Caccioppoli) oft Stetigkeit voraussetzen und die Ergebnisse von Istrătescu zu konvexen Kontraktionen der Ordnung 2 ebenfalls auf globaler Stetigkeit beruhen, untersucht dieser Artikel, ob schwächere Bedingungen – spezifisch $k$ -Stetigkeit oder orbitale untere Halbstetigkeit – ausreichen, um einen Fixpunkt im Kontext suprametrischer Räume zu garantieren. Die Autoren zielen darauf ab, bestehende Ergebnisse bezüglich konvexer Kontraktionen und Quasi-Kontraktionen (Sehgal, Ćirić und Fisher) auf diesen breiteren Rahmen zu verallgemeinern und gleichzeitig das von Rhoades aufgeworfene Stetigkeitsproblem zu lösen.

Methodik und Rahmenwerk
Die Autoren arbeiten im Rahmen suprametrischer Räume $(X, d)$ , definiert durch eine Funktion, die Symmetrie, Identität ununterscheidbarer Elemente und eine modifizierte Dreiecksungleichung erfüllt:
$d(x, y) \leq d(x, z) + d(z, y) + \rho d(x, z)d(z, y)$
für eine Konstante $\rho \geq 0$ .

Die Methodik umfasst:

Verallgemeinerung kontraktiver Bedingungen: Erweiterung der Definitionen von konvexen Kontraktionen der Ordnung $m$ und Quasi-Kontraktionen (einschließlich derjenigen von Ćirić und Fisher) auf den suprametrischen Rahmen.
Lockerung der Stetigkeitsannahmen: Ersetzen der Anforderung globaler Stetigkeit durch schwächere Bedingungen:
- $k$ -Stetigkeit: Eine Abbildung $T$ ist $k$ -stetig, wenn $T^{k-1}x_n \to z$ impliziert, dass $T^k x_n \to Tz$ .
- $T$ -orbitale untere Halbstetigkeit: Die Verschiebungsfunktion $D(x) = d(x, Tx)$ ist entlang der Bahn eines Punktes unterhalb halbstetig.
- Bedingung (C): Eine spezifische Bedingung, die die Konvergenz einer Folge und ihre Verschiebung auf die Fixpunkteigenschaft bezieht.
Iterative Analyse: Nutzung von Picard-Iterationen ( $x_n = T^n x_0$ ) und Etablierung von Schranken für aufeinanderfolgende Iterierte, um die Cauchy-Eigenschaft der Folge zu beweisen. Die Beweise beinhalten häufig die Transformation der suprametrischen Ungleichung in eine Form, die mit Standardtechniken metrischer Räume kompatibel ist (z. B. durch Verwendung logarithmischer Transformationen oder äquivalenter Metriken), um die Konvergenz zu etablieren.

Hauptbeiträge und Ergebnisse

Fixpunktsatz für konvexe Kontraktionen der Ordnung $m$ :
Der Artikel etabliert Satz 2.1 und beweist, dass eine Selbstabbildung $T$ auf einem vollständigen suprametrischen Raum, die eine konvexe Kontraktionsbedingung der Ordnung $m$ erfüllt (wobei $d(T^m x, T^m y) \leq \sum_{i=0}^{m-1} a_i d(T^i x, T^i y)$ mit $\sum a_i < 1$ ), einen eindeutigen Fixpunkt besitzt. Entscheidend ist, dass der Satz gilt, wenn $T$ irgendeine der folgenden Bedingungen erfüllt:
- $T$ ist $k$ -stetig.
- Die Verschiebungsfunktion $D(x)$ ist $T$ -orbital unterhalb halbstetig.
- $T$ erfüllt die Bedingung (C).
  Dieses Ergebnis verallgemeinert Istrătescus Satz für Ordnung 2 und erweitert ihn auf Ordnung $m$ in suprametrischen Räumen.
Lösung von Rhoades' offenem Problem:
Die Autoren behaupten, dass ihre Ergebnisse eine „neue und distincte Lösung" für Rhoades' offenes Problem darstellen. Indem sie zeigen, dass konvexe Kontraktionen der Ordnung $m$ eindeutige Fixpunkte erzeugen, ohne Stetigkeit am Fixpunkt zu verlangen (stattdessen verlassen sie sich auf die oben aufgeführten schwächeren Bedingungen), bestätigen sie die Existenz solcher kontraktiver Definitionen.
Verallgemeinerung von Quasi-Kontraktionen:
- Ćirićs Quasi-Kontraktion: Satz 3.1 verallgemeinert Ćirićs Ergebnis auf suprametrische Räume und beweist die Existenz eines eindeutigen Fixpunkts für Abbildungen, die eine verallgemeinerte quasi-kontraktive Ungleichung erfüllen, die Iterierte $n(x)$ beinhaltet.
- Sehgals Ergebnis: Satz 3.2 erweitert Sehgal's Verallgemeinerung des Kontraktionsprinzips von 1969 auf diesen Rahmen.
- Fischers Quasi-Kontraktion: Satz 4.1 erweitert Fischers Ergebnisse von 1979, die zwei feste ganze Zahlen $n$ und $m$ sowie ein Maximum über verschiedene Iterierte beinhalten, und beweist erneut die Eindeutigkeit unter den gelockerten Stetigkeitsbedingungen.
Anwendungen:
Der Artikel wendet die wichtigsten theoretischen Ergebnisse auf die Existenz und Eindeutigkeit von Lösungen für eine Fredholmsche Integralgleichung zweiter Art an:
$f(x) = \int_a^b K(x, t)f(t) dt$
Durch die Definition einer spezifischen Suprametrik auf dem Raum der stetigen Funktionen $C[a, b]$ zeigen die Autoren, dass der Integraloperator die Kontraktionsbedingung der Ordnung 2 erfüllt, wodurch eine eindeutige Lösung garantiert wird, ohne dass der Operator im traditionellen Sinne am Fixpunkt stetig sein muss (obwohl er Lipschitz-stetig ist und somit die $k$ -Stetigkeitsbedingung erfüllt).

Bedeutung und Behauptungen
Der Artikel behauptet, dass die Klasse der konvexen Kontraktionen der Ordnung $m$ „stark genug" ist, um Fixpunkte in vollständigen suprametrischen Räumen zu erzeugen, gleichzeitig aber „schwach genug", um Diskontinuität am Fixpunkt zuzulassen. Diese Unterscheidung wird als bedeutender Fortschritt gegenüber früheren Ergebnissen dargestellt, die globale Stetigkeit erforderten. Die Autoren liefern spezifische Beispiele (einschließlich endlicher Mengen und intervallbasierter Funktionen), um zu demonstrieren, dass ihre Bedingungen in Fällen erfüllt sind, in denen klassische metrische Raumsätze (wie diejenigen, die strikt metrische Eigenschaften oder Stetigkeit erfordern) versagen oder nicht anwendbar wären. Die Arbeit schließt effektiv die Lücke zwischen Istrătescus konvexen Kontraktionen und Rhoades' offenem Problem innerhalb der verallgemeinerten Topologie suprametrischer Räume.