ON SIMULTANEOUS LOCAL DIMENSION FUNCTIONS OF SUBSETS OF ℝd

For a subset $E{\subseteq}\mathbb{R}^d$ and $x{\in}\mathbb{R}^d$, the local Hausdorff dimension function of E at x and the local packing dimension function of E at x are defined by $$dim_{H,loc}(x,E)=\lim_{r{\searrow}0}dim_H(E{\cap}B(x,r))$$, $$dim_{P,loc}(x,E)=\lim_{r{\searrow}0}dim_P(E{\cap}B(x,r))$$, where $dim_H$ and $dim_P$ denote the Hausdorff dimension and the packing dimension, respectively. In this note we give a short and simple proof showing that for any pair of continuous functions $f,g:\mathbb{R}^d{\rightarrow}[0,d]$ with $f{\leq}g$, it is possible to choose a set E that simultaneously has f as its local Hausdorff dimension function and g as its local packing dimension function.