Publication: An elementary example of Sard's Theorem sharpness
Full text at PDC
Advisors (or tutors)
In this note we define a C1 function F : [0, M] 2 → [0, 2] that satisfies that its set of critical values has positive measure. This function provides an example, easier than those that usually appear in the literature, of how the order of differentiability required in Sard’s Theorem cannot be improved.
 J.S. Athreya, B. Reznick, J.T. Tyson. Cantor Set Arithmetic, The American Mathematical Monthly, 126 (1) (2019) 4–17.  S.M. Bates. Towards a precise smoothness hypothesis in Sard’s theorem Proc. Amer. Math. Soc. 117 (1) (1993) 279–283.  A.P. Morse. The behavior of a function on its critical set Ann. of Math. 40 (1939) 62–70.  A. Norton Functions not constant on fractal quasi-arcs of critical points Proc. Amer. Math. Soc. 106 (2) (1989) 397–405.  A. Sard. The measure of the critical values of differentiable maps Bull. Amer Math. Soc. 48 (1942) 883–890.  J. Shallit. Quickies Q785, Mag. Math. 64 (5) (1991) 351–357.  H. Whitney. A function not constant on a connected set of critical points Duke Math. J. 1 (1935) 514–517.