In mathematics, Hausdorff measure is a generalization of the traditional notions of area and volume to non-integer dimensions, specifically fractals and their Hausdorff dimensions. It is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in R n {\displaystyle \mathbb {R} ^{n}} or, more generally, in any metric space. The zero-dimensional Hausdorff measure is the number of points in the set (if the set is finite) or ∞ if the set is infinite. Likewise, the one-dimensional Hausdorff measure of a simple curve in R n {\displaystyle \mathbb {R} ^{n}} is equal to the length of the curve, and the two-dimensional Hausdorff measure of a Lebesgue-measurable subset of R 2 {\displaystyle \mathbb {R} ^{2}} is proportional to the area of the set. Thus, the concept of the Hausdorff measure generalizes the Lebesgue measure and its notions of counting, length, and area. It also generalizes volume. In fact, there are d-dimensional Hausdorff measures for any d ≥ 0, which is not necessarily an integer. These measures are fundamental in geometric measure theory. They appear naturally in harmonic analysis or potential theory.
Definition Let ( X , ρ ) {\displaystyle (X,\rho )} be a metric space. For any subset U ⊂ X {\displaystyle U\subset X} , let diam U {\displaystyle \operatorname {diam} U} denote its diameter, that is
diam U := sup { ρ ( x , y ) : x , y ∈ U } , diam ∅ := 0. {\displaystyle \operatorname {diam} U:=\sup\{\rho (x,y):x,y\in U\},\quad \operatorname {diam} \emptyset :=0.}
Let S {\displaystyle S} be any subset of X , {\displaystyle X,} and let δ > 0 {\displaystyle \delta >0} be a real number. Define
H δ d ( S ) = inf { ∑ i = 1 ∞ ( diam U i ) d : S ⊆ ⋃ i = 1 ∞ U i , diam U i < δ } , {\displaystyle H_{\delta }^{d}(S)=\inf \left\{\sum _{i=1}^{\infty }(\operatorname {diam} U_{i})^{d}:S\subseteq \bigcup _{i=1}^{\infty }U_{i},\operatorname {diam} U_{i}<\delta \right\},}
where the infimum is over all countable covers of S {\displaystyle S} by sets U i ⊂ X {\displaystyle U_{i}\subset X} satisfying diam U i < δ {\displaystyle \operatorname {diam} U_{i}<\delta } . Note that H δ d ( S ) {\displaystyle H_{\delta }^{d}(S)} is monotone nonincreasing in δ {\displaystyle \delta } since the larger δ {\displaystyle \delta } is, the more collections of sets are permitted, making the infimum not larger. Thus, lim δ → 0 H δ d ( S ) {\displaystyle \lim _{\delta \to 0}H_{\delta }^{d}(S)} exists but may be infinite. Let
H d ( S ) := sup δ > 0 H δ d ( S ) = lim δ → 0 H δ d ( S ) . {\displaystyle H^{d}(S):=\sup _{\delta >0}H_{\delta }^{d}(S)=\lim _{\delta \to 0}H_{\delta }^{d}(S).}
… excerpt ends here. Continue reading the full article.
