TEOREMA FUNDAMENTAL DE DUALIDAD

En un par de problemas primal-dual, si el primal o el dual tienen solucin ptima entonces el otro
tambin, y el valor de la funcin objetivo optimal es el mismo para ambos.
Demostracin:
Sea el primal Min z(x)=Cx
y su dual Max w()=b
s.a.: Ax=b
s.a.: AC
x0
SRS
donde A es mxn, supongamos que tiene solucin ptima, por lo cual el problema tiene base ptima,
supongamos que la solucin bsica ptima es XB=(x1,x2,............,xm) y sea B la base asociada a dicha
solucin y sea N la matriz de orden mx(n-m) asociada a las variables no bsicas XN=(xm+1,.......,xn)
entonces el problema puede ser representado de la siguiente forma en su tabla original:
XB -z
XN
b
B

CB
1
CN
0
Y su tabla ptima de la siguiente forma:
V.B. XB -z
XB

XN

B-N

b
B-b

-z
0
1 CN-CB B-N
-CB B-b
para la obtencin de esta tabla ptimas se multiplic toda la tabla inicial por la matriz:
B-
0
pues esta es la inversa de B
0
-CB B- 1
CB 1
ya que esta es una tabla ptima se debe cumplir que:
Cj0 para todo j entonces CN-CB B-N0 entonces, Cj- CB B-Aj0 para todo j entonces,
CB B-AjCj para todo j con lo cual CB B -AC, si definimos como CB B- tendramos entonces
que AC, por lo que se tendra factibilidad dual, adems si el primal tiene solucin ptima CB B -b
por el teorema fuerte de dualidad b= CB B-b con lo cual = CB B- es la solucin ptima dual.
COROLARIOS:
Si ambos problemas tienen soluciones factibles, entonces ambos tienen soluciones ptimas y el valor de
la funcin objetivo es el mismo. De aqu se desprenden las condiciones primales duales que son:
Cj = Cj-Aj
Aj = B-Aj
b= B-b
Es de hacer notar que las columnas de las variables bsicas iniciales conforman una matriz identidad,
razn por la cual se encontrar la inversa de base ptima en las columnas asociadas a esas variables en
la tabla optimal..Igualmente si las variables bsicas iniciales fueron las variables de holgura, se
encontrar al vector - como los coeficientes de costo de ellas en la tabla optimal, pues los coeficientes
de costo originales de las variables de holgura son cero y si ellas forman parte de la base inicial es
porque tienen como columnas vectores unitarios.