An inverse mapping theorem for set-valued maps

Abstract

We prove that certain Lipschitz properties of the inverse F − 1 {F^{ - 1}} of a set-valued map F are inherited by the map ( f + F ) − 1 {(f + F)^{ - 1}} when f has vanishing strict derivative.