Главная » Просмотр файлов » Лекции Дымарский 4 семестр

Лекции Дымарский 4 семестр (1187980), страница 8

Файл №1187980 Лекции Дымарский 4 семестр (Лекции Дымарский 4 семестр) 8 страницаЛекции Дымарский 4 семестр (1187980) страница 82020-09-16СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

2.1.2) вводятся понятия дополнения X C ⊂ M к X и типов точек по отношению к X (внутренняя, прикосновения, предельная, изолированная, граничная). Затем определяются типыподмножеств (открытое, замкнутое, ограниченное, компактное) и подмножества, порожденные X (внутренность X 0 , замыкание X, граница ∂X).Задача 5.3. Сформулируйте (или повторите) все названные определения.Нам понадобитсяЛемма 5.1. (о метрическом подпространстве) Любое подмножествоM1 ⊂ M метрического пространства является метрическим пространствомс индуцированной метрикой:∀x, y ∈ M1 ,→ ρ1 (x, y) := ρ(x, y).Подмножество (M1 , ρ) ⊂ (M, ρ) называют метрическим подпространством.Примеры 2 и 5 иллюстрируют это определение: Q ⊂ R – метрическое подпространство, окружность с метрикой ρ1 (A, B) = |AB| является метрическимподпространством евклидовой плоскости.

Окружность с метрикой из примера6 НЕ является метрическим подпространством плоскости.Задача 5.4. Докажите лемму 5.1.Определение 5.2. Метрические пространства (M1 , ρ1 ), (M2 , ρ2 ) называютизометричными (т.е. метрически эквивалентными), если между ними существует биекция F , сохраняющая расстояние (изометрия):F : M1 ↔ M2 , ∀x, y ∈ M1 ,→ ρ1 (x, y) = ρ2 (F (x), F (y)). Задача 5.5. Докажите, что: 1) евклидова плоскость и комплексная прямаяизометричны; 2) любые две окружности с метриками 5 и 6 неизометричны(примените к каждой окружности аксиому 3 из определения 5.1)Задача 5.6. Докажите, что изометрия является отношением эквивалентности. Откуда следует, что множество всех метрических пространств разбиваетсяна непересекающиеся классы.

Теория метрических пространств изучает именно классы, а не каждое пространство в отдельности.ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОМУ АНАЛИЗУ, ЧЕТВЕРТЫЙ СЕМЕСТР35Понятие предела и непрерывного отображения метрических пространствстроится по той же схеме, что и для арифметических пространств (п.

2.1.3).Определение 5.3. Последовательность {xn }∞n=1 ⊂ M точек метрическогопространства называется сходящейся к точке x ∈ M , если lim ρ(xn , x) = 0.n→∞Обозначение: lim xn = x. n→∞Задача 5.7. Докажите, что сходящаяся последовательность имеет единственный предел.Без изменений формулируется определение предела отображения:Определение 5.4. Пусть F : X → Y – отображение метрических пространств. Отображение имеет предел (по Коши) в точке x0 ∈ X, если существует такая точка y0 ∈ Y , что◦∀ε > 0 ∃δ = δ(ε) : F (U δ (x0 )) ⊂ Uε (y0 ).

Задача 5.8. Дайте определение предела в точке по Гейне. Дайте определения непрерывности отображения в точке и на всем X. Можно ли определить понятие производной отображения, пользуясь только метрической структурой?Пример 5.1. Метрика ρ метрического пространства M является непрерывной функцией, точнее: отображение M × M ∋ (x, y) → ρ(x, y) ∈ R+0 непрерывно.Задача 5.9. Докажите сформулированное в примере утверждение. Переформулируйте его в терминах определения Коши.Определение 5.5.

Последовательность {xn }∞n=1 ⊂ M точек метрическогопространства называется фундаментальной, если она удовлетворяет условию Коши: ∀ε > 0 ∃N = N (ε) : ∀n, m > N ,→ ρ(xn , xm ) < ε. Лемма 5.2. (необходимое условие сходимости) Если последовательностьсходящаяся, то она фундаментальна.Задача 5.10. Докажите лемму 5.2.Определение 5.6. Метрическое пространство называется полным, еслилюбая его фундаментальная последовательность является сходящейся. Примеры 5.2. Кроме Q, все приведенные примеры являются полными метрическими пространствами.Задача 5.11.

Докажите неполноту Q и полноту остальных примеров метрических пространств.Полнота пространства играет важнейшую роль в проблеме существования математического объекта. Такими объектами являются, например, решения функциональных (дифференциальных, интегральных и других) уравнений.

Предложена стандартная процедура, позволяющая от неполного пространства перейти к полному. Сейчас мы только наметим ее этапы.36Я. М. ДЫМАРСКИЙОпределение 5.7. Метрическое подпространство (M1 , ρ) ⊂ (M, ρ) называется плотным в M , если в любой окрестности произвольной точки пространства M имеется точка, принадлежащая подпространству M ′ :∀x ∈ M ∀ε > 0 ∃x′ ∈ M1 : ρ(x, x′ ) < ε. Пример 5.2. Q плотно в R.Определение 5.8.

Полное метрическое пространство (M, ρ) называется пополнением своего подпространства (M1 , ρ) ⊂ (M, ρ), если (M1 , ρ) плотно в(M, ρ). Пример 5.3. R есть пополнение Q.Задача 5.12. Докажите: если M – полное пространство, то M являетсяпополнением M1 тогда и т.т., когда M есть замыкание M1 (M = M 1 ).Теорема 5.1.

(о возможности пополнения) У всякого метрического пространства существует пополнение, причем единственное с точностью доизометрии.Наметим основные этапы в доказательстве теоремы 5.1. Полное пространство совпадает со своим пополнением. В неполном пространстве M рассматривают множество Msec всех фундаментальных последовательностей {xn } иразбивают (факторизуют) Msec на классы эквивалентности {xn }∗ по принципу “неограниченного сближения“:{xn } ∼ {yn } ⇔ lim ρ(xn , yn ) = 0.n→∞(Докажите, что это отношение эквивалентности.) Оказывается, множество∗Msecклассов {xn }∗ является метрическим пространством, если определить внем метрику так:ρ∗ ({xn }∗ , {yn }∗ ) = lim ρ({x′n }, {yn′ }),n→∞где {x′n } ∈ {xn }∗ , {yn′ } ∈ {yn }∗ – произвольные представители взятых клас∗сов.

Более того, во-первых, пространство Msecявляется полным. Во-вторых,∗∗метрическое подпространство Minsec ⊂ Msec тех классов последовательностей,∗.представители которых сходятся к элементам из M , является плотным в Msec∗В-третьих, Minsec изометрично самому M . Наконец, любое пополнение M изо∗метрично Msec. (Конечно, эти утверждения надо доказать!)Пример 5.4. Построенное нами в начале курса множество действительныхчисел в виде бесконечных периодических и непериодических десятичных дробей изометрично пополнению метрического пространства Q по изложенной выше схеме.Исключительной по важности и красоте является теорема Банаха о неподвижной точке, в котором использована только метрическая структура. Ранее мы доказали эту теорему для замкнутых подмножеств арифметическихпространств.ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОМУ АНАЛИЗУ, ЧЕТВЕРТЫЙ СЕМЕСТР37Теорема 5.2. Пусть M – полное метрическое пространство, отображение F : M → M инъективно и является сжатием с коэффициентом k, т.е.∃k ∈ (0, 1) : ∀x, y ∈ M ,→ ρ(F (x), F (y)) 6 kρ(x, y).Тогда:1.

существует причем единственная неподвижная точка x∗ ,т.е. F (x∗ ) = x∗ ;2. неподвижная точка является пределом итерационного процесса, который можно запустить с любой точки x0 ∈ M :∀n ∈ N полагаем xn := F (xn−1 ), тогда x∗ = lim xn ;n→∞3. погрешность на n-ом шаге оценивается сверху по первому шагу какубывающая геометрическая прогрессия с коэффициентом k:ρ(xn , x∗ ) 6knρ(x0 , F (x0 )).1−kЗадача 5.13. Докажите теорему Банаха.5.2. Нормированные пространства. Сейчас исходным объектом изучения будет действительное линейное (= векторное) пространство L, т.е. множество, элементы которого можно складывать и умножать на действительныечисла, оставаясь в L.

Указанные операции обязаны удовлетворять неоднократно упоминавшимся аксиомам (назовите их).Примеры 5.3. линейных пространств:1. арифметическое вещественное пространство Vn столбцов (x1 , . . . , xn )T ;2. пространство n-мерных квадратных матриц A = (aij ) с поэлементнымиоперациями сложения и умножения на число;3. пространство последовательностей {xn }∞n=1 с покоординатными операциями сложения и умножения на число;4. функциональное пространство C[a, b] всех непрерывных на [a, b] функций с поточечными операциями сложения функций и умножения на число.Мы различаем линейные пространства L конечномерные (т.е. имеющиеконечный базис) и бесконечномерные (т.е. такие, у которых для произвольного n ∈ N существует n линейно независимых векторов из L).Определение 5.9.

Линейное пространство L называется нормированным,если на нем определена норма, т.е. неотрицательная функция x → ||x|| > 0,удовлетворяющая для любых x, y ∈ L аксиомам:1. тождественности: ||x|| = 0 ⇔ x = 0;2. однородности: ∀λ ∈ R верно ||λx|| = |λ|||x||;3. неравенству треугольника: ||x + y|| 6 ||x|| + ||y||. Примеры 5.4. нормированных пространств:38Я. М.

ДЫМАРСКИЙ1. a) пространство Vn с нормой ||x||T :=∑n|xi | (“геометрия такси”),(∑n)2 1/2b) пространство V с евклидовой нормой ||x||E :=i=1 xic) пространство Vn с нормой ||x||max := max {|xi |};i=1ni=1,...,n2. a) пространство n-мерных квадратных матриц A = (aij ) с евклидовой(∑)1/2n2нормой ||A||E :=a;i,j=1 ijb) пространство матриц с нормой коэффициента растяжения ||A|| :=max||x||=1 ||Ax||, где || · || – некоторая норма в Vn ;3. a) пространство l1 последовательностей{xn }, у которых ограничена∑∞∑∞ сумма модулей координат (т.е. n=1 |xn | < C) и нормой ||x||1 := n=1 |xn |;b) пространство l2 последовательностей {xn }, у которых ограничена сум(∑∞ 2 )1/2∑∞ма вадратов координат (т.е.

n=1 x2n < C) и нормой ||x||2 :=;n=1 xnc) пространство lsup последовательностей {xn } с равномерно ограниченными координатами (т.е. для каждой последовательности существуеттакая постоянная C > 0, что |xn | < C) и нормой ||x||sup := sup{|xn |};n∈N4. a) функциональное пространство C[a, b] с равномерной нормой||f ||C := max[a,b] |f (x)|;b) функциональное пространство L2 C[a, b] непрерывных функций с ин(´)1/2bтегральной нормой ||f ||L2 = a f 2 (x)dx;c) функциональное пространство LC[a, b] непрерывных функций с инте´bгральной нормой ||f ||L := a |f (x)|dx;d) функциональное пространство CP [a, b] всех многочленов p(x) = a0 +a1 x + ...

+ an xn (n = 0, 1, ...) с равномерной нормой ||p||C := max[a,b] |p(x)|.Задача 5.14. Докажите, что в каждом примере предложенная функцияудовлетворяет аксиомам нормы (или см. ниже лемму 5.6).Обсуждение 5.1. Обращаем внимание, что на одном и том же линейномпространстве норму можно вводить по-разному. Во-первых, мы получаем, согласно определению 5.9, разные нормированные пространства. Во-вторых, вбесконечномерных пространствах разные нормы приводят (как мы убедимсяниже) к разным топологическим свойствам.Каждое нормированное пространство является метрическим, если в нем положить по определениюρ(x, y) = ||x − y||.Задача 5.15. Докажите, что определенная выше функция ρ удовлетворяетаксиомам 1-3 из определения 5.1.Теперь на нормированные пространства переносятся без зменений следующие понятия метрического пространства: шар, сфера, сходимость последовательности, ее фундаментальность, полнота пространства.

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

Тип файла
PDF-файл
Размер
664,75 Kb
Тип материала
Высшее учебное заведение

Список файлов лекций

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