DOI: 10.68381/jca03003 ISSN: 0944-6532

The Graves Theorem Revisited

Asen L. Dontchev

In 1950 Graves proved the following theorem: If the function f from a Banach space X into a Banach space Y is strictly differentiable at

x_0 x 0
and the strict derivative
\nabla f(x_0) ∇ f ( x 0 )
is onto, then f is open with linear rate around
x_0 x 0
. Under fairly general assumptions, the latter property is equivalent to either the metric regularity or to the Aubin property of the inverse. In this paper, we prove that the Graves theorem is a consequence of the following general result: the openness with linear rate of a locally closed set-valued map F around a point
(x_0, y_0) ( x 0 , y 0 )
of its graph is invariant with respect to a perturbation of the form f + F provided that the strict derivative of f at
x_0 x 0
is zero.