[Paper Review] Some elementary aspects of Hausdorff measure and dimension

Stephen Semmes|arXiv (Cornell University)|Aug 16, 2010

Advanced Harmonic Analysis Research50 references3 citations

TL;DR

This paper provides a rigorous, elementary introduction to Hausdorff measure and dimension in metric spaces, focusing on foundational properties such as countable subadditivity, Lipschitz mappings, and connections to topological dimension. It establishes key results like the invariance of Hausdorff dimension under bilipschitz embeddings and the role of metric structure in determining dimensionality.

ABSTRACT

Basic properties of Hausdorff content, dimension, and measure of subsets of metric spaces are discussed, especially in connection with Lipschitz mappings and topological dimension.

Motivation & Objective

• To develop the basic theory of Hausdorff content, measure, and dimension in general metric spaces.
• To examine the behavior of Hausdorff measure under Lipschitz and bilipschitz mappings.
• To clarify the relationship between Hausdorff dimension and topological dimension, especially in separable and complete metric spaces.
• To establish foundational tools such as countable subadditivity and localization for measurable sets.
• To explore the role of metric structure in determining dimensionality, including through snowflake metrics and path length.

Proposed method

• Defines Hausdorff content $\widetilde{H}^\alpha_{\text{con}}(A)$ as the infimum of $\sum (\text{diam } E_i)^\alpha$ over finite covers of $A$.
• Introduces Hausdorff measure $H^\alpha$ via countable infima, ensuring countable subadditivity and Borel regularity.
• Uses metric space properties—separability, total boundedness, and completeness—to analyze convergence and compactness of covers.
• Applies Lipschitz mappings to compare measures across spaces, showing $H^\alpha(f(E)) \leq k^\alpha H^\alpha(E)$ for $k$-Lipschitz $f$.
• Analyzes path length and reparameterization invariance, linking rectifiable curves to Hausdorff $1$-measure.
• Establishes that locally flat mappings preserve null sets and map rectifiable paths to sets of measure zero.

Experimental results

Research questions

• RQ1 How does Hausdorff content behave under finite and countable covers of a set in a metric space?
• RQ2 What is the relationship between Hausdorff dimension and topological dimension in separable metric spaces?
• RQ3 How do Lipschitz mappings affect the Hausdorff measure and dimension of sets?
• RQ4 In what ways do snowflake metrics alter the Hausdorff dimension of a space?
• RQ5 What conditions ensure that a path of finite length has positive and finite $1$-dimensional Hausdorff measure?

Key findings

• Hausdorff content $\widetilde{H}^\alpha_{\text{con}}(A)$ is monotone and satisfies $\widetilde{H}^\alpha_{\text{con}}(A) \leq (\text{diam } A)^\alpha$, with equality only in special cases.
• For $\alpha > 0$, covering a set with many small, widely separated sets can drastically reduce $\widetilde{H}^\alpha_{\text{con}}(A)$ compared to its diameter.
• Hausdorff measure $H^\alpha$ is countably subadditive and Borel regular on separable metric spaces.
• Lipschitz maps $f$ with constant $k$ satisfy $H^\alpha(f(E)) \leq k^\alpha H^\alpha(E)$, preserving null sets when $\alpha$ is fixed.
• Bilipschitz embeddings preserve Hausdorff dimension, so $\dim_H(f(E)) = \dim_H(E)$ for such maps.
• A continuous path $p:[a,b] \to M$ has finite length if and only if its image has finite $1$-dimensional Hausdorff measure, and the length is invariant under reparameterization.