The Sard theorem for essentially smooth locally Lipschitz maps and applications in optimization

The classical Sard theorem states that the set of critical values of a $C^{k}$-map from an open set of $\R^n$ to $\R^p$ ($n\geq p$) has Lebesgue measure zero provided $k\geq n-p+1$. In the recent paper by Barbet, Dambrine, Daniilidis and Rifford, the so called “preparatory Sard theorem” for a compact countable set $I$ of $C^k$ … Read more