A Sard theorem for tame set-valued mappings (Q2642156)

The paper deals with the study of critical values of set-valued mappings. The main theorem states: If \(F : {\mathbb R}^n \rightrightarrows {\mathbb R}^m\) is a difinable (tame) set-valued mapping with locally closed graph, then the set of critical values of \(F\) is a \(\sigma\)-porous set in \({\mathbb R}^m\). In particular, it has a Lebesgue measure zero. Moreover, if the graph of \(F\) is a difinable set, then the set of critical values of \(F\) is also a difinable set of dimension not exceeding \(m - 1\). It generalizes, from one side the result by \textit{K. Kurdyka, P. Orro} and \textit{S. Simon} [J. Differ. Geom. 56, No.~1, 67--92 (2000; Zbl 1067.58031)], which asserts that the collection of critical and asymptotically critical values of a semialgebraic \({\mathcal C}^1\)-mapping is a semialgebraic set of dimension \((m-1)\) or less. From the other side, the idea of the proof of this result is highly connected with the idea of the recent paper by \textit{J. Bolte, A. Daniilidis} and \textit{A. Lewis} [J. Math. Anal. Appl. 321, No.~2, 729--740 (2006; Zbl 1160.49301)] and \textit{J. Bolte, A. Daniilidis, A. Lewis} and \textit{M. Shiota} [Ann. Pol. Math. 87, 13-25 (2005; Zbl 1090.35033)] describing the set of critical points of globally subanalytic functions.