Asymptotic uniform upper density, shortened as a.u.u.d., or simply upper density, is a classical notion which was first introduced by Kahane for sequences in the real line.Syndetic sets were defined by Gottschalk and Hendlund. For a locally compact group 𝐺, a set 𝑆 ⊂ 𝐺 is syndetic, if there exists a compact subset 𝐶 ⋐ 𝐺 such that 𝑆𝐶 = 𝐺. Syndetic sets play an important role in various fields of applications of topological groups and semigroups, ergodic theory and number theory. A lemma in the book of Fürstenberg says that once a subset 𝐴 ⊂ ℤ has positive a.u.u.d., then its difference set 𝐴 − 𝐴 is syndetic.The construction of a reasonable notion of a.u.u.d. in general locally compact Abelian groups (LCA groups for short) was not known for long, but in the late 2000’s several constructions were worked out to generalize it from the base cases of ℤ𝑑 and ℝ𝑑. With the notion available, several classical results of the Euclidean setting became accessible even in general LCA groups.Here we work out various versions in a general locally compact Abelian group 𝐺 of the classical statement that if a set 𝑆 ⊂ 𝐺 has positive asymptotic uniform upper density, then the difference set 𝑆 − 𝑆 is syndetic.
Read full abstract