Satz von Beckman und QuarlesDer Satz von Beckman und Quarles ist ein Satz über geometrische Transformationen. Er wurde im Jahr 1953 von Frank S. Beckman und Donald A. Quarles Jr. erstmals publiziert und unabhängig davon von mehreren anderen Autoren bewiesen.[1][2] Der Satz besagt, dass eine beliebige Selbstabbildung des n-dimensionalen euklidischen Raumes (), die sämtliche Punktpaare mit Abstand 1 in ebensolche überführt, bereits eine Isometrie ist, also sämtliche Abstände unverändert lässt. Dies ist äquivalent zu der Aussage, dass jeder Automorphismus des Einheitsdistanz-Graphen eine Isometrie ist. Formale AussageDie Aussage des Satzes stimmt auch dann noch, wenn man den Abstand 1 durch einen beliebigen festen Abstand ersetzt und mehrdeutige Funktionen zulässt. Sei für eine mehrdeutige Funktion von in sich mit folgender Eigenschaft: es gibt , so dass für alle mit auch für alle Bildpaare gilt. Dann ist eine eindeutige, bijektive Funktion und es gilt für alle , dass . Gegenbeispiele in reellen RäumenAnhand eines einfachen Gegenbeispiels erkennt man, dass die Voraussetzung an die Dimension des Raumes wirklich notwendig ist. Man betrachte dazu die Funktion , die alle ganzen Zahlen auf abbildet und alle anderen Zahlen festhält. Die Abbildung erhält offensichtlich den Abstand 1, aber keine anderen positiven Abstände. Graphentheoretisch gesprochen existiert dieses Gegenbeispiel, da der Einheitsdistanz-Graph von in einzelnen Zusammenhangskomponenten zerfällt, auf denen unterschiedliche Graphen-Automorphismen angewandt werden. In allen Dimensionen ist der Einheitsdistanz-Graph hingegen zusammenhängend. Die Voraussetzung, dass die Dimensionen von Urbild- und Zielraum der Abbildung übereinstimmen, ist ebenfalls notwendig. Für den Fall, dass der Urbildraum die euklidische Ebene ist und der Zielraum der Raum findet man eine Funktion, die zwar den Abstand 1 festhält, aber keine Isometrie ist.[3] Dazu parkettiert man die Ebene mit Sechsecken von Durchmesser 1. Diese können in sieben verschiedenen Farben eingefärbt werden (siehe Abbildung), was einer 7-Färbung des Einheitsdistanz-Graphen entspricht. Im Zielraum bestimme man ein 6-Simplex mit Kantenlänge 1. Jene Abbildung, die alle Punkten einer Farbklasse jeweils auf einen Punkt des Simplex abbildet, ist offensichtlich eine Abbildung, die den Abstand 1 festhält, aber keine Isometrie ist. Des Weiteren ist für die Anwendung des Satzes die Endlichkeit der Dimension des Raumes notwendig: Von Beckman und Quarles stammt ein Gegenbeispiel im Hilbertraum der quadratisch summierbaren Folgen . Eine endliche Variante des Satzes von Beckman und QuarlesFür jede algebraische Zahl A kann ein Einheitsdistanz-Graph G gefunden werden, bei dem einige Knotenpaare den Abstand A in allen Einheitsdistanz-Darstellungen von G haben.[4][5] Damit wird eine endliche Variante des Satzes von Beckman und Quarles impliziert: für je zwei Punkte p und q mit Abstand A existiert ein endlicher starrer Einheitsdistanz-Graph, der p und q beinhaltet und der bei jeder Einheitsdistanz-erhaltenden Transformation der Ebene auch den Abstand zwischen p und q erhält.[6] Verallgemeinerungen und weitere ErgebnisseBetrachtet man Selbstabbildungen auf dem Raum und unter Verwendung der euklidischen Metrik, so ist die Situation komplizierter als im reellen Raum. Für Dimensionen sind alle Selbstabbildungen auf , die den Einheitsabstand erhalten, Isometrien. In den Dimensionen lassen sich Gegenbeispiele finden, da in diesen Räumen der Einheitsdistanz-Graph in einzelne Zusammenhangskomponenten zerfällt.[7][8] Selbst, wenn man zusätzlich voraussetzt, dass der Abstand erhalten bleibt, ändert sich nichts an der Aussage.[9] Die endliche Variante des Satzes ist für den rationalen Raum nur für bestimmte Spezialfälle bekannt.[10] Es gibt für verschiedene andere Geometrien Sätze, die dem Satz von Beckman und Quarles entsprechen. June Lester zeigte beispielsweise, dass unter eine Selbstabbildung , die einen festen Wert einer quadratischen Form erhält, alle Werte der quadratischen Form erhalten bleiben.[11] Von verschiedenen anderen Autoren wurden analoge Sätze für Minkowski-Räume[12], die Möbius-Ebene[13], die projektive Ebene[14] und metrische Räume über Körper mit Charakteristik ungleich 0[15][16] bewiesen. Literatur
Einzelnachweise
|