For a set EE in a metric space, its Hausdorff dimension is

dimHE=inf{s>0:Hs(E)=0},\dim_H E=\inf\{s>0:\mathcal H^s(E)=0\},

with infimum infinity if this set is empty. Here Hs\mathcal H^s is for the specified metric. The definition assigns dimension zero to the empty set; some authors use a different empty-set convention.

Critical exponent

If s<ts<t, a cover by sets of diameter at most δ\delta has its tt-cost bounded by δts\delta^{t-s} times its ss-cost. Hence finiteness at exponent ss forces vanishing at each larger exponent. At the critical exponent, the measure can be zero, finite positive, or infinite.