Vermutung von Falconer

In der Mathematik ist die Vermutung von Falconer eine 1985 von Kenneth J. Falconer aufgestellte Vermutung, die beantworten soll, wie groß die Dimension einer Menge sein muss, damit die Menge ihrer Abstände positives Volumen hat. Sie verallgemeinert den Satz von Steinhaus.

Die Vermutung von Falconer besagt, dass für eine kompakte Menge $E\subset \mathbb {R} ^{d}$ der Hausdorff-Dimension größer als ${\frac {d}{2}}$ die Menge

\Delta (E)=\left\{\vert x-y\vert \colon x,y\in E\right\}

positives Lebesgue-Maß hat.

Optimalität

Sei $P_{q}=\mathbb {Z} ^{d}\cap \left[0,q\right]^{d}$ . Dann ist $\sharp P_{q}\sim q^{d}$ , während die Anzahl $\sharp \Delta (P_{q})$ durch die Anzahl der Werte von $x_{1}^{2}+\ldots +x_{q}^{2}$ mit $x_{1},\ldots ,x_{d}\in \left[0,q\right]$ beschränkt ist, also durch $dq^{2}$ . Es folgt $\sharp \Delta (P_{q})\leq d(\sharp P_{q})^{\frac {d}{2}}$ .

Sei $q_{i}=2^{i!}$ und $E_{i}^{s}$ für $s\in \left({\frac {d}{2}},d\right)$ die $q_{i}^{-{\frac {d}{2}}}$ -Umgebung von ${\frac {1}{q_{i}}}P_{q_{i}}$ , sowie $E_{s}=\cap _{i}E_{i}^{s}$ . Die Hausdorff-Dimension von $E^{s}$ ist $s$ , andererseits ist das Lebesgue-Maß von $\Delta (E_{i}^{s})$ höchstens $Cq_{i}\sharp \Delta (P_{q_{i}})\leq C^{\prime }q_{i}^{2-{\frac {d}{s}}}$ , kann für $s<{\frac {d}{2}}$ also Null werden.