Browder–Minty theorem

In mathematics, the Browder–Minty theorem (sometimes called the Minty–Browder theorem) states that a bounded, continuous, coercive and monotone function T from a real, separable reflexive Banach space X into its continuous dual space X^∗ is automatically surjective. That is, for each continuous linear functional g ∈ X^∗, there exists a solution u ∈ X of the equation T(u) = g. (Note that T itself is not required to be a linear map.)

The theorem is named in honor of Felix Browder and George J. Minty, who independently proved it.