Universal measure zero, large Hausdorff dimension, and nearly Lipschitz maps (Q2900982)

The aim of the present paper is to improve results involving universal null-sets, which have been proved in previous papers by the same author and others as well. To get a universal null-set of full Hausdorff dimension in \(\mathbb{R}\), one can approximate \(\mathbb{R}\) by sufficiently thick Cantor sets. It turns out that this approximation can be achieved in a wide class of metric spaces that are, in a sense, linearly ordered and include, for example, all analytic subsets of \(\mathbb{R}\) and all analytic ultrametric spaces. Using classical projection and intersection theorems the above construction may be extended to higher-dimensional Euclidean spaces. Thus, the author shows that each analytic set in \(\mathbb{R}^n\) contains a universal null-set of the same Hausdorff dimension. The author also proves that each metric space \(X\) contains a universal null-set of Hausdorff dimension no less than the topological dimension of \(X\) by applying one of his previously known results on the topological dimension and Lipschitz maps. This method may also be applied in a more abstract setting, offering similar results for universally meager sets and some other classes of small sets. Cantor and self-similar sets, monotone spaces and the ways Lipschitz and Lipschitz-like mappings interact, play an important role in the construction.