“Beckman–Quarles theorem”的意思、由来-开放百科全书

In geometry, the Beckman–Quarles theorem, named after F. S. Beckman and D. A. Quarles, Jr., states that if a transformation of the Euclidean plane or a higher-dimensional Euclidean space preserves unit distances, then it preserves all distances. Equivalently, every automorphism of the unit distance graph of the plane must be an isometry of the plane.

Beckman and Quarles published this result in 1953;^[1] it was later rediscovered by other authors.^[2]^[3]

Formal statement

Formally, the result is as follows. Let {{mvar|f}} be a function or multivalued function from a {{mvar|d}}-dimensional Euclidean space to itself, and suppose that, for every pair of points {{mvar|p}} and {{mvar|q}} that are at unit distance from each other, every pair of images {{math|f(p)}} and {{math|f(q)}} are also at unit distance from each other. Then {{mvar|f}} must be an isometry: it is a one-to-one function that preserves distances between all pairs of points.^[1]

Counterexamples for other spaces

Beckman and Quarles observe that the theorem is not true for the real line (one-dimensional Euclidean space). For, the function {{math|f(x)}} that returns {{math|x + 1}} if {{mvar|x}} is an integer and returns {{mvar|x}} otherwise obeys the preconditions of the theorem (it preserves unit distances) but is not an isometry.^[1]

Beckman and Quarles also provide a counterexample for Hilbert space, the space of square-summable sequences of real numbers. This example involves the composition of two discontinuous functions: one that maps every point of the Hilbert space onto a nearby point in a countable dense subspace, and a second that maps this dense set into a countable unit simplex (an infinite set of points all at unit distance from each other). These two transformations map any two points at unit distance from each other to two different points in the dense subspace, and from there map them to two different points of the simplex, which are necessarily at unit distance apart. Therefore, their composition preserves unit distances. However, it is not an isometry, because it maps every pair of points, no matter their original distance, either to the same point or to a unit distance.^[1]

Related results

For transformations only of the subset of Euclidean space with Cartesian coordinates that are rational numbers, the situation is more complicated than for the full Euclidean plane. In this case, there exist unit-distance-preserving non-isometries of dimensions up to four, but none for dimensions five and above.^[4]^[5] Similar results hold also for mappings of the rational points that preserve other distances, such as the square root of two.^[6]

One way of rephrasing the Beckman–Quarles theorem is that, for the unit distance graph whose vertices are all of the points in the plane, with an edge between any two points at unit distance, the only graph automorphisms are the obvious ones coming from isometries of the plane. For pairs of points whose distance is an algebraic number {{mvar|A}}, there is a finite version of this theorem: Maehara showed that there is a finite rigid unit distance graph {{mvar|G}} in which some two vertices {{mvar|p}} and {{mvar|q}} must be at distance {{mvar|A}} from each other, from which it follows that any transformation of the plane that preserves the unit distances in {{mvar|G}} must also preserve the distance between {{mvar|p}} and {{mvar|q}}.^[7]^[8]^[9]

Several authors have studied analogous results for other types of geometries. For instance, it is possible to replace Euclidean distance by the value of a quadratic form.^[10]

Beckman–Quarles theorems have been proven for non-Euclidean spaces such as Minkowski space,^[11] inversive distance in the Möbius plane,^[12] finite Desarguesian planes,^[13] and spaces defined over fields with nonzero characteristic.^[14]^[15]

Additionally, theorems of this type have been used to characterize transformations other than the isometries, such as Lorentz transformations.^[16]

References

1. ^¹²³{{citation | last1 = Beckman | first1 = F. S. | last2 = Quarles | first2 = D. A., Jr. | journal = Proceedings of the American Mathematical Society | mr = 0058193 | pages = 810–815 | title = On isometries of Euclidean spaces | volume = 4 | year = 1953 | doi=10.2307/2032415}}.
2. ^{{citation | last = Townsend | first = Carl G. | journal = Mathematics Magazine | mr = 0256252 | pages = 37–38 | title = Congruence-preserving mappings | volume = 43 | year = 1970 | doi=10.2307/2688111}}.
3. ^{{citation | last = Bishop | first = Richard L. | journal = Mathematics Magazine | mr = 0319026 | pages = 148–151 | title = Characterizing motions by unit distance invariance | volume = 46 | year = 1973 | doi=10.2307/2687969}}.
4. ^{{citation | last1 = Connelly | first1 = Robert | last2 = Zaks | first2 = Joseph | contribution = The Beckman-Quarles theorem for rational {{mvar|d}}-spaces, {{mvar|d}} even and {{math|d ≥ 6}} | doi = 10.1201/9780203911211.ch13 | location = New York | mr = 2034715 | pages = 193–199 | publisher = Dekker | series = Monogr. Textbooks Pure Appl. Math. | title = Discrete geometry | volume = 253 | year = 2003}}.
5. ^{{citation | last = Zaks | first = Joseph | issue = 1 | journal = Rendiconti di Matematica e delle sue Applicazioni. Serie VII | mr = 2215835 | pages = 87–94 | title = The rational analogue of the Beckman-Quarles Theorem and the rational realization of some sets in $E^d$ | volume = 26 | year = 2006}}.
6. ^{{citation | last = Zaks | first = Joseph | doi = 10.1007/s00022-004-1660-3 | issue = 1-2 | journal = Journal of Geometry | mr = 2161824 | pages = 195–203 | title = On mappings of {{math|Q^d}} to {{math|Q^d}} that preserve distances 1 and √2 and the Beckman-Quarles theorem | volume = 82 | year = 2005}}.
7. ^{{citation | journal = Discrete Applied Mathematics | volume = 31 | issue = 2 | year = 1991 | pages = 193–200 | doi = 10.1016/0166-218X(91)90070-D | title = Distances in a rigid unit-distance graph in the plane | last = Maehara | first = Hiroshi}}.
8. ^{{citation | last = Maehara | first = Hiroshi | doi = 10.1016/0012-365X(92)90671-2 | issue = 1-3 | journal = Discrete Mathematics | mr = 1189840 | pages = 167–174 | title = Extending a flexible unit-bar framework to a rigid one | volume = 108 | year = 1992}}.
9. ^{{citation | last = Tyszka | first = Apoloniusz | doi = 10.1007/PL00000119 | issue = 1-2 | journal = Aequationes Mathematicae | mr = 1741475 | pages = 124–133 | title = Discrete versions of the Beckman-Quarles theorem | volume = 59 | year = 2000| arxiv = math/9904047 }}.
10. ^{{citation | last = Lester | first = June A. | doi = 10.4153/CJM-1979-043-6 | issue = 2 | journal = Canadian Journal of Mathematics | mr = 528819 | pages = 392–395 | title = Transformations of {{mvar|n}}-space which preserve a fixed square-distance | volume = 31 | year = 1979}}.
11. ^{{citation | last = Lester | first = June A. | issue = 2 | journal = C. R. Math. Rep. Acad. Sci. Canada | mr = 612389 | pages = 59–61 | title = The Beckman-Quarles theorem in Minkowski space for a spacelike square-distance | volume = 3 | year = 1981}}.
12. ^{{citation | last = Lester | first = June A. | doi = 10.4153/CMB-1991-079-6 | issue = 4 | journal = Canadian Mathematical Bulletin | mr = 1136651 | pages = 492–498 | title = A Beckman-Quarles type theorem for Coxeter's inversive distance | volume = 34 | year = 1991}}.
13. ^{{citation | last = Benz | first = Walter | doi = 10.1007/BF01930870 | issue = 1 | journal = Journal of Geometry | mr = 689123 | pages = 89–93 | title = A Beckman-Quarles type theorem for finite Desarguesian planes | volume = 19 | year = 1982}}.
14. ^{{citation | last = Radó | first = Ferenc | doi = 10.1007/BF01918141 | issue = 2 | journal = Journal of Geometry | mr = 745209 | pages = 164–183 | title = A characterization of the semi-isometries of a Minkowski plane over a field {{mvar|K}} | volume = 21 | year = 1983}}.
15. ^{{citation | last = Radó | first = Ferenc | doi = 10.1007/BF02772860 | issue = 2 | journal = Israel Journal of Mathematics | mr = 845873 | pages = 217–230 | title = On mappings of the Galois space | volume = 53 | year = 1986}}.
16. ^{{citation | last = Benz | first = Walter | issue = 1 | journal = C. R. Math. Rep. Acad. Sci. Canada | mr = 564486 | pages = 21–22 | title = A Beckman Quarles type theorem for plane Lorentz transformations | volume = 2 | year = 1980–1981}}.