Abstract
In an earlier paper Buczolich, Elekes, and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space K by introducing the notion of topological Hausdorff dimension. Later on, the author extended the theory for maps from K to \({\mathbb {R}}^n\). The main goal of this paper is to generalize the relevant results for topological and packing dimensions and to obtain new results for sufficiently homogeneous spaces K even in the case case of Hausdorff dimension. Let K be a compact metric space and let us denote by \(C(K,{\mathbb {R}}^n)\) the set of continuous maps from K to \({\mathbb {R}}^n\) endowed with the maximum norm. Let \(\dim _{*}\) be one of the topological dimension \(\dim _T\), the Hausdorff dimension \(\dim _H\), or the packing dimension \(\dim _P\). Define
We prove that \(d^n_{*}(K)\) is the right notion to describe the dimensions of the fibers of a generic continuous map \(f\in C(K,{\mathbb {R}}^n)\). In particular, we show that \(\sup \{\dim _{*}f^{-1}(y): y\in {\mathbb {R}}^n\} =d^n_{*}(K)\) provided that \(\dim _T K\ge n\), otherwise every fiber is finite. Proving the above theorem for packing dimension requires entirely new ideas. Moreover, we show that the supremum is attained on the left hand side of the above equation. Assume \(\dim _T K\ge n\). If K is sufficiently homogeneous, then we can say much more. For example, we prove that \(\dim _{*}f^{-1}(y)=d^n_{*}(K)\) for a generic \(f\in C(K,{\mathbb {R}}^n)\) for all \(y\in {{\mathrm{int}}}f(K)\) if and only if \(d^n_{*}(U)=d^n_{*}(K)\) or \(\dim _T U<n\) for all open sets \(U\subset K\). This is new even if \(n=1\) and \(\dim _{*}=\dim _H\). It is known that for a generic \(f\in C(K,{\mathbb {R}}^n)\) the interior of f(K) is not empty. We augment the above characterization by showing that \(\dim _T \partial f(K)=\dim _H \partial f(K)=n-1\) for a generic \(f\in C(K,{\mathbb {R}}^n)\). In particular, almost every point of f(K) is an interior point. In order to obtain more precise results, we use the concept of generalized Hausdorff and packing measures, too.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Alexandroff, P.: Dimensionstheorie. Ein Beitrag zur Geometrie der abgeschlossenen Mengen. Math. Ann. 106, 161–238 (1932)
Balka, R.: Inductive topological Hausdorff dimensions and fibers of generic continuous functions. Monatsh. Math. 174(1), 1–28 (2014)
Balka, R., Buczolich, Z., Elekes, M.: Topological Hausdorff dimension and level sets of generic continuous functions on fractals. Chaos Solitons Fractals 45(12), 1579–1589 (2012)
Balka, R., Buczolich, Z., Elekes, M.: A new fractal dimension: the topological Hausdorff dimension. Adv. Math. 274, 881–927 (2015)
Balka, R., Farkas, Á., Fraser, J.M., Hyde, J.T.: Dimension and measure for generic continuous images. Ann. Acad. Sci. Fenn. Math. 38, 389–404 (2013)
Bishop, C.J., Peres, Y.: Fractals in Probability and Analysis. Cambridge University Press, Cambridge (2017)
Engelking, R.: Dimension Theory. North-Holland Publishing Company, Amsterdam (1978)
Engelking, R.: Theory of Dimension Finite and Infinite. Heldermann, Berlin (1995)
Falconer, K.: Fractal Geometry: Mathematical Foundations and Applications, 2nd edn. Wiley, Hoboken (2003)
Haase, H.: Non-\(\sigma \)-finite sets for packing measure. Mathematika 33(1), 129–136 (1986)
Howroyd, J.D.: On Hausdorff and packing dimension of product spaces. Math. Proc. Camb. Philos. Soc. 119(4), 715–727 (1996)
Humke, P.D., Petruska, G.: The packing dimension of a typical continuous function is \(2\). Real Anal. Exch. 14, 345–358 (1988–89)
Hurewicz, W., Wallman, H.: Dimension Theory. Princeton University Press, Princeton (1948)
Hyde, J.T., Laschos, V., Olsen, L., Petrykiewicz, I., Shaw, A.: On the box dimensions of graphs of typical functions. J. Math. Anal. Appl. 391, 567–581 (2012)
Kechris, A.S.: Classical Descriptive Set Theory. Springer, Berlin (1995)
Kirchheim, B.: Hausdorff measure and level sets of typical continuous mappings in Euclidean spaces. Trans. Am. Math. Soc. 347(5), 1763–1777 (1995)
Kato, H.: Higher-dimensional Bruckner–Garg type theorem. Topol. Appl. 154(8), 1690–1702 (2007)
Kuratowski, K.: Topology II. Academic Press, New York (1968)
Liu, J., Tan, B., Wu, J.: Graphs of continuous functions and packing dimension. J. Math. Anal. Appl. 435(2), 1099–1106 (2016)
Mattila, P.: Geometry of Sets and Measures in Euclidean Spaces. Cambridge Studies in Advanced Mathematics, vol. 44. Cambridge University Press, Cambridge (1995)
Mattila, P., Mauldin, R.D.: Measure and dimension functions: measurability and densities. Math. Proc. Camb. Philos. Soc. 121(1), 81–100 (1997)
Mauldin, R.D., Williams, S.C.: On the Hausdorff dimension of some graphs. Trans. Am. Math. Soc. 298, 793–803 (1986)
Oxtoby, J.C.: The Banach-Mazur game and Banach’s category theorem. In: Dresher, M., Tucker, A.W., Wolfe, P. (eds.) Contributions to the Theory of Games. Annals of Mathematics Studies, vol. 39, pp. 159–163. Princeton University Press, Princeton (1957)
Acknowledgements
The author is grateful to Zoltán Buczolich and Márton Elekes for their helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
Supported by the National Research, Development and Innovation Office—NKFIH, 104178.
Rights and permissions
About this article
Cite this article
Balka, R. Dimensions of fibers of generic continuous maps. Monatsh Math 184, 339–378 (2017). https://doi.org/10.1007/s00605-017-1067-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-017-1067-5
Keywords
- Hausdorff dimension
- Packing dimension
- Topological dimension
- Generic
- Typical
- Continuous functions
- Level sets
- Fibers