Ф.П. Васильев - Методы решения экстремальных задач (1981) (1158203), страница 13
Текст из файла (страница 13)
Множество У из Х называется т-компактным, если из любого открытого покрытия (6 ) множество У можно выбрать конечное подпокрытие (Оо,, Оп„ ... Оо„) В метричесинх пространствах (в частности, в Е" и в банаховых пространствах с их сильной топологией) все три понятия компактности равносильны (110, стр. 43). Замечательно и то, что в слабой топологии банаховых пространств зти три понятия компактности также равносильны (1!О, стр. 292). В других топологических пространствах зти понятия, вообще говоря, не будут равносильными, и можно лишь сказать, что в общем случае нз ч(компактности (опре- деление !4) и т-секвенциальной компактности (определение 12) следует т-счетная компактность (определение 13) (!1, 1!О) Оп р еде лен не !5.
Функция /(и) называется т-секвенциально голунгпрерывной снизу в пгочке и ш (/, если для любой последовательности (иь) ш У, т-сходящейся к точне и, справедливо неравенство !пп /(иь) > / (и) Функция / (и) называется т-секвенциально полуя сь непрерывной снизу на множеспюе У, если она т-секвенциально полу- непрерывна снизу в каждой точке и ев У. Оп р ед еле н и е 16 Фуниция /(и) называется т-лолунелрерывной снизу в точке и еа У, если для любого числа в > О найдется окрестность бг чм т точки и такая, что /(о) зв / (и) — е для всех о ш ш бг() У. Функция /(и) называется т-полунепреризной снизу на множестве (/, если она т-полунепрерывна снизу в каждой точке и ш У.
Нетрудно видеть, что если функция т-полунепрерывна снизу, то она т.секвенциально полунепрерывна снизу В метрических пространствах (в частности, в Еь и в банаховых пространствах с их сильной топологией) понятия т-полунепрерывности снизу и т-секвенциальиой полунепрерывности снизу равносильны. Согласованно используя введенные выше различные поиятия компактности множества и полунепрерывности снизу функции, можно получить различные варианты теоремы Вейергптрасса. Приведем формулировки нескольких таких теорем. В этих теоремах будет предполагаться, что У вЂ” некоторос множество из топологического пространства (Х, т), а функция / (и) определена и конечна на множес(ве У Теорема 12. Пусть множество У т-сгквгнциольно компактно, а функция /(и) т-секвенциально полунепрерывна снизу на У.
Тогда /, ='ш1/(и) > — со, множество У„(и ш У: /(и) =/ ) непусто и и т-секвенциально компактно; любая минимизирующая последовательность (иь) т-секвгнциально компактна и т-сходится к У,. Доказательство этой теоремы аналогично доказательству теоремы 2. Теорема 13. Пасть множество У т.компактно, а функция /(и) т-лолунелрерывна снизу на У. Тогда /ч ) — со, множество У„ непусто, замкнуто в множестве У (т. е. У,=О с/) и т-компактно; любач минимизирующая послгдовапмльность (иь) т-счетно компактна и т-сходится к У,. Доказательство утверждений о том, что / ) — со У ~ Ч/, см в (11). Теорема 14. Пусть множество У т-счетно колпинпшо, а функция /(и) т.полунепрерьгвна снизу на У.
Тогда / ) — со, множество У, непусто и т-счетно компактно; любая минимизирующая последовательность (иь) т.счетно компактна и т-сходится к У,. Читатель может теперь заметитгч что при формулйровке и доказательстве теорем Вейерштрасса 1, 2, б — 11 этого параграфа мы пользовались понятиями секвенциальной компактности и секвенциальной полуиепрерывности снизу в соответствующих топологиях.
Это обстоятельство мажет быть оправдано двумя причинами: во.первых, проверку секвенциальной компактности множества и секвенциальной полунепрерывности функции во многих прикладных задачах можно осуществить гораздо проще, чем других понятий коипактности и полунепрерывностн снизу, и, во-вторых, для экстремальных задач, рассматриваемых в метрических и банаховых пространствах с их сильной или слабой топологией, в которых, как было замечено, все три понятия компактности равносильны, этот подход не приводит к потере общности. ! У и р а ж н е н и я.
1. Показать, что функция,/ (и) = [ чз (1) Ж о непрерывна на С [О, 1[ в метрике С [О, 1[. Установить, что на множестве (/=[и=и (Г) ~ С [О, 1[: и(0)=0, и(1)=-1) эта фуннция не достигает своей нижней грани 7„=0 Ограничена ли эта функция на (/ сверху? ! 2. Пусть 7(и)=) и (1) Л вЂ” и(!/2), и=и(г) ы С [О, 











