We are interested in quantitative rectifiability results for subsets of infinite dimensional Hilbert space H. We prove a version of Azzam and Schul's d-dimensional Analyst's Travelling Salesman Theorem in this setting by showing for any lower d-regularwhere β d (E) give a measure of the curvature of E and the error term is related to the theory of uniform rectifiability (a quantitative version of rectifiability introduced by David and Semmes).To do this, we show how to modify the Reifenberg Parametrization Theorem of David and Toro so that it holds in Hilbert space. As a corollary, we show that a set E ⊆ H is uniformly rectifiable if and only if it satisfies the so-called Bilateral Weak Geometric Lemma, meaning that E is bi-laterally well approximated by planes at most scales and locations. Contents 1. Introduction 1 2. Preliminaries 5 3. Reifenberg parametrisations in Hilbert space 12 4. Estimating curvature for Reifenberg flat sets 16 5. Estimating curvature for general sets 24 6. Estimating measure 33 7. Bilateral Weak Geometric Lemma 39 Appendix A. Parameterisation in Hilbert space 44 Appendix B. Constants 55 Appendix C. Reduction to Euclidean space 57 References 62
We show that an Ahlfors \(d\)-regular set \(E\) in \(\mathbb{R}^{n}\) is uniformly rectifiable if the set of pairs \((x,r)\in E\times (0,\infty)\) for which there exists \(y \in B(x,r)\) and \(0<t<r\) satisfying \(\mathbf{H}^{d}_{\infty}(E\cap B(y,t))<(2t)^{d}-\epsilon(2r)^d\) is a Carleson set for every \(\epsilon>0\). To prove this, we generalize a result of Schul by proving, if \(X\) is a \(C\)-doubling metric space, \(\epsilon,\rho\in (0,1)\), \(A>1\), and \(X_n\) is a sequence of maximal \(2^{-n}\)-separated sets in \(X\), and \(\mathbf{B}=\{B(x,2^{-n})\colon x\in X_{n},n\in \mathbb{N}\}\), then
\(\sum \left\{r_{B}^s\colon B\in \mathbf{B}, \frac{\mathbf{H}^s_{\rho r_{B}}(X\cap AB)}{(2r_{AB})^s}>1+\epsilon\right\} \le_{C,A,\epsilon,\rho,s} \mathbf{H}^s(X)\).
This is a quantitative version of the classical result that for a metric space \(X\) of finite \(s\)-dimensional Hausdorff measure, the upper \(s\)-dimensional densities are at most 1 \(\mathbf{H}^s\)-almost everywhere.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.