Ф.П. Васильев - Методы решения экстремальных задач (1125244), страница 12
Текст из файла (страница 12)
й„< ... Выбирая при необходимости из (и»„( еще подпоследовательность, можем считать, что ~ 1/йа < со (наприп=! мер, можно сделать/гп ) 2", и=1, 2,...). Положим са — — (се, ..., с»»,...), / 1 где с» = 1/Уйя при й=йя, я=1, 2, ... и с» =0 при всех остальных й Тогда (с, и» ) =(!/г' йя) г' й„=! при всех и=1, 2, .... Это знвчит, что, с одной стороны, последовательность (и») сходится к точке о = 0 слабо в 1,, с другой стороны, мы нашли окрестность 6 = = 6(0, 1, с»)=(й: )(с„и) — (с„О) (=!(с„и) ~ < 1) такую, что и»„ ~ 6 при всех и= 1, 2, ...
Противоречие. Следовательно, хотя точка о=О является слабой предельной точкой последовательности (и»), но ни одна подпоследовательность (и»,) не сходится к о=О слабо в 1, (ии в смысле определения 1.1, ни в смысле определения 10). Любопытно заметить, что подпоследонательность (иа„ п = 1, 2,...) рассмозренной последовательности не имеет ни одной слабой предельной точки в 1,. Перейдем к определениям понятий компактного множества и полунепрерывности снизу функций, которые нам понадобятся прн формулировке теорем Вейерштрасса в топологических пространствах. 0 п р е д е л е н и е 12. Последовательность (и») !ы У, где У вЂ множество из топологического пространства (Х, т), называется т-секвеициально компактной в У, если существует хотя бы одна падпоследова.
тельность (и»»1, которая т-сходится к некоторой точке и !и У. Множество У ы Х называется т-секвенциально компакюньиц если любая последовательность (и») !и У является т-секвенниально компактн й в У. Определение 13. Последовательность (и») ~У, где У— множество из топологическога пространства (Х, т), называется т-счетно компакшпой в У, если (и») имеет хотя бы одну т-предельную (в смысле определения 11!) точку и из У. Множество У ш Х называется т-счетно компакшяым, если любая последовательность (и») !н !ш У является т-счетно компактной в У О п р е д е л е н и е 14 Система множеств (6„) из топологического пространства (Х, т) называется пок! ытием множества У из Х, если У !: () О„Покрытие (6„) называется открытым, если все Оп— открытые множества. Если некоторое подсемейство (Оер) покрытия (О ) само образует покрытие У, то (О„з) называется подлокпытиюи покрытия (О ).
Множество У из Х называется т-компактным, если из любого открытого покрытия (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), и=и(г) ы С [О, 














