On inverse function theorems for set-valued maps

We prove several equivalent versions of the inverse function theorem: an inverse function theorem for smooth maps on closed subsets, one for set-valued maps, a generalized implicit function theorem for set-valued maps. We provide applications to optimization theory and local controllability of differential inclusions.