🔢 mathematics

A revised and extended version of McShane-Whitney extensions for fuzzy Lipschitz maps

Dieser Artikel identifiziert eine implizite Invertierbarkeitsannahme bezüglich der Funktion $\phi$ in einem früheren McShane-Whitney-Erweiterungssatz für fuzzy-Lipschitz-Abbildungen und schlägt eine revidierte Version vor, die lediglich die Linkskontinuität von $\phi$ voraussetzt.

Ursprüngliche Autoren: Eduardo Jiménez-Fernández, Jesús Rodríguez-López, Aurora Sánchez-Martín-Orozco, Enrique A. Sánchez-Pérez

Veröffentlicht 2026-05-04

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Eduardo Jiménez-Fernández, Jesús Rodríguez-López, Aurora Sánchez-Martín-Orozco, Enrique A. Sánchez-Pérez

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 haben eine Karte eines kleinen, vertrauten Viertels (nennen wir es Vorort S). Sie besitzen einen Satz von Regeln, wie „nah" zwei Häuser zueinander sind, doch diese Regeln sind etwas verschwommen – wie das Messen einer Distanz mit einem Gummiband, das sich je nach Wetterlage dehnt und zusammenzieht. Dies nennen Mathematiker einen Fuzzy-Metrischen Raum.

Stellen Sie sich nun vor, Sie hätten eine Funktion (einen Regelersteller), die den Standort eines Hauses in Vorort S nimmt und ihm eine Zahl auf einer geraden Linie zuordnet (wie eine Hausnummer an einer langen, geraden Straße). Dieser Regelersteller ist „Lipschitz", was auf elegante Weise bedeutet: „Wenn zwei Häuser nahe beieinander liegen, werden ihre zugewiesenen Zahlen nicht zu weit auseinanderliegen." Es ist eine Regel, die plötzliche, wilde Sprünge in den Werten verhindert.

Das Problem: Die kaputte Karte

In einer früheren Studie versuchten Mathematiker herauszufinden, wie man diesen Regelersteller von dem kleinen Viertel (Vorort S) auf die gesamte Stadt (Raum X) erweitern kann, die auch Orte umfasst, die Sie noch nicht besucht haben. Sie wollten sicherstellen, dass die Regel „keine wilden Sprünge" auch für die gesamte Stadt weiterhin gilt.

Ihre Methode hatte jedoch einen versteckten Fehler. Um die neuen Adressen für die unbesuchten Teile der Stadt zu berechnen, verlangte ihre Formel, dass sie eine bestimmte mathematische Funktion (nennen wir sie den „Gestaltwandler") invertieren mussten. Sie gingen davon aus, dass dieser Gestaltwandler immer perfekt umkehrbar sei, wie das Lösen eines Knotens.

Doch in der realen Welt (und in dieser Mathematik) ist der Gestaltwandler nicht immer umkehrbar. Manchmal presst er zwei verschiedene Eingaben in dieselbe Ausgabe, sodass es unmöglich ist zu wissen, mit welcher man begonnen hat. Das vorherige Papier ging fälschlicherweise davon aus, dass diese Umkehrung immer möglich sei, was die Mathematik in bestimmten Szenarien zerstörte.

Die Lösung: Das „Beste-Raten"-Werkzeug

Die Autoren dieses neuen Papiers sagen: „Machen Sie sich keine Sorgen darum, den Knoten perfekt zu lösen. Stattdessen nutzen wir ein Beste-Raten-Werkzeug (mathematisch genannt rechts-adjungiert)."

Stellen Sie es sich so vor:

Der alte Weg: Versuchen, den exakten Schlüssel zu finden, der ein bestimmtes Schloss öffnet. Wenn das Schloss klemmt oder der Schlüssel verbogen ist, stecken Sie fest.
Der neue Weg: Die Verwendung eines „Hauptschlüssels" oder eines „Universal-Schlüssels", der vielleicht nicht der exakte ursprüngliche Schlüssel ist, aber garantiert passt und die Tür öffnet, ohne etwas zu beschädigen.

Dieses neue Werkzeug funktioniert sogar dann, wenn der Gestaltwandler „klemmt" (nicht invertierbar ist). Es gibt jedoch einen Haken: Damit dieses Werkzeug funktioniert, muss der Gestaltwandler glatt und stetig sein (keine plötzlichen Sprünge in seinem eigenen Verhalten). Die Autoren nennen dies einen „linksstetigen" Raum.

Das Ergebnis: Die Erweiterung der Karte

Mit diesem neuen Werkzeug beweisen die Autoren, dass Sie den Regelersteller erfolgreich von dem kleinen Viertel auf die gesamte Stadt erweitern können, vorausgesetzt, Sie fügen eine Sicherheitsprüfung hinzu: Die Werte müssen innerhalb eines vernünftigen Bereichs bleiben.

Sie zeigen, dass, wenn die „Dehnbarkeit" des Gummibands (die Fuzzy-Metrik) nicht zu wild wird, Sie die neuen Adressen für die gesamte Stadt mit zwei spezifischen Formeln berechnen können:

Die „Sup"-Formel: Diese berechnet die höchstmögliche sichere Adresse für einen neuen Standort basierend auf den bekannten Nachbarn.
Die „Inf"-Formel: Diese berechnet die niedrigstmögliche sichere Adresse.

Sie können diese beiden dann mischen, um jede gültige Adresse dazwischen zu erhalten.

Reale Beispiele aus dem Papier

Das Papier testet diese neue Methode an zwei spezifischen Szenarien, um zu beweisen, dass sie funktioniert:

Die „begrenzte" Distanz: Stellen Sie sich eine Stadt vor, in der Distanzen gemessen werden, aber wenn zwei Punkte mehr als 1 Meile voneinander entfernt sind, wird die Distanz einfach als „1 Meile" aufgezeichnet (sie erreicht eine Obergrenze). Die alte Methode scheiterte hier, weil man die „Obergrenze" nicht umkehren konnte. Die neue Methode nutzt das „Beste-Raten-Werkzeug", um diese Begrenzung korrekt zu handhaben und bietet Ihnen einen gültigen Weg, die Karte zu erweitern.
Die „exponentielle" Distanz: Stellen Sie sich eine Stadt vor, in der die Distanz dadurch gemessen wird, wie schnell ein Signal abklingt (wie $e^{-Distanz}$ ). Auch hier hatte die alte Methode Schwierigkeiten, diese Kurve umzukehren. Die neue Methode greift ein, nutzt das „Beste-Raten-Werkzeug" und erweitert den Regelersteller erfolgreich auf die gesamte Stadt.

Das Fazit

Dieses Papier repariert eine kaputte Brücke in der mathematischen Logik. Es ersetzt ein Werkzeug, das eine perfekte, umkehrbare Funktion erforderte, durch ein robusteres Werkzeug, das auch dann funktioniert, wenn Dinge „gequetscht" oder „begrenzt" werden. Es stellt sicher, dass, wenn Sie eine glatte, wohlverhalten Regel für einen kleinen Bereich haben, Sie diese Regel selbstbewusst auf einen größeren Bereich erweitern können, ohne die fundamentalen Gesetze der „Nähe" in der Fuzzy-Mathematik zu brechen.

1. Problemstellung

Das Papier adressiert eine kritische Lücke in der bestehenden Literatur bezüglich der Erweiterung von fuzzy-Lipschitz-Abbildungen von einer Teilmenge eines fuzzy-metrischen Raums auf den gesamten Raum. Konkret kritisiert es ein vorheriges Ergebnis, das 2021 in Fuzzy Sets and Systems von denselben Autoren veröffentlicht wurde.

Der Fehler: Das Papier von 2021 etablierte einen McShane-Whitney-Erweiterungssatz für Abbildungen in einen euklidischen fuzzy-metrischen Raum $(\mathbb{R}, M_{\phi,g}, *)$ . Die Beweise in dieser Arbeit beruhten jedoch implizit auf der Existenz der Umkehrfunktion $\phi^{-1}$ .
Der Widerspruch: In der Definition eines euklidischen fuzzy-metrischen Raums wird von der Funktion $\phi: [0, +\infty) \to [0, +\infty)$ lediglich gefordert, dass sie monoton wachsend ist. Sie ist nicht notwendigerweise bijektiv (eindeutig und surjektiv). Wie im Papier festgestellt wird, ist $\phi$ zudem beschränkt, was bedeutet, dass eine Standard-Umkehrfunktion $\phi^{-1}$ oft nicht existiert.
Das Ziel: Die Autoren beabsichtigen, diese Beweise zu korrigieren und den Satz zu erweitern, indem sie die nicht existierende Umkehrfunktion $\phi^{-1}$ durch eine mathematisch rigorose Alternative ersetzen, die für allgemeine monoton wachsende Funktionen $\phi$ funktioniert.

2. Methodik

Die Autoren setzen Werkzeuge aus der Fuzzy-Mengen-Theorie, der metrischen Geometrie und der Ordnungstheorie (insbesondere Galois-Verbindungen) ein, um das Problem zu lösen.

Verfeinerung der Raumdefinition: Sie führen den Begriff eines linksstetigen euklidischen fuzzy-metrischen Raums ein. Dies erfordert, dass $\phi$ nicht nur monoton wachsend, sondern auch linksstetig ist.
Einführung des Rechtsadjungierten ( $\phi^*$ ):
- Da $\phi$ möglicherweise nicht invertierbar ist, nutzen die Autoren das Rechtsadjungierte (oder Residuum) von $\phi$ , bezeichnet als $\phi^*$ .
- Definiert als: $\phi^*(y) = \sup \{x \in [0, +\infty] : \phi(x) \leq y\}$ .
- Wichtige Eigenschaften:
  1. $\text{id} \leq \phi^* \circ \phi$ (Die Komposition ist größer oder gleich der Identität).
  2. Wenn $\phi$ monoton wachsend und linksstetig ist, dann gilt $\phi \circ \phi^* \leq \text{id}$ .
- Dies ermöglicht den Autoren, die Logik der Ungleichungen zu „invertieren", ohne dass $\phi$ bijektiv sein muss.
Umgang mit Beschränktheit: Die Autoren identifizieren, dass, wenn $\phi$ beschränkt ist (was für fuzzy-Metriken zutrifft), $\phi^*$ für große Eingabewerte den Wert $+\infty$ annehmen kann. Um zu verhindern, dass dies die Erweiterung ungültig macht, führen sie eine Beschränktheitsbedingung für die Lipschitz-Konstante relativ zum Supremum von $\phi$ ein.

3. Hauptbeiträge

A. Theoretische Korrektur

Das Papier korrigiert die Definition und die Beweise des McShane-Whitney-Erweiterungssatzes für fuzzy-Lipschitz-Abbildungen. Es zeigt, dass die Annahme der Invertierbarkeit von $\phi$ unnötig und falsch war; die Linksstetigkeit von $\phi$ und die Verwendung seines Rechtsadjungierten $\phi^*$ sind ausreichend.

B. Revidierter Satz (Satz 5)

Die Autoren präsentieren eine korrigierte Version des Erweiterungssatzes mit einer spezifischen Einschränkung:

Bedingung: Damit die Erweiterung existiert, muss der Term, der die Lipschitz-Konstante $K(t)$ , die Funktion $g(t)$ und den fuzzy-Abstand $(1 - M(x,y,t))$ enthält, strikt kleiner als $\phi(+\infty)$ sein.
Bedeutung: Dies stellt sicher, dass das Argument, das an $\phi^*$ übergeben wird, in einem Bereich bleibt, in dem es endlich ist, und verhindert, dass die Erweiterung undefiniert wird.

C. Explizite Erweiterungsformeln

Das Papier liefert korrigierte Formeln für die McShane- und Whitney-Erweiterungen. Anstelle von $\phi^{-1}$ verwenden die Formeln nun $\phi^*$ :

McShane-Erweiterung ( $f^M$ ):
$f^M(x, t) = \sup_{s \in S} \left\{ f(s, t) - \phi^*\left( \frac{K(t)}{g(t)} (1 - M(x, s, t)) \right) \right\}$
Whitney-Erweiterung ( $f^W$ ):
$f^W(x, t) = \inf_{s \in S} \left\{ f(s, t) + \phi^*\left( \frac{K(t)}{g(t)} (1 - M(x, s, t)) \right) \right\}$

D. Anwendung auf spezifische Beispiele

Die Autoren gehen auf zwei spezifische Beispiele aus dem ursprünglichen Papier von 2021 zurück, bei denen $\phi(x) = \min\{x, 1\}$ gilt (was nicht bijektiv ist).

Sie zeigen, dass die ursprünglichen Formeln ungültig waren, da für diese Funktion $\phi^{-1}$ nicht existiert.
Sie leiten die korrigierten expliziten Formeln unter Verwendung von $\phi^*$ her, das in diesem spezifischen Fall als stückweise Funktion wirkt (Skalierung mit dem Faktor 2 für kleine Werte und Annahme des Wertes Unendlich für große Werte, vorbehaltlich der Beschränktheitsbedingung).

4. Ergebnisse

Existenzbeweis: Das Papier beweist, dass unter der Bedingung, dass $\phi$ linksstetig ist und die Lipschitz-Bedingung die Beschränktheitsbedingung erfüllt, eine fuzzy-Lipschitz-Erweiterung immer existiert.
Erhaltung von Eigenschaften: Es wird bewiesen, dass die konstruierten Erweiterungen ( $f^M$ und $f^W$ ) fuzzy-Lipschitz-Abbildungen auf dem gesamten Raum $X \times (0, +\infty)$ sind.
Verallgemeinerung: Die Ergebnisse gelten für eine breitere Klasse euklidischer fuzzy-metrischer Räume als bisher angenommen, indem die einschränkende (und oft falsche) Annahme der Bijektivität für $\phi$ entfernt wird.

5. Bedeutung

Mathematische Strenge: Das Papier korrigiert einen subtilen, aber signifikanten logischen Fehler in der grundlegenden Theorie der fuzzy-Lipschitz-Erweiterungen. Es stellt sicher, dass Theoreme in diesem Bereich auf notwendigen und hinreichenden Bedingungen basieren und nicht auf impliziten Annahmen.
Praktische Anwendbarkeit: Durch die Bereitstellung korrekter Formeln für nicht-bijektive $\phi$ -Funktionen (wie $\min\{x, 1\}$ ) macht das Papier den McShane-Whitney-Erweiterungssatz auf eine breitere Palette praktischer fuzzy-metrischer Räume anwendbar, die in der Datenanalyse, der Bildverarbeitung und der approximativen Schlussfolgerung verwendet werden.
Theoretischer Rahmen: Die Einführung des Rechtsadjungierten $\phi^*$ als Standardwerkzeug für den Umgang mit nicht-invertierbaren fuzzy-metrischen Funktionen etabliert einen robusten Rahmen für zukünftige Forschung in fuzzy-metrischen Räumen und der fuzzy-Lipschitz-Analyse.

Zusammenfassend dient dieses Papier als notwendige Korrektur und Erweiterung vorheriger Arbeiten, indem es die fehlerhafte Abhängigkeit von Umkehrfunktionen durch einen rigorosen ordnungstheoretischen Ansatz unter Verwendung von Rechtsadjungierten ersetzt und damit das theoretische Fundament für die Erweiterung von fuzzy-Lipschitz-Abbildungen festigt.