Semismooth Implicit Functions

Semismoothness of implicit functions in infinite-dimensional spaces is investigated. We provide sufficient conditions for the semismoothness of given implicit functions and show how the existence of implicit functions that fulfill these conditions can be ensured. This approach also extends some finite-dimensional results.