Алексеев В.М., Тихомиров В.М., Фомин С.В. - Оптимальное управление (1050536), страница 20

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 20)

Доказательство. Необходимо доказать, во-первых, что функционал !! (!ха. удовлетворяет аксиомам нормы и, во-вторых, что полнота Х влечет за собой полноту Х~Е. Докажем первое утверждение теоремь), т. е. проверим выполнение аксиом (1) п. 2.1.1. Аксиома а): Ц!!хд.)0 (У5) вследствие неотрицательности нормы в Х. Если 3=0, то в качестве хЕ$ можно взять к=О, и потому !!О!!хн.= О. Пусть |)$ !!хо =О. Тогда из (3) следует, что существует последовательность (х„), х„Е5 такая, что )(х„(! — О, т. е. х„О.

Вследствие замкнутости $, ОЕ3,т е. $естьнулевой элемент в Х(Ь. Аксиома б): Пусть аЕ й. Тогда, если ах=а, то ))ссК!!хп = 1п1 (!у(!= 1п1 ((ах!1=!а! 1п( (!х()=)а)(($)!. Аксиом» в): Д,+$,!!= 1п( !!х,+х,+х'!)= 1п( !(х,+х;+х,+х,')! кк,=4 к ес х 6с < 'п1 !!х1+х1()+ 1п1 !)х,+х.'!)=!!51)ха.+))$,)ха,. «~ Е l Докажем второе утверждение теоремы, т. е. полноту Х/Ь. Пусть (9„) — фундаментальная последовательность в Х,Ч., т.

е. Уз>ОИРУ(г). и) Ж(е) =>~!$„+„— $„)к~с < в, Ут >1. Выберемз„=2-зиномера п„такие, что !(с„+ — $„„)~~2 л, Й~1. Тогда 1$„— $„~~~1~2, и вследствие (4) сущест- вуют представители х, Е$„такие, что [[хз — х,[[(1. Ана- логичным путем построим элементы (х„)„ж, так, что [[хь — хв „[[~~2 '" ", хх~$„~, Й=З, 4, ... Последователь- ность (хв)е, фундаментальна в Х (проверьте), а Х вЂ” пол- но по условию.

Значит, существует предел х, 1ппха. Рассмотрим класс $з= их,. Тогда Ц$„— Б,[/х1с= 1п[ [[хь — х,— х'~х(![хв — х,/!х О ° "з х'еь а-~.о Итак, ~„, $„а тогда и $„$е в силу фуидаменталь ности (5„1. Значит, Х/Š— полное. Я Упражнения. 1, Пусть Х =С (10, Ц), 0 м, тт < т, «... ти е» 1, подпростран- ство Е. состоит из функций х( )ЕС([О, Ц) таких, что х(тд О, 1 1, ..., ж. Найти фактор-пространство Х1Ь и определить 1[[хд,. 2. Обобщить результат упражнения 1 и доказать, что если [т- замкнутое подмножество отрезка [О, Ц и ЬХ=-(Х( )ЧС([0, Ц) [Х(1)-вО, 1~Р), то пространство С ([О, Ц)/Ьх изометрически изоморфно пространству С(Р). 2.1.З, Теорема Хана Банана и ее следствия, В тео- рии экстремальных задач важную роль играют теоремы отделимости и некоторые другие факты выпуклого ана- лиза. Большинство из них является следствием теоремы Хана — Банаха, которую часто называют первым основ- ным принципом линейного анализа.

Учитывая, что эта теорема входит во все стандартные курсы функциональ- ного анализа, ограничимся здесь лишь ее формулиров- кой и некоторыми важнейшими следствиями. В этом пункте Х вЂ” линейное пространство, К вЂ” рас- ширенная числовая прямая, т. е. К=[[()( — оо, +оо). Определение 1. Фун[сция рс Х вЂ” й называется выпуклой и однородной, если р(х+у)~~р(х)+р(у) для.любых х, у~Х, 1 (1) р(ах) =ар(х) для любых х~Х и а) О.

(2) П р и м е р ы. 1) Х вЂ” нормированное пространство, р(х) =[х[. 2) Х вЂ линейн пространство, 1. †линейн подпро- странство в Х, О, х ЕЕ' тм-~ „1 ' 120 3) Х вЂ” линейное пространство, 1„..., 1 — набор ли- нейнык функционалов на Х; р(х) = гиах ((1„х), ..., г',1„, х)). Важный пример доставляет следующее Определение 2. Пусть А — выпуклое подмноже- ство линейного пространства Х, содержащее О.

Его 41унк- ция Минковского рА ( ) определяется равенством )аА (х) = 1п1 (/ > 0 ~ х/1 Е А) (3) (если таких 1 > О, что х// Е А, нет вовсе, то рА (х) = + ое). Предл ожеи ие 1. Функция Минковского неотри- цательна, выпукла и однородна; (х! рА (х) < 1) ы А с. -(х ( рА (х) ~ 1). (4) Если Х вЂ” линейное толологаческсе пространство '), то рА ( ) непрерывна в пючке 0 тогда и только тогда, когда ОЕ1п1А. Д о к а з а те л ь с т в о. Если рА (х) или рЯ(у) равно + оо, то (1) верно.

Позтому пусть рА (х) < + оо и рА(у) < -1-оо. По определению для любого е >0 най- дутся такие / и з, что 9 < 1 <рА(х)+е/2 н х/1ЕА, 0 < з < рА (у)+е/2 и у/з Е А. Но тогда — = — — +-~ — аА л+у х г у а г+8 г Г+$ 3 7+3 а поскольку А выпукло, и следовательно, рА(х+у)<1+в <рА(х)+рА(у)+г. Ввиду произвольности е верно (1). Далее, для а>0 рА (ах) = (п1 (1 > О, ах/1 Е А) = 1п1 (аз > О, х/з Е А) = = се 1п1 (з > 0; х/з Е А) арА (х), твк что верно (2). Неотрицательность рА (х) и второе включение в (4) следуют непосредственно из определения. Если рА(х) <1, то существует Г Е (О, 1), для которого х/1Е А, а поскольку г) О линейных топологнеесхнх нространстнех сн, (КФ, гл, 111, $ 61 0 ЕА и А выпукло, х=О (1 — 1)+ — „.

(ЕА так что первое включение в (4) верно. Пусть теперь Х вЂ” линейное топологическое пространство. Тогда имеет место следующая цепочка эквивалентностей: рА( ) непрерывна в 0 ее те > О, ЛУ,ЭО, чхЕУ„рА(х) < ееь ЛУ,30, УхЕУ„рА(х) < 1 ее 5У Э 0 У~ ~=' А ю 0 Е ш( А (здесь У, и У,— окрестности точки 0; вторая эквивалентность мерна ввиду однородности (сА (.) и возможности положить У,=еУ,). ~ Предложение . Для того чтобы линейныйфункционал х' на линейном топологическом'пространстве' Х был непрерывен, необходимо и достаточно, чтобы длл некоторой выпуклой однородной непрерывной в точке 0 функции р(.) длл всех х~Х выполнялось неравенство <х', х> ='р(х). (5) Д о к а з а т е л ь с т в о.

Необходимость устанавливаем сразу, полагая р(х) — ) <х', х>(. Предположим теперь, что верно (5) и р(х) непрерывна в точке О. Тогда для любого е > 0 найдется окрестность У 30 такая, что р(х) < е для всех хЕУ. Поскольку ОЕ У и 0=( — О) Е( — У), существует окрестность йт такая, что 0 ЕЯ7 <: Уй( — У).

Если хЕ В', то х и' — хЕУ и в силу (5) <х', х>(р(х) < е, <х* — х> ( р ( — х) < е. Следовательно, ~<х', х>~ < г для всех х~)(х, т. е. х' непрерывен в О. Остается заметить, что линейный функционал, непрерывный в одной точке, непрерывен на Х (КФ, стр. 174~. Теорема Хана — Бана ха [КФ, стр. 134 — 1371. Пусть р: Х вЂ” 1< — выпуклая однороднал функция на линейном пространстве Х, и пусть-1: 1.— )х — линейный функционал на подпространстве 7. пространства Х такой, что <1, х>.='р(х) для всех хЕ7..

(6) Тогда существует линейный функционал Л, определенный на всем Х, являющийся продолжением 1, и. е. <Л, х>=<1, х>, хБЕ., (7) и удовлетворяющий неравенству <Л, х>~(р(х) для всех хБХ. (8) Сл едет в н е 1. Пусть Х вЂ” нормированное пространство и х,ЕХ, х,~О. Тогда найдется элемент Л~Х' такой, что 1'Л1=1 й <Л, х,>=(~х,(. До к а з а те л ь с т в о. Иа подпространстве ь=(х) х=ссхь иЕЩ зададим линейный функционал 1, полагая <1, ах,) =и'1х,'1.

(9) Функция р(х) =1х)! — выпуклая однородная и <1, ссх,) = = а)х,~~~~/сс)(х,!)=/)ах,~!=р(ах,), так что имеет место неравенство (6). По теореме Хана — Банаха 1 продолжается до линейного функционала Л на всем Х, причем выполняются соотношения (7) и (8). Вспоминая определение нормы функционала (п. 2.1.1), имеем из (8) '1Л)= зпр <Л, х>( зпр р(х)=1, П.П=~ 1.В=~ так что, в частности, Л ~ Х'. С другой стороны, из (7) и (9) <Л, х,>=<1, х,)=1х,~, так что верно второе утверждение доказываемого след- ствия и, кроме того, '1Л1= зцр <Л, х>)(Л, — 1„) =1, а потому 1Л1=1.

° Из следствия 1 немедленно вытекает Следствие 2. Если нормированное пространство Х нетривиально (т. е. Хчь(0)), то и сопряженное к нему пространство Х" нетривиально. 2.1.4. Теоремы отделимости. В этом пункте Х вЂ” линейное топологическое пространство, Х' — сопряженное к нему пространство, состоящее нз всех линейных непрерывнык функционалов на Х.

Определение 1. Функционал х'ЕХ» разделяет множества А с Х и В с Х, если зцр<х», х>( 1п1 <х', х>, кЧА к»В н строго разделяет А и В, если зпр <х», х) ( 1п1 <х», х). (2) к»А к»В Геометрически неравенство (1) означает, что гиперплоскость Н(х', с)=(х1<х', х) =с), где зпр<х', х>~(с( 1п1 <х', х> отделяет множества,А к»А к»В н В друг от друга в том смысле, что А лежит в одном полупростраистве (Н» (х', с) = (х~ <х', х) (с)), порожденном Н (х', с), а  — в другом (Н (х', с) = (х ~ <х', х> вс)) (рис. 31), неравенство (2) означает, что при этом с можно Рис. 32. Рис. 31.

выбрать так, чтобы А и В лежали внутри соответствующих полупространств и не имели общих точей с Н (х', с) (рис. 32). Первая теорема отделимости. Если множества А <= Х и В с Х ввтуклы, непусты и не пересекаются между собой, причем А открыто, то существует ненулевой линейный непрерывный функционал, разделяющий А и В. Доказательство. А) Поскольку А и В не пусты, существуют точки а, ~ А, Ь, Е В, Множество С = (А — а,) — ( — Ь,) = (х ( х= а — ໠— Ь+Ь„а Е А, Ь ~ В), очевидно, выпукло (см. также предложение 1 и упражнение 2 в п. 2.6.1), содержит 0 и открыто (действительно, $24 если х = а — а,— Ь+Ь, и а Е А, то существует окрестность У, аЕ(/ ~= А, а тогда хй(/ — а,— Ь+Ь, с С.

Характеристики

Список файлов книги