A nonsmooth Morse--Sard theorem for subanalytic functions (Q2496693): Difference between revisions

This paper establishes a generalization of the Morse--Sard theorem to subanalytic functions. More precisely, the main result reads as follows. Suppose \(f:\mathbb R^n\to\mathbb R\cup\{+\infty\}\) is a subanalytic function so that \(dom(f)\), the set of \(x\in\mathbb R^n\) with \(f(x)<\infty\), is closed and the restriction of \(f\) to \(dom(f)\) is continuous. Then \(f\) is constant on each connected component of its set of lower critical points. Moreover, the set of lower critical values is countable. No subdifferential regularity assumption is being used. As an application the authors derive a generalization of the Łojasiewicz inequality.