Ultrametrik - LinkFang.de





Ultrametrik


In der Analysis und Topologie bezeichnet man als Ultrametrik eine Metrik [math]\text{d}\colon S\times S\to \mathbb{R}[/math] auf einer Menge [math]S[/math], die außer den Metrik-Axiomen

  1. [math]\text{d}\left(a,b\right) \geq 0[/math]
  2. [math]\text{d}\left(a,b\right) = 0 \Leftrightarrow a = b [/math]
  3. [math]\text{d}\left(a,b\right) = \text{d}(b,a)[/math] (Symmetrie)
  4. [math]\text{d}\left(a,b\right) \leq \text{d}(a,c) + \text{d}(c,b)[/math] (Dreiecksungleichung)

für alle [math]a, b, c \in S[/math] noch die verschärfte Dreiecksungleichung

[math]\text{d}(a,b) \leq \max \{\text{d}(a,c),\text{d}(c,b)\}[/math]

erfüllt. Einen metrischen Raum mit einer Ultrametrik bezeichnet man als ultrametrischen Raum.

Beispiele

Die diskrete Metrik ([math]d(a,b)=1[/math] für [math]a\neq b[/math], sonst [math]0[/math]) auf einer nichtleeren Menge ist eine Ultrametrik.

Die p-adische Metrik auf [math]\Q[/math] und die auf dem Körper [math]\Q_p[/math] der p-adischen Zahlen ist eine Ultrametrik.

Ist [math]S[/math] eine beliebige nichtleere Menge, dann kann man die Menge [math]S^\N[/math] aller Folgen in [math]S[/math] zu einem metrischen Raum machen, indem man den Abstand zweier verschiedener Folgen [math](x_n), (y_n)[/math] auf den Wert [math]1/N[/math] setzt, wobei [math]N[/math] der kleinste Index ist, für den [math]x_N[/math] verschieden ist von [math]y_N[/math], und den Abstand einer Folge zu sich selbst auf [math]0[/math] setzt. Dieser metrische Raum ist dann vollständig und ultrametrisch. Die dadurch induzierte Topologie stimmt mit der abzählbaren Produkttopologie der diskreten Topologie über [math]S[/math] überein. Wichtige Beispiele für so konstruierte Räume sind der Baire-Raum ([math]S[/math] abzählbar unendlich) und der Cantor-Raum ([math]S[/math] endlich mit mindestens zwei Elementen).

Eigenschaften

Jedes Dreieck [math]ABC[/math] aus Punkten eines ultrametrischen Raums [math]S[/math] ist gleichseitig oder gleichschenklig mit kürzerer Basis. Zum Beweis: Sind [math]a[/math],[math]b[/math],[math]c[/math] die Abstände der drei Eckpunkte ([math]a=d(B,C)[/math] usw.), dann ist entweder [math]a=b=c[/math] ([math]ABC[/math] gleichseitig) oder eine Seite ist kürzer als eine andere, ohne Einschränkung nehmen wir an, dass [math]a\ltb[/math]. Dann kann man aus der verschärften Dreiecksungleichung folgern, dass [math]c=b[/math] sein muss (es ist [math]a\ltb\leq \max\{a,c\}[/math], also [math]b\leq c[/math], und [math]c\leq \max\{a,b\}=b[/math]), also ist [math]ABC[/math] dann gleichschenklig mit kürzerer Basis [math]BC[/math].

Jede Kugel ist sowohl abgeschlossen als auch offen (aber nicht notwendig eine offene und geschlossene Kugel). (Schikhof, 1984)

Jeder Punkt in einer (offenen oder abgeschlossenen) Kugel ist Mittelpunkt dieser Kugel, und der Durchmesser ist kleiner oder gleich ihrem Radius. (Marc Krasner, 1944)

Zwei Kugeln sind entweder elementfremd (disjunkt), oder eine ist ganz in der anderen enthalten.

Eine Folge [math](a_n)[/math] in [math]S[/math], in der die Abstände direkt aufeinander folgender Glieder gegen 0 konvergieren, ist eine Cauchy-Folge, denn für jedes [math]e\gt0[/math] gibt es dann ein [math]N[/math] mit [math]d(a_n,a_{n+1}) \lt e[/math] für alle [math]n\geq N[/math], und somit gilt wegen der verschärften Dreiecksungleichung für alle [math]m \gt n \geq N[/math]: [math]d(a_n,a_m) \leq \max\{d(a_n,a_{n+1}), \ldots, d(a_{m-1},a_m)\} \lt e[/math].

In einer abelschen topologischen Gruppe, deren Topologie von einer translationsinvarianten Ultrametrik erzeugt wird (z. B. einem ultrametrischen Körper wie [math]\Q_p[/math]) ist eine unendliche Reihe genau dann eine Cauchy-Folge, wenn die Summanden eine Nullfolge bilden. Ist die Gruppe vollständig, dann konvergiert die Reihe in diesem Fall.

Ein ultrametrischer Raum ist total unzusammenhängend.

Anwendung

Anwendungen gibt es beispielsweise in der Theorie der sog. Spingläser in der Physik, und zwar in der Replika-Theorie von Giorgio Parisi.


Kategorien: Geometrie | Topologie | Analysis

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Ultrametrik (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.