12
Д о к а з а т е л ь с т в о. Так как все переменные в обеих зада-
чах неотрицательные, получаем (с учетом YA ≥ C):
f(X) = CX ≤ (YA)X.
()
В силу ассоциативности умножения матрицы и с учетом AX ≤ B
(YA)X = Y(AX) ≤ YB = ϕ(Y ).
()
Соединяя () и (), получаем
f(X) ≤ ϕ(Y ),
что и требовалось доказать.
Заметим, в частности, что применительно к задаче, рассмот-
ренной в примере 10.3, неравенство (10.10) означает
2x
1
+ 3x
3
+ 2x
4
≤ 9y
1
+ 8y
2
.
С л е д с т в и е из основного неравенства: если допустимое
множество одной из задач I, II не пусто, то целевая функция дру-
гой задачи ограничена в направлении экстремума на своем допус-
тимом множестве.
Действительно, пусть, например, множество D исходной зада-
чи I не пусто, т.е. существует хотя бы одна точка X
0
∈ D. Тогда,
согласно неравенству (10.10), для любой точки Y из допустимого
множества задачи II выполняется неравенство ϕ(Y) ≥ f (X
0
),
т.е. все значения функции ϕ ограничены снизу одним и тем же
числом f(X
0
).
Т е о р е м а 10.4 (основная теорема двойственности). Если од-
на из двойственных задач I или II имеет оптимальное решение, то
и другая задача имеет оптимальное решение, причем экстремаль-
ные значения целевых функций равны:
max f = min ϕ.
(10.11)
(Примем эту теорему без доказательства.)
Одним
из важных следствий основной теоремы двойственно-
сти является критерий оптимальности допустимых решений. Рас-
смотрим его. Пусть X
0
и Y
0
– допустимые решения исходной и
двойственной задач I и II. Для того чтобы эти решения были опти-
мальными, необходимо и достаточно выполнение равенства
f(X
0
) = ϕ(Y
0
). (10.12)
Д о к а з а т е л ь с т в о. 1. Необходимость. Пусть X
0
и Y
0
– оп-
тимальные решения. Тогда f(X
0
) = max f, ϕ(Y
0
) = min ϕ и равен-
ство (10.12) следует из основной теоремы двойственности.