- •Введение
- •Глава 1 топологические пространства
- •1. Понятие множества. Операции над множествами. Отображения. Характеристическая функция множества
- •2. Топология и топологическое пространство. База топологии
- •3. Структура открытых множеств и окрестности
- •4. Понятие метрического пространства и топологии, определяемой метрикой. Примеры метрических пространств
- •5. Операция замыкания множества в топологическом пространстве
- •6. Внутренние точки множества, внутренность. Граница множества
- •7. Сепарабельные топологические пространства
- •8. Индуцированные топологии и фактортопология
- •9. Непрерывное отображение. Гомеоморфизм
- •10. Компактные пространства
- •Глава 2 свойства метрических пространств
- •1. Сходящиеся последовательности в метрических пространствах и полные метрические пространства
- •2. Теорема о пополнении метрического пространства
- •3. Критерий полноты пространства
- •4. Компактные множества в метрическом пространстве. Теорема Хаусдорфа
- •5. Критерии компактности в пространствах с[0, 1], lp. Теорема Арцела
- •6. Теорема Вейерштрасса о равномерном приближении и сепарабельность с[0, 1]
- •7. Отображение компактных множеств. Теорема Вейерштраса об ограниченности и достижении точных граней непрерывной функцией
- •8. Принцип сжимающих отображений и его применение
- •9. Нигде не плотные множества. Понятие категории множеств метрического пространства. Теорема Бэра
- •Глава 3 мера и измеримые множества
- •1. Системы множеств
- •2. Системы множеств в евклидовом пространстве
- •3. Функция множеств
- •4. Мера и ее простейшие свойства. Мера в евклидовом пространстве
- •5. Внешняя мера
- •6. Измеримые множества
- •7. Мера Лебега на Rn
- •Глава 4 измеримые функции
- •1. Измеримые функции и их свойства
- •2. Сходимость почти всюду
- •3. Сходимость по мере и ее свойства
- •4. Сравнение сходимости почти всюду и по мере
- •5. Почти равномерная сходимость. Теоремы Егорова и Лузина
- •Глава 5 интеграл лебега
- •1. Интеграл Лебега для простых и ограниченных функций на пространстве с конечной мерой
- •2. Основные свойства интеграла от ограниченной функции
- •3. Определение интеграла Лебега в произвольном случае
- •4. Предельный переход под знаком интеграла
- •5. Сравнение интегралов Римана и Лебега
- •6. Заряды. Теорема Радона—Никодима
- •Глава 6 нормированные и гильбертовы пространства
- •2. Конечномерные пространства. Конечномерность и компактность. Теорема Рисса о локальной компактности.
- •3. Скалярное произведение. Гильбертово пространство. Аксиомы и свойства. Ортонормированные системы. Ортогонализация по Шмидту. Тождество параллелограмма.
- •4. Ортогональность и ортогональное дополнение
- •5. Ряды Фурье в гильбертовом пространстве. Коэффициенты Фурье. Неравенство Бесселя и равенство Парсеваля. Полные и замкнутые ортонормированные системы
- •Глава 7 линейные операторы в нормированных пространствах
- •2. Пространство линейных непрерывных операторов и его полнота относительно равномерной сходимости операторов
- •3. Принцип равномерной ограниченности и теорема Банаха-Штейнгауза. Полнота пространства операторов относительно поточечной сходимости
- •4. Ядро оператора. Критерий ограниченности обратного оператора. Теоремы об обратном операторе
- •5. Примеры обратных операторов. Обратимость операторов вида (I - a) и (a - c).
- •6. График оператора и замкнутые операторы. Критерий замкнутости. Теорема Банаха о замкнутом графике. Теорема об открытом отображении
- •Xn(t)X(t) равномерно на [a, b],.
- •X'n(t) y(t) равномерно на [а, b].
- •Глава 8 линейные функционалы в нормированных пространствах
- •1. Линейные непрерывные функционалы. Продолжение по непрерывности. Теорема Хана-Банаха. Следствия из теоремы Хана-Банаха
- •2. Сопряженные пространства
- •3. Теорема Рисса об общем виде линейного функционала для пространства непрерывных функций
- •4. Пространства Лебега и сопряженные к ним
- •5. Изоморфизм и изометрия сепарабельных гильбертовых пространств. Общий вид линейного функционала в гильбертовом пространстве. Теорема Рисса-Фишера.
- •6. Сопряженный оператор. Условия существования сопряженного оператора. Замкнутость сопряженного оператора. Сопряженный оператор к ограниченному оператору и его норма.
- •Глава 9 спектральная теория операторов
- •1. Вполне непрерывные операторы и их свойства. Операторы Фредгольма и Гильберта-Шмидта
- •2. Теорема Шаудера о полной непрерывности сопряженного оператора. Уравнения первого и второго рода с вполне непрерывными операторами. Теорема о замкнутости области значений оператора
- •3. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
9. Нигде не плотные множества. Понятие категории множеств метрического пространства. Теорема Бэра
Определение 15. Пусть Х – метрическое пространство Множество А Х называется нигде не плотным, если его замыкание А не имеет внутренних точек. Последнее эквивалентно тому, что в любом шаре найдется шар, не содержащий точек из А.
Действительно, возьмем любой шар S. Он не может лежать полностью в множестве А, т.к. в этом случае все его внутренние точки окажутся внутренними для А. Следовательно, S(X - А) . Тогда для любой точки х S(X - А) (множество Х - А – открыто) найдется шар малого радиуса S1, который полностью лежит в S(X - А), а следовательно не имеет общих точек с А. Обратное очевидно.
Определение 16. Счетное объединение нигде не плотных множеств называется множеством первой категории, а множество, не являющееся множеством первой категории, - множеством второй категории.
Теорема 17 (Бэра). Полное метрическое пространство является множеством второй категории, т.е. не может быть объединением счетного множества нигде не плотных множеств.
Доказательство. Предположим противное, что полное метрическое пространство X является счетным объединением нигде не плотных в X множеств X = . Рассмотрим непустое открытое множество X – А1 и некоторую точку x1 из этого множества. Найдется открытый шар S(xl, r1), который содержится в множестве X – А1. Для этого шара справедливы соотношения S(x1, r1/2) S[x1, r1/2] S(x1, r1). Следовательно, S[x1, r1/2] А1 = .
Возьмем точку х2 из непустого открытого множества S(x1, r1/2) (X – А2) (см. рассуждения после определения 15). Найдется открытый шар S(х2, r2), содержащийся в этом пересечении. Не умаляя общности, можно считать, что r2 r1/2, т.е. можно уменьшить радиус шара, не нарушая включения
S(х2, r2) S(x1, r1/2) (X – А2).
Тогда справедливы включения
S(х2, r2/2) S[х2, r2/2] S(х2, r2) S(x1, r1/2) S[x1, r1/2],
причем S[x2, r2/2] А2 = .
Далее, по индукции, в непустом открытом множестве
S(xn - 1, rn - 1/2) (X – Аn)
найдется открытый шар S(хn, rn), rn rn – 1/2, для которого выполняются включения
S(хn, rn/2) S[хn, rn/2] S(хn, rn) S(xn - 1, rn - 1/2) S[xn - 1, rn - 1/2],
причем S[xn, rn/2] Аn = .
Мы построили последовательность { S[xn, rn/2]} замкнутых вложенных шаров с радиусами rn/2 rn – 1/22 … r1/2n, стремящимися к нулю при n , для которых S[xn, rn/2] Аn = . По критерию полноты метрических пространств существует точка х, принадлежащая всем шарам. Из равенства X = следует, что х принадлежит какому-то из множеств, скажем Am.. Мы получили противоречие: x S[xm, rm/2] Аm, в тоже время по построению шаров S[xm, rm/2] Аm = и тем более S[xm, rm/2] Аm = .
Следствие. Если полное метрическое пространство X является счетным объединением замкнутых множеств, то хотя бы одно из них содержит шар положительного радиуса.
Задачи
1. Пусть M нигде не плотное множество метрического пространства. Каким будет его дополнение?
2. Пусть X – пространство элементов вида , где n – фиксировано, - рациональные числа, с метрикой
Будет ли это пространство полным? Что будет являться его пополнением?
3. В пространстве построить последовательность вложенных друг в друга замкнутых множеств с пустым пересечением.
4. Показать, что пространство непрерывных функций с метрикой
неполно ни при каком p.
5. Ввести на прямой метрику по формуле
Проверить выполнение всех аксиом метрического пространства. Будет ли это пространство полным?
6. Доказать, что пространство Сm[a, b] полно при любом m.
7. Является ли полным пространство всех числовых последовательностей
где , с метрикой по формуле
?
8. Рассмотрим три пространства функций на прямой с метрикой d(f(x), g(x)) = :
а) всех ограниченных непрерывных функций;
б) всех непрерывных функций, у которых ;
в) всех непрерывных функций, каждая из которых равна нулю вне некоторого интервала.
Будут ли указанные пространства полными?
9. Отображение A на полупрямой переводит точку x в . Является ли отображение сжимающим? Имеет ли неподвижную точку?
10. Пусть функция , заданная и дифференцируемая на отрезке [0, 1], удовлетворяет неравенствам
Будет ли уравнение иметь решение?
11. В пространстве элементов вида с метрикой . Найти условие разрешимости системы
12. Непрерывны ли функции , где B – множество в метрическом пространстве X.
13. Дано отображение компакта в себя, удовлетворяющее условию при . Показать, что у этого отображения существует единственная неподвижная точка.
14. Может ли компактное множество быть неограниченным?
15. Привести пример компактного в пространстве m множества, все точки которого имеют бесконечное множество координат, отличных от нуля.
16. Будет ли компактным в пространстве C[a, b] множество всех степеней ?
17. Показать, что последовательность непрерывных функций на отрезке [0, 1], где
сходится по расстоянию к и в и в (см. задачу 4), но не стремящуюся в С[a, b] в метрике Чебышева (пример 7, гл. 1) к единице при t = 0.
18. Пусть Х - метрическое пространство, в котором любая последовательность точек содержит фундаментальную подпоследовательность. Доказать, что пространство Х сепарабельно.
19. Показать, что пространств h всех числовых последовательностей, каждая из которых имеет лишь конечное число отличных от нуля членов, с метрикой d(x, y) = sup n |xn - yn| является неполным сепарабельным метрическим пространством. Каково пополнение этого пространства?
20. Показать, что пространство С(-, ) всех определенных на числовой прямой непрерывных функций, каждая из которых обращается в нуль вне некоторого интервала, с метрикой
является неполным сепарабельным метрическим пространством. Каково пополнение этого пространства?
21. Показать, что множество F замкнуто тогда и только тогда, когда из d(x, F) = 0 следует хF.
22. В любом ли метрическом пространстве замыкание открытого шара S(x, r) совпадает с замкнутым шаром S[x, r]?
23. Обозначим АК множество всех функций из С[a, b], удовлетворяющих условию Липшица с одной и той же константой К:
|x(t) - x(s)| K|t - s|.
Показать, что множество АК совпадает с замыканием множества всех дифференцируемых на сегменте [a, b] функций x(t) таких, что |x(t)| K.
24. Указать в эвклидовой плоскости два таких замкнутых непересекающихся множества А и В, что d(А, В) = 1, но не существует точек аА и bВ таких, что d(а, b) = 1.
25. Показать, что если А - компактное, а В замкнутое множества в метрическом пространстве Х и АВ = , то d(А, В) > 0.
26. Пусть f(х) - непрерывное взаимооднозначное отображение компактного метрического пространства Х на метрическое пространство У. Доказать, что обратное отображение f -1(у) пространства У на пространство Х непрерывно.
27. Доказать, что если возрастающая последовательность {xn(t)} вещественных непрерывных функций, заданных на компактном метрическом пространстве Х, поточечно сходится к непрерывной функции х(t), то она сходится к х(t) равномерно.
28. Пусть d(x, y) - метрика на Х. Показать, что
также является метрикой на Х и что эти три метрики попарно эквивалентны.
29. Пусть Х - метрическое пространство, в котором любая последовательность точек содержит фундаментальную подпоследовательность. Доказать, что пространство Х сепарабельно.
30. Показать, что пространств h всех числовых последовательностей, каждая из которых имеет лишь конечное число отличных от нуля членов, с метрикой d(x, y) = sup n |xn - yn| является неполным сепарабельным метрическим пространством. Каково пополнение этого пространства?
31. Пусть Х - метрическое пространство с метрикой
Ответить на следующие вопросы: 1) В каком случае {xn} будет сходящейся последовательностью в Х? 2) В каком случае {xn} будет фундаментальной последовательностью в Х? 3) Будет ли Х полным пространством? 4) Какие множества всюду плотны в Х? 5) В каком случае Х является сепарабельным пространством? 6) Какие множества в Х открыты, замкнуты?
32. В любом ли метрическом пространстве замыкание открытого шара S(x, r) совпадает с замкнутым шаром S[x, r]?