English

Interior of sums of planar sets and curves

Classical Analysis and ODEs 2017-07-06 v1

Abstract

Recently, considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the interior (A+Γ)\left(A+\Gamma\right)^{\circ}, when Γ\Gamma is a piecewise C2\mathcal{C}^2 curve and AR2.A\subset \mathbb{R}^2. To begin, we give an example of a very large (full-measure, dense, GδG_\delta) set AA such that (A+S1)=\left(A+S^1\right)^{\circ}=\emptyset, where S1S^1 denotes the unit circle. This suggests that merely the size of AA does not guarantee that (A+S1)(A+S^1)^{\circ }\ne\emptyset. If, however, we assume that AA is a kind of generalized product of two reasonably large sets, then (A+Γ)\left(A+\Gamma\right)^{\circ}\ne\emptyset whenever Γ\Gamma has non-vanishing curvature. As a byproduct of our method, we prove that the pinned distance set of C:=Cγ×CγC:=C_{\gamma}\times C_{\gamma}, γ13\gamma \geq \frac{1}{3}, pinned at any point of CC has non-empty interior, where CγC_{\gamma} (see (1.1)) is the middle 12γ1-2\gamma Cantor set (including the usual middle-third Cantor set, C1/3C_{1/3}). Our proof for the middle-third Cantor set requires a separate method. We also prove that C+S1C+S^1 has non-empty interior.

Keywords

Cite

@article{arxiv.1707.01420,
  title  = {Interior of sums of planar sets and curves},
  author = {Károly Simon and Krystal Taylor},
  journal= {arXiv preprint arXiv:1707.01420},
  year   = {2017}
}