Meyer set

In mathematics, a Meyer set or almost lattice is a set relatively dense X of points in the Euclidean plane or a higher-dimensional Euclidean space such that its Minkowski difference with itself is uniformly discrete. Meyer sets have several equivalent characterizations; they are named after Yves Meyer, who studied them as a mathematical model for quasicrystals.[1][2]

Definition and characterizations

A subset X of a metric space is relatively dense if there exists a number r such that all points of X are within distance r of X, and it is uniformly discrete if there exists a number ε such that no two points of X are within distance ε of each other. A set that is both relatively dense and uniformly discrete is called a Delone set. When X is a subset of a vector space, its Minkowski difference X  X is the set {x  y | x, y in X} of differences of pairs of elements of X.[3]

With these definitions, a Meyer set may be defined as a relatively dense set X for which X  X is uniformly discrete. Equivalently, it is a Delone set for which X  X is Delone,[1] or a Delone set X for which there exists a finite set F with X  X  X + F[4]

Some additional equivalent characterizations involve the set

X^\epsilon = \{y\mid |x\cdot y - 1| \le\varepsilon \text{ for all } x\in X\}.

defined for a given X and ε, and approximating (as ε approaches zero) the definition of the reciprocal lattice of a lattice. A relatively dense set X is a Meyer set if and only if

A character of an additively closed subset of a vector space is a function that maps the set to the unit circle in the plane of complex numbers, such that the sum of any two elements is mapped to the product of their images. A set X is a harmonious set if, for every character χ on the additive closure of X and every ε > 0, there exists a continuous character on the whole space that ε-approximates χ. Then a relatively dense set X is a Meyer set if and only if it is harmonious.[1]

Examples

Meyer sets include

References

  1. 1 2 3 4 Moody, Robert V. (1997), "Meyer sets and their duals", The Mathematics of Long-Range Aperiodic Order (Waterloo, ON, 1995), NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences 489, Dordrecht: Kluwer Academic Publishers, pp. 403–441, MR 1460032.
  2. Lagarias, J. C. (1996), "Meyer's concept of quasicrystal and quasiregular sets", Communications in Mathematical Physics 179 (2): 365–376, doi:10.1007/bf02102593, MR 1400744.
  3. Moody gives different definitions for relative density and uniform discreteness, specialized to locally compact groups, but remarks that these definitions coincide with the usual ones for real vector spaces.
  4. 1 2 Moody (1997), Section 7.
  5. Moody (1997), Section 3.2.
  6. Moody (1997), Corollary 6.7.
This article is issued from Wikipedia - version of the Wednesday, July 02, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.