Файл: Цирлин, А. М. Основы оптимального управления конспект лекций.pdf

называется его

выпуклой оболочкой. Обозначается оно обычно

через

С0 Д .

На рис.

Q.dfi приведены

примеры выпуклых оболочек

(пунк­

тиром

показаны

границы CQ Д , там,

где они не совпадают о граница­

ми множества

Д . ) . Любая точка

А выпуклой

оболочки

может

быть

представлена

в случае'одноовявного множества Л как

точка

отрезка,

соединяющего

два элемента Д .

( р и с . 2 . 6 , а ) .

Однако множество

ных точек

X j ,

• • • У-п. . В этом случае

выпуклая

оболочка

является

выпуклым

многогранником, в котором

точки X ,>

лежат

случае принадлежит

Д .

Можно доказать

следующее утверждение

(теорема

2.2)

Если множество Д .

принадлежит П.- верному

пространству,

то

каждый элемент

Ср

. может быть представлен как выпуклая

комбинация не

более, чем

( Ш - Р - го элемевта

Д .

^ - 2 4 * *

i<**.*of)

к . * )

Если, например, Д

- множество векторов на плоскости

(П.-2),

то теорема 2.2 утверждает, что любой элемент

выпуклой

оболочки

лежит внутри треугольника

о вершинами

в

. У ^

( р и с . 2 . 6 , б ) .

Этот результат может быть несколько

усилен (теорема

2 . 3);

Если многеотво

JL

в

й, - мерном

пространстве

оостоит

не

бо­

лее,, чем из Игкомпонент связности, то число элементов

.

вхо­

дящих в {й.3)ш равно

не

(R+I). a

TL

Так, для плоскости

множество . Д .

должно состоять не

более,чек

определенной

на

выпуклой оболочке

множества

Д, свести

к

опреде­

лению

таких

(П+1)-го элемента

Хк

и (П+1)-го

чиола otK

,

для кото

рых функция

от

выражения

(2.3)

максимальна.

2Л.

Мощность и мера

множества

жества, у которых число элементов больше, чем у

бесконечного счет­

ного множества. Оказывается еоть, но чтобы одну

"бесконечность"

туральных

чисел здеоь

не хватит, хотя, оно и бесконечно.

Существуют

множества,

имеющие мощность болыцую, чем континуум,

однако, в

за ­

дачах оптимального управления, как правило, приходится

иметь

дело

с конечными, очетными

множествами и множествами мощности континуум

В некоторых задачах приходится учитывать другую характеристику

множества,

его меру.

Сначала

рассмотрим

множество точек числовой оси

( р и с . 2 . 7 , а ) .

два_отреэка на этой оси. Над каждым

отрезком построим

функцию

Н ( Ъ ), равную единице на и

нулю вне

рассматриваемого

отрезка

(характеристическую

функцию

отрезка). За меру множества . X примем

м c j f - i

= fy(4)

с/1

.

. - е><=>

Меры отрезка

и соответствующего ему интервала, т . е . отревка

без конечных точек) равны друг

другу и равны длине отрезка.

Меру множества У, элементами которого являютоя точки некото­

рого

отрезка

(а,

в'],

определяют

через построение системы и н и р -

валов, заключающих в себе вое элементы У.

Минимальная суммарная длина таких интервалов называется внеш­

ней мерой

множества. Внутренней

же мерой множества У является

разность

между длиной

отрезка (а,

в) и внешней

мерой множества,

дополнительного

к

У

относительно

отрезка (а,

в ) , т . е . множе­

ства всех точек этого отрезка, не принадлежащих У. Внутренняя

мера

всегда

меньше

внешней.

Если же они равны, то множество называется измеримым и их

общее

значение называется мерой.

При таком определении меры ясно, что любое счетное множество,

отображение которого показано на рисунке 2.7,6, имеет нулевую

меру

( М С У 1 =

0) .

Решение некоторых оптимальных задач определится о точностью

до множества нулевой меры, подобно тому как решение дифферент .

анальных уравнений определено с точностью до произвольных ПОСТОЙ

янных. Например,

если

^*(^J

в ° т ь решение

задачи о. макоимума

функционала

- г

где J - непрерывна

и ограничена,

то и

является

решением,•если она

отличается от

) на конечную величину

на множестве нулевой меры С ведь

по

величине функционале

эти две функции неразделимы).

Гос. публичная

1

научно-тс.чн;!чес1-:пй i

библиотека СССР

]

ЭКЗЕМПЛЯР

I

ЧИТАЛЬНОГО ЗА.1Л

•

Часто в задачах определения минимума и максимума некоторой

функции можно игнорировать те ее вистремадьные значения,

которые

существуют

лишь на

множестве

значений аргумента нулевой

меры,

В этом случае говорят о существенном максимуме

(минимуме)

функции.

2.5.

Возможно,

что на множестве допустимых решений целевая

функция

вообще

не

имеет

максимума или минимума. В таких

олуианх

требуется

найт^

•

последовательность элементов

J0,

которая

сходится

к

пределу

(возможно и не принадлежащему Я) такому, что

предельное значение целевой функции не меньше, чем любое ее

значение

для

допустимых

решений.

Например, максимальное значение линейной функции

I

= у

на

множеотве

/у//

не

достигается. Но

-&т.Т

= i

у - /

и

превосходит

величину

I для

всех допустимых значений

аргумента.

'

Или функция

I

( У ) - : I - £ ~ у )

(рио.2.8)

ничена

оверху.

•

х

Чтобы учесть такую возможность, говорят о

верхней грани целе­

вой

функции

на

Л : ( * у £ £ Р I ( I / ) )

или о ее

нижней

грани

( I v \ - ^

1

(У )

) . Если решение принадлежит J},

то

Для

I

( у ) ,

показанной

на р и с 2.8,

\£<^-pT()/J-

I .

Pec.

$j

/ V c 2.2.