Effective Reifenberg theorems in Hilbert and Banach spaces

A famous theorem by Reifenberg states that closed subsets of Rn that look sufficiently close to k-dimensional at all scales are actually C0,gamma equivalent to k-dimensional subspaces. Since then a variety of generalizations have entered the literature. For a general measure mu in Rn, one may introduce the k-dimensional Jones' beta-numbers of the measure, where beta mu k (x,r) quantifies on a given ball Br(x) how closely in an integral sense the support of the measure is to living inside a k-dimensional subspace. Recently, it has been proven that if these beta-numbers satisfy the uniform summability estimate integral 02 beta mu k(x,r)2 , then mu must be rectifiable with uniform measure bounds. Note that one only needs the square of the beta-numbers to satisfy the summability estimate, this power gain has played an important role in the applications, for instance in the study of singular sets of geometric equations. One may also weaken these pointwise summability bounds to bounds which are more integral in nature. The aim of this article is to study these effective Reifenberg theorems for measures in a Hilbert or Banach space. For Hilbert spaces, we see all the results from Rn continue to hold with no additional restrictions. For a general Banach spaces we will see that the classical Reifenberg theorem holds, and that a weak version of the effective Reifenberg theorem holds in that if one assumes a summability estimate integral 02 beta mu k(x,r)1 Mwithout power gain, then mu must again be rectifiable with measure estimates. Improving this estimate in order to obtain a power gain turns out to be a subtle issue. For k=1 we will see for a uniformly smooth Banach space that if integral 02 beta mu 1(x,r)alpha M alpha/2, where alpha is the smoothness power of the Banach space, then mu is again rectifiable with uniform measure estimates.