Department of Mathematical Analysis, Faculty of Mathematics and Physics, Charles University, Sokolovská 83, 186 75 Praha 8, Czech Republic ; Mathematical Institute, 24-29 St Giles', University of Oxford, Oxford OX1 3LB, United Kingdom
Abstract:
For a -smooth bump function we show that the gradient range is the closure of its interior, provided that admits a modulus of continuity satisfying as . The result is a consequence of a more general result about gradient ranges of bump functions of the same degree of smoothness. For such bump functions we show that for open sets , either the intersection is empty or its topological dimension is at least two. The proof relies on a new Morse-Sard type result where the smoothness hypothesis is independent of the dimension of the space.