On simultaneous local dimension functions of subsets of Rd

Abstract

For a subset E ⊑ Rd and x ∈ Rd, the local Hausdorff dimension function of E at x and the local packing dimension function of E at x are defined by (Formula presented.) where dimH and dimP 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: Rd → [0, d] with f ≤ 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.