English

A pathological construction for real functions with large collections of level sets

Classical Analysis and ODEs 2016-08-29 v1

Abstract

Consider all the level sets of a real function. We can group these level sets according to their Hausdorff dimensions. We show that the Hausdorff dimension of the collection of all level sets of a given Hausdorff dimension can be arbitrarily close to 1, even if the function is differentiable to some level. By definition of Hausdorff dimension it is clear, for any real function f(x)f(x) and any α[0,1]\alpha \in [0,1], that dimH{0.03iny : dimH(f1(y))α0.03in}1\dim_{H} \left\{ {0.03in} y \ : \ \dim_{H} (f^{-1}(y)) \geq \alpha {0.03in} \right\} \leq 1. What is surprising, and what we show, is that this is actually a sharp bound. That is, sup{0.03indimH{0.03iny : dimH(f1(y))=10.03in} : fCk0.03in}=1,\sup \left\{ {0.03in} \dim_{H} \left\{ {0.03in} y \ : \ \dim_{H} (f^{-1}(y)) = 1 {0.03in} \right\} \ : \ f \in C^{k} {0.03in} \right\} = 1, for any kZ0k \in \mathbb{Z}_{\geq 0}.

Keywords

Cite

@article{arxiv.1608.07344,
  title  = {A pathological construction for real functions with large collections of level sets},
  author = {Gavin Armstrong},
  journal= {arXiv preprint arXiv:1608.07344},
  year   = {2016}
}
R2 v1 2026-06-22T15:31:33.633Z