Hausdorff and packing dimension of fibers and graphs of prevalent continuous maps (Q261172)

The study of dimensions of various sets related to certain continuous functions has greatly been developed over the last 25 years. The authors of this paper use the notions of shyness and prevalence which generalize the property of being zero and full Haar measure to arbitrary Polish groups in order to study the Hausdorff and packing dimension (\(\dim_{H}\) and \(\dim_{P} \), respectively) of the fibers of prevalent continuous maps. The main theorem states that for an uncountable compact metric space \(K\), a prevalent \(f\in \mathbb{C}(K, \mathbb{R}^d)\) has many fibers with almost maximal Hausdorff dimension. Consequently, one gets that a prevalent \(f\in\mathbb{C}(K,\mathbb{R}^d)\) has a graph of maximal Hausdorff dimension which generalizes a theorem by Dougherty as well as a result by Bayart and Heurteaux. Technical lemmas are used to prove the main theorem (i) in the real case, (ii) for ultrametric spaces and (iii) for general compact spaces. Similar results are also presented for the packing dimension. Additionally, the authors prove that for a prevalent \(f\in\mathbb{C}([0,1]^m,\mathbb{R}^d)\) the set of \(y\in f([0,1]^m)\) for which \(\text{dim}_Hf^{-1}(y)=m\) contains a dense open set with full measure with respect to the occupation measure \(\lambda^m\circ f^{-1}\), where \(\lambda^m\) denotes the \(m\)-dimensional Lebesgue measure. An analogous result is obtained if \([0,1]^m\) is replaced by any self-similar set satisfying the open set condition. However, the occupation measure, \(\lambda^m\circ f^{-1}\), cannot be replaced by the Lebesgue measure. Moreover, a theorem by Antunović, Burdzy, Peres and Ruscher is generalized and the authors show that the functions \(f\in\mathbb{C}([0,1])\) for which positively many level sets are singletons form a non-shy set in \(\mathbb{C}([0,1])\). Finally, they prove that the set \(C=\left\{f\in\mathbb{C}([0,1]) :\dim_Hf^{-1}(y)=1\text{ for all }y\in(\min f,\max f)\right\}\) is non-shy in \(\mathbb([0,1])\). How to obtain sharper versions of the main result by replacing large dimension by positive measure with respect to generalized Hausdorff measures is also indicated. At the end, some open problems are posed.