Generalized Hausdorff measure for generic compact sets

DOI10.5186/AASFM.2013.3835MaRDI QIDQ2860899zbMATH OpenOpenAlexFDO

Authors Richárd Balka, András Máthé

Publication date 11 November 2013

Published in Annales Academiae Scientiarum Fennicae. Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.1100

zbMATH Keywords

contractiondimension functionexact Hausdorff dimensiongaugegeneric compact setPolish space

Mathematics Subject Classification ID

Hausdorff and packing measures (28A78)

Abstract: Let $X$ be a Polish space. We prove that the generic compact set $KsubseteqX$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<mathcal{H}^h(K)<infty$, where $mathcal{H}^h$ denotes the $h$-Hausdorff measure. This answers a question of C. Cabrelli, U. B. Darji, and U. M. Molter. Moreover, for every weak contraction $fcolonKoX$ we have $mathcal{H}^h(Kcapf(K))=0$. This is a measure theoretic analogue of a result of M. Elekes.

Review text

The authors show that in a Polish space \(X\) the generic compact subset \(K\) of \(X\) (in the sense of Baire category) is either finite or there exists a continuous gauge function \(h\) such that the \(h-\)Hausdorff measure of \(K\) is positive and finite. \textit{R. O. Davies} [Mathematika 18, 161--162 (1971; Zbl 0229.28013)] constructed a Cantor set \(K\subset\mathbb{R}\), for which there is no gauge function \(h\) such that the \(h-\)Hausdorff measure of \(K\) is positive and finite. Later on, \textit{C. Cabrelli, U. B. Darji} and \textit{U. M. Molter} [``Visible and invisible Cantor sets, in: Excursions in Harmonic Analysis, Volume 2: The February Fourier Talks at the Norbert Wiener Center, edited by Travis D. Andrews, Radu Balan, John J. Benedetto, Wojciech Czaja and Kasso A. Okoudjou, Springer, 11--22 (2013)] defined \(\mathcal{H}\)-visible sets and proved that the set of \(\mathcal{H}\)-visible compact sets is dense in the space of all non-empty compact subsets of \(\mathbb{R}\) endowed with the Hausdorff metric. Whether the generic compact set \(K\subset \mathbb{R}\) is \(\mathcal{H}\)-visible was left open at that point. The main theorem of this paper generalizes the results of Cabrelli, Darji, and Molter and gives an affirmative answer to the question mentioned previously. The authors also prove that for every weak contraction \(f:K\to X\) the set \(K\cap f(K)\) has zero \(h\)-Hausdorff measure. The latter is a somewhat stronger measure theoretic analogue of a result of [\textit{M. Elekes}, Proc. Am. Math. Soc. 137, No. 9, 3139--3146 (2009; Zbl 1173.54019)].

Recommendations

• Visible and Invisible Cantor Sets
• scientific article; zbMATH DE number 4136976
• Metric spaces admitting only trivial weak contractions
• Construction of Subsets of Finite Positive Hausdorff Measure on the Hyperspace ((X), ρH)
• scientific article; zbMATH DE number 4107143
• On topologies connected with Hausdorff measures
• Measurability and the abstract Baire property
• A note on the density of 𝑠-dimensional sets
• scientific article; zbMATH DE number 3908760
• On the dimension of visible parts

Cited in

(9)

• Porosities of the sets of attractors
• On a typical compact set as the attractor of generalized iterated function systems of infinite order
• On average Hewitt-Stromberg measures of typical compact metric spaces
• Zero-dimensional compact metrizable spaces as attractors of generalized iterated function systems
• scientific article; zbMATH DE number 996492 (Why is no real title available?)
• Weakly contractive iterated function systems and beyond: a manual
• Visible and Invisible Cantor Sets
• Average Hewitt-Stromberg and box dimensions of typical compact metric spaces
• Average general fractal dimensions of typical compact metric spaces

This page was built for publication: Generalized Hausdorff measure for generic compact sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2860899)