Properties of generic altitude functions

Using the typical C1 -topology, we prove that a generic C1 function f :K⊂Rn↦R on a compact neighborhood which has a zero gradient point necessarily has a zero-measure Cantor set C on which its gradient vanishes and on which its set of local extrema is dense.