Characterization of local dimension functions of subsets of
For a subset and , the local Hausdorff dimension function of E at x is defined by where denotes the Hausdorff dimension. We give a complete characterization of the set of functions that are local Hausdorff dimension functions. In fact, we prove a significantly more general result, namely, we give a complete characterization of those functions that are local dimension functions of an arbitrary regular dimension index.