Главная » Просмотр файлов » 1610912324-d6d302fddade0a032e1066381713268c

1610912324-d6d302fddade0a032e1066381713268c (824704), страница 25

Файл №824704 1610912324-d6d302fddade0a032e1066381713268c (Колмогоров А.Н. Фомин С. В. Элементы теории функций и функционального анализа 2004u) 25 страница1610912324-d6d302fddade0a032e1066381713268c (824704) страница 252021-01-17СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Множество А из Л называется 6-семгою для М, если для любой точки к Е М найдется хотя бы одна точка а б А, такая, что р(к,а) < г. (Множество А не обязано содержаться в ЛХ и может даже не иметь с ЛХ ни одной общей точки, однако, имея для М некоторую г-сеть А, можно построить 26-сеть В С ЛХ.) Например, целочисленные точки образуют на плоскости 1/ьг2-сеть. Множество М называется вполне ограниченным, если для него при любом г ) 0 существует конечная е-сеть. Ясно, что вполне ограниченное множество обязательно ограничено, как сумма конечного числа ограниченных множеств. Обратное, вообгпе говоря, неверно, как показывает приводимый ниже пример 2.

Часто бывает полезно следующее очевидное замечание: если множество М вполне ограничено, то его замьгкание ~М~ также вполне ограничено. Из определения полной ограниченности сразу следует, что если само метри щское пространство Л вполне ограпаченц то оно сепарабельно. Действительно, построим для каждого и в Л конечную 1(п-сеть. Сумма их по всем п представляет собой счетное всюду плотное в Л множество. Поскольку сепарабельное метрическое пространство имеет счетную базу (теорехга 4 З 5) г мы получаем, что всякое вполне ограниченное метрическое пространство имеет счетную базу. Примеры. 1.

В п-мерном евклидовом пространстве полная ограниченность совпадает с обычной ограниченностью, т.е. с возможностью заключить данное множество в достаточно большой куб. Действительно, если такой куб разбить на кубики с ребром 6, то вершины этих кубиков будут образовывать конечную 1оггпг(2)г-сеть в исходном кубе, а значит, и подавно, любом множество, лежащем внутри этого куба.

2. Единичная сфера В в пространстве )и дает нам пример ограниченного, но не вполне ограниченного множества. Действительно, рассмотрим в В точки вида е1 = (1,0,0,...,0,0,...), ег = 1г0, 1,0,...,0,0,... ), е„= (Ог0,0,...,1,0,...). 1 7. компактность в метричеспих пространствах 117 Расстояние между любыми двумя такими точками е„и е, (и 7': нл) равно у/2. Отсюда видно, что в 5 пе может быть конечной е-сети ни при каком е < л/2/2.

3. Рассмотрим в 1з множество П точек х = (х1,..., х„,... ), подчиненных условиям (х1( < 1, )хз! < 1/2, ..., )х„( < 1/2п ', ... Это множество называется основным параллелтннедом («гильбертовым кирпичом») пространства (з. Оно служит примером бесконечномерного вполне ограничеяного множества. Для доказательства его полной ограниченности поступим следующим образом. Пусть е > О задано. Выберем п так, что 1/2п ' < е/2.

Каждой точке — (11 из П сопоставим точку х" = (71,...,х„О,О,...) из того же множества. При этом (2) -Г з в=а-5-1 С;1<1< ° 4л 2" — ' 2' л — — и Множество П' точек вида (2) из П вполне ограничено (как ограниченное множество в и-мерном пространстве). Выберем в П* конечну.нл е/2-сеть. Ясно, что она будет в то же время е-сетью во всем П. 2. Компактность и полная ограниченность. Теорема 1.

Если метрическое пространство Л счетно-колгпактно, то оно вполне ограничено. Итак, мы показали, что для метрических пространств счетная компактность влечет полную ограничснностьч которая в свою очередь влечет наличие счетной базы. В силу теоремы 10 З 6 отсюда получаем такой важный результат. Доказательство. Предположим,чтоЛневполнеограничено. Это значит, что при некотором ео > О в Л не существует конечной ео-сети.

Возьмем в Л произвольную точку ал. В Л найдется хотя бы оДна такаЯ точка, скажем, аз, что Р(а1, аз) > ео (иначс точка ал была бы ео-сетью для Л). Далее, в Л найдется такая точка аз, что р(ал,аз) > ео и р(аз,аз) > ео, иначе пара точек а1, аз была бы ео-сетью. Если точки ал,..., аь Уже фиксиРованы, то выбеРем точкУ аз+1 Е Л так, что Р(аоа1,. лл) > со (1 = 1,,Й) Это построение дает нам бесконечную последовательность ал, аз,..., которая не имеет ни одной предельной точки, поскольку р(а„аз) > ео при л ~ ~.

Но тогда Л не счетно-компактно. Теорема доказана. 1Л. и. Метрические и топологические прострипства 118 С л е д с т в и е. Всякое счетно-компактное, метрическое пространство компактно. й4ы показали, что полная ограниченность есть необходимое условие компактности метрического пространства. Это условие не достаточно; например, совокупность рациональных точек отрезка ~0, Ц с обычным определением расстояния между ними есть вполне ограниченное, по не компактное пространство: последовательность точек этого пространства 0; 0.4; 0,41; 0,414; 0.4142 т.е.

последовательность десятичных приближений числа ч/2 — 1, не имеет в нем предельной точки. Однако имеет место следующая теорема. Теорема 2. Для того чтобы метрическое пространство Л было компактом, необходимо и достаточно, чтобы оно было одновременно: 1) вполне ограниченным, 2) полным.

До к аз а тел ь от в о. Необходимость полной ограниченности уже отмечалась. Необходимость полноты очевидна: в самом деле, если 1х„) фундаментальная последовательность в Л, не имеющая предела, то эта последовательность не имеет в Л ни одной предельной точки. Покажем теперь,что если Л вполне ограничено и полно, то оно компактно. В силу следствия из теоремы 1 для этого достаточно установить, гто Л счетно-компактно, т, е, что всякая последовательность 1х,) точек из Л имеет хотя бы одну предельную точку.

Построим вокруг каждой из точек, образукгщих 1-сеть в Л, замкнутый шар радиуса 1. Так как эти шары покрывают все Л, а число их конечно, то по крайней мере один из них, назовем его В1, содержит некоторую бесконечную подпоследовательность х, ..., х„,... последовательности 1х„). Далее, выберем 1112-сеть в В1, <1) и вокруг каждой из точек этой сети построим замкнутый' шар радиуса 1/2. По крайней мере один из этих шаров, назовем его Вз, содержит бесконечную подпоследовательность х,,..., х„,... после- (2) (21 довательности 1хп ). Далее, найдем замкнутый шар Вз с центром (11 в Вз радиуса 1/4, содержащий бесконечную подпоследовательцость х ',..., х„',... последовательности 1х„) и т, д, Рассмотрим теперь 00 , 00 00 наряду с каждым шаром В„замкнутый шар А„с тем же центром, 1 К Квмивнтнвсть в мстрнчссних нрвстрвнствах 119 но в два раза болыпего радиуса.

Легко видеть, что шары А„вложены друг в друга. В силу полноты пространства В пересечение П А„ и=-1 не пусто и состоит из одной точки хв. Эта точка . предельная для исходной послодовательности 1х„), так как каждая ее окрестность соДеРжит некотоРый шаР В1ч а значит, и бесконечнУю поДпослеДовагельность (х„ ) последовательности )хн). рй 3. Предкомпактиые подмножества в метрических пространствах. Понятие предкомпактности, введенное нами в предыдущем параграфе цля подмножеств произвольного топологического пространства,. применимо., в частности, .к подмножествам метрическо1 о пространства. При этом, очевидно, понятие счетной предкомпактности совпадает здесь с понятием предкомпактности.

Отметим следующий простой, но 1зажный факт. Теорема 3. Для того чтобы множество М, лежащее и полном метрическом пространстве Лв было предкомпактным, необходиъю н достаточно, чтобы опо было вполне ограниченным. Доказательство сразу следует из теоремы 2 и того очевидного факта, что замкнутое подмножество полного метрического пространства само полно.

Значение этой теоремы состоит в том, что, как правило, легче установить полную ограниченность того или иного множества, чем непосредственно доказать его предкомпактность. Вместе с тем для применений в анализе важна обычно предкомпактность. 4. Теорема Арцела. Вопрос о компактности того или иного множества в метрическом пространстве — довольно распространенная в анализе задача. Х1ежду тем, попытка непосредственно применить теорему 2 сталкивается с трудностями.

Поэтому для множеств в конкретных пространствах полезно дать специальные критерии компактности [или предкомпактности), более удобные на практике. В п-мерном евклидовом пространстве предкомпактность множества равносильна, как мы видели, его ограниченности. Однако для более общих метрических пространств это уже неверно. Одним из важнейших в анализе метрических пространств является пространство С[а, 6). Для его подмножеств важный и часто используемый критерий предкомпактности доставляет так называемая теорема Арцела.

Чтобы ее сформулировать, нам понадобятся следующие понятия. Семейство Ф функций ус, определенных на некотором отрезке [а,6), называется равномерно огринссченнмм, если существует такое Гл. Па Метрические и топологические протлраиства 120 число К, что [уг(х)[ < К для всех х й [а,д)и всех со е Ф.

Семейство Ф = (уг) называется равностепенно непрерывным, если для каждого " > О найдется такое б > О, что [гс(Х1) Р(Х2)[ < Е для всех х1 и хт из [а, 6) таких, что р(х1, хт) < бг и для всех со е Ф. Теорема 4 (Арцела). Для того чтобы семейство Ф непрерывных функций, определенных на отрезке [а, 6), было прецкомпактно в С[а, 6), необходимо и достаточно, чтобы зто семейство было равномерно ограничено и равностепенно непрерывно. Доказательство. Необходимость.

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

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

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

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