Dimension of Images of Large Level Sets
Let be a natural number. We consider -times continuously-differentiable real-valued functions , where is some interval on the line having positive length. For let denote the set of values whose preimage has Hausdorff dimension . We consider how large can be the Hausdorff dimension of , as ranges over the set of all -times continuously-differentiable functions from into . We show that the sharp upper bound on is .