Transfinite Hausdorff dimension

摘要

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or -1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X) ω_0, then HD(X) = +∞. We prove that tHD(X) ≤ω_1 for every separable metric space X, and, as our main theorem, we show that for every ordinal number α < ω_1 there exists a compact metric space X_α (a subspace of the Hilbert space l_2) with tHD(X_α) = α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.