- •Введение
- •Глава 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. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
3. Критерий полноты пространства
Определение 7. Пусть дано метрическое пространство (X, d) и последовательность замкнутых шаров S[xk, rk]. Такая система шаров называется вложенной, если:
1. S[x1, r1] S[x2, r2] ...;
2. rn = 0.
Теорема 2. X - метрическое пространство является полным тогда и только тогда, когда любая вложенная система шаров в Х имеет не пустое пересечение (существует единственная точка принадлежащая каждому шару системы).
Необходимость. По 2) условию для вложенной системы для > 0 N: 0 < rk < , если k N. Рассмотрим последовательность центров этих шаров. В силу условия 1) xk S[xN, rN], если k N, то есть d(xN, xk) rN < . Тогда по неравенству треугольника легко получаем, что d(xn, xk) < 2 для всех n, k N. Таким образом, {xk} - фундаментальная последовательность в пространстве Х. В силу полноты этого пространства существует х = хn. По 1) условию xn S[xk, rk] при n k и xn x. В силу замкнутости шара S[xk, rk] это означает, что x S[xk, rk] и это верно для произвольного k. Отсюда x принадлежит пересечению этих шаров.
Используя свойство 2) вложенной системы шаров и неравенство треугольника для метрики покажите самостоятельно единственность этой точки.
Достаточность. Возьмем yk X - произвольную фундаментальную последовательность в пространстве Х. Тогда для k = (1/2)k nk: d( , ym) < (1/2)k при m nk. По последовательности { } построим следующую систему вложенных шаров . Для проверки вложенности этой системы очевидно достаточно проверить лишь первое условие в определении. Пусть у . Тогда d( , y) d( , ) + d( , y) (1/2)k + (1/2)k (1/2)k-1, т.е. у и .
Следовательно = {x0}. Тогда 0 d( , x0) (1/2)k-1, то есть x0 (k ). Тогда в силу леммы 4 сама последовательность {yk} сходится к х0.
Теорема доказана.
Определение 8. Диаметром множества М метрического пространства (Х, d) называется число diamM = sup d(x, y), где супремум берется по всем х, у М.
Определение 9. Система замкнутых множеств Мn метрического пространства (X, d) называется вложенной, если выполнены следующие два условия:
М1 М2 М3 ... Мn ...;
diam Mn 0 при n .
Следующая теорема является аналогом теоремы 2 и доказывается точно таким же образом.
Теорема 3. X - метрическое пространство является полным тогда и только тогда, когда любая вложенная система замкнутых множеств Мn в Х имеет не пустое пересечение (существует единственная точка принадлежащая каждому множеству системы).
Следующий пример показывает важность условия стремления к нулю диаметра множеств в определении вложенной системы.
Пример 9. В пространстве l2 положим Mn = {x = (0, ..., 0, xn, xn+1, ...)}l2: = 1}. Нетрудно видеть, что эти множества замкнуты, удовлетворяют условию 1) и не удовлетворяют условию 2) (вычислите диаметры рассмотренных множеств) определения 9. Достаточно очевидно, что их пересечение является пустым множеством.
4. Компактные множества в метрическом пространстве. Теорема Хаусдорфа
Пусть (X, d) - полное метрическое пространство и M X.
Определение 10. Множество М называется секвенциально компактным, если из любой последовательности элементов этого множества можно выделить подпоследовательность, сходящуюся к элементу этого множества.
Определение 11. Множество М называется относительно секвециально компактным, если из любой последовательности элементов этого множества можно выделить фундаментальную подпоследовательность.
С понятием секвенциально компактного множества обычно впервые студенты встречаются в курсе математического анализа, в котором устанавливается теорема Больцано-Вейерштрасса: множество М в пространстве Rn является относительно секвенциально компактным тогда и только тогда, когда оно ограничено.
В случае полного метрического пространства замыкание относительно секвенциально компактного множества является секвенциально компактным.
Теорема 4 (Хаусдорфа). Множество М относительно секвенциально компактно >0 конечная -сеть, т.е. >0, x1, x2,..., xnX: xM k(x): d(x, xk) < или S (xk, ) M.
Необходимость. Пусть >0 фиксировано. Возьмем произвольное x1M. Тогда либо d(x1,x)< для всех хМ (в этом случае х1 образует нужную нам -сеть), либо существует х2М такое, что d(x1, x2). Рассмотрим S(x1)S(x2). Возможно М S(x1)S(x2). Тогда конечная -сеть состоит из х1 и х2. Либо x3М: d(x1, x3) , d(x2, x3) . Рассмотрим S(x1)S(x2)S(x3). Возможно М S(x1)S(x2)S(x3). Тогда конечная -сеть состоит из х1, х2, х3. Либо x4М: d(x1, x4) , d(x2, x4) , d(x3, x4) . Продолжим процесс далее. Докажем, что этот процесс конечен методом от противного: предположим, что найдется последовательность хnМ: d(xk, xm) , k, m: k m. Так как множество М относительно секвенциально компактно, можно выделить фундаментальную подпоследовательность: { }. Следовательно, для заданного > 0 n0: n0 d( , ) < . Получаем противоречие.
Достаточность. Пусть n = 1/n. Для n построим конечную n - сеть {yin}i=1m(n). Тогда M S[yi1, 1]. Рассмотрим произвольную последовательность {xn}M. Так как последовательность бесконечная, а шаров покрывающих М (и всю последовательность) конечное число, то существует шар в котором бесконечно много элементов последовательности. Обозначим через S1 такой шар, соответствующий 1. Пусть Т1 бесконечная часть последовательности {xn}, попавшая в шар S1. Возьмем теперь n = 2. Тогда Т1 M S[yi2, 2]. Аналогично, найдется шар S2, радиуса 2 и содержащий Т2 – бесконечную часть Т1. Продолжаем этот процесс до бесконечности, получим последовательность шаров Sk радиуса k и последовательность бесконечных вложенных в друг друга подмножеств последовательности {xn}: Т1 Т2 Т3 ... Так как Тk Sk, то расстояние между элементами множества Тk не превосходит 2k. Выберем теперь из множества Т1 произвольный элемент, он является членом последовательности {xn} и имеет в ней индекс n1: . Выберем из множества Т2 также произвольный элемент лишь налагая условие, что его индекс n2>n1: . Такой элемент можно выбрать, т.к. n1 конечное число, а Т2 - бесконечное множество. Продолжаем этот процесс: выбираем из Т3 элемент, налагая условие n3>n2. Продолжая этот процесс до бесконечности, мы получим подпоследовательность { } последовательности {xn}, обладающую тем свойством, что Тm, если km. Последнее означает, что в случае, когда 1/m < /2 расстояние d( , ) < . Отсюда следует, что построенная нами подпоследовательность { } является фундаментальной. Теорема доказана.
Следствие 1. Для того чтобы множество М в полном метрическом пространстве было относительно секвенциально компактно необходимо и достаточно чтобы у него существовала компактная -сеть.
Следствие 2. Любое секвенциально компактное множество является ограниченным.
Следствие 3. Секвенциально компактное метрическое пространство X сепарабельно.
Доказательство этих следствий не представляет особой сложности и предоставляется читателю.
Теорема 5. Для того чтобы замкнутое множество М в полном метрическом пространстве было секвенциально компактно необходимо и достаточно, чтобы оно было компактно.
Необходимость. Предположим противное: пусть {G} - открытое покрытие секвенциально компактного множества М, для которого нельзя выделить конечное подпокрытие. Положим n = 1/n и построим конечные n - сети для М: {уk(n)}k=1m(n). Пусть n = 1. Тогда M S[yi1, 1] и М = Мi(1), где Мi(1) = S[yi1, 1]М. Так как нет конечного подпокрытия, то хотя бы одно из Мi не будет покрываться конечным числом множеств системы {G}. Обозначим это множество . Как пересечение двух замкнутых множеств множество является замкнутым и, как часть М, секвенциально компактным, при этом диаметр множества не превосходит 21 ( S[yi1, 1] для некоторого i). Кроме того, S[yi2, 2]. Тогда = , где = S[yi2, 2] . Так как для не существует конечного подпокрытия , то хотя бы одно из множеств также не покрывается конечным подпокрытием. Обозначим его через . Так же как выше, нетрудно видеть, что множество является замкнутым, секвенциально компактным, с диаметром меньше 22, при этом М.
Продолжая этот процесс, мы получим последовательность вложенных в друг друга, замкнутых компактных множеств , диаметры которых не превосходят 2n. Таким образом, мы имеем систему вложенных замкнутых множеств, причем каждое из этих множеств нельзя покрыть конечной подсистемой множеств из {G}. Согласно критерия полноты метрического пространства существует точка х0, которая принадлежит всем этим множествам. Так как система {G} является покрытием множества М, то существует такое множество G, что х0 G. Множество G является открытым, следовательно существует такой открытый шар S(x0, r), что S(x0, r) G. Тогда найдется такой номер n0, что 2n < r при n > n0. Но в этом случае d(x0, y) 2n < r для любого у . Следовательно, у S(x0, r) и Sr(x0) G и мы пришли к противоречию, что ни одно из множеств нельзя покрыть конечным числом множеств системы {G}.
Достаточность. Пусть множество М компактно. Рассмотрим систему множеств {S(x, )}xM, где >0 фиксировано. Очевидно, что xM S(x, ) M и система {S(x, )}xM является открытым покрытием множества М. По условиям теоремы из этого покрытия мы можем выделить конечное подпокрытие {S(xk, )}k=1n. Но в этом случае {xk}k=1n является конечной -сетью множества М и множество М секвенциально компактно по критерию Хаусдорфа и в силу замкнутости.
Теорема доказана.
В n-мерном евклидовом пространстве относительная секвенциальная компактность совпадает с обычной ограниченностью, то есть с возможностью заключить данное множество в достаточно большой куб. Действительно, если такой куб разбить на кубики с ребром , то вершины этих кубиков будут образовывать конечную -сеть в исходном кубе, а значит, и подавно, в любом множестве, лежащем внутри этого куба.
Единичная сфера S в пространстве l2 дает нам пример ограниченного, но не компактного множества. Рассмотрим в S точки вида:
е1=(1, 0, 0, ..., 0, 0, ...),
е2=(0, 1, 0, ..., 0, 0, ...),
………………………,
еn=(0, 0, 0, ..., 1, 0, ...),
……………………….
Расстояние между любыми двумя точками еn и ем (n m) равно . Поэтому последовательность {еi} и любая ее подпоследовательность не сходятся. Отсюда в S не может быть конечной -сети ни при каком < /2.
Рассмотрим в l2 множество П точек x=(x1, x2, , xn, ...), удовлетворяющих условиям:
| x1|1, | x2|1/2, ,| xn|1/2n-1, ...
Это множество называется «гильбертовым кирпичом» пространства l2. Оно представляет собой пример бесконечномерного компактного множества. Для доказательства этого поступим следующим образом (сравни с доказательством критерия компактности множеств в пространстве lp). Пусть > 0 задано. Выберем n так, что 1/2n-1 < /2. Каждой точке x = (x1, x2, , xn, ...) из П сопоставим точку x*=(x1, x2, , xn, 0, 0, ...) из того же множества. При этом
Множество П* точек вида x*=(x1, x2, , xn, 0, 0, ...) из П компактно (как изометрически изоморфное множество ограниченному множеству в n-мерном пространстве) и следовательно является компактной -сетью для П, так как d(x, x*)<. В силу следствия из теоремы Хаусдорфа множество П компактно.