Assume is finite and nonempty; the empty case is immediate. Here . Choose a nonempty subset minimizingTaking as a competitor gives , and every subset satisfies , including .
We first prove the Petridis minimal-growth lemma in the particular form needed: for every finite set ,List and let consist of those for which does not belong to an earlier translate , . The sets partition , so .
If , then for some earlier and . Hence every point of already belongs to . Therefore the new points contributed by are contained inTheir number is at mostSumming over proves the lemma. With , it gives
We also prove the Ruzsa triangle inequality directly. For each , choose one representation . The mapfrom into is injective: subtracting the output coordinates recovers , after which either coordinate recovers . Thus . Taking now yieldsThis proves the required growth and difference set estimates directly.
Articles by others on the same topic
There are currently no matching articles.