- •Введение
- •Глава 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. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
Глава 2 свойства метрических пространств
1. Сходящиеся последовательности в метрических пространствах и полные метрические пространства
В метрическом пространстве вводится понятие сходимости последовательности. Пусть (Х, d) – метрическое пространство.
Определение 1. Говорят, что xnХ сходится к xХ (xn x; ), если d(xn, x) 0 при n .
Понятие сходимости можно сформулировать и на языке «-n». Для > 0 n0(): для n n0 справедливо неравенство d(xn, x) < .
Лемма 1. Если последовательность в метрическом пространстве сходится, то ее предел единственный.
Доказательство. Пусть хn а, хn b. Применяя неравенство треугольника, получим: d(а, b) d(а, хn) + d(хn, b). Оба слагаемых в правой части стремятся к нулю. Так как d(а,b) неотрицательное и не зависит от n, то по известным теоремам о переходе к пределу в неравенствах получаем d(а,b) = 0, а тогда по свойствам метрики а = b, что и требовалось доказать.
Определение 2. Последовательность хn элементов метрического пространства Х называется ограниченной, если существует шар S(y, r), которому принадлежат все члены последовательности.
Лемма 2. Если последовательность сходится в метрическом пространстве, то она ограничена.
Доказательство. Утверждение легко вытекает из определения сходящейся последовательности, если заметить, что если хn х, то для фиксированного > 0 найдется n0, для которого xnS(x, ) для всех n n0. Следовательно, все члены последовательности за исключением конечного числа попадают в окрестность S(x, ). Так как любой конечный набор элементов является всегда ограниченным, отсюда уже следует ограниченность всей последовательности.
Следствие. Если последовательность {xn} точек из X сходится к точке xX, то числа d(xn, y) ограничены для любой фиксированной точки у пространства X.
Лемма 3. Если xn → x, yn→ y, то d(xn, yn) → d(x, y) (иначе говоря, метрика является непрерывной функцией своих аргументов).
Доказательство. По неравенству четырёхугольника
|d(x, y) - d(xn, yn)| d(x, xn) + d(y, yn).
Отсюда предельным переходом при n → легко получаем утверждение леммы.
В метрическом пространстве предельными для множества являются такие точки х0, для которых существует последовательность точек хn множества сходящаяся к х0. Замкнутый шар S[a, r] есть замкнутое множество. В самом деле, пусть xn S[a, r] и xn → x0. Тогда d(xn, a) r, и при n → это неравенство в пределе дает d(x0, a) r, т.е. х0 S[a, r]. А так как каждая предельная точка шара есть предел некоторой последовательности точек шара, то замкнутость шара доказана.
Выясним конкретный смысл сходимости в метрических пространствах Rn, C[a, b], l2 и m.
Пример 1. Пусть Х = Rn. Если хк→х0, где хк ={ξ1(к),…, ξn(к) } и х0 ={ξ1(0),…, ξn(0) }, то
d(хк, х0) = →0 при к → ∞.
Но в силу несложно проверяемых неравенств
,
верных для любого i, это возможно тогда и только тогда, когда ξi(k) → ξi(0), i = 1,..., n, при k → ∞.
Отсюда следует, что сходимость в Rn есть сходимость координат точек последовательности к соответствующим координатам точки – предела, т.е. сходимость в Rn есть сходимость по координатам.
Пример 2. Пусть Х = C[a, b]. Если {xn(t)} C[a, b] сходится к х0(t) C[a, b], то
d(хn, х0) = |xn(t) – x0(t)| → 0
или иначе: ε >0 N: n > N => |xn(t) – x0(t)|< ε. Это условие эквивалентно условию, что n > N => |xn(t) – x0(t)|< ε t [a, b]. Но это означает равномерную сходимость последовательности {xn(t)} к х0(t). Таким образом, сходимость в пространстве С[a, b] есть равномерная сходимость функциональной последовательности {xn(t)}.
Пример 3. Пусть Х = l2. Можно показать ,что сходимость последовательности {xn} l2 к х0 l2, где хn ={ξi(n) }, х0 ={ξi(0) } означает, что
1) ξi(n) → ξi(0) для i = 1,2,...
2) ε>0 N: <ε для всех n =1,2,.....
Таким образом, сходимость в l2 содержит в себе более сильные требования, чем сходимость по координатам. Покажем это на примере, показывающем, что в l2 сходимость по координатам не влечёт сходимости последовательности точек в l2.
Возьмем в пространстве l2 последовательность em ={ξi(m)}, где ξi(m)= δmi (символ Кронекера). Берём х0 = (0, 0,…, 0,…) l2. Тогда последовательность {em} по координатам стремиться к точке х0. Однако d(em, x0) = 1, следовательно {em} не стремится к х0 по метрике.
Пример 4. Пусть X = m. Сходимость последовательности хn = {ξ1(n),…, ξn(n),…} m к элементу х0 ={ξ1(0),…, ξn(0), …} означает равномерную сходимость по координатам, т.е. ε>0 N: n > N | ξi(n) – ξi(0) | <ε i = 1,2,... Доказывается это также как в примере 2.
Можно показать, что в метрическом пространстве s всех числовых последовательностей сходимость по метрике совпадает со сходимостью по координатам.
Определение 3. Последовательность xnX называется фундаментальной последовательностью, если для > 0 N: d(xn, xm) < , если n, m N.
Лемма 4 (о сходимости последовательностей). Пусть {xn} – последовательность из метрического пространства Х. Следующие условия эквивалентны:
1. {xn} – сходится к х;
2. Любая подпоследовательность {xn} сходится х;
3. Для любой подпоследовательности { } существует подпоследовательность { } сходящаяся к х;
4. {xn} – фундаментальная и любая подпоследовательность { } сходится к х;
5. {xn} – фундаментальная и существует подпоследовательность { }, сходящаяся к х.
Доказательство.
1. 2. и 2. 3. Стандартные утверждения из математического анализа: подпоследовательность сходящейся последовательности сходится к тому же пределу: доказательство абсолютно аналогично.
4. 5. Очевидно.
3. 4. вытекает из 5. 1. Действительно, если 5. 1. уже доказано, то в силу условий п.4. подпоследовательность { } фундаментальна, но по п. 3 у нее существует сходящаяся к х подпоследовательность. Тогда из 5. 1. вытекает, что { } сама сходится к х.
5. 1. Пусть {xn} – фундаментальная последовательность и – ее сходящаяся к х подпоследовательность. Для > 0 N1: d(xp, xm) < , p, m > N1. Полагая здесь m = nk, nk N1, k N, имеем d(xp, ) < . Следовательно, d(x, xp) d(x, ) + d( , xp) + 2 (p > N1) и xp x Х.
Определение 4. Метрическое пространство Х называется полным, если любая фундаментальная последовательность в этом пространстве сходится к элементу этого пространства.
Пример 5. Для случая Rn – евклидова n–мерного пространства – полнота следует из критерия Коши существования предела последовательности точек этого пространства.
Пример 6. Рассмотрим введенное выше пространство С[0, 1]. По определению фундаментальной последовательности {xn} и метрики для >0 N: < n, m N. Если мы зафиксируем t, то хn(t) будет обычной числовой фундаментальной последовательностью, у которой существует в силу критерия Коши поточечный предел х(t). Переходя к поточечному пределу в неравенстве верном для любого t [0, 1] при m получаем для n N. Таким образом, последовательность хn(t) равномерно на отрезке [0, 1] сходится к функции х(t). Тогда по теореме Вейерштрасса о непрерывности равномерного предела непрерывных функций x(t) - непрерывная на отрезке [0, 1] функция. Отсюда C[0, 1] является полным пространством.
Пример 7. На множестве C[0, 1] можно ввести другую метрику, например:
d(x, y) =
но в этом случае пространство не будет полным. Для доказательства этого достаточно рассмотреть следующую последовательность непрерывных функций:
хn(t) =
Покажите, что эта последовательность фундаментальна по приведенной метрике (используйте геометрический смысл определенного интеграла), но сходится к разрывной функции.
Пример 8. Покажем полноту пространства l2. Пусть последовательность х(m) = (x1(m), x2(m),..., xn(m),....), m = 1, 2, .... является фундаментальной в l2. Следовательно, для произвольно выбранного > 0 существует такой номер n0, что для всех k, m n0 выполняется неравенство < . Из неравенства |xn(m) - xn(k)| , верного для любого n N, вытекает фундаментальность последовательности {xn(m)} в пространстве R и следовательно ее сходимость xn(m) хn при m . Переходя в очевидном неравенстве
<
при фиксированном m к пределу сперва при k , затем при p , получим неравенство
.
Из неравенства треугольника
вытекает принадлежность х к l2. Из предыдущего же неравенства вытекает сходимость х(m) к х в l2.