Fixed-point theorems and Morse's lemma for Lipschitzian functions (Q2640854)

We prove a fixed point theorem for set-valued mappings defined on a nonempty compact subset X of \({\mathbb{R}}^ n\) which can be represented by inequality constraints, i.e., \(X=\{x\in {\mathbb{R}}^ n|\) f(x)\(\leq 0\}\), f locally Lipschitzian and satisfying a nondegeneracy assumption outside of X. This class of sets extends significantly the class of convex, compact sets with a nonempty interior. Topological properties of such sets X are proved (continuous deformation retract of a ball, acyclicity) as a consequence of a generalization of Morse's lemma for Lipschitzian real-valued functions defined on \({\mathbb{R}}^ n\), a result also of interest for itself.