The Hausdorff dimension of graphs of prevalent continuous functions (Q2392517): Difference between revisions

The authors prove in Theorem 2.1 that the Hausdorff dimension of the graph of a `generic' function in \(C[0,1]\) is 2 -- here `generic' means `prevalent' in the measure-theoretic sense introduced by \textit{J. P. R. Christensen} in the 1970s [Isr. J. Math. 13, 255--260 (1972; Zbl 0249.43002)] and later rediscovered by \textit{B. R. Hunt} et al. [Bull. Am. Math. Soc., New Ser. 27, No. 2, 217--238 (1992; Zbl 0763.28009)]. This improves previous results such as one in [Real Anal. Exch. 22(1996--97), No. 1, 61 (1997; Zbl 0900.28010)], where \textit{M. McClure} showed that the packing dimension of the graph of a prevalent function in \(C[0,1]\) is 2. Theorem 2.1 is easily extended to the multidimensional case: for \(d\in \mathbb N\), the set of all functions in \(C[0,1]^d\) whose graph has Hausdorff dimension \(d+1\) is a prevalent subset of \(C[0,1]^d\) (Theorem 2.3). The authors also address the `horizon problem' considered by \textit{K. J. Falconer} and \textit{J. M. Fraser} [Math. Proc. Camb. Philos. Soc. 151, No. 2, 355--372 (2011; Zbl 1235.28005)], they proved that a prevalent function in \(C[0,1]^2\) satisfies the horizon property for box dimension. Precisely, Theorem 2.5 states here that a prevalent function in \(C[0,1]^2\) satisfies the horizon property for Hausdorff dimension (and for the packing dimension, too). Two topological counterparts of Theorem 2.1 should finally be mentioned. \textit{P. D. Humke} and \textit{G. Petruska} [Real Anal. Exch. 14(1988/89), No. 2, 345--358 (1989; Zbl 0678.26002)] proved that the packing dimension of the graph of a `generic' function in \(C[0,1]\) is 2 -- `generic' is meant this time in the sense of Baire category -- whereas, according to a recent result by \textit{J. Hyde} et al. [J. Math. Anal. Appl. 391, No. 2, 567--581 (2012; Zbl 1238.28005)], its Hausdorff dimension is 1.