Satz von Beckman und Quarles

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der 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 (n>1), 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 Aussage[Bearbeiten]

Die Aussage des Satzes stimmt auch dann noch, wenn man den Abstand 1 durch einen beliebigen festen Abstand r>0 ersetzt und mehrdeutige Funktionen zulässt.

Sei \phi:\mathbb{R}^n \to \mathbb{R}^n für n>1 eine mehrdeutige Funktion von in sich mit folgender Eigenschaft:

es gibt r>0, so dass für alle x,y\in\mathbb{R}^n mit |x-y|=r auch für alle Bildpaare |\phi(x)-\phi(y)|=r gilt.

Dann ist \phi eine eindeutige, bijektive Funktion und es gilt für alle x,y\in\mathbb{R}^n, dass |x-y|=|\phi(x)-\phi(y)|.

Gegenbeispiele in reellen Räumen[Bearbeiten]

Anhand eines einfachen Gegenbeispiels erkennt man, dass die Voraussetzung n \neq 1 an die Dimension des Raumes wirklich notwendig ist. Man betrachte dazu die Funktion f: \R^1 \to \R^1, die alle ganzen Zahlen x auf x+1 abbildet und alle anderen Zahlen festhält. Die Abbildung f erhält offensichtlich den Abstand 1, aber keine anderen positiven Abstände. Graphentheoretisch gesprochen existiert dieses Gegenbeispiel, da der Einheitsdistanz-Graph von \R^1 in einzelnen Zusammenhangskomponenten zerfällt, auf denen unterschiedliche Graphen-Automorphismen angewandt werden. In allen Dimensionen n>1 ist der Einheitsdistanz-Graph hingegen zusammenhängend.

Sieben-Färbung der Ebene mittels Sechseck-Parkettierung.

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 \R^2 ist und der Zielraum der Raum \R^6 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 \R^6 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 \ell^2.

Eine endliche Variante des Satzes von Beckman und Quarles[Bearbeiten]

Fü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 Ergebnisse[Bearbeiten]

Betrachtet man Selbstabbildungen auf dem Raum \Q^n und unter Verwendung der euklidischen Metrik, so ist die Situation komplizierter als im reellen Raum. Für Dimensionen n \geq 5 sind alle Selbstabbildungen auf \Q^n, die den Einheitsabstand erhalten, Isometrien. In den Dimensionen n <  5 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 \sqrt{2} 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 \phi: \R^n \to \R^n \ (n > 2), 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[Bearbeiten]

  •  F. S. Beckman, D. A. Quarles: On isometries of Euclidean spaces. In: Proc. Amer. Math. Soc.. 4, 1953, S. 810–815 (MR0058193).
  •  W. Benz: Geometrische Transformationen unter besonderer Berücksichtigung der Lorentztransformation. BI-Wiss.-Verl., Mannheim (u.a.) 1992, ISBN 3411150718, S. 15-31 (MR1183223).
  •  H. Lenz: Bemerkungen zum Beckman-Quarles-Problem. In: Mitt. Math. Ges. Hamburg. 12, Nr. 2, 1991, S. 429-446 (MR1144794).

Einzelnachweise[Bearbeiten]

  1.  C. G. Townsend: Congruence-preserving mappings. In: Math. Mag.. 43, 1970, S. 37–38 (MR0256252).
  2.  R. L. Bishop: Characterizing motions by unit distance invariance. In: Math. Mag.. 46, 1970, S. 148–151 (MR0319026).
  3.  B. V. Dekster: Nonisometric distance 1 preserving mapping E_2 \to E_6. In: Arch. Math.. 45, 1985, S. 283-283 (MR0807663).
  4.  H. Maehara: Distances in a rigid unit-distance graph in the plane. In: Discrete Appl. Math.. 31, Nr. 2, 1991, S. 193–200 (MR1106700).
  5.  H. Maehara: Extending a flexible unit-bar framework to a rigid one. In: Discrete Math. 108, Nr. 1-3, 1992, S. 167–174 (MR1189840).
  6.  A. Tyszka: Discrete versions of the Beckman-Quarles theorem. In: Aequationes Math. 59, Nr. 1-2, 2000, S. 124–133 (MR1741475).
  7.  J. Zaks: The rational analogue of the Beckman-Quarles Theorem and the rational realization of some sets in E_d. In: Rend. Mat. Appl. (7). 26, Nr. 1, 2006, S. 87-94 (MR2215835).
  8.  R. Connelly, J. Zaks: The Beckman-Quarles theorem for rational d-spaces, d even and d ≥ 6. In: Monogr. Textbooks Pure Appl. Math.. Nr. 253, 2003, S. 193–199 (MR2034715).
  9.  J. Zaks: On mappings of \Q^d to \Q^d that preserve distances 1 and \sqrt2 and the Beckman-Quarles theorem. In: J. Geom.. 82, Nr. 1-2, 2005, S. 195-203 (MR2034715).
  10.  J. Zaks: A discrete form of the Beckman-Quarles theorem for rational spaces. In: J. Geom.. 72, Nr. 1-2, 2001, S. 199-205 (MR1891467).
  11.  J. A. Lester: Transformations of n-space which preserve a fixed square-distance. In: Canad. J. Math.. 31, Nr. 2, 1979, S. 392–395 (MR0528819).
  12.  J. A. Lester: The Beckman-Quarles theorem in Minkowski space for a spacelike square-distance. In: C. R. Math. Rep. Acad. Sci. Canada. 3, Nr. 2, 1981, S. 59–61 (MR0612389).
  13.  J. A. Lester: A Beckman-Quarles type theorem for Coxeter's inversive distance. In: Canad. Math. Bull.. 34, Nr. 4, 1991, S. 492–498 (MR1136651).
  14.  W. Benz: A Beckman-Quarles type theorem for finite Desarguesian planes. In: J. Geom.. 19, Nr. 1, 1982, S. 89–93 (MR0689123).
  15.  F. Radó: A characterization of the semi-isometries of a Minkowski plane over a field. In: K. J. Geom.. 21, Nr. 2, 1983, S. 164–183 (MR0745209).
  16.  F. Radó: On mappings of the Galois space. In: Israel J. Math.. 53, Nr. 2, 1986, S. 217–230 (MR0845873).