Primal and Dual Characterizations for Farkas type Lemmas in Terms of Closedness Criteria (2503.04226v1)

Abstract: This paper deals with the characterization, in terms of closedness of certain sets regarding other sets, of Farkas lemmas determining when the upperlevel set of a given convex function contains the intersection, say F, of a convex set of a locally convex space X with the inverse image by a continuous linear operator from X to another locally convex space Y of certain convex subset of Y. More in detail, each of the mentioned characterizations of Farkas type lemmas consists in the closedness of certain subset of either one of the "primal" spaces XxYxR and YxR, or of the "dual" space X'xR, regarding some singleton set of the corresponding space. Moreover, the paper also provides an existence theorem for the feasible set F in terms of the closedness of certain subset of the dual space X'xR regarding the singleton set formed by the null element. These results are illustrated with significant applications.