Главная » Просмотр файлов » Л.А. Люстерник, В.И. Соболев - Элементы функционального анализа

Л.А. Люстерник, В.И. Соболев - Элементы функционального анализа (1134949), страница 36

Файл №1134949 Л.А. Люстерник, В.И. Соболев - Элементы функционального анализа (Л.А. Люстерник, В.И. Соболев - Элементы функционального анализа) 36 страницаЛ.А. Люстерник, В.И. Соболев - Элементы функционального анализа (1134949) страница 362019-05-12СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Нетрудно показать теперь, что в строго нормнровщ!пои пространстве наилучшая аппроксимация определяется однозначно. В самом деле, если существуют две линейные комл и бинации ~, Л,х, и ~ р;х, такле, что $=1 С=с л х — ~ Л;х,. ~ = х — ~с 1ссхс = с1, 1=1 с=! КРИТЕРИИ КОМПАКТНОСТИ а где (!=в!и х — ~~,', Л(х( ) О. то 1=! л х — ~~Лх( + а ът Х вЂ” ~ Р(Х, а так как л то *1-' л х — (+ Р( 2 Следовательно, Отсюда в силу строгой нормированности пространства Если бы а~1, то х было бы линейной комбинацией эле- МЕНТОВ ХР Хеа ..., Хл, ЧтО ПО ПрЕдПОЛОжЕНИЮ ИСКЛЮЧаЕтеа. Поэтому а=1. а тогда л ~ч.", (Л( — р() х, = О. 1=1 ! +— 2 = —:(!+ — л(=л(. 1 ! 2 2 КОМПАКТНЫЕ МНОЖЕСТВА [гл. ч откуда в силу линейной независимости элементов хп х, ..., х„ следует, что )ч — — [ьи 1=1, 2, ..., и, и требуемое доказано. Примерами строго нормированных пространств могут служить Ер [О, 1[ и [р для р ~ 1.

Пространство С[0, 1[ не является строго нормированным. с!тобы убедиться в этом, достаточно рассмотреть две неотрицательные линейно независимые функции х(1) и у(1)ЕС[0, 1[, имеющие максимальные значения в одной и той же точке отрезка [О, 1[. Для таких функций, очевидно, )) х+ у)1 =)) х))+)) у)). хотя у~ах. Читатель легко может убедиться, что 1[0, 1[ и 1 также не являются строго нормированными пространствами. Слабая компактность, Нижеследующая теорема является весьма важной и часто используется в приложениях функционального анализа. Теорема 5.

Если пространство Е сепарабельно, то всякий шар в сопряженном пространстве Е* слабо компактен, т. е. из любой последовательности линейных функционалов )Г"„) с оераниченными нормами можно выделить подпоследовательность, слабо сходягцуюсн к некоторому линейному функционалу )ь. При рассмотрении пространства операторов было пока- вано, что это пространство полно в смысле точечной сходимости операторов. Так как для линейных функционалов понятия точечной и слабой сходимости совпадают, то пространство Е" линейных функционалов полно в смысле слабой сходимости, Поэтому достаточно доказать, что из всякой последовательности )у„) линейных функционалов с ограниченными нормами можно выделить подпоследовательность. слабо сходящуюся в себе.

Без ограничения общности можно считать, что )) ге)) (1. Пусть хп хю ..., х,, ... — счетное всюду плотное в Е множество. Так как ) /„(х,)) ()))'„)) )) х,)) ()) х,)), то )У„(х,)) — ограниченная числовая последовательность. КРИТЕРИИ КОМПАКТНОСТИ Поэтому из иее можно выделить сходящуюся подпоследовательность у >»(х>), >' <н(х,), ..., у >и(х,), ... Рассмотрим последовательность функционалов (у»>). ля Так как 1У„п> (Х2)! <1~~~~! то (У п>(х )~ — огРаниченнаЯ числоваЯ последовательность. ла Поэтому из нее можно выделить сходящуюся подпоследовательность (2> (Х2), > >2> (Х2), ..., У >2> (Х2), Продолжая так дальше, можно построить последовательность функционалов (~ >з>П сходящуюся иа хз, и так далее.

При л> этом существенно отметить, что каждая следующая подпоследовательность является частью предыдущей и поэтому сходится на каждом элементе, на котором сходятся предыдущие подпоследовательности. Построим «диагональную подпоследовательность»: Ул>н У„>2> "" Ул>А> л л ля Легко видеть, что эта подпоследовательность сходится для любого х из рассматриваемого счетного всюду плотного множества. В самом деле, для этого достаточно заметить, что г' >и>, г' > ен, ...

есть часть последовательности >Г < ф ~а ла+> л» которая сходится для х по построению. Поэтому и вся последовательность (у Ы>) сходится для хм. ла Так как нормы функционалов последовательности (У >а>» ла ограничены в совокупности и эта последовательность сходится на множестве (Х>, хз, ..., Хл,... ), всюду плотном в Я, >о по теореме 2 Э 4 гл. 1Ч последовательность (у,а>) ля > слабо сходится. Теорема доказана.

КОМПАКТНЫЕ МНОЖЕСТВА (Гл. ч Следствие. В пространствах 1р и Ее[0, 1] всякий шар слабо компактен. Это следует из того, что 1р — — 1,, Ер[0, 1] = Ц [О, 1] и 1, Е [О, 1] сепарабельны. Замечание. Легко убедиться в том, что всякий гиар в Е* слабо замкнут. Следовательно, если он слабо компактен, то слабо компактен в себе. ф 3. Универсальность пространства С [О, 1] В 1923 г. советский математик П. С. Урысон доказал, что существуют «универсальныеь сепарабельные мет рические пространства, т. е. такие, которые содержат части, изометричные любому сепарабельному метрическому пространству. Впоследствии польские математики С.

Банах и С. Мазур доказали, что одним из универсальных пространств является пространство С [О, 1]. Доказательство теоремы Банаха и Мазура связано со свойством слабой компактности сопряженных пространств. Т е о р е м а 1. Всякое сена рабельное пространство Е типа В изометрично и изоморфно подпространству пространства С[0, 1!. Пусть 5 — шар [[г" [].(1 в пространстве Е', причем за сходимость в В принимается слабая сходнмость линейных функционалов. В силу теоремы 5 9 2  — компактное в себе мно(кество. Пусть а,, а,, ..., а„, ... — счетное всюду плотное множество на единичном шаре [[х([(1 пространства Е.

Для любого функционала у ~8 положим )'[а») = », ]~»[-(1 й=! 2 Если у — ь«Уо [ул уоЕВ), то й» =у»[а») — «уз[и»)=ь». Таким образом, каждому /~5 соответствует элемент у= [ь»] я»=у'[а»)) пространства з и ӄ— "-«Уь влечет за собой ӄ— «Уе длн соответствУющих элементов пространства з. Пусть М вЂ” множество точек пространства з, соответствующих функционалам /~5. Тогда М есть непрерывный образ компактного в себе множества и, следовательно, также компактное в себе множество. Легко видеть, что обратное отображение М на 5 также однозначно и непрерывно.

В самом деле. пусть у [а») =(р [а»), й = 1, 2, ... УНИВЕРСАЛЬНОСТЬ Г!РОСТРАНСТВА С !О,Н 257 Для любого х~Е, ЦхЦ (1, выберем аж так, чтобы Ц х — ааД ( е. Тогда ! ! (х) — 1р (х) ! (/ у (х — аАД + ! г' (аз,) — 1р (аж) ! + +(1р(х — аа,)! < 2е, откуда, в силу произвольности е, у (х) = 1р(х), т. е. ! = гр. Далее, если у„(а„) - /з(а„), и = 1, 2, ..., то в силу ограниченности норм функционалов (Цу„Ц, ЦЯ! ( 1) отсюда следует /„ †'-ь (з, и взаимная однозначность и непрерывность соответствия Я э М доказана.

По теореме 6 Э 1 1У' как компактное в себе множество метрического пространствз есть непрерывный образ канто- рова совершенного множества Р . Таким образом, каждоиу ! ~ Рз отвечает функционал /1 ~ 5, совокупность всех совпадает с 5 и у1 †" ь у1 при 1„ -~ !. Выберем произвольный элеиент х С Е. По определению слабой скодизюсти функционалов д (х).э у1(х) прн 1„ -ь !. При фиксированном х 11(х) есть, следовательно, непрерывная функция от !ЕР,, которую мы обозначим ср„(!)1 1Р (!) =- !',(х).

функцию 1р,(1), определенную на Р,, доопределии линейно и непрерывно на смежных к Рз интервалах. Теи самым получим непрерывную функцию гр (!), определенную на отрезке 10, 11, т. е. принадлежащую С(0, 1). По определению нормы в С(0, 1) имеем Ц р,~!с — — шах ~гр„(!)~. ож1<1 По вследствие линейности ф, (!) на интервалах, смежных к Ре, максимум ср (!) На!0, 11 совпадает с максииумом гр (1) нз Р . Поэтому !! гр Ц = 1пах ( 1р, (!) ! . 1ГР, С другой стороны, для ! СРз в силу (1) имееи (гр„(т)(=)~1(х)~ (Ц!Я ЦхЦ (ЦхЦ КОМПАКТНЫЕ МНОЖЕСТВА [ГЛ. Ч и, следовательно, шах)ф,(У))~~))х)! . СЕР.

(2) Далее, для данного х можно построить функционал Ге с нормой, равной единице. для которого г (х)=)!х!)е, Так как ~еЕЯ, то существует [ецРе, для которого УС,=Ь. Следовательно, у', (х) =))х,')е, ф. (Со) =)!х))е, т. е. и потому Снах ! Ср (г) ! )~ ! [ х ), 'е. СЕР Из (2) и (3) следует, что )! фл ! ! с = шах ! СР (Г) ! = !! х [! е. (4) СЕРа Из построения функции ф„(г) видно, что если х, Е Е соответствует ф,(г) и хгЕЕ соответствует ф,(с), то х,+х, соответствует ф, (г) + ф, (г) н Лх соответствует Лф (г). Следовательно, мы имеем изоморфное отображение пространства Е на часть пространства С [О, 1).

Так как в силу изоморфизма элементу х, — хг соответствует функция ф,,(г)— — ф„,(Г), то по формуле (4) получаем 3 х[ хг ))и )! фе, фх [[с т. е. соответствие пространства Е части пространства С [О, 1) не только изоморфно, но и изометрично. Теорема полностью доказана. Теорема 2 (Фреше). Всякое метрическое сепарабельное пространство Х изометрично части некоторого сепарабельного пространства типа В, Пусть СИ = [хе, хо ..., х„..., ! — счетное всюду плотное множество в пространстве Х.

Отнесем каждому элементу х Е Х точку у= [т[с! пространства т, где Чс — — р(х, хс) — р(хо, хс), [= 1, 2, 3, . ° ° УНИВЕРСАЛЬНОСТЬ ПРОСТРАНСТВА С [О,Ц 259 е Л В силу аксиомы треугольника !Ч, ! = !р (х, х,) — р(х,, х,)! ~~ р(х, х,), и, следовательно, (Ч,! — ограниченная последовательность. т. е. у действительно есть точка пространства ле. Пусть элементам х н х' из Х отвечают в нашем отображении элементы у = (Ч,! и у' = (Ч,'! из т.

Имеем !!у — у'!! = зпр !Ч, — Ч';! = = знр !(р(х, х~) — р(хе, х,)) — (о(х'. х,) — р(хе, х,))! = =енр !р(х, х,) — р(х'. х,)! (р(х. х'). (5) Пусть теперь е — произвольное положительное число. меньшее чем р(х, х'). Существует точка х„счетного всюду плотного множества М такая, что р(х, х„) ( —.

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

Тип файла
DJVU-файл
Размер
9,47 Mb
Тип материала
Высшее учебное заведение

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

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6418
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее