Meyer set
In mathematics, a Meyer set or almost lattice is a
Definition and characterizations
A subset X of a
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
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
- For all ε > 0, Xε is relatively dense, or equivalently
- There exists an ε with 0 < ε < 1/2 for which Xε is relatively dense.[1]
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
- The points of any lattice
- The vertices of any rhombic Penrose tiling[5]
- The Minkowski sum of another Meyer set with any nonempty finite set[4]
- Any relatively dense subset of another Meyer set[6]
References
- ^ MR 1460032.
- MR 1400744.
- ^ 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.
- ^ a b Moody (1997), Section 7.
- ^ Moody (1997), Section 3.2.
- ^ Moody (1997), Corollary 6.7.