18
Twierdzenie 2.14. Niech X = {x G Rn; Ar — b,x > 0}, gdzie A G Mmxn(R), b G Rm, rz (^4) = m i niech Xi,X2, ■ • • ,Xk będą wszystkimi punktami ekstremalnymi, zaś vi,V2wszystkimi wektorami ekstremalnymi zbioru X, c G Rn. Wówczas inf{cTrr; iGI}gR-^ Vj=i,2,...,icTVj > 0. Jeżeli Vj=i,2,...,iCTVj > 0, to 3ie{i,2,...,/c} 'mi{crx\x G X} = ćFxi.
Dowód. Z Twierdzenia 2.12 wiemy, że dowolny element x spełnia warunki Ax = b, x > 0 wtedy i tylko wtedy, gdy x = X^i=i + X]j=i h-Wi > Aj,/^- > 0, Aj = 1, i = 1,2 ,...,k,j = 1,2,...,/. Zatem cT:r = cT(St=i + Sj=i gdzie > 0, X^=i ^ = 1> i = 1,2, j = 1,2,...,/. Jeśli dla pewnego j, cJvj < 0, to nasze wyrażenie jest nieograniczone, ponieważ fij możemy wybrać dowolnie duże. Zatem inf{cTx; x G X} G R wtedy i tylko wtedy, gdy cTVj > 0 dla dowolnego j = 1,2,...,/.
Jeśli cTVj > 0 dla dowolnego jf = 1,2,...,/, to w celu osiągnięcia najmniejszej wartości możemy przyjąć fij = 0 dla j = 1,2,...,/. Zatem
inf{cT(y^ A iXi + Pjvj)} = inf{cT AjXj; A j > 0, Aj = 1}.
Niech Aj0 = 1 oraz Aj = 0 dla i ± i0, gdzie indeks io jest taki, że cTXi0 = mini<j<fc{cTa;j}. Wówczas cTXi0 < J2i=i KcTXi, co kończy dowód. □
Niech X = {x G R;Ar = b, x > 0}, gdzie A G Mmxn(R), b G Rm, rz (A) = m. Zajmiemy się szukaniem inf{cT:r; a; G X}. Niech x będzie punktem ekstremalnym zbioru X. Z Twierdzenia 2.6 wiemy, że istnieje B G C(A),
B~xb > 0 oraz >1 = [5A/], x = . Weźmy dowolny x G X, x = j^J.
Wówczas Ar = 6 tzn. [5N] \Xb\ = b, skąd dostajemy Bxb + Afaw = b.
[_XN]
Zatem xb = B~lb — B~1Nx^. Policzmy cTx cTx = c^xb + cJjXn = cTB~1b — ctbB~1Nxn + cJjXn = opr# + Cnxn~\-—Ć^B~1Nxn + = cTx + (c£ — c^B~1N)xn-
Przypadek 1:
cl — clB~lN > 0. Ponieważ x > 0, to Xn > 0 i w konsekwencji cTx > cT:r. Zatem :f jest szukanym punktem.