Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Â. Ã. Æàäàí
ÌÅÒÎÄÛ ÎÏÒÈÌÈÇÀÖÈÈ
×ÀÑÒÜ I
ÂÂÅÄÅÍÈÅ Â ÂÛÏÓÊËÛÉ ÀÍÀËÈÇ
È ÒÅÎÐÈÞ ÎÏÒÈÌÈÇÀÖÈÈ
Äîïóùåíî
Ó÷åáíî-ìåòîäè÷åñêèì îáúåäèíåíèåì
âûñøèõ ó÷åáíûõ çàâåäåíèé Ðîññèéñêîé Ôåäåðàöèè
ïî îáðàçîâàíèþ â îáëàñòè ïðèêëàäíûõ ìàòåìàòèêè è ôèçèêè
â êà÷åñòâå ó÷åáíîãî ïîñîáèÿ äëÿ ñòóäåíòîâ âóçîâ
ïî íàïðàâëåíèþ ïîäãîòîâêè ¾Ïðèêëàäíûå ìàòåìàòèêà è ôèçèêà¿
ÌÎÑÊÂÀ
ÌÔÒÈ
2014
ÓÄÊ 519.8(075)
ÁÁÊ 22.18ÿ73
Æ15
Ðåöåíçåíòû:
Êàôåäðà èññëåäîâàíèÿ îïåðàöèé
ôàêóëüòåòà âû÷èñëèòåëüíîé ìàòåìàòèêè è êèáåðíåòèêè
Ìîñêîâñêîãî ãîñóäàðñòâåííîãî óíèâåðñèòåòà èì. Ì. Â. Ëîìîíîñîâà
(çàâ. êàôåäðîé àêàäåìèê ÐÀÍ Ï. Ñ. Êðàñíîùåêîâ )
Æàäàí, Â. Ã.
Æ15 Ìåòîäû îïòèìèçàöèè. ×. I. Ââåäåíèå â âûïóêëûé àíàëèç
è òåîðèþ îïòèìèçàöèè : ó÷åáíîå ïîñîáèå / Â. Ã. Æàäàí. Ì. :
ÌÔÒÈ, 2014. 271 ñ.
ISBN 978-5-7417-0514-8 (×. I)
ÓÄÊ 519.8(075)
ÁÁÊ 22.18ÿ73
Ïðåäèñëîâèå 5
Ââåäåíèå 6
3
Ãëàâà 6 Äâîéñòâåííîñòü äëÿ çàäà÷ îïòèìèçàöèè 203
6.1. Ñåäëîâûå òî÷êè ôóíêöèè Ëàãðàíæà . . . . . . . . . . . . 203
6.2. Ïðÿìûå è äâîéñòâåííûå çàäà÷è . . . . . . . . . . . . . . . 212
6.3. Íåñîáñòâåííûå çàäà÷è ìàòåìàòè÷åñêîãî ïðîãðàì-
ìèðîâàíèÿ . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
Ëèòåðàòóðà 267
4
Ïðåäèñëîâèå
Ýòà êíèãà íàïèñàíà íà îñíîâå êóðñà ëåêöèé, êîòîðûé ÷èòàëñÿ àâòîðîì
â òå÷åíèå íåñêîëüêèõ ëåò íà ôàêóëüòåòå óïðàâëåíèÿ è ïðèêëàäíîé ìà-
òåìàòèêè Ìîñêîâñêîãî ôèçèêî-òåõíè÷åñêîãî èíñòèòóòà (ãîñóäàðñòâåí-
íîãî óíèâåðñèòåòà). Êóðñ ãîäîâîé, â íàñòîÿùóþ ïåðâóþ ÷àñòü âîøåë
ìàòåðèàë ïåðâîãî ñåìåñòðà.
Èçëîæåíèå ìàòåðèàëà äîñòàòî÷íî òðàäèöèîííîå äëÿ ìíîãèõ ñîâðå-
ìåííûõ ïîñîáèé è êíèã ïî òåîðèè è ìåòîäàì êîíå÷íîìåðíîé îïòèìèçà-
öèè. Âíà÷àëå ïðèâîäÿòñÿ íåêîòîðûå ñâåäåíèÿ èç âûïóêëîãî àíàëèçà,
íåîáõîäèìûå äëÿ ôîðìóëèðîâêè ïîñëåäóþùèõ ðåçóëüòàòîâ. Ïîñëå ýòî-
ãî ðàññìàòðèâàþòñÿ ñîáñòâåííî çàäà÷è îïòèìèçàöèè â ðàçëè÷íûõ ïî-
ñòàíîâêàõ, âêëþ÷àÿ çàäà÷è ñ íåñêîëüêèìè êðèòåðèÿìè. Äëÿ íèõ ôîð-
ìóëèðóþòñÿ íåîáõîäèìûå è äîñòàòî÷íûå óñëîâèÿ îïòèìàëüíîñòè, èç-
ëàãàåòñÿ òåîðèÿ äâîéñòâåííîñòè.
Îáúåì ó÷åáíîãî ïîñîáèÿ äîñòàòî÷íî áîëüøîé, è ïðè ïåðâîì ÷òå-
íèè íåêîòîðûå ðàçäåëû ìîãóò áûòü îïóùåíû, îñîáåííî ýòî êàñàåòñÿ
äîêàçàòåëüñòâ íåêîòîðûõ òåîðåì è óòâåðæäåíèé. Òåì íå ìåíåå àâòîð
ïîñ÷èòàë íóæíûì èõ ïðèâåñòè, ÷òîáû äàòü âîçìîæíîñòü ïðè æåëàíèè
ñàìîñòîÿòåëüíî îçíàêîìèòüñÿ êàê ñ äîêàçàòåëüñòâàìè, òàê è ñ äîïîë-
íèòåëüíûìè ðåçóëüòàòàìè.
Àâòîð ñ÷èòàåò ñâîèì ïðèÿòíûì äîëãîì âûñêàçàòü ïðèçíàòåëüíîñòü
êîëëåãàì ïî êàôåäðå ìàòåìàòè÷åñêèõ îñíîâ óïðàâëåíèÿ Î. Ñ. Ôåäüêî,
À. Ã. Áèðþêîâó, Ð. Â. Êîíñòàíòèíîâó, Ï. Å. Äâóðå÷åíñêîìó, À. À. Îðëî-
âó, Þ. Â. Äîðíó çà ñîâìåñòíóþ ðàáîòó ïî ïðåïîäàâàíèþ äàííîãî êóðñà
è çà ïîëåçíûå çàìå÷àíèÿ, à òàêæå âûðàæàåò áëàãîäàðíîñòü Â. Ó. Ìàë-
êîâîé çà ïîìîùü â ïîäãîòîâêå èëëþñòðàòèâíîãî ìàòåðèàëà.
5
Ââåäåíèå
Çàäà÷è îïòèìèçàöèè ÷àñòî âñòðå÷àþòñÿ â íàó÷íûõ èññëåäîâàíèÿõ
è â ïðàêòè÷åñêèõ ïðèëîæåíèÿõ â òîì ÷èñëå, â òåõíè÷åñêîì ïðîåêòèðî-
âàíèè, â ýêîíîìè÷åñêîì àíàëèçå, â ïëàíèðîâàíèè ýêñïåðèìåíòà è ò.ä.
Ôîðìàëèçàöèÿ ýòèõ çàäà÷ ïðèâîäèò ê ìàòåìàòè÷åñêèì ïîñòàíîâêàì,
êîòîðûå äîñòàòî÷íî èíòåðåñíû êàê ñ òåîðåòè÷åñêîé òî÷êè çðåíèÿ, òàê
è ñ òî÷êè çðåíèÿ íàõîæäåíèÿ ïîäõîäîâ ê èõ àíàëèòè÷åñêîìó èëè ÷èñ-
ëåííîìó ðåøåíèþ.
Ïåðâûå çàäà÷è îïòèìèçàöèè â ïðîñòåéøèõ ñâîèõ ïîñòàíîâêàõ ñòàëè
èçó÷àòüñÿ åùå â ãëóáîêîé äðåâíîñòè è ïîñëóæèëè îäíèì èç ñòèìóëîâ
ðàçâèòèÿ ìàòåìàòèêè. Â äàëüíåéøåì âîçíèêàëè íîâûå áîëåå ñëîæíûå
ïîñòàíîâêè. Î÷åíü ìíîãèå èçâåñòíûå â ïðîøëîì ìàòåìàòèêè ó÷àñò-
âîâàëè â ðåøåíèè ðàçëè÷íûõ îïòèìèçàöèîííûõ çàäà÷, â òîì ÷èñëå
è ïðèêëàäíûõ, à òàêæå ñïîñîáñòâîâàëè ñóùåñòâåííîìó ðàçâèòèþ òåî-
ðèè îïòèìèçàöèè, íàïðèìåð, áðàòüÿ Áåðíóëëè, È. Íüþòîí, Ë. Ýéëåð,
Æ. Ëàãðàíæ, À. Ëåæàíäð, Ê. Âåéåðøòðàññ, Â. Ãàìèëüòîí, À. Ïóàíêà-
ðå, Ì. Â. Îñòðîãðàäñêèé, Ï. Ë. ×åáûøåâ è ìíîãèå äðóãèå.
Õîòÿ èñòîðèÿ çàäà÷ îïòèìèçàöèè íàñ÷èòûâàåò äîñòàòî÷íî áîëüøîé
ïåðèîä, íî ðÿä î÷åíü âàæíûõ ðåçóëüòàòîâ áûë ïîëó÷åí ñðàâíèòåëüíî
íåäàâíî, à èìåííî â ïðîøëîì, äâàäöàòîì âåêå, â îñíîâíîì â åãî âòî-
ðîé ïîëîâèíå. Ïðè÷èíàìè òàêîãî ïðîðûâà â ýòîé îáëàñòè ïîñëóæè-
ëè, ñ îäíîé ñòîðîíû, ïðàêòè÷åñêèå çàïðîñû, ñâÿçàííûå ãëàâíûì îáðà-
çîì ñ íàó÷íî-òåõíè÷åñêèì ïðîãðåññîì è ïðèìåíåíèåì åãî ðåçóëüòàòîâ
â ïðîìûøëåííîñòè, â âîåííî-òåõíè÷åñêîé ñôåðå (àâèàöèÿ è ðàêåòíî-
êîñìè÷åñêàÿ òåõíèêà, àòîìíûé ïðîåêò è ò.ä.). Ñ äðóãîé ñòîðîíû, ìîù-
íûé òîë÷îê ðàçâèòèþ èññëåäîâàíèé â îáëàñòè îïòèìèçàöèè â ýòîò
ïåðèîä, îñîáåííî ÷èñëåííûõ ìåòîäîâ ðåøåíèÿ ðàçëè÷íûõ îïòèìèçà-
öèîííûõ çàäà÷, äàëî ïîÿâëåíèå ýëåêòðîííî-âû÷èñëèòåëüíûõ ìàøèí.
Îíè ïîçâîëèëè ïåðåâåñòè ðåøåíèå îïòèìèçàöèîííûõ çàäà÷ â ïðàêòè-
÷åñêóþ ïëîñêîñòü.  íàñòîÿùåå âðåìÿ ñîçäàíû ìîùíûå ïðîãðàììíûå
6
êîìïëåêñû, ñ ïîìîùüþ êîòîðûõ ìîæíî ðåøàòü ðàçëè÷íûå îïòèìèçà-
öèîííûå çàäà÷è áîëüøèõ è ñâåðõáîëüøèõ ðàçìåðîâ.
Îòìåòèì òàêæå, ÷òî ìåòîäû îïòèìèçàöèè âõîäÿò â âèäå ñîñòàâ-
íîé ÷àñòè â òàêóþ ñîâðåìåííóþ îáëàñòü ïðèêëàäíîé ìàòåìàòèêè, êàê
èññëåäîâàíèå îïåðàöèé. Ìåòîäû ýòîé äèñöèïëèíû ïîëó÷èëè øèðîêîå
ïðèìåíåíèå â ïëàíèðîâàíèè áîåâûõ äåéñòâèé, â ïåðñïåêòèâíîì ïðî-
ãíîçèðîâàíèè, â óïðàâëåíèè ïðîèçâîäñòâåííîé è ôèíàíñîâîé äåÿòåëü-
íîñòüþ ýêîíîìè÷åñêèõ àãåíòîâ.
Êóðñ ¾Ìåòîäû îïòèìèçàöèè¿ âïåðâûå áûë ïîñòàâëåí íà ôàêóëüòå-
òå óïðàâëåíèÿ è ïðèêëàäíîé ìàòåìàòèêè Ìîñêîâñêîãî ôèçèêî-òåõíè-
÷åñêîãî èíñòèòóòà (ÃÓ) Í. Í. Ìîèñååâûì. Âïîñëåäñòâèè îí ÷èòàëñÿ
Þ. Ã. Åâòóøåíêî, Þ. Ï. Èâàíèëîâûì, Ñ.È. Áèðþêîâûì, À. Ã. Áèðþ-
êîâûì. Èìè áûëè èçäàíû ìîíîãðàôèè è ó÷åáíûå ïîñîáèÿ ïî ýòîìó
êóðñó, êîòîðûå ïîñëóæèëè àâòîðó îñíîâíûì îòïðàâíûì ìàòåðèàëîì
ïðè íàïèñàíèè äàííîãî ó÷åáíîãî ïîñîáèÿ [46], [25], [11], [10].
 íàñòîÿùåå âðåìÿ îïòèìèçàöèÿ ÿâëÿåòñÿ äîñòàòî÷íî õîðîøî ñëî-
æèâøåéñÿ îáëàñòüþ âû÷èñëèòåëüíîé ìàòåìàòèêè. Òåîðèè è ìåòîäàì
ðåøåíèÿ îòèìèçàöèîííûõ çàäà÷ ïîñâÿùåíà îáøèðíàÿ ëèòåðàòóðà,
â òîì ÷èñëå è íà ðóññêîì ÿçûêå. Óêàæåì, íàïðèìåð, êíèãè [13], [33],
[54], [28], [49], [60], ãäå äàåòñÿ ïðåêðàñíîå èçëîæåíèå ìàòåðèàëà.
 íèõ èíòåðåñóþùèåñÿ ìîãóò íàéòè ãîðàçäî áîëåå ïîëíîå èçëîæåíèå
òåõ èëè èíûõ âîïðîñîâ, êàñàþùèõñÿ ðàçëè÷íûõ àñïåêòîâ îïòèìèçàöèè,
à òàêæå áîëåå äåòàëüíûå ññûëêè íà ñïåöèàëüíóþ ëèòåðàòóðó. Èç êíèã
íà àíãëèéñêîì ÿçûêå ñîøëåìñÿ íà ìîíîãðàôèè [69], [75]. Â [69] ïðåä-
ñòàâëåí äîñòàòî÷íî ñîâðåìåííûé âçãëÿä íà òåîðèþ è ìåòîäû âûïóêëîé
îïòèìèçàöèè, ïðè÷åì äàííàÿ êíèãà äîñòóïíà â Èíòåðíåòå.
 ïåðâîé ÷àñòè ïîñîáèÿ îñíîâíîå âíèìàíèå óäåëÿåòñÿ òåîðåòè÷å-
ñêèì àñïåêòàì îïòèìèçàöèè, à èìåííî ïîñòàíîâêàì çàäà÷ è óñëîâèÿì
îïòèìàëüíîñòè. Äëÿ ýòîãî òðåáóþòñÿ ìíîãèå ïîíÿòèÿ èç âûïóêëîãî
àíàëèçà. Íèæå â ãëàâå 1 äàþòñÿ íà÷àëüíûå ñâåäåíèÿ î ïîñòàíîâêàõ
îïòèìèçàöèîííûõ çàäà÷ è ïðèìåíÿåìîé ïðè ýòîì òåðìèíîëîãèè. Êðî-
ìå òîãî, ïðèâîäÿòñÿ íåêîòîðûå ïðèìåðû îïòèìèçàöèîííûõ çàäà÷ èç
ðàçíûõ îáëàñòåé. Ïîñëåäóþùèå äâå ãëàâû, 2 è 3, ïîñâÿùåíû ââåäå-
íèþ â âûïóêëûé àíàëèç.  ãëàâàõ 4 è 5 ðàññìàòðèâàþòñÿ ðàçëè÷íûå
óñëîâèÿ îïòèìàëüíîñòè äëÿ çàäà÷ áåçóñëîâíîé è óñëîâíîé îïòèìè-
çàöèè. Òåîðèÿ äâîéñòâåííîñòè äëÿ çàäà÷ îïòèìèçàöèè çàòðàãèâàåòñÿ
â ãëàâå 6.  ãëàâå 7 èññëåäóþòñÿ îïòèìèçàöèîííûå çàäà÷è ñïåöèàëüíî-
ãî âèäà ëèíåéíîãî ïðîãðàììèðîâàíèÿ, êâàäðàòè÷íîãî ïðîãðàììèðî-
âàíèÿ è íåêîòîðûõ äðóãèõ. Â ãëàâå 8 ïîíÿòèå îïòèìàëüíîãî ðåøåíèÿ
îáîáùàåòñÿ íà ñëó÷àé çàäà÷ ìíîãîêðèòåðèàëüíîé îïòèìèçàöèè.
Âåçäå äàëåå â ïîñîáèè áåç îñîáîãî ïîÿñíåíèÿ èñïîëüçóþòñÿ îáîçíà-
÷åíèÿ èç ñëåäóþùåãî ñïèñêà.
7
Ñïèñîê îñíîâíûõ îáîçíà÷åíèé
Rn++ = x ∈ Rn : xi > 0, 1 ≤ i ≤ n Rn ;
ïîëîæèòåëüíûé îðòàíò
Rn− = x ∈ Rn : xi ≤ 0, 1 ≤ i ≤ n Rn ;
íåïîëîæèòåëüíûé îðòàíò
Rn−− = x ∈ Rn : xi < 0, 1 ≤ i ≤ n Rn ;
îòðèöàòåëüíûé îðòàíò
i p 1/p
Pn
kxkp = i=1 |x | p-ÿ ãåëüäåðîâñêàÿ íîðìà âåêòîðà x, 1 ≤ p < ∞
(ïðè p = 2 ñîâïàäàåò ñ åâêëèäîâîé íîðìîé);
8
Ãëàâà 1
Îñíîâíûå îïðåäåëåíèÿ
è ïðèìåðû çàäà÷
1.1. Îñíîâíûå îïðåäåëåíèÿ
9
ìîæíî ïåðåéòè îò çàäà÷è ìàêñèìèçàöèè ê çàäà÷å ìèíèìèçàöèè, âçÿâ
öåëåâóþ ôóíêöèþ ñ ïðîòèâîïîëîæíûì çíàêîì. Íà ìíîæåñòâî ðåøå-
íèé ýòî íèêîèì îáðàçîì íå âëèÿåò.
Ñ òî÷êè çðåíèÿ çàäà÷è ìèíèìèçàöèè ýëåìåíò x∗ ∈ X ÿâëÿåòñÿ íàè-
ëó÷øèì, åñëè f (x∗ ) ≤ f (x) äëÿ âñåõ x ∈ X. Çàäà÷ó íàõîæäåíèÿ íàè-
ëó÷øåãî ýëåìåíòà ôîðìàëüíî çàïèñûâàþò â âèäå
f (x) → min .
x∈X
n
∆ε (x∗ ) = x ∈ R : kx − x∗ k ≤ ε .
10
Ðèñ. 1.1. Ëîêàëüíûå è ãëîáàëüíûå ðåøåíèÿ
11
Ðèñ. 1.2. Òî÷êà îñòðîãî ìèíèìóìà
12
1. Çàäà÷à îäíîìåðíîé ìèíèìèçàöèè.  íåé ìíîæåñòâî X åñòü ïîä-
ìíîæåñòâî äåéñòâèòåëüíîé ïðÿìîé R è îáû÷íî ÿâëÿåòñÿ ëèáî îòðåç-
êîì â R, ëèáî íåîòðèöàòåëüíîé ïîëóîñüþ R+ .
2. Çàäà÷à áåçóñëîâíîé ìèíèìèçàöèè.  íåé X = R , ò.å. ñîâïàäàåò
n
ñî âñåì ïðîñòðàíñòâîì.
3. Çàäà÷à óñëîâíîé ìèíèìèçàöèè.  ýòîé çàäà÷å ìíîæåñòâî X ÿâ-
ëÿåòñÿ ñîáñòâåííûì ïîäìíîæåñòâîì Rn . Ïóñòü g(x) è h(x) ñîîòâåò-
n
ñòâåííî l-ìåðíàÿ è m-ìåðíàÿ âåêòîð-ôóíêöèè íà R . Ïðåäïîëîæèì,
÷òî ìíîæåñòâî X çàäàåòñÿ ôóíêöèîíàëüíûì îáðàçîì ñ ïîìîùüþ îãðà-
íè÷åíèé òèïà ðàâåíñòâà èëè íåðàâåíñòâà, à èìåííî:
n
X = x ∈ R : g(x) = 0l ; h(x) ≤ 0m . (1.1.5)
X = {x ∈ Π : g(x) = 0l ; h(x) ≤ 0m } ,
n
ãäå Π ⊂ R ìíîæåñòâî ïðîñòîé ñòðóêòóðû, îáû÷íî íàçûâàþò îáùåé
çàäà÷åé ìàòåìàòè÷åñêîãî ïðîãðàììèðîâàíèÿ. Î ìíîæåñòâå Π â ýòîì
ñëó÷àå ãîâîðÿò êàê îá îñíîâíîì èëè áàçîâîì äîïóñòèìîì ìíîæåñòâå.
13
Òåðìèí ïðîãðàììèðîâàíèå â íàçâàíèÿõ çàäà÷ îïòèìèçàöèè ïðåä-
ñòàâëÿåòñÿ íå î÷åíü óäà÷íûì è îáúÿñíÿåòñÿ â îñíîâíîì èñòîðè÷åñêèìè
ïðè÷èíàìè, ñâÿçàííûìè ñ èñïîëüçîâàíèåì ïîÿâèâøèõñÿ ýëåêòðîííûõ
âû÷èñëèòåëüíûõ ìàøèí äëÿ ðåøåíèÿ äàííûõ çàäà÷.  íàñòîÿùåå âðå-
ìÿ ñòàðàþòñÿ óõîäèòü îò ýòîãî òåðìèíà è ïîëüçîâàòüñÿ áîëåå òî÷íûìè
íàçâàíèÿìè, à èìåííî: çàäà÷à ëèíåéíîé îïòèìèçàöèè, çàäà÷à êâàäðà-
òè÷íîé îïòèìèçàöèè, çàäà÷à âûïóêëîé îïòèìèçàöèè è ò.ä.
1. Çàäà÷è àïïðîêñèìàöèè
a) Çàäà÷à î íàèìåíüøèõ êâàäðàòàõ. Äàííàÿ çàäà÷à, ÿâëÿþ-
ùàÿñÿ çàäà÷åé áåçóñëîâíîé ìèíèìèçàöèè, èìååò áîëüøîå ïðèêëàäíîå
çíà÷åíèå, íàïðèìåð ïðè îáðàáîòêå ðåçóëüòàòîâ ýêñïåðèìåíòîâ.  íåé
èùåòñÿ ìèíèìóì íà Rn ôóíêöèè
m
X 2
f (x) = kAx − bk2 = (hai , xi − bi ) , (1.2.1)
i=1
n
ãäå A (m×n)-ìàòðèöà ñî ñòðîêàìè ai ∈ R , 1 ≤ i ≤ m. Òàêèå çàäà÷è
èãðàþò âàæíóþ ðîëü â ðåãðåññèîííîì àíàëèçå, à òàêæå â ñòîõàñòè÷å-
ñêèõ çàäà÷àõ îöåíèâàíèÿ è ôèëüòðàöèè äàííûõ, îñîáåííî êîãäà ýòè
äàííûå ïîäâåðæåíû ñëó÷àéíûì îøèáêàì èçìåðåíèÿ, ðàñïðåäåëåííû-
ìè ïî íîðìàëüíîìó ãàóññîâñêîìó çàêîíó.
Íàðÿäó ñ ïðîñòåéøåé çàäà÷åé î íàèìåíüøèõ êâàäðàòàõ ðàññìàòðè-
âàþò òàêæå çàäà÷ó î íàèìåíüøèõ âçâåøåííûõ êâàäðàòàõ. Â íåé
âìåñòî (1.2.1) èñïîëüçóåòñÿ öåëåâàÿ ôóíêöèÿ
m
X 2
f (x) = ci hai , xi − bi ,
i=1
14
âåêòîðà x ∈ Rn , êîòîðûé ìèíèìèçèðîâàë áû äëèíó âåêòîðà Ax − b
â ðàçíûõ íîðìàõ â Rm .  ïåðâîì ñëó÷àå (1.2.1) ýòî åâêëèäîâà êâàä-
ðàòè÷íàÿ íîðìà. Âî âòîðîì ñëó÷àå ìàêñèìàëüíàÿ (èëè ÷åáûøåâ-
ñêàÿ) íîðìà. Îòìåòèì, ÷òî â îòëè÷èå îò (1.2.1) ôóíêöèÿ (1.2.2) ÿâëÿ-
åòñÿ íåãëàäêîé.
X
bi = 0.
i∈N
X
cij xij . (1.2.3)
(i,j)∈A
Öåëü ñîñòîèò â òîì, ÷òîáû ñäåëàòü ýòè çàòðàòû êàê ìîæíî ìåíüøèìè.
Íàäî åùå ó÷åñòü, ÷òî âñå xij , (i, j) ∈ A, äîëæíû ïðèíèìàòü íåîò-
ðèöàòåëüíûå çíà÷åíèÿ. Êðîìå òîãî, â êàæäîì i-ì óçëå äîëæåí ñîáëþ-
äàòüñÿ áàëàíñ ìåæäó íàõîäÿùèìñÿ â íåì ðåñóðñîì, à òàêæå ìåæäó
âûâåçåííûì è ââåçåííûì ðåñóðñîì. Îáîçíà÷èì
15
ïîñòàâêè â i-é óçåë. Òîãäà
X X
xij − xji = bi , i ∈ N.
j∈Ji,− j∈Ji,+
16
ðàáîòíèêîì. Òàêèì îáðàçîì, èìååì |NS | = |ND | = n è
1, åñëè i-é ðàáîòíèê âûïîëíÿåò j -þ ðàáîòó,
xij =
0 èíà÷å.
P
i∈NS ,j∈N cij xij → min,
P D
x = 1, i ∈ NS ,
Pj∈ND ij
x
i∈NS ij = 1, j ∈ ND ,
xij ∈ {0, 1}, i ∈ NS , j ∈ ND .
−1, åñëè óçåë i åñòü âõîä j -é âåòâè,
aij = 1, åñëè óçåë i åñòü âûõîä j -é âåòâè,
0 â îñòàëüíûõ ñëó÷àÿõ.
A = [AS , AD , AR ] ,
ãäå AS , AD è AR ïîäìàòðèöû ñîåäèíåíèÿ âñåõ óçëîâ ñ âåòâÿìè,
ñîäåðæàùèìè ñîîòâåòñòâåííî èñòî÷íèêè íàïðÿæåíèÿ, äèîäû è ñîïðî-
òèâëåíèÿ.
Åñëè íà j -é âåòâè íàõîäèòñÿ èñòî÷íèê íàïðÿæåíèÿ, òî îí ïîääåð-
æèâàåò â ýòîé âåòâè ïîñòîÿííîå íàïðÿæåíèå vj íåçàâèñèìî îò òîêà
cj . Òàêîé ýëåìåíò ïîãëîùàåò ìîùíîñòü −vj cj .  ñëó÷àå, êîãäà íà j -é
17
âåòâè íàõîäèòñÿ äèîä, òî îí ïîãëîùàåò íóëåâóþ ìîùíîñòü, íî ïîçâîëÿ-
åò òîêó òå÷ü òîëüêî â îäíîì íàïðàâëåíèè (ïîëîæèòåëüíîì). Ñëåäîâà-
òåëüíî, äîëæíî âûïîëíÿòüñÿ: cj ≥ 0, vj ≥ 0 è cj vj = 0. Íàêîíåö, åñëè
j -ÿ âåòâü ñîäåðæèò ñîïðîòèâëåíèå rj , òî òîê cj è íàïðÿæåíèå vj â ýòîé
âåòâè ñâÿçàíû ìåæäó ñîáîé ñîîòíîøåíèåì vj = −rj cj . Ïîãëîùàåìàÿ
2
ìîùíîñòü ðàâíà −vj cj = rj cj .
Åñëè îáîçíà÷èòü ÷åðåç c è v m-ìåðíûå âåêòîðû, ñîñòàâëåííûå èç
òîêîâ è íàïðÿæåíèé âî âñåõ âåòâÿõ, òî â ñîîòâåòñòâèè ñ ðàçáèåíèåì
ìàòðèöû A èõ òàêæå ìîæíî ðàçáèòü íà ïîäâåêòîðû
T T
c = [cS , cD , cR ] , v = [vS , vD , vR ] .
AS cS + AD cD + AR cR = 0n . (1.2.5)
T
cD ≥ 0, vD ≥ 0, vD cD = 0, vR = −D(rR )cR , (1.2.7)
1 T
2 cR D(rR )cR − vS cS → min,
AS cS + AD cD + AR cR = 0n , (1.2.8)
cD ≥ 0.
18
Öåëåâàÿ ôóíêöèÿ â ýòîé çàäà÷å ðàâíà ïîëîâèíå ìîùíîñòè, ïîãëîùàå-
ìîé ñîïðîòèâëåíèÿìè, ñëîæåííîé ñ ìîùíîñòüþ, òåðÿåìîé íà èñòî÷íè-
êàõ íàïðÿæåíèÿ.
Åñëè â çàäà÷å (1.2.8) îòáðîñèòü ïîñëåäíåå îãðàíè÷åíèå òèïà íåðà-
âåíñòâà, òî îíà ñòàíîâèòñÿ êëàññè÷åñêîé îïòèìèçàöèîííîé çàäà÷åé ñ
îãðàíè÷åíèÿìè-ðàâåíñòâàìè. Ñîãëàñíî ôîðìàëèçìó Ëàãðàíæà äëÿ åå
ðåøåíèÿ íàäî ñîñòàâèòü ôóíêöèþ Ëàãðàíæà, ñëîæèâ öåëåâóþ ôóíê-
öèþ ñ îãðàíè÷åíèÿìè, ïðåäâàðèòåëüíî óìíîæåííûìè íà ìíîæèòåëè
Ëàãðàíæà ui , 1 ≤ i ≤ n. Â ñîâîêóïíîñòè îíè ñîñòàâëÿþò âåêòîð u =
= [u1 , . . . , un ]. Óñëîâèÿ îïòèìàëüíîñòè òàêîé çàäà÷è ïîëó÷àþòñÿ ïóòåì
ïðèðàâíèâàíèÿ íóëþ ïðîèçâîäíûõ ôóíêöèè Ëàãðàíæà ïî x è u.
Íàëè÷èå ïîñëåäíåãî îãðàíè÷åíèÿ òèïà íåðàâåíñòâà ïðèâîäèò ê òî-
ìó, ÷òî çàäà÷à ñòàíîâèòñÿ íåêëàññè÷åñêîé. Îäíàêî äëÿ íåå òàêæå ñïðà-
âåäëèâî îáîáùåííîå ïðàâèëî Ëàãðàíæà, ñîãëàñíî êîòîðîìó ñ êàæäûì
îãðàíè÷åíèåì-íåðàâåíñòâîì cj ≥ 0 òàêæå ñëåäóåò ñâÿçàòü íåîòðèöà-
òåëüíûé ìíîæèòåëü Ëàãðàíæà uj è âû÷åñòü èõ èç ôóíêöèè Ëàãðàíæà.
Ïîäðîáíåå îá ýòîì áóäåò ãîâîðèòüñÿ íèæå â íàøåì êóðñå. Îáúåäèíÿÿ
òåïåðü âñå òàêèå íåîòðèöàòåëüíûå ìíîæèòåëè â âåêòîð uD è âûïèñû-
âàÿ óñëîâèÿ îïòèìàëüíîñòè äëÿ âñåé çàäà÷è (1.2.8) ñ ó÷åòîì òîãî, ÷òî
cD ≥ 0 è uD ≥ 0, â ðåçóëüòàòå äîëæíû ïîëó÷èòü
n
x1 , . . . , xm , xi ∈ R , 1 ≤ i ≤ m.
Ñ÷èòàåòñÿ, ÷òî âñå ýòè îáúåêòû ïðèíàäëåæàò îäíîìó êëàññó K. Íàäî
19
îïðåäåëèòü äëÿ íåêîòîðîãî äðóãîãî îáúåêòà (âåêòîðà x ∈ Rn ), ïðè-
íàäëåæèò ëè îí ýòîìó êëàññó èëè íåò.
Îäèí èç âîçìîæíûõ ïîäõîäîâ çàêëþ÷àåòñÿ â îïðåäåëåíèè ¾ñðåäíå-
ãî ðàññòîÿíèÿ¿ îò x äî âñåõ çàäàííûõ òî÷åê x1 , . . ., xm , âõîäÿùèõ â K .
Åñëè îíî ìåíüøå íåêîòîðîãî ïîðîãîâîãî çíà÷åíèÿ, òî îáúåêò x âõîäèò
â êëàññ K. Åñëè áîëüøå òî íåò. Â ñâÿçè ñ ýòèì âñòàåò âîïðîñ: êàê
ìåðèòü ðàññòîÿíèå ìåæäó òî÷êàìè â Rn , ÷òîáû ñðåäíåå ðàññòîÿíèå
ìåæäó òî÷êàìè x1 , . . ., xm â ýòîé ìåòðèêå áûëî áû ìèíèìàëüíûì?
Ïóñòü d(xi , xj ) èñêîìîå ¾ðàññòîÿíèå¿ ìåæäó òî÷êàìè xi è xj .
 òåîðèè òàê íàçûâàåìûõ îáó÷àþùèõ ìàøèí ïðåäëàãàþò, â ÷àñòíîñòè,
ðàññìàòðèâàòü òàêóþ ôóíêöèþ:
d(xi , xj ) = k A(xi − xj ) k2 ,
n
Y
kai k2 = 1. (1.2.10)
i=1
m
X
f (a1 , . . . , an ) = kA(xi − xj ) k2
i,j=1
m
X T
X= (xi − xj ) (xi − xj ) .
i,j=1
20
Ìàòðèöà X ñèììåòðè÷íàÿ è ïîëîæèòåëüíî ïîëóîïðåäåëåííàÿ, òàê êàê
ïðåäñòàâëÿåò ñîáîé ñóììó ñèììåòðè÷íûõ ïîëîæèòåëüíî ïîëóîïðåäå-
ëåííûõ ìàòðèö åäèíè÷íîãî ðàíãà. Âîñïîëüçóåìñÿ èçâåñòíûì èç ìàò-
ðè÷íîãî àíàëèçà ðåçóëüòàòîì, ñîãëàñíî êîòîðîìó ñëåä ïðîèçâåäåíèÿ
ìàòðèö íå ìåíÿåòñÿ ïðè êðóãîâîé ïåðåñòàíîâêå ìàòðèö. Òîãäà
Pm 2
Pm T
kA(x − j ) k = T i,j=1
x hxi − xj , A
A(xi − xj )i =
Pm i
i,j=1
T
= i,j=1 tr
Pm (xTi − xj ) A A(xi − xjT) =
= i,j=1 tr A A(xi − xj )(xi − xj ) = tr AT AX =
Pn
= tr AXAT = i=1 hai , Xai i.
n n
!
X Y
2
L(a, u) = hai , Xai i + u 1 − kai k ,
i=1 i=1
n2
ãäå a = (a1 , . . . , an )T ∈ R è u ∈ R. Äèôôåðåíöèðóÿ äàííóþ ôóíêöèþ
ïî ai , 1 ≤ i ≤ n, è ïðèðàâíèâàÿ ãðàäèåíòû íóëþ, ïîëó÷àåì ñ ó÷åòîì
ðàâåíñòâà (1.2.10):
n
Y u
Lai (a, u) = 2 Xai − u kaj k2 ai = 2 Xai − ai = 0n .
kai k2
j=1, j6=i
Îòñþäà ñëåäóåò
u
Xai = λi ai , λi = , 1 ≤ i ≤ n. (1.2.11)
kai k2
21
Ãëàâà 2
Âûïóêëûå ìíîæåñòâà
2.1. Âûïóêëûå è àôôèííûå ìíîæåñòâà,
âûïóêëûå êîíóñû
n
BA = x ∈ R : hx, A−1 xi ≤ 1 ,
(2.1.1)
22
Ðèñ. 2.1. Âûïóêëîå ìíîæåñòâî
23
Òàê êàêx1 ∈ X , òî íàéäóòñÿ äâå òàêèå òî÷êè y1 ∈ X1 è z1 ∈ X2 ,
÷òî x1 = y1 + z1 . Òî÷íî òàê æå: x2 = y2 + z2 äëÿ íåêîòîðûõ y2 ∈ X1 è
z2 ∈ X2 . Ïîýòîìó
xλ = λ(y1 + z1 ) + (1 − λ)(y2 + z2 ) = yλ + zλ ,
ãäå
yλ = λy1 + (1 − λ)y2 , zλ = λz1 + (1 − λ)z2 .
Íî, â ñèëó âûïóêëîñòè ìíîæåñòâ X1 è X2 , èìåþò ìåñòî âêëþ÷åíèÿ:
yλ ∈ X1 , zλ ∈ X2 . Ïîýòîìó òî÷êà xλ = yλ + zλ îáÿçàòåëüíî ñîäåðæèòñÿ
âî ìíîæåñòâå X , ÿâëÿþùåìñÿ ñóììîé äâóõ ìíîæåñòâ X1 è X2 .
α1 X + α2 X = (α1 + α2 ) X. (2.1.2)
24
ëèíåéíîì îòîáðàæåíèè âûïóêëîãî ìíîæåñòâà X ⊆ Rn ïîëó÷àåì, ÷òî
åãî îáðàç
m
Y = F (X) = {y ∈ R : y = F (x), x ∈ X}
òàêæå ÿâëÿåòñÿ âûïóêëûì ìíîæåñòâîì â ïðîñòðàíñòâå Rm . Ñ äðóãîé
m
ñòîðîíû, ïðîîáðàç ëþáîãî âûïóêëîãî ìíîæåñòâà Y ⊆ R ïðè ëèíåé-
íîì îòîáðàæåíèè F (x), ò.å. ìíîæåñòâî
n
X = F −1 (Y ) = x ∈ R : y = F (x) ∈ Y ,
A b
Q= ,
cT d
n o
n+1
Y = [x, µ] ∈ R : x ∈ X, µ = 1
25
Îáðàòèìñÿ äàëåå ê òàê íàçûâàåìîìó ïåðñïåêòèâíîìó îòîáðàæå-
n+1 n
íèþ, äåéñòâóþùåìó èç R â R ïî ïðàâèëó
x n
P (y) = , y = [x, µ], x ∈ R , µ > 0.
µ
Ïåðñïåêòèâíîå îòîáðàæåíèå íîðìàëèçóåò âåêòîð y, óìíîæàÿ âñå åãî
êîìïîíåíòû íà îäíî è òî æå ïîëîæèòåëüíîå ÷èñëî, ïðè÷åì äåëàåò ýòî
òàêèì îáðàçîì, ÷òîáû ïîñëåäíÿÿ êîìïîíåíòà ñòàëà ðàâíîé åäèíèöå.
Ïîñëå ýòîãî äàííàÿ ïîñëåäíÿÿ êîìïîíåíòà îòáðàñûâàåòñÿ.
Ïîêàæåì, ÷òî îáðàç âûïóêëîãî ìíîæåñòâà Y â Rn × R++ ïðè
ïåðñïåêòèâíîì îòîáðàæåíèè òàêæå ÿâëÿåòñÿ âûïóêëûì ìíîæåñòâîì
â Rn .
Äåéñòâèòåëüíî, ïóñòü y1 = [x1 , µ1 ] ∈ Y , y2 = [x2 , µ2 ] ∈ Y è
µ1 > 0, µ2 > 0. Âîçüìåì ïðîèçâîëüíîå 0 ≤ λ ≤ 1 è ðàññìîòðèì òî÷êó
yλ = λy1 + (1 − λ)y2 . Èìååì
λx1 + (1 − λ)x2 x1 x2
P (yλ ) = =θ + (1 − θ) = θP (y1 ) + (1 − θ)P (y2 ),
λµ1 + (1 − λ)µ2 µ1 µ2
ãäå
λµ1
θ= , 0 ≤ θ ≤ 1.
λµ1 + (1 − λ)µ2
Òàêèì îáðàçîì, ëþáîé îòðåçîê â Rn × R++ ïðè ïåðñïåêòèâíîì îòîá-
ðàæåíèè ïåðåâîäèòñÿ â ñîîòâåòñòâóþùèé îòðåçîê â Rn .
Îñòàåòñÿ òîëüêî îòìåòèòü, ÷òî äðîáíî-ëèíåéíîå îòîáðàæåíèå âè-
äà (2.1.3) ìîæíî ïðåäñòàâèòü êàê ñóïåðïîçèöèþ äâóõ îòîáðàæåíèé, à
èìåííî ïåñïåêòèâíîãî îòîáðàæåíèÿ è ëèíåéíîãî îòîáðàæåíèÿ: F (x) =
= P (Qy), â êîòîðîì â êà÷åñòâå y ∈ Rn+1 áåðóòñÿ âåêòîðû y = [x, µ]
ñ µ = 1. Èç âûøåñêàçàííîãî òîãäà ñëåäóåò, ÷òî îíî ñîõðàíÿåò âûïóê-
n
ëîñòü ìíîæåñòâ X ⊂ R , åñëè òîëüêî hc, xi + d > 0 äëÿ âñåõ x ∈ X . Â
÷àñòíîì ñëó÷àå, êîãäà c = 0n , äðîáíî ëèíåéíîå îòîáðàæåíèå ïåðåõîäèò
â îáû÷íîå ëèíåéíîå îòîáðàæåíèå, îïðåäåëåííîå íà âñåì ïðîñòðàíñòâå.
Ðàññìîòðèì äàëåå äâà âàæíûõ ÷àñòíûõ ñëó÷àÿ âûïóêëûõ ìíîæåñòâ,
êàæäûé èç êîòîðûõ îáëàäàåò äîïîëíèòåëüíûì ñâîéñòâîì.
26
âûïóêëî. Ïî îïðåäåëåíèþ ïðèíÿòî ñ÷èòàòü ïóñòîå ìíîæåñòâî òàêæå
àôôèííûì.
Àôôèííûå ìíîæåñòâà èìåþò ïðîñòóþ ñòðóêòóðó, à èìåííî, ìîæ-
íî ïîêàçàòü, ÷òî îíè ÿâëÿþòñÿ ñäâèãàìè ëèíåéíûõ ïîäïðîñòðàíñòâ.
Ïóñòü X ïðîèçâîëüíîå àôôèííîå ìíîæåñòâî è ïóñòü x0 ∈ X . Ðàñ-
ñìîòðèì ìíîæåñòâî L = X − x0 . Äàííîå ìíîæåñòâî òàêæå ÿâëÿåòñÿ
àôôèííûì. Â ñàìîì äåëå, âîçüìåì x1 ∈ L è x2 ∈ L è λ∈ R. Èìååì
x1 = y1 − x0 , x2 = y2 − x0 , ãäå y1 , y2 ∈ X . Òîãäà
27
n
a1 , . . ., am ïðîèçâîëüíûé áàçèñ â L⊥ . Âñå âåêòîðû ai ∈ R , 1 ≤ i ≤ m,
n
íåíóëåâûå. Âåêòîð x ∈ R ïðèíàäëåæèò ïîäïðîñòðàíñòâó L â òîì è
òîëüêî â òîì ñëó÷àå, êîãäà hai , xi = 0 äëÿ âñåõ 1 ≤ i ≤ m. Íî òîãäà
x åñòü ðåøåíèå ëèíåéíîé îäíîðîäíîé ñèñòåìû àëãåáðàè÷åñêèõ óðàâ-
íåíèé Ax = 0m , ãäå A ìàòðèöà ðàçìåðà m × n, ñòðîêàìè êîòîðîé
ÿâëÿþòñÿ âåêòîðû ai , 1 ≤ i ≤ m. Òàê êàê ýòî âåêòîðû ëèíåéíî íåçà-
⊥
âèñèìû, îáðàçóÿ áàçèñ â L , òî ðàíã ìàòðèöû A ðàâåí m.
Êàê áûëî âûÿñíåíî, âñÿêîå íåïóñòîå àôôèííîå ìíîæåñòâî X ïðåä-
ñòàâèìî â âèäå X = L + x0 , ãäå L ëèíåéíîå ïîäïðîñòðàíñòâî, ïàðàë-
ëåëüíîå X , è x0 ïðîèçâîëüíàÿ òî÷êà èç X . Ïîëîæèì òåïåðü b = Ax0 .
m
Òîãäà ïîëó÷àåì, ÷òî b ∈ R è
n
X =n x ∈ R : x = x1 + x0 , Ax1 =n 0m = (2.1.4)
= x ∈ R : A(x − x0 ) = 0m = x ∈ R : Ax = b .
( d
)
n
X
X= x ∈ R : x = x0 + αi xi , α i ∈ R, 1 ≤ i ≤ d ,
i=1
28
ãäå xi ëèíåéíî íåçàâèñèìûå (ôóíäàìåíòàëüíûå) ðåøåíèÿ îäíîðîä-
íîé ñèñòåìû Ax = 0m è x0 ïðîèçâîëüíîå ðåøåíèå íåîäíîðîäíîé
ñèñòåìû Ax = b. Òàê êàê ðàíã ìàòðèöû A ðàâåí m, òî îäíîðîäíàÿ
ñèñòåìà Ax = 0m âñåãäà èìååò d = n − m òàêèõ ëèíåéíî íåçàâèñèìûõ
ðåøåíèé xi .
n n
Ïóñòü a ∈ R íåíóëåâîé âåêòîð è b ∈ R. Ãèïåðïëîñêîñòüþ â R
íàçûâàåòñÿ ìíîæåñòâî âèäà
n
Γ = Γa,b = x ∈ R : ha, xi = b . (2.1.6)
29
Ðèñ. 2.2. Âûïóêëûé êîíóñ
n
L+
a = x ∈ R : ha, xi ≥ 0 ,
n o
n+1
K = [x, µ] ∈ R : kxk ≤ µ ,
( n
)
n+1
X
i 2 2
K= [x, µ] ∈ R : |x | ≤ µ , µ ≥ 0 .
i=1
30
Óïðàæíåíèå 5. Óáåäèòåñü, ÷òî ïåðåñå÷åíèå ëþáîãî ÷èñëà, à òàê-
æå ëèíåéíàÿ êîìáèíàöèÿ êîíå÷íîãî ÷èñëà âûïóêëûõ êîíóñîâ åñòü
ñíîâà âûïóêëûé êîíóñ.
Êîíóñ K íàçûâàåòñÿ çàîñòðåííûì, åñëè èç óñëîâèé x ∈ K è −x ∈ K
ñëåäóåò, ÷òî x = 0n . Êîíóñû, ïîðîæäåííûå íîðìîé, âñåãäà çàîñòðåí-
íûå.  îòëè÷èå îò íèõ ëèíåéíûå ïîäïðîñòðàíñòâà è çàìêíóòûå ïîëó-
ïðîñòðàíñòâà íå ÿâëÿþòñÿ çàîñòðåííûìè êîíóñàìè. Çàîñòðåííûå êî-
íóñû íå ñîäåðæàò ïðÿìûõ, öåëèêîì ïðèíàäëåæàùèõ êîíóñó.
è ïóñòü
m
X
x= λ i xi
i=1
2) íåîòðèöàòåëüíîé, åñëè λi ≥ 0, 1 ≤ i ≤ m;
31
Íåîáõîäèìîñòü. Ïðåäïîëîæèì òåïåðü, ÷òî ìíîæåñòâî X âûïóêëî.
Íàäî ïîêàçàòü, ÷òî êàêîâî áû íè áûëî öåëîå ÷èñëî m, ëþáàÿ âûïóêëàÿ
êîìáèíàöèÿ m òî÷åê x1 , . . ., xm èç X ïðèíàäëåæèò X . Äîêàçàòåëüñòâî
ýòîãî óòâåðæäåíèÿ ïðîâåäåì èíäóêöèåé ïî m.
Ïðè m = 1 è m = 2 óòâåðæäåíèå î÷åâèäíî. Ïóñòü îíî èìååò ìåñòî
ïðè m = k è ïîêàæåì, ÷òî îíî ñîõðàíÿåòñÿ ïðè m = k + 1. Âîçüìåì
ïðîèçâîëüíóþ âûïóêëóþ êîìáèíàöèþ, ñîñòîÿùóþ èç k + 1 òî÷êè:
k+1
X
x= λ i xi ,
i=1
Pk+1
ãäå xi ∈ X , λi ≥ 0, 1 ≤ i ≤ k + 1 è i=1 λi = 1. Ñ÷èòàåì, ÷òî λk+1 > 0.
 ñëó÷àå, êîãäà λk+1 = 1, èìååì x = xk+1 ∈ X . Ïðåäïîëîæèì
òåïåðü, ÷òî λk+1 < 1. Òîãäà
k
X λi
x = (1 − λk+1 ) xi + λk+1 xk+1 . (2.1.7)
i=1
1 − λk+1
Îáðàòèìñÿ ê òî÷êå
k
X λi
x̄ = xi .
i=1
1 − λk+1
k
λi X λi
≥ 0, 1 ≤ i ≤ k, = 1.
1 − λk+1 i=1
1 − λk+1
32
Óïðàæíåíèå 6. Äîêàæèòå óòâåðæäåíèÿ òåîðåì 2.1.3 è 2.1.4.
Âûïóêëûå, àôôèííûå è êîíè÷åñêèå îáîëî÷êè ìíîæåñòâ.
Åñëè ìíîæåñòâî X íå âûïóêëî, òî åãî ìîæíî ñäåëàòü âûïóêëûì, ïî-
ïîëíèâ äðóãèìè ýëåìåíòàìè. Æåëàòåëüíî òîëüêî, ÷òîáû ÷èñëî äîáàâ-
ëåííûõ ýëåìåíòîâ áûëî êàê ìîæíî ìåíüøèì. Ýòî ïðèâîäèò ê ïîíÿ-
òèþ âûïóêëîé îáîëî÷êè ìíîæåñòâà. Èñõîäÿ èç ïîäîáíûõ ñîîáðàæåíèé,
ìîæíî ñòðîèòü êîíè÷åñêèå è àôôèííûå îáîëî÷êè ìíîæåñòâ.
33
Òåîðåìà 2.1.5. Âûïóêëàÿ (êîíè÷åñêàÿ, àôôèííàÿ) îáîëî÷êà ïðî-
n
èçâîëüíîãî ìíîæåñòâà X ⊆ R ñîâïàäàåò ñî ìíîæåñòâîì âñåõ âû-
ïóêëûõ (íåîòðèöàòåëüíûõ, àôôèííûõ) êîìáèíàöèåé òî÷åê èç X .
Äîêàçàòåëüñòâî ïðîâåäåì òîëüêî äëÿ ñëó÷àÿ âûïóêëîé îáîëî÷êè.
Îáîçíà÷èì ÷åðåç Z ñîâîêóïíîñòü âñåõ âûïóêëûõ êîìáèíàöèé òî÷åê èç
X. Òðåáóåòñÿ ïîêàçàòü, ÷òî Z = convX .
 ïåðâóþ î÷åðåäü ïðîâåðèì, ÷òî Z âûïóêëîå ìíîæåñòâî. Ïóñòü
x∈Z è y ∈ Z. Èìååì
k
X k
X
x= λ i xi , xi ∈ X, λi ≥ 0, 1 ≤ i ≤ k, λi = 1,
i=1 i=1
s
X s
X
y= µj yj , yj ∈ X, µj ≥ 0, 1 ≤ j ≤ s, µj = 1.
j=1 j=1
k
X s
X
α λi + (1 − α) µj = 1.
i=1 j=1
34
êàêîå êîíêðåòíîå êîëè÷åñòâî òî÷åê äîëæíî áûòü çàäåéñòâîâàíî â ýòîé
êîìáèíàöèè, â òåîðåìå 2.1.5 íå óòî÷íÿåòñÿ. Âàæíûé ôàêò ñîñòîèò â
òîì, ÷òî â êîíå÷íîìåðíîì ïðîñòðàíñòâå Rn äîñòàòî÷íî âçÿòü íå áîëåå
÷åì n+1 òî÷êó. Ýòî ôóíäàìåíòàëüíûé ðåçóëüòàò âûïóêëîãî àíàëèçà
â êîíå÷íîìåðíûõ ïðîñòðàíñòâàõ.
λi λs
α = min = .
i: µi >0 µi µs
35
Äîêàçàòåëüñòâî. Ðàññìîòðèì â Rn+1 ìíîæåñòâî Y = X × {1}.
Óñëîâèå, ÷òî òî÷êà x ïðèíàäëåæèò âûïóêëîé îáîëî÷êå convX ýêâè-
âàëåíòíî óñëîâèþ, ÷òî òî÷êà [x, 1] ïðèíàäëåæèò coneY . Íî òîãäà ïî
ñëåäñòâèþ ê ëåììå 2.1.1 ýòó òî÷êó ìîæíî ïðåäñòàâèòü â âèäå
m
X
[x, 1] = λi [xi , 1], xi ∈ X, λi ≥ 0, 1 ≤ i ≤ m,
i=1
m
X m
X
x= λ i xi , λi = 1,
i=1 i=1
n
Ïóñòü ε>0 è ïóñòü ∆ε (x) îáîçíà÷àåò ε-îêðåñòíîñòü òî÷êè x∈R ,
ò.å. ìíîæåñòâî
n
∆ε (x) = y ∈ R : ky − xk ≤ ε = x + εB,
n n
ãäå B = y ∈ R : kyk ≤ 1 åäèíè÷íûé øàð â R .
Îïðåäåëåíèå 2.2.1. Òî÷êà x ∈ X íàçûâàåòñÿ âíóòðåííåé òî÷êîé
n
ìíîæåñòâà X ⊆ R , åñëè ñóùåñòâóåò òàêîå ε > 0, ÷òî ∆ε (x) ⊆ X .
Ñîâîêóïíîñòü âñåõ âíóòðåííèõ òî÷åê ìíîæåñòâà X íàçûâàåòñÿ åãî
âíóòðåííîñòüþ è îáîçíà÷àåòñÿ intX . Âûïóêëîå ìíîæåñòâî, èìåþùåå
íåïóñòóþ âíóòðåííîñòü, íàçûâàåòñÿ òàêæå âûïóêëûì òåëîì.
×àñòî îêàçûâàåòñÿ, ÷òî âíóòðåííîñòü âûïóêëîãî ìíîæåñòâà ïóñòà.
Íàïðèìåð, åñëè âçÿòü îòðåçîê â äâóìåðíîì ïðîñòðàíñòâå (ñì. ðèñ. 2.3),
òî âñå åãî òî÷êè íå ÿâëÿþòñÿ âíóòðåííèìè. Îäíàêî èíòóèòèâíî ïîíÿò-
íî, ÷òî òî÷êè, îòëè÷íûå îò êîíöåâûõ òî÷åê îòðåçêà, îáëàäàþò îïðåäå-
ëåííûìè ñâîéñòâàìè, ïðèñóùèìè âíóòðåííåé òî÷êå. Íàäî òîëüêî ïî-
ãðóçèòü äàííûé îòðåçîê â äðóãîå ïðîñòðàíñòâî, òî÷íåå, â åãî àôôèí-
íóþ îáîëî÷êó, è çàáûòü îá îñòàëüíûõ òî÷êàõ äâóìåðíîãî ïðîñòðàíñòâà
R2 . Ýòè ñîîáðàæåíèÿ ïðèâîäÿò â ñëåäóþùåìó ïîíÿòèþ.
Îïðåäåëåíèå 2.2.2. Òî÷êà x ∈ X íàçûâàåòñÿ îòíîñèòåëüíî âíóò-
n
ðåííåé òî÷êîé ìíîæåñòâà X ⊆ R , åñëè ñóùåñòâóåò òàêîå ε > 0,
÷òî ∆ε (x) ∩ aX ⊆ X .
36
Ðèñ. 2.3. Îòíîñèòåëüíàÿ âíóòðåííîñòü ìíîæåñòâà
37
Ðèñ. 2.4. Ìíîæåñòâà riX1 è riX2 íå ïåðåñåêàþòñÿ
ò.å. êâàäðàò â R2 è îäíó èç åãî ñòîðîí (ñì. ðèñ. 2.4), òî îáà ìíîæåñòâà
X1 è X2 èìåþò íåïóñòûå îòíîñèòåëüíûå âíóòðåííîñòè:
n 2
o
riX1 = x ∈ R : 0 < xi < 1, i = 1, 2 ,
n 2
o
riX2 = x ∈ R : x2 = 0, 0 < x1 < 1, ,
êîòîðûå íå ïåðåñåêàþòñÿ ìåæäó ñîáîé.
\ intX íàçûâàåòñÿ ãðàíèöåé ìíîæåñòâà X è îáî-
Ìíîæåñòâî clX
çíà÷àåòñÿ∂X . Ñîîòâåòñòâåííî ìíîæåñòâî clX \ riX íàçûâàåòñÿ îò-
íîñèòåëüíîé ãðàíèöåé X è îáîçíà÷àåòñÿ r∂X . Åñëè intX íåïóñòîå
ìíîæåñòâî, òî îòíîñèòåëüíàÿ ãðàíèöà X ñîâïàäàåò ñ ãðàíèöåé X .
 ïðîòèâíîì ñëó÷àå îíè ìîãóò ñèëüíî îòëè÷àòüñÿ.
Íàðÿäó ñ ãðàíè÷íûìè è îòíîñèòåëüíî ãðàíè÷íûìè òî÷êàìè âûïóê-
ëûõ ìíîæåñòâ èíòåðåñ ïðåäñòàâëÿþò òàêæå èõ êðàéíèå òî÷êè.
Îïðåäåëåíèå 2.2.4. Òî÷êà x âûïóêëîãî ìíîæåñòâà X ⊂ R íà-
n
38
òî÷êè îãðàíè÷èâàþùåé åãî îêðóæíîñòè. Ó âûïóêëîãî êîíóñà êðàéíåé
òî÷êîé ìîæåò áûòü òîëüêî åãî âåðøèíà.
Èìååò ìåñòî ñëåäóþùåå ïðîñòîå óòâåðæäåíèå, êîòîðîå èíîãäà áå-
ðóò çà îïðåäåëåíèå êðàéíåé òî÷êè â êîíå÷íîìåðíîì ïðîñòðàíñòâå.
39
Òåîðåìà 2.2.2. Ëþáîå íåïóñòîå âûïóêëîå ìíîæåñòâî X ⊆ R
n
m m m
!
X X X
λ i xi = λi xi + 1 − λi 0n . (2.2.1)
i=1 i=1 i=1
m
X
x(λ) = Aλ = λ i xi , λ = [λ1 , . . . , λm ]T , (2.2.2)
i=1
40
λ ∈ Λ òî÷êà x(λ)
Îíî îòêðûòîå è ñîãëàñíî (2.2.1) è (2.2.2) äëÿ ëþáîãî
ÿâëÿåòñÿ âûïóêëîé êîìáèíàöèåé òî÷åê x1 , . . . , x m
0n èç X . Èç-çà âû- è
ïóêëîñòè X äàííàÿ òî÷êà x(λ) îáÿçàòåëüíî äîëæíà ïðèíàäëåæàòü X .
Îòñþäà â ñèëó ïðîèçâîëüíîñòè âûáîðà λ ∈ Λ çàêëþ÷àåì, ÷òî ìíîæå-
ñòâî
n
XΛ = x ∈ R : x = x(λ), λ ∈ Λ
ïðèíàäëåæèò X, ïðè÷åì îíî âûïóêëîå, ïîñêîëüêó ÿâëÿåòñÿ îáðàçîì
âûïóêëîãî ìíîæåñòâà Λ ïðè ëèíåéíîì îòîáðàæåíèè x(λ).
Ó îòîáðàæåíèÿ x(λ) èìååòñÿ îáðàòíîå îòîáðàæåíèå λ(x), êîòîðîå
òàêæå ÿâëÿåòñÿ ëèíåéíûì. Åãî ìîæíî ïîëó÷èòü ïîñëå óìíîæåíèÿ ëå-
x = Aλ íà ìàòðèöó AT, â ðåçóëüòàòå ÷åãî
âîé è ïðàâîé ÷àñòåé ðàâåíñòâà
îíî ïðèíèìàåò âèä AT x = AT Aλ, îòêóäà, òàê êàê êâàäðàòíàÿ ìàòðè-
T T −1 T
öà A A íåîñîáàÿ, ïðèõîäèì ê λ(x) = (A A) A x. Íî âñå ëèíåéíûå
îòîáðàæåíèÿ íåïðåðûâíû, ïîýòîìó îòîáðàæåíèå x(λ) ÿâëÿåòñÿ ãîìåî-
ìîðôèçìîì, îíî îòîáðàæàåò îòêðûòûå ìíîæåñòâà èç Rm â îòêðûòûå
ìíîæåñòâà â L. Íî òîãäà ìíîæåñòâî XΛ , ÿâëÿþùååñÿ îáðàçîì îòêðû-
òîãî ìíîæåñòâà Λ, äîëæíî áûòü îòêðûòûì ìíîæåñòâîì â L. Îòñþäà
ñëåäóåò, ÷òî äëÿ ëþáîé òî÷êè x ∈ XΛ ñóùåñòâóåò òàêîå ε > 0, äëÿ
êîòîðîãî
∆ε (x) ∩ L ⊆ XΛ ⊆ X. (2.2.3)
41
è òî÷êà x∈X ÿâëÿåòñÿ îòíîñèòåëüíî âíóòðåííåé, åñëè
1
x2 = (xλ − λx1 ) .
1−λ
Ïóñòü ε1 > 0 . Âîçüìåì ε1 -îêðåñòíîñòü Uε1 (x1 ) òî÷êè x1 . Âîçüìåì òàê-
æå îêðåñòíîñòü Uε2 (x2 ) òî÷êè x2 , ïîëîæèâ
42
è x̄2 ∈ Uε2 (x2 ), òî
1−λ
kx̄1 − x1 k = kx2 − x̄2 k < ε1 .
λ
Êðîìå òîãî, ñîãëàñíî (2.2.4) èç-çà ïðèíàäëåæíîñòè òî÷êè x2 − x̄2 ëè-
íåéíîìó ïîäïðîñòðàíñòâó LinX ñëåäóåò ïðèíàäëåæíîñòü ýòîìó ïîä-
ïðîñòðàíñòâó è òî÷êè x̄1 −x1 . Òàêèì îáðàçîì, x̄1 ïðèíàäëåæèò îêðåñò-
íîñòè Uε1 (x1 ).
Uε1 (x1 ) ÿâëÿåòñÿ îòíîñèòåëüíî îòêðûòûì ìíîæåñòâîì.
Îêðåñòíîñòü
Íî òîãäà, î÷åâèäíî, ìíîæåñòâà αUε1 (x1 ) è y + Uε1 (x1 ) òàêæå îòíîñè-
n
òåëüíî îòêðûòû äëÿ ëþáûõ íåíóëåâûõ α ∈ R è ïðîèçâîëüíûõ y ∈ R .
Èñïîëüçóÿ òåïåðü ïðåäñòàâëåíèå xλ = λx̄1 + (1 − λ)x̄2 , ïîëó÷àåì, ÷òî
òî÷êà xλ ïðèíàäëåæèò îòíîñèòåëüíî îòêðûòîìó âûïóêëîìó ìíîæå-
ñòâó
W = λUε1 (x1 ) + (1 − λ)x̄2 .
Òàê êàê x̄2 ∈ X Uε1 (x1 ) ⊆ X , òî â ñèëó âûïóêëîñòè ìíîæåñòâà X
è
èìååò ìåñòî âêëþ÷åíèå W ⊆ X . Ïîýòîìó xλ ∈ X è, ñòàëî áûòü, xλ
ÿâëÿåòñÿ îòíîñèòåëüíî îòêðûòîé òî÷êîé ìíîæåñòâà X .
43
àôôèííûì ìíîæåñòâîì, ÿâëÿåòñÿ îäíîâðåìåííî è îòíîñèòåëüíî îò-
êðûòûì è çàìêíóòûì ìíîæåñòâîì. Ïîýòîìó cl(aX) = aX . Ñëåäî-
âàòåëüíî, clX ⊆ aX . Îòñþäà, òàê êàê àôôèííàÿ îáîëî÷êà clX íå
ìåíüøå, ÷åì àôôèííàÿ îáîëî÷êà ñàìîãî ìíîæåñòâà X , çàêëþ÷àåì, ÷òî
a(clX) = aX , ò.å. âûïîëíÿåòñÿ ïåðâîå èç ðàâåíñòâ (2.2.6). Âòîðîå ðà-
âåíñòâî a(riX) = aX èç (2.2.6) òàêæå î÷åâèäíî, ïîñêîëüêó êàæäàÿ
òî÷êà èç riX ïðèíàäëåæèò aX âìåñòå ñî ñâîåþ îêðåñòíîñòüþ.
Ó÷ò¼ì, ÷òî X ⊆ clX . Òîãäà íà îñíîâàíèè ïîëó÷åííîãî óòâåðæäå-
íèÿ î ñîâïàäåíèè àôôèííûõ îáîëî÷åê ó ìíîæåñòâ X è clX ïðèõîäèì
ê âêëþ÷åíèþ: riX ⊆ ri (clX). Îñòàåòñÿ ïîêàçàòü, ÷òî èç x ∈ ri (clX)
ñëåäóåò x ∈ riX . Äåéñòâèòåëüíî, ïóñòü x1 òî÷êà èç riX , îòëè÷íàÿ
îò x. Ïóñòü, êðîìå òîãî, l ïðÿìàÿ, ïðîõîäÿùàÿ ÷åðåç ýòè äâå òî÷êè.
Òîãäà, áåðÿ λ > 1, ïîëó÷àåì, ÷òî òî÷êà
44
Íî òîãäà, êàê ñëåäóåò èç óòâåðæäåíèÿ òåîðåìû 2.2.4, ó ýòèõ äâóõ ìíî-
æåñòâ riX1 ∩ riX2 è X1 ∩ X2 äîëæíû áûòü îäèíàêîâûå îòíîñèòåëüíûå
âíóòðåííîñòè. Ïîýòîìó
45
Îïðåäåëåíèå 2.3.1. Ïóñòü èìåþòñÿ òî÷êà a ∈ R è ìíîæå-
n
n
ñòâî X ⊆ R . Òî÷êà πX (a) ∈ X íàçûâàåòñÿ ïðîåêöèåé a íà X , åñëè
kπX (a) − ak ≤ kx − ak äëÿ ëþáîãî x ∈ X .
Åñëè a ∈ X , òî ïîíÿòíî, ÷òî πX (a) = a. Åñëè X îòêðûòîå ìíî-
æåñòâî è a∈/ X , òî ïðîåêöèè òî÷êè a íà X íå ñóùåñòâóåò.
Ëåììà 2.3.1. Ïðîåêöèÿ òî÷êè a íà íåïóñòîå çàìêíóòîå ìíîæå-
ñòâî X âñåãäà ñóùåñòâóåò.
Äîêàçàòåëüñòâî. Åñëè a ∈ X , òî äàííîå óòâåðæäåíèå òðèâèàëüíî.
Ïðåäïîëîæèì òåïåðü, ÷òî a∈
/ X. Òîãäà, ââîäÿ â ðàññìîòðåíèå ôóíê-
öèþ f (x) = kx − ak, f (x) > 0 äëÿ âñåõ x ∈ X . Âîçüìåì
ïîëó÷àåì, ÷òî
ïðîèçâîëüíóþ òî÷êóx0 ∈ X . Äëÿ íåå âûïîëíÿåòñÿ: f (x0 ) > 0. Ïóñòü
n
Y = x ∈ R : f (x) ≤ f (x0 ) è ïóñòü Z = X ∩ Y . Ìíîæåñòâî Z êàê
ïåðåñå÷åíèå äâóõ çàìêíóòûõ ìíîæåñòâ, îäíî èç êîòîðûõ (ìíîæåñòâî
Y) îãðàíè÷åíî, ÿâëÿåòñÿ êîìïàêòíûì, ïðè÷åì, î÷åâèäíî, íå ïóñòûì.
Ïî òåîðåìå Âååðøòðàññà íåïðåðûâíàÿ ôóíêöèÿ f (x) äîñòèãàåò íà Z
ñâîåãî ìèíèìóìà. Ëþáàÿ òî÷êà åå ìèíèìóìà ïî îïðåäåëåíèþ ÿâëÿåòñÿ
ïðîåêöèåé òî÷êè a íà X.
Ïîíÿòíî, ÷òî â ñëó÷àå ïðîèçâîëüíîãî çàìêíóòîãî ìíîæåñòâà X
ïðîåêöèÿ òî÷êè a∈
/X íà X íå îáÿçàòåëüíî äîëæíà áûòü åäèíñòâåí-
íîé. Îäíàêî â ñëó÷àå âûïóêëîãî ìíîæåñòâà ýòî òàê ëþáàÿ òî÷êà
ìîæåò èìåòü òîëüêî åäèíñòâåííóþ ïðîåêöèþ.
1 1 1 2
b= π (a) + πX (a).
2 X 2
46
Òàê êàê b ÿâëÿåòñÿ âûïóêëîé êîìáèíàöèåé òî÷åê èç âûïóêëîãî ìíîæå-
ñòâà X, òî b ∈ X . Èìååì ñ èñïîëüçîâàíèåì íåðàâåíñòâà òðåóãîëüíèêà
äëÿ íîðì
kb − ak = k 12 πX1
(a) + 12 πX
2
(a) − ak <
1 1 1 2
< 2 kπ X (a) − ak + 2 kπX (a) − ak =
1 2
= kπX (a) − ak = kπX (a) − ak.
1 2
Ìû ïðèøëè ê ïðîòèâîðå÷èþ ñ òåì, ÷òî πX (a) è πX (a) ÿâëÿþòñÿ ïðîåê-
öèÿìè òî÷êè a íà X . Ïîýòîìó ïðîåêöèÿ πX (a) íà âûïóêëîå ìíîæåñòâî
X åäèíñòâåííà.
Äëÿ âñåõ x ∈ X è ëþáîãî 0 < λ < 1 òî÷êà xλ = λx + (1 − λ)πX (a)
ïðèíàäëåæèò X . Ïîýòîìó èç-çà òîãî, ÷òî πX (a) ∈ X åñòü ïðîåêöèÿ
òî÷êè a íà X , ñïðàâåäëèâî íåðàâåíñòâî
Îòñþäà
47
Ðèñ. 2.5. Ãåîìåòðè÷åñêèé ñìûñë íåðàâåíñòâà (2.3.1)
äëÿ ëþáîãî x ∈ X .
Äîêàçàòåëüñòâî. Òàê êàê àôôèííîå ìíîæåñòâî ÿâëÿåòñÿ âûïóê-
ëûì çàìêíóòûì ìíîæåñòâîì, òî â ñèëó òåîðåìû 2.3.1 è óòâåðæäåíèÿ
2.3.1 äëÿ òîãî, ÷òîáû x̄ ∈ X áûëà áû ïðîåêöèåé òî÷êè a íà X, íåîá-
õîäèìî è äîñòàòî÷íî, ÷òîáû äëÿ âñåõ x∈X âûïîëíÿëîñü íåðàâåíñòâî
(2.3.3).
Ïóñòü x ïðîèçâîëüíàÿ òî÷êà èç X , îòëè÷íàÿ îò x̄. Ðàññìîòðèì
ïðÿìóþ L, ïðîõîäÿùóþ ÷åðåç òî÷êè x è x̄. Òàê êàê X àôôèííîå ìíî-
æåñòâî, òî ýòà ïðÿìàÿ L öåëèêîì ëåæèò â X . Âîçüìåì òåïåðü äðóãóþ
òî÷êó x̃, êîòîðàÿ ïðèíàäëåæèò ïðÿìîé L è ñèììåòðè÷íà ïî îòíîøå-
íèþ ê òî÷êå x, ò.å. îíà óäîâëåòâîðÿåò ðàâåíñòâó: x̃ − x̄ = −(x − x̄)
èëè
x̃ = 2x̄ − x. (2.3.5)
48
Äëÿ îáåèõ òî÷åê x è x̃ âûïîëíÿåòñÿ íåðàâåíñòâî (2.3.3):
1 n i i
ò.å. ýòî òàêîé âåêòîð a+ = [a+ , . . . , a+ ], ó êîòîðîãî a+ = max[a , 0],
1 ≤ i ≤ n. Â ýòîì ëåãêî óáåäèòüñÿ ñ ïîìîùüþ íåðàâåíñòâà (2.3.3).
2. Ïðåäïîëîæèì òåïåðü, ÷òî X = Lc , ãäå
n
n
X
Lc = {x ∈ R : xi = c}, c ∈ R.
i=1
n
!
1 X
i
πLc (a) = a − a − c e.
n i=1
49
Íåòðóäíî âèäåòü, ÷òî µ1 = 1 è, åñëè µk > 0, òî µk > µk+1 . Äåéñòâè-
òåëüíî, ïðè µk+1 ≤ 0 ýòî íåðàâåíñòâî î÷åâèäíî.  ïðîòèâíîì ñëó÷àå
Pk
µk ≥ k −1 1 + kaik+1 − j=1 aij =
h Pk+1 i
= k −1 1 + (k + 1)aik+1 − j=1 aij >
h Pk+1 i
> (k + 1)−1 1 + (k + 1)aik+1 − j=1 aij = µk+1 .
1 X
σ(a) = ai − 1 .
m
i∈J+ (a)
Êðîìå òîãî, åñëè âçÿòü íàèìåíüøóþ êîìïîíåíòó x̄im ñðåäè âñåõ êîìïî-
ij
íåíò x̄ ,j ∈ J+ (a), òî äëÿ íåå â ñèëó âûøåóêàçàííîãî ñïîñîáà âûáîðà
íîìåðà m ïîëó÷àåì
P
m
x̄im = aim − m−1 j=1 a ij
− 1 =
m
= m−1 1 + maim − j=1 aij = µm > 0.
P
Pn Pn
y1 = πL0 (x̄ − a) = x̄ − a − n−1 i i
i=1 x̄ − P i=1 a e =
n
= x̄ − a − n−1 1 − i=1 ai e.
50
Pn i
Îáîçíà÷èì s(a) = i=1 a . Ïîñëå ïîäñòàíîâêè ñîîòâåòñòâóþùèõ çíà-
÷åíèé êîìïîíåíò âåêòîðà x̄ èç (2.3.7) ïîëó÷àåì
Ïîñêîëüêó
Pm Pn
hx − x̄,hy1 i =−σ(a) j=1 (xij − x̄ij ) − j=1+m ij ij
ix a =
Pm ij Pn
= − σ(a) x − 1 + j=1+m xij aij =
h Pj=1 P P i
m m n
= − m−1 ij
j=1 a − 1
ij
j=1 x − 1 +
ij ij
j=m+1 x a =
P P
−1 m ij n ij
Pn ij ij
=m j=1 a − 1 j=m+1 x − j=m+1 x a .
(2.3.8)
Íî èç òîãî, ÷òî µk+1 ≤ 0, ñëåäóåò íåðàâåíñòâî
m
X
−1
m ( aij − 1) ≥ aim+1 .
j=1
Îòñþäà è èç (2.3.8) ñ ó÷åòîì òîãî, ÷òî aij ≤ aim+1 äëÿ âñåõ m < j ≤ n,
ïðèõîäèì ê íåðàâåíñòâó
Pn Pn
hx − x̄, y1 i ≥ aim+1 j=m+1 x ij − j=m+1 xij aij =
Pn
= j=m+1 xij aim+1
− aij ≥ 0.
51
Ïóñòü X1 è X2 äâà ïðîèçâîëüíûõ ìíîæåñòâà èç Rn . Äàäèì ðÿä
îïðåäåëåíèé.
äëÿ íåêîòîðîãî β ∈ R.
äëÿ íåêîòîðîãî β ∈ R.
n
Ïóñòü Γp,β = x ∈ R : hp, xi = β ãèïåðïëîñêîñòü â Rn è ïóñòü
−
Γ+
p,β è Γp,β ïîðîæäàåìûå ýòîé ãèïåðïëîñêîñòüþ ñîîòâåòñòâóþùèå
çàìêíóòûå ïîëóïðîñòðàíñòâà:
n n
Γ+ Γ−
p,β = x ∈ R : hp, xi ≥ β , p,β = x ∈ R : hp, xi ≤ β .
ðîå â ïîëóïðîñòðàíñòâå Γ−
p,β . Ïðî ãèïåðïëîñêîñòü Γp,β â ýòîì ñëó÷àå
ãîâîðÿò, ÷òî îíà ðàçäåëÿåò ìíîæåñòâà X1 è X2 èëè ÷òî îíà ÿâëÿåòñÿ
ðàçäåëÿþùåé ãèïåðïëîñêîñòüþ.
52
Ðèñ. 2.6. Ñîáñòâåííî îòäåëèìûå ìíîæåñòâà
53
Ðèñ. 2.8. Ñèëüíî îòäåëèìûå ìíîæåñòâà
δ
ρ(X1 , X2 ) ≥ > 0.
kpk
54
òåîðåìå 2.2.4 òàêàÿ ïðîåêöèÿ ñóùåñòâóåò è åäèíñòâåííà. Îáîçíà÷èì åå
p = πX (0n ). Âåêòîð p íåíóëåâîé, è èç íåðàâåíñòâà (2.3.2) ñëåäóåò, ÷òî
Îòêóäà
inf hp, x1 − x2 i ≥ kpk2 > 0
x1 ∈X1 , x2 ∈X2
èëè
inf hp, x1 i > sup hp, x2 i. (2.4.3)
x1 ∈X1 x2 ∈X2
Ïóñòü
β1 = inf hp, x1 i, β2 = sup hp, x2 i.
x1 ∈X1 x2 ∈X2
55
Ïåðåéäåì òåïåðü ê ñëó÷àþ, êîãäà a ∈ clX . Òàê êàê ïî ïðåäïîëî-
æåíèþ a∈
/ riX , òî ýòî âîçìîæíî òîãäà è òîëüêî òîãäà, êîãäà a ∈ r∂X
(îòíîñèòåëüíîé ãðàíèöå X ). Êðîìå òîãî, äëÿ âûïóêëîãî ìíîæåñòâà
X åãî àôôèííàÿ îáîëî÷êà ñîâïàäàåò ñ àôôèííîé îáîëî÷êîé clX , ÷òî
ïðèâîäèò ê âêëþ÷åíèþ clX ⊆ a(clX) = aX, èç êîòîðîãî ñëåäóåò, ÷òî
a ∈ aX .
Âîçüìåì ïîñëåäîâàòåëüíîñòü òî÷åê ak ∈ aX , ak ∈
/ clX , è òàêóþ,
÷òî ak → a ïðè k → ∞. Ðàññìîòðèì íåíóëåâûå âåêòîðû
èëè
hpk , x − ak i ≥ kp̃k k > 0 ∀ x ∈ clX.
Îòñþäà ïðèõîäèì ê íåðàâåíñòâó
x̃ ∈ ∆ε (x) ∩ aX ⊆ X.
56
Ðèñ. 2.9. Îïîðíàÿ ãèïåðïëîñêîñòü (ñîáñòâåííàÿ)
Òàêèì îáðàçîì, hp, xi > hp, ai.  ñèëó ïðîèçâîëüíîñòè òî÷êè x èç riX ,
îòñþäà çàêëþ÷àåì, ÷òî òî÷êà a ñòðîãî îòäåëèìà îò riX .
Îñîáûé èíòåðåñ ïðåäñòàâëÿþò ãèïåðïëîñêîñòè, êîòîðûå ïðîõîäÿò
÷åðåç ãðàíè÷íóþ òî÷êó âûïóêëîãî ìíîæåñòâà è ðàçäåëÿþò ýòî ìíîæå-
ñòâî è ãðàíè÷íóþ òî÷êó.
57
ñòðîãî îòäåëèìà îò riX , ïðè÷åì, êàê ñëåäóåò èç äîêàçàòåëüñòâà òåî-
ðåìû, ðàçäåëÿþùóþ ãèïåðïëîñêîñòü ìîæíî ïðîâåñòè ÷åðåç a. Ýòà ãè-
ïåðïëîñêîñòü è áóäåò ñîáñòâåííîé îïîðíîé ãèïåðïëîñêîñòüþ ê X â a.
Ðàññìîòðèì äàëåå ñëó÷àé, êîãäà a∈ riX . Ïîñêîëüêó ïî óñëîâèÿì
òåîðåìû, a ∈ ∂X , = ∅ è
òî ýòî âîçìîæíî òîëüêî òîãäà, êîãäà intX
n
aX 6= R m ìíîæåñòâà X , ñîâïàäàþùåé ñ
. Îòñþäà äëÿ ðàçìåðíîñòè
ðàçìåðíîñòüþ àôôèííîé îáîëî÷êè X , ñïðàâåäëèâî íåðàâåíñòâî m <
< n. Òîãäà ìîæíî óêàçàòü (m × n)-ìàòðèöó A ïîëíîãî ðàíãà (ðàâíîãî
m) è m-ìåðíûé âåêòîð b òàêèå, ÷òî
n
aX = x ∈ R : Ax = b .
èëè
hp, x1 i > hp, x2 i ∀ x1 ∈ riX1 , ∀ x2 ∈ riX2 . (2.4.8)
 ÷àñòíîñòè,
hp, x̄1 i > hp, x̄2 i (2.4.9)
58
Íî X1 ⊆ clX1 , X2 ⊆ clX2 . Ïîýòîìó íàðÿäó ñ (2.4.10) èìååò ìåñòî
íåðàâåíñòâî
59
2.5. Ñîïðÿæåííûå ìíîæåñòâà è êîíóñû
60
Äîêàçàòåëüñòâî. Îáîçíà÷èì ìíîæåñòâî, ñòîÿùåå â ïðàâîé ÷àñòè
ðàâåíñòâà (2.5.1), ÷åðåç x ∈ X , òî, ïî îïðåäåëåíèþ ñîïðÿ-
X̃ . Åñëè
æåííîãî ìíîæåñòâà X ∗, y ∈ X ∗ âûïîëíÿåòñÿ íåðàâåíñòâî,
äëÿ âñåõ
hy, xi ≥ −1. Íî ýòî è îçíà÷àåò, ÷òî x ∈ X ∗∗ . Òàêèì îáðàçîì, X ⊆ X ∗∗ .
∗∗
Îòñþäà ñëåäóåò, ÷òî X̃ ⊆ X , ïîñêîëüêó X̃ íå òîëüêî ñîäåðæèò X ,
íî è ÿâëÿåòñÿ íàèìåíüøèì âûïóêëûì çàìêíóòûì ìíîæåñòâîì, âêëþ-
÷àþùèì â ñåáÿ íà÷àëî êîîðäèíàò òî÷êó 0n . À âòîðîå ñîïðÿæåííîå
ìíîæåñòâî X ∗∗ , êàê âñÿêîå ñîïðÿæåííîå ìíîæåñòâî, äîëæíî îáëàäàòü
ýòèìè ñâîéñòâàìè.
Ïîêàæåì òåïåðü, ÷òî èìååò ìåñòî îáðàòíîå âêëþ÷åíèå X ∗∗ ⊆ X̃ .
∗∗
Äîïóñòèì ïðîòèâíîå, ò.å. ñóùåñòâóåò òàêàÿ òî÷êà a ∈ X , ÷òî a ∈ / X̃ .
Òàê êàê X̃ çàìêíóòîå âûïóêëîå ìíîæåñòâî, òî ïî òåîðåìå 2.4.2 òî÷êà a
ñèëüíî îòäåëèìà îò ìíîæåñòâà X̃ . Ïîýòîìó íàéäóòñÿ íåíóëåâîé âåêòîð
n
p ∈ R è β ∈ R òàêèå, ÷òî
61
åäèíè÷íûé øàð îòíîñèòåëüíî p-é ãåëüäåðîâñêîé íîðìû. Áåðÿ øàð B1 ,
ïîëó÷àåì, ÷òî B1∗ = B∞ . Ñ äðóãîé ñòîðîíû, B∞∗
= B1 . Óêàçàííàÿ
ñâÿçü ìåæäó åäèíè÷íûìè øàðàìè ñîõðàíÿåòñÿ è äëÿ ïðîìåæóòî÷íûõ
1 < p < ∞, à èìåííî, Bp∗ = Bp∗ , ãäå p è p∗ ñîïðÿæåííûå ÷èñëà, ò.å.
p−1 + p−1
∗ = 1.
n
K ∗ = y ∈ R : hy, xi ≥ 0
∀x∈K . (2.5.3)
62
Ðèñ. 2.10. Ñîïðÿæåííûé êîíóñ
n
K ∗∗ = (K ∗ )∗ = x ∈ R : hx, yi ≥ 0 ∀ y ∈ K ∗ ,
êîíóñîì.
Ðàññìîòðèì åùå îäèí ïðèìåð âûïóêëîãî êîíóñà â Rn .
Ïðèìåð 1. Ïóñòü A ìàòðèöà ðàçìåðà n × m. Ðàññìîòðèì ìíî-
æåñòâî
n m
K = x ∈ R : x = Az, z ∈ R+ .
Äàííîå ìíîæåñòâî, áóäó÷è êîíè÷åñêîé îáîëî÷êîé ñòîëáöîâ ìàòðèöû
A, ÿâëÿåòñÿ êîíóñîì. Åãî ÷àñòî îáîçíà÷àþò êàê posA. Íàéäåì êîíóñ,
ñîïðÿæåííûé ê ýòîìó êîíóñó. Ñîãëàñíî ôîðìóëå (2.5.3)
n m
(posA)∗ = y ∈ R : hy, xi ≥ 0 ∀ x = Az, z ∈ R+ ,
∗ m
: AT y ≥ 0 m .
(posA) = y ∈ R (2.5.4)
63
Óòâåðæäåíèå 2.5.2. Ïóñòü L ëèíåéíîå ïîäïðîñòðàíñòâî â
Rn . Òîãäà
n
L∗ = y ∈ R : hy, xi = 0 ∀ x ∈ L = L⊥ ,
(X + K)∗ = X ∗ ∩ K ∗ . (2.5.5)
hy, x1 i ≥ −1 ∀ x1 ∈ X, hy, x2 i ≥ 0 ∀ x2 ∈ K.
64
Ñëåäñòâèå 2.5.1. Ïóñòü K1 , . . ., Km êîíóñû â R . Òîãäà
n
m
!∗ m
X \
Ki = Ki∗ .
i=1 i=1
∗ ∗ ∗ ∗
(K1 ∩ K2 ) = (K1∗∗ ∩ K2∗∗ ) = (K1∗ + K2∗ ) =
∗∗
= (K1∗ + K2∗ ) = cl (K1∗ + K2∗ ) .
Ìû ïðèøëè ê (2.5.8).
Ðåçóëüòàò óòâåðæäåíèÿ 2.5.4 îñòàåòñÿ ñïðàâåäëèâûì è ïðè áîëü-
øåì ÷èñëå êîíóñîâ, à íå òîëüêî äëÿ äâóõ êîíóñîâ. Îòìåòèì òàêæå,
÷òî ïðè íåêîòîðûõ äîïîëíèòåëüíûõ ïðåäïîëîæåíèÿõ ìîæíî óáðàòü
îïåðàöèþ çàìûêàíèÿ â ïðàâîé ÷àñòè ôîðìóëû (2.5.8). Ïðèâåäåì áåç
äîêàçàòåëüñòâà îäèí òàêîé ðåçóëüòàò, ïðè÷åì â îáùåì ñëó÷àå, êîãäà
åñòü íåñêîëüêèõ êîíóñîâ.
n
K = x ∈ R : Ax ≥ 0m .
65
Ìíîæåñòâî K, êàê ïåðåñå÷åíèå êîíå÷íîãî ÷èñëà çàìêíóòûõ ïîëóïðî-
ñòðàíñòâ
n
Ki = x ∈ R : hai , xi ≥ 0 , 1 ≤ i ≤ m,
ÿâëÿåòñÿ, ðàçóìååòñÿ, êîíóñîì, ïðè÷åì âûïóêëûì è çàìêíóòûì. Èìå-
åì
Ki∗ = {y = λi ai : λ ≥ 0} ,
ò.å. Ki∗ ÿâëÿåòñÿ ëó÷îì, âûïóùåííûì èç íà÷àëà êîîðäèíàò â íàïðàâ-
ëåíèè âåêòîðà ai . Ýòî òàêæå âûïóêëûé çàìêíóòûé êîíóñ. Äëÿ ñóììû
êîíóñîâ Ki∗ ïîëó÷àåì
m
n
X
Ki∗ = y ∈ R : y = λ1 a1 + · · · + λm am , λ ≥ 0m .
(2.5.9)
i=1
m
!∗
n
\
∗
K = Ki = y ∈ R : y = λ1 a1 + · · · + λm am , λ ≥ 0m .
i=1
(2.5.10)
 ìàòðè÷íîì âèäå ôîðìóëà (2.5.10) çàïèñûâàåòñÿ êàê K ∗ = posAT .
Ïîíÿòíî, ÷òî ê ïîëó÷åííîìó âûðàæåíèþ äëÿ ñîïðÿæåííîãî êîíóñà
K∗ ìîæíî áûëî áû ïðèéòè áîëåå ïðîñòûì ïóòåì, ïîñêîëüêó êîíóñ,
T
ñîïðÿæåííûé ê êîíóñó posA , êàê ïîêàçàíî â ïðèìåðå 1, èìååò âèä
∗ T ∗∗
(2.5.4). Ïîýòîìó K = (posA ) = posAT .
Ñîïðÿæåííûå êîíóñû èíîãäà íàçûâàþò äâîéñòâåííûìè. Åñëè îá-
ðàòèòüñÿ ê êîíóñó, ïîðîæäåííîìó p-é ãåëüäåðîâñêîé íîðìîé k · kp , ò.å.
ê êîíóñó âèäà
n o
n+1
Kp = [x, µ] ∈ R : kxkp ≤ µ , 1 < p < ∞,
66
2.6. Ìíîãîãðàííûå ìíîæåñòâà
è ñèñòåìû ëèíåéíûõ íåðàâåíñòâ
( l l
)
n
X X
X= x∈R : x= λi ai , λi ≥ 0, 1 ≤ i ≤ l, λi = 1 ,
i=1 i=1
(2.6.2)
( k
)
n
X
K= x∈R : x= λi bi , λi ≥ 0, 1 ≤ i ≤ k . (2.6.3)
i=1
67
Ðèñ. 2.11. Ìíîãîãðàííîå ìíîæåñòâî
( n
)
n
X
i
X= x∈R : + x ≤1 . (2.6.4)
i=1
Ñèìïëåêñ æå âèäà
( n
)
n
X
X= x∈R : + xi = 1
i=1
68
n-ìåðíûé âåðîÿòíîñòíûé ñèìïëåêñ è ðàññìîòðèì â Rn òî÷êè âèäà
n+1
X
y = f (λ, x1 , . . . , xn+1 ) = λ i xi ,
i=1
69
êîíóñó. Ïîñêîëüêó ÷èñëî òàêèõ ëèíåéíî íåçàâèñèìûõ ïîäñèñòåì êî-
íå÷íî, òî îòñþäà çàêëþ÷àåì, ÷òî êîíóñ K åñòü îáúåäèíåíèå êîíå÷íîãî
÷èñëà çàìêíóòûõ êîíóñîâ è, ñëåäîâàòåëüíî, ÿâëÿåòñÿ çàìêíóòûì ìíî-
æåñòâîì.
Íàìè óñòàíîâëåíà çàìêíóòîñòü âûïóêëîãî ìíîãîãðàííèêà è ìíîãî-
ãðàííîãî êîíóñà. Íî îêàçûâàåòñÿ, ÷òî è ëþáîå ìíîãîãðàííîå ìíîæå-
ñòâî òàêæå çàìêíóòî. Ýòî âûòåêàåò èç ñëåäóþùåãî ðåçóëüòàòà, êîòî-
ðûé èìååò ìåñòî äëÿ ëþáûõ ìíîæåñòâ X1 è X2 .
Ëåììà 2.6.3. Ïóñòü X1 è X2 çàìêíóòûå ìíîæåñòâà, ìíîæå-
ñòâî X1 îãðàíè÷åíî. Òîãäà ìíîæåñòâî X1 + X2 çàìêíóòî.
Äîêàçàòåëüñòâî. Âîçüìåì ñõîäÿùóþñÿ ïîäïîñëåäîâàòåëüíîñòü òî-
÷åê {xk } èç X, x. Íàäî ïîêàçàòü, ÷òî x ∈ X .
êîòîðàÿ ñõîäèòñÿ ê òî÷êå
Òàê êàê êàæäàÿ òî÷êà xk ∈ X , òî xk = yk +zk , ãäå yk ∈ X1 , zk ∈ X2 . Íî
ïîñëåäîâàòåëüíîñòü {zk } ïðèíàäëåæèò êîìïàêòíîìó ìíîæåñòâó X2 ,
ïîýòîìó èìååò ïðåäåëüíûå òî÷êè. Ïóñòü {zkj } ñõîäÿùàÿñÿ ïîäïî-
ñëåäîâàòåëüíîñòü èç {zk } è ïóñòü zkj → z . Èç çàìêíóòîñòè ìíîæåñòâà
X2 ñëåäóåò, ÷òî z ∈ X2 . Êðîìå òîãî, ïîñêîëüêó {xk } ñõîäèòñÿ ê x, òî
xkj → x. Ïîýòîìó ïîäïîñëåäîâàòåëüíîñòü {ykj } òàêæå ÿâëÿåòñÿ ñõîäÿ-
ùåéñÿ, ïðè÷åì â ñèëó çàìêíóòîñòè ìíîæåñòâà X1 ïðåäåëüíàÿ òî÷êà y
ïîäïîñëåäîâàòåëüíîñòè {ykj } òàêæå ïðèíàäëåæèò X1 . Èìååì x = y+z ,
ãäå y ∈ X1 , z ∈ X2 , ñëåäîâàòåëüíî, x ∈ X .
70
1) îäíîðîäíûé ïîëèýäð ýòî ìíîãîãðàííûé êîíóñ;
2) îãðàíè÷åííûé ïîëèýäð ýòî âûïóêëûé ìíîãîãðàííèê;
3) ïîëèýäð ýòî ìíîãîãðàííîå ìíîæåñòâî
è íàîáîðîò.
Êàê áûëî ïîëó÷åíî â ïðèìåðå 2.5.4, ìíîæåñòâî, ñîïðÿæåííîå ê ìíî-
ãîãðàííîìó êîíóñó, ÿâëÿåòñÿ ïîëèýäðàëüíûì, òî÷íåå, îäíîðîäíûì ïî-
ëèýäðîì. Ýòîò ðåçóëüòàò ìîæåò áûòü ðàñïðîñòðàíåí è íà ìíîãîãðàí-
íûå ìíîæåñòâà áîëåå îáùåãî âèäà.
Òîãäà
n
X ∗ = y ∈ R : hy, ai i ≥ −1, i = 1, . . . , l; hy, bj i ≥ 0, j = 1, . . . , k} ,
(2.6.5)
ò.å. X ∗ åñòü ïîëèýäð.
Äîêàçàòåëüñòâî. Òàê êàê X = X1 + K è K åñòü âûïóêëûé êîíóñ,
òî ñîãëàñíî óòâåðæäåíèþ 2.5.3 X ∗ = (X1 + K)∗ = X1∗ ∩ K ∗ . Èìååì
∗
X1∗ = (conv{a1 , . . . ,al }) = ({a1 , . . . , al })∗ =
n (2.6.6)
= y ∈ R : hy, ai i ≥ −1, 1 ≤ i ≤ l .
∗ n
K ∗ = (posB) = y ∈ R : hy, bj i ≥ 0, 1 ≤ j ≤ k .
(2.6.7)
Ax ≤ b, (2.6.8)
m×n m
ãäå A∈R , b∈R . Ïóñòü a1 , . . ., am ñòðîêè ìàòðèöû A. Ïðåä-
ïîëàãàåì, ÷òî ñðåäè íèõ íåò íóëåâûõ. Èç (2.6.8) ñëåäóåò, ÷òî ïîëèýä-
ðàëüíîå ìíîæåñòâî ÿâëÿåòñÿ ïåðåñå÷åíèåì êîíå÷íîãî ÷èñëà ïîëóïðî-
ñòðàíñòâ, çàäàâàåìûõ ãèïåðïëîñêîñòÿìè ñ íàïðàâëÿþùèìè âåêòîðàìè
71
ai , 1 ≤ i ≤ m. Ñèñòåìà (2.6.8) ñ÷èòàåòñÿ ñîâìåñòíîé èëè ðàçðåøèìîé,
åñëè îíà îáëàäàåò õîòÿ áû îäíèì ðåøåíèåì.  ïðîòèâíîì ñëó÷àå áóäåì
ãîâîðèòü, ÷òî îíà íåñîâìåñòíàÿ èëè íåðàçðåøèìàÿ. Â ñèëó ñäåëàííîãî
ïðåäïîëîæåíèÿ îá îòñóòñòâèè ñðåäè ñòðîê ìàòðèöû A íóëåâûõ ñòðîê,
ìíîæåñòâî ðåøåíèé ñîâìåñòíîé ñèñòåìû (2.6.8) íå ìîæåò ñîâïàäàòü ñî
âñåì ïðîñòðàíñòâîì Rn .
Ðàíãîì r ñèñòåìû (2.6.8) íàçûâàåòñÿ ìàêñèìàëüíîå ÷èñëî ëèíåéíî
íåçàâèñèìûõ ñòðîê ìàòðèöû A. Ïîíÿòíî, ÷òî ðàíã ñèñòåìû (2.6.8) íå
ïðåâûøàåò ÷èñëî ïåðåìåííûõ n.  ñëó÷àå r = n èìååì ñèñòåìó ëèíåé-
íûõ íåðàâåíñòâ ïîëíîãî ðàíãà, â ïðîòèâíîì ñëó÷àå r < n cèñòåìó
ëèíåéíûõ íåðàâåíñòâ íåïîëíîãî ðàíãà. Çàìåòèì, ÷òî âñåãäà ìîæíî ïå-
ðåéòè îò ñèñòåìû íåïîëíîãî ðàíãà ê ñèñòåìå ñ ïîëíûì ðàíãîì. Äåé-
ñòâèòåëüíî, åñëè r < n, òî ðàçìåðíîñòü d = n−r íóëü-ïðîñòðàíñòâà
N (A) = {x ∈ Rn : Ax = 0m } ìàòðèöû A ïîëîæèòåëüíà, è òîãäà
n
ëþáîé âåêòîð x ∈ R ìîæíî ïðåäñòàâèòü â âèäå x = x1 + x2 , ãäå
x2 ∈ N (A), à x1 ïðèíàäëåæèò ïðîñòðàíñòâó ñòîëáöîâ ìàòðèöû AT ,
ÿâëÿþùèìñÿ îðòîãîíàëüíûì äîïîëíåíèåì ê N (A). Ðàçìåðíîñòü ýòîãî
ïðîñòðàíñòâà ñòîëáöîâ ðàâíà
Pr r, e , .
è åñëè
1 . . , er íåêîòîðûé áàçèñ â
j
íåì, òî x1 = j=1 x̃ ej . Ïîëàãàÿ òåïåðü ã ij = hai , ej i è ñîñòàâëÿÿ èç
ýëåìåíòîâ ãij , 1 ≤ i ≤ m, 1 ≤ j ≤ r , ìàòðèöó Ã ðàçìåðîì m × r , ïðè-
r
õîäèì ê ñèñòåìå íåðàâåíñòâ Ãx̃ ≤ b, ãäå x̃ ∈ R . Äàííàÿ ñèñòåìà óæå
ÿâëÿåòñÿ ñèñòåìîé ïîëíîãî ðàíãà, çíàÿ åå ðåøåíèÿ, ëåãêî ïîëó÷èòü
ðåøåíèÿ ñèñòåìû (2.6.8).
Âûçûâàåò èíòåðåñ ãåîìåòðè÷åñêèé âèä ïîëèýäðàëüíîãî ìíîæåñòâà,
îñîáåííî ñòðîåíèå åãî ãðàíèö. Â ñâÿçè ñ ýòèì ââîäÿò ïîíÿòèå k -ãðàíè,
âêëþ÷àþùåå â ñåáÿ, â ÷àñòíîñòè, òàêèå ïîíÿòèÿ, êàê âåðøèíà, ðåáðî è
ò.ä. Ïóñòü ìíîæåñòâî èíäåêñîâ J m = [1 : m] ðàçáèòî íà äâà íåïåðåñå-
êàþùèåñÿ ïîäìíîæåñòâà J1
J2 . Ïóñòü, êðîìå òîãî, A1 ïîäìàòðèöà
è
ìàòðèöû A, ñîñòàâëåííàÿ èç ñòðîê ñ íîìåðàìè èç J1 , a A2 ïîäìàòðè-
öà ìàòðèöû A, ñîñòàâëåííàÿ èç ñòðîê ñ íîìåðàìè èç J2 . Â ñîîòâåòñòâèè
ñ ðàçáèåíèåì ìàòðèöû A ðàçîáüåì òàêæå âåêòîð ïðàâûõ ÷àñòåé b íà
äâà ïîäâåêòîðà b1 è b2 . Òîãäà ñèñòåìó ðàâåíñòâ è íåðàâåíñòâ
A1 x = b1 , A 2 x ≤ b2 (2.6.9)
72
ñîâìåñòíà è èìååò ðàíã r > 0, òî äëÿ ëþáîãî 0 < k ≤ r ñóùåñòâóåò
k -ãðàíü. Óáåäèìñÿ â ýòîì.
Ax = b, aT0 x ≤ b0 (2.6.10)
a0 = AT y (2.6.12)
m
äëÿ íåêîòîðîãî y ∈ R .
Äîêàçàòåëüñòâî. Äîñòàòî÷íîñòü. Ïîêàæåì, ÷òî åñëè âûïîëíåíî
(2.6.12), òî ëþáîå ðåøåíèå ñèñòåìû (2.6.11) óäîâëåòâîðÿåò íåðàâåíñòâó
aT0 x ≤ b0 . Âîçüìåì íåêîòîðîå ðåøåíèå x1 ñèñòåìû (2.6.10), îíî îäíî-
âðåìåííî ÿâëÿåòñÿ è ðåøåíèåì ñèñòåìû óðàâíåíèé (2.6.11). Ïîýòîìó
ïðîèçâîëüíîå ðåøåíèå x̄ ñèñòåìû (2.6.11) ìîæåò áûòü ïðåäñòàâëåíî
êàêx̄ = x1 + x2 , ãäå x2 ïðîèçâîëüíîå ðåøåíèå îäíîðîäíîé ñèñòåìû
Ax = 0m . Ïîäñòàâèì ýòî ðåøåíèå x̄ â íåðàâåíñòâî aT0 x ≤ b0 . Ïðåæäå
âñåãî, ñ ó÷åòîì (2.6.12) èìååì
Ax = b, ha0 , xi = d
73
èìååò ðåøåíèå x̄ äëÿ ëþáûõ b è d. Ïîýòîìó, áåðÿ d > b0 , ïîëó÷àåì,
÷òî ýòî ðåøåíèå x̄ óäîâëåòâîðÿåò ñèñòåìå (2.6.11), íî íå óäîâëåòâîðÿåò
T
íåðàâåíñòâó a0 x ≤ b0 . Òàêèì îáðàçîì, äàííîå íåðàâåíñòâî íå ÿâëÿåòñÿ
ñëåäñòâèåì ñèñòåìû (2.6.11), ÷òî ïðîòèâîðå÷èò óñëîâèÿì ëåììû.
˜ 2 ) = {j ∈ J m : haj , x2 i > bj }
J(x
è ïóñòü äëÿ ˜ 2 ):
j ∈ J(x
Îáîçíà÷èì
λ∗ (x1 , x2 ) = min λj (x1 , x2 ),
˜ 2)
j∈J(x
n o
J˜∗ (x2 ) = j ∈ J(x
˜ 2 ) : λj (x1 , x2 ) = λ∗ (x1 , x2 ) .
haj , xi = bj , j ∈ J1 ,
(2.6.13)
haj , xi ≤ bj , j ∈ J2 ,
haj , xi = bj , j ∈ J1 , (2.6.14)
74
ãäå j ∈ J2 , áûëî áû ñëåäñòâèåì ñèñòåìû (2.6.14). Íî òîãäà ïî ëåììå
2.6.4 êàæäûé âåêòîð aj , j ∈ J2 , áûë áû ïðåäñòàâèì â âèäå ëèíåéíîé
êîìáèíàöèè âåêòîðîâ aj , j ∈ J1 è, ñëåäîâàòåëüíî, ðàíã, ñèñòåìû Ax ≤ b
ðàâíÿëñÿ áû k , ÷òî ïðîòèâîðå÷èò ïðåäïîëîæåíèþ k < r .
Äàëåå ïîñòóïàåì àíàëîãè÷íî ïåðâîìó ñëó÷àþ, êîãäà k = 1, íî òîëü-
êî ìíîæåñòâî èíäåêñîâ J(x ˜ 2 ) ôîðìèðóåì òåïåðü íå èç J m , à èç ïîä-
ìíîæåñòâà èíäåêñîâ J2 . Áåðÿ òåïåðü èíäåêñ j1 ∈ J˜∗ (x2 ) è äîáàâëÿÿ åãî
â ìíîæåñòâî J1 , ïîëó÷àåì, ÷òî íîâàÿ ñèñòåìà âåêòîðîâ aj , j ∈ J1 , îñòà-
åòñÿ ëèíåéíî íåçàâèñèìîé è ñîîòâåòñòâóþùàÿ òî÷êà x∗ óäîâëåòâîðÿåò
ñèñòåìå (2.6.13), â êîòîðîé ìíîæåñòâî J1 ñîäåðæèò óæå k + 1 èíäåêñ.
Òàêèì îáðàçîì, ýòà ñèñòåìà îïðåäåëÿåò (k + 1)-ãðàíü.
A1 x = b1 , A2 x ≤ b2 , (2.6.15)
75
íà îðòîãîíàëüíîå äîïîëíåíèå L⊥ ïðîñòðàíñòâà L äîëæíà ðàâíÿòüñÿ
íóëþ. Íî îðòîãîíàëüíîå äîïîëíåíèå L⊥ èìååò âèä
m
L⊥ = y ∈ R : AT y = 0n .
Ax = b (2.6.16)
ñîâìåñòíà, òî ñèñòåìà
AT y = 0n , bT y > 0 (2.6.17)
76
Ax, ïðèíàäëåæàùèå êîíóñó posA. Ïîýòîìó äàííàÿ ñèñòåìà Ax = b,
x ≥ 0n ìîæåò èìåòü ðåøåíèå òîãäà è òîëüêî òîãäà, êîãäà âåêòîð
b ∈ posA. Âîçüìåì êîíóñ, ñîïðÿæåííûé ê êîíóñó posA. Ñîãëàñíî (2.5.4)
îí èìååò âèä
∗ m
(posA) = y ∈ R : AT y ≥ 0n .
(2.6.18)
ñîâìåñòíà, òî ñèñòåìà
AT y ≥ 0 n , bT y < 0 (2.6.20)
T
Ïîñêîëüêó hAx, yi = hx, A yi è âñå êîîðäèíàòû âåêòîðà x ìîãóò ïðè-
íèìàòü ñêîëü óãîäíî áîëüøèå ïîëîæèòåëüíûå çíà÷åíèÿ, äàííîå íåðà-
âåíñòâî èìååò ìåñòî ëèøü òîãäà, êîãäà AT y ≥ 0n . Êðîìå òîãî, ïîëàãàÿ
x = 0n , èç (2.6.21) ïîëó÷àåì, ÷òî hb, yi < 0. Òàêèì îáðàçîì, âåêòîð y
óäîâëåòâîðÿåò ñèñòåìå (2.6.20).
77
á) Ðàññìîòðèì äàëåå íåîäíîðîäíóþ ñèñòåìó èç äâóõ íåðàâåíñòâ
Ax ≤ b è x ≥ 0n . Èç åå âèäà ñëåäóåò, ÷òî îíà èìååò ðåøåíèå òîãäà
m
è òîëüêî òîãäà, êîãäà âåêòîð b K = posA + + .
ïðèíàäëåæèò êîíóñó R
∗
Îáðàòèìñÿ ê ñîïðÿæåííîìó êîíóñó K . Ñîãëàñíî óòâåðæäåíèþ 2.5.3
m m m
K ∗ = (posA)∗ ∩ ( + )∗ . Íî ( + )∗ = + , à êîíóñ (posA)∗ , êàê ìû óæå
R R R
çíàåì, èìååò âèä (2.6.18). Ïîýòîìó
m
K ∗ = y ∈ R+ : AT y ≥ 0m .
Ax ≤ b, x ≥ 0n (2.6.22)
ñîâìåñòíà, òî ñèñòåìà
AT y ≥ 0m , y ≥ 0m , bT y < 0 (2.6.23)
78
Òåîðåìà 2.6.8. (Ãåéëà.) Ïóñòü A ìàòðèöà ðàçìåðîì m × n è
m
b ∈ R , b 6= 0m . Òîãäà åñëè íåîäíîðîäíàÿ ñèñòåìà
Ax ≤ b (2.6.24)
ñîâìåñòíà, òî ñèñòåìà
AT y = 0m , y ≥ 0m , bT y < 0 (2.6.25)
A1 x ≤ b1 , A 2 x = b2 , (2.6.26)
m
ãäå A1 è A2 ñîîòâåòñòâåííî (m1 × n) è (m2 × n)-ìàòðèöû, b1 ∈ R 1 ,
m
b2 ∈ R 2 . Îáúåäèíèì ìàòðèöû A1 è A2 â åäèíóþ ìàòðèöó A è âåêòîðû
b1 è b2 â åäèíûé âåêòîð b:
A1 b1
A= , b= .
A2 b2
79
ïðè÷åì [b1 , b2 ] 6= 0m . Òîãäà åñëè íåîäíîðîäíàÿ ñèñòåìà (2.6.26) ñîâ-
ìåñòíà, òî ñèñòåìà