Discrete versions of the Beckman-Quarles theorem

DOI10.1007/PL00000119MaRDI QIDQ1972864zbMATH OpenOpenAlexWikidataFDO

Authors Apoloniusz Tyszka

Publication date 7 June 2000

Published in Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9904047

zbMATH Keywords

Beckman-Quarles theoremdiscrete formfinite rigid unit-distance graph

Mathematics Subject Classification ID

Euclidean geometries (general) and generalizations (51M05)

Abstract: TO APPEAR IN AEQUATIONES MATHEMATICAE - WITHOUT THEOREM 2. THEOREM 2 IS CORRECTLY PROVED IN PREVIOUS VERSIONS 1 AND 2. AUTHOR'S VERSION 3 (WITH A NEW FIGURE 6A) IS UNNECESSARY. Let F subseteq R denote the field of numbers which are constructible by means of ruler and compass. We prove that: (1) if x,y in R^n (n>1) and |x-y| is an algebraic number then there exists a finite set S(x,y) subseteq R^n containing x and y such that each map from S(x,y) to R^n preserving all unit distances preserves the distance between x and y; if x,y in F^n then we can choose S(x,y) subseteq F^n, (2) only algebraic distances |x-y| have the property from item (1), (3) if X1,X2,...,Xm in R^n (n>1) lie on some affine hyperplane then there exists a finite set L(X1,X2,...,Xm) subseteq R^n containing X1,X2,...,Xm such that each map from L(X1,X2,...,Xm) to R^n preserving all unit distances preserves the property that X1,X2,...,Xm lie on some affine hyperplane, (4) if J,K,L,M in R^n (n>1) and |JK|=|LM| (|JK|<|LM|) then there exists a finite set C(J,K,L,M) subseteq R^n containing J,K,L,M such that any map f:C(J,K,L,M) o R^n that preserves unit distance satisfies |f(J)f(K)|=|f(L)f(M)| (|f(J)f(K)|<|f(L)f(M)|).

Recommendations

• A Discrete Form of the Beckman-Quarles Theorem
• A discrete form of the Beckman-Quarles theorem for mappings from \(\mathbb{R}^2\,(\mathbb{C}^2)\) to \(\mathbb{F}^2\), where \(\mathbb{F}\) is a subfield of a commutative field extending \(\mathbb{R}\,(\mathbb{C})\)
• scientific article; zbMATH DE number 1902486
• On mappings of \(\mathbb Q^d\) to \(\mathbb Q^d\) that preserve distances 1 and \(\sqrt 2\) and the Beckman-Quarles theorem

Cited in

(11)

• On diversity and stability of unit bases for the Euclidean metric
• A discrete form of the Beckman-Quarles theorem for rational spaces
• The Beckman-Quarles theorem in hyperbolic geometry
• Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson
• A Discrete Form of the Beckman-Quarles Theorem
• The Bolzano-Poincaré-Miranda theorem -- discrete version
• scientific article; zbMATH DE number 1902486 (Why is no real title available?)
• scientific article; zbMATH DE number 866004 (Why is no real title available?)
• A simplified disproof of Beck’s three permutations conjecture and an application to root-mean-squared discrepancy
• A discrete form of the Beckman-Quarles theorem for rational eight-space
• A discrete form of the Beckman-Quarles theorem for mappings from \(\mathbb{R}^2\,(\mathbb{C}^2)\) to \(\mathbb{F}^2\), where \(\mathbb{F}\) is a subfield of a commutative field extending \(\mathbb{R}\,(\mathbb{C})\)

This page was built for publication: Discrete versions of the Beckman-Quarles theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1972864)