If the Strong Lagrangian property holds with multiplier , its infimum identity implies, for every ,
For any feasible right-hand side , take the infimum over to obtain
The inequality also holds at infeasible , where , and it is equality at . Thus is the required non-vertical supporting hyperplane of a value function. This proves the converse and completes the equivalence. Neither implication requires that be a convex set.

Articles by others on the same topic (0)

There are currently no matching articles.