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 obtainThe 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
There are currently no matching articles.