Approximation of a Reifenberg-flat set by a smooth surface
Guy David · Bulletin of the Belgian Mathematical Society - Simon Stevin · 2014
We show that if the set $E \subset \Bbb R^n$ is well approximated at the scale $r_0$ by planes of dimension $d$, we can find a smooth surface $\Sigma_0$ of dimension $d$ which is close to $E$ at the scale $r_0$. When $E$ is a Reifenberg flat set, this allows us to apply a result of G. David and T. Toro [Memoirs of the AMS 215 (2012), 1012], and get a bi-Hölder homeomorphism of $\Bbb R^n$ that sends $\Sigma_0$ to $E$. If in addition $d=n-1$ and $E$ is compact and connected, then $\Sigma_0$ is orientable, and $\Bbb R^n \sm E$ has exactly two connected components, which we can approximate from the inside by smooth domains.