3

We say a set $A \subseteq \mathbb{R}^n$ contains the pattern of a finite set $B \subseteq \mathbb{R}^n$ if there exists a shift $t \in \mathbb{R}^n$ and scale $s > 0$ such that $t+sB \subseteq A$. I've read that if $A$ has positive measure, then for any choice of finite set $B$, $A$ contains the pattern of $B$, but proofs are never provided (they say it is "clear"), and I don't know how to show this rigorously.

I was able to show this in the easier case when $B \subseteq \mathbb{R}$ is of the form $\{x,x+y,x+2y\}$ by using the Lebesgue density theorem and considering a sufficiently small ball around a density point intersected with $A$, say with measure at least 3/4 of that of the ball (anything strictly larger than 1/2 will do) and making a measure argument, but I needed the symmetry of the set $B$ around the center $x+y$ in order for my argument to work. How would one prove this fact in full generality?

Mark
  • 31
  • 1
  • 1
    Good description. But I don't see where you'd need the symmetry. If $A$ contains greater than a fraction $1-1/#B$ of a ball $D$, then consider whether the intersection $\bigcup_{b\in B} ((A\cap D)-sb)$ can be empty. Here we take $s$ extremely small, so that $D-sb$ is almost the same as $D$. – Greg Martin Mar 11 '13 at 20:07
  • @GregMartin I am interested in a similar question and stumbled upon your comment. Is it suppose to be $\cap_{b\in B}$ and not the union? – yoni Feb 05 '17 at 09:30
  • Yes, you're right. – Greg Martin Feb 05 '17 at 09:40

0 Answers0