9
$\begingroup$

A subset $E$ of $\mathbb R$ is said to contain arbitrarily long arithmetic progressions, if for every natural $n$, there exists $a, d \in R, d$ nonzero, such that $a + kd$ is in $E$ for all natural $k \leq n$.

Does every measurable subset of $\mathbb R$ of non zero Lebesgue measure contain arbitrarily long arithmetic progressions?

$\endgroup$

1 Answer 1

10
$\begingroup$

Yes. For fixed $n$, we approximate our set $E$ from above by an open set $U=\sqcup \Delta_i$ ($\Delta_i$ are disjoint intervals) with such accuracy that one of intervals $\Delta_i$ satisfies $|E\cap \Delta_i|>(1-\frac1{n+1})|\Delta_i|$, where $|\cdot|$ denotes Lebesgue measure. Now if $\Delta_i=(a,a+(n+1)t)$, we consider $n+1$ sets $E_i:=(E-it)\cap (a,a+t), i=0,1,\ldots,n$. The sum of there measures equals $|E\cap \Delta_i|>nt$, thus there exists a point covered by them all. It corresponds to an arithmetic progression inside $E$ with difference $t$ and $n+1$ terms.

$\endgroup$
1
  • $\begingroup$ Lemma (pigeonhole principle): if $n+1$ subsets of a set $X$ have total measure greater than $n$ times measure of $X$, then there exists a point covered by them all. For example, you may assume the contrary and look at the sum of integrals of characteristic functions of these sets (which equals to the integral of the sum of these functions). $\endgroup$ Nov 29, 2021 at 6:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.