Write as and . The dual has nonnegative multipliers for these inequalities, with objective and condition . Every real vector can be expressed as with . HenceThe equality constraints remove the sign restriction on the dual variables.
The expression presupposes that is invertible; positivity of the stated optimal coordinates alone would not prove that, so use the nonsingularity implicit in this expression. Let be the first components of and set . Then .
For any nonbasic column , introduce while changing the basic vector from to . This stays feasible for sufficiently small because every . Optimality at implies the objective slope . Therefore for every such column, and the basic columns satisfy equality. Thus is dual feasible, independently of the right-hand side.
For , the proposed is primal feasible andWeak duality, valid with unrestricted equality multipliers, proves . This also explains the stability of an optimal basis while its new basic coordinates remain nonnegative.
Articles by others on the same topic
There are currently no matching articles.