On the Bartle-Graves theorem

The Bartle-Graves theorem extends the Banach open mapping principle to a family of linear and bounded mappings, thus showing that surjectivity of each member of the family is equivalent to the openness of the whole family. In this paper we place this theorem in the perspective of recent concepts and results, and present a general Bartle-Graves theorem for set-valued mappings. As applications, we obtain versions of this theorem for mappings defined by systems of inequalities, and for monotone variational inequalities.