- •Введение
- •Глава 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. Сопряженный оператор. Условия существования сопряженного оператора. Замкнутость сопряженного оператора. Сопряженный оператор к ограниченному оператору и его норма.
- •7. Самосопряженный оператор. Норма самосопряженного оператора
- •Глава 9 спектральная теория операторов
- •1. Вполне непрерывные операторы и их свойства. Операторы Фредгольма и Гильберта-Шмидта
- •2. Теорема Шаудера о полной непрерывности сопряженного оператора. Уравнения первого и второго рода с вполне непрерывными операторами. Теорема о замкнутости области значений оператора
- •3. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
7. Отображение компактных множеств. Теорема Вейерштраса об ограниченности и достижении точных граней непрерывной функцией
Теорема 9. Пусть Х, У – топологические пространства, Х компактно, а f: Х У – непрерывное отображение. Тогда образ f(Х) – компактное пространство в У.
Доказательство. Пусть {V} - произвольное открытое покрытие f (Х). В силу определения непрерывного отображения, множества f -1(V) также являются открытыми и, очевидно, образуют открытое покрытие для Х. В силу компактности Х существует конечный набор из этого покрытия такой, что . Но в этом случае иf (Х) , что доказывает компактностьf (Х).
Теорема 10. Пусть Х, У – топологические пространства, Х компактно, У – отделимое, а f: Х У – непрерывное отображение. Тогда f замкнутое отображение.
Доказательство. Всякое замкнутое множество компактного пространства само является компактным множеством (теорема 1.13). Итак, пусть В – замкнутое множество в пространстве Х (следовательно компактное). По предыдущей теореме f (В) – компактное множество. В силу отделимости У это множество обязано быть замкнутым (теорема 1.15).
Теорема 11. Пусть Х, У – топологические пространства, Х компактно, У – отделимое, а f: Х У – непрерывное биективное отображение. Тогда f - гомеоморфизм.
Доказательство практически очевидное.
Теорема 12 (Вейерштрасса). Всякая непрерывная функция f : Х R на компактном пространстве Х ограничена и достигает на Х своей верхней (нижней) грани.
Доказательство. В силу компактности Х и непрерывности f образ f (X) является компактным множеством в R. Но любое компактное множество в R ограничено и замкнуто. Ограниченность f (X) означает ограниченность функции. Замкнутость числового множества f (X) влечет принадлежность ему его точных граней. Это означает, что точная грань (например, супремум) достигается на каком-то элементе х0 Х, т.е. f (x0) = sup f (X).
Теорема 13 (Кантора). Всякая непрерывная функция f(x), определённая на компактном множестве Q, метрического пространства (Х, ), равномерно непрерывна на нём: иными словами, для любого ε > 0 можно найти такое δ>0, что из ρ(x, y)< δ следует |f(x) - f(y)| < ε
Доказательство. Допуская противное, мы для некоторого ε0 сможем указать такие последовательности xn и yn, что
ρ (xn, yn)< , |f(xn) - f(yn)| ε0 (12)
Последовательность {xn} в силу предположения содержит подпоследовательность {xni}, сходящуюся к некоторой точке х0. Тогда и подпоследовательность {yni} сходится к точке х0. Начиная с некоторого номера, точки xni и yni попадают в такую окрестность точки х0 , в которой выполняется неравенство |f(x ) - f(x0)|<. Но тогда
|f(xni ) - f(yni)| |f(xni) - f(х0)| + |f(x0) - f(yni)| < += ε0
что противоречит условию (12). Теорема доказана.
8. Принцип сжимающих отображений и его применение
Определение 14. Отображение А метрического пространства X в себя называется сжимающим, если d(Ax, Ay) d(x, y), где 0<<1.
Теорема 14 (Принцип сжимающих отображений). Если А: XX сжимающее отображение в полном метрическом пространстве (X, d), то единственная точка уХ: Ay = y (неподвижная точка).
Доказательство. Для произвольного x1X определим x2 = Ax1, x3 = Ax2, ... xk = Axk-1. Получим последовательность {xk}, для которой d(x3, x2) = d(Ax2, Ax1) d(x2, x1). По такой же схеме выводим общую формулу: d(xn+1 , xn) = d(Axn, Axn-1) d(xn, xn-1) ... n-1 d(x2, x1). По неравенству треугольника и выведенной формуле получаем
d(xn+p, xn) d(xn+p, xn+p-1) +...+ d(xn+1, xn) (n+p-2 + n+p-3 +...+ n-1) d(x2, x1) = n-1(1 – p)d(x2, x1)/(1 – ) n-1d(x2, x1)/(1 – )
(внутреннее равенство – сумма геометрической прогрессии).
В силу неравенства 0<<1 и неравенства d(xn+p, xn) n-1d(x2, x1)/(1 - ) для >0 N: d(xn+p, xn) < , n N и любого натурального р. Таким образом, последовательность {xn} является фундаментальной, а следовательно в силу полноты пространства xn x0 Х
Теперь докажем, что Аx0 = x0. Имеем d(Ax0, x0) d(Ax0, xn) + d(xn, x0) < d(Ax0, Axn-1) + d(x0, xn-1) + < 2 (<1) при достаточно больших n. В силу произвольности >0 из этого неравенства вытекает, что d(Ax0, x0) = 0. Из аксиом метрики вытекает нужное нам равенство.
Докажем единственность неподвижной точки. Пусть y0X: Ay0 = y0 и y0 x0. Тогда d(x0, y0) = d(Ax0, Ay0) d(x0, y0) < d(x0, y0) и мы получили противоречие.
Метод отыскания решения уравнения, предложенный в теореме о сжимающих отображениях, называется методом итераций.
Принцип сжимающих отображений имеет многочисленные приложения при доказательствах существования решения и его отыскания. Мы приведем лишь три достаточно важных применения.
1. Задача Коши: Найти решение дифференциального уравнения y = f(x, y) с начальным условием y(x0) = y0.
На функцию f (х, у) наложим следующие условия: f(х, у) определена и непрерывна в некоторой открытой области G, которой принадлежит точка (х0, у0), и удовлетворяет в этой области условию Липшица по у, т.е.
|f(x, y1) - f(x, y2)| M|y1 -y2|.
Теорема 15 (Пикара). В приведенных выше условиях существует такое d > 0, что поставленная задача Коши на отрезке |x - x0| d имеет единственное решение у = (х).
Доказательство. Поставленная задача Коши очевидно эквивалентна следующему интегральному уравнению
(х) = у0 +
В силу непрерывности функции f(х, у) имеем |f(x, y)| K в некоторой замкнутой ограниченной области D G, для которой точка (х0, у0) является внутренней точкой. Выберем d > 0 так, чтобы выполнялись условия:
(х, у) D, если |х - х0| d, |y - y0| Kd;
Md < 1.
Достаточно очевидно, что эти условия можно удовлетворить. Рассмотрим множество Х – непрерывных функций (х), определенных на отрезке |x - x0| d и таких, что |(x) - y0| Kd с метрикой d(1, 2) = max |1(x) - 2(x)|, где максимум ищется на отрезке [x0 - d, x0 + d]. Несложно видеть, что Х является замкнутым множеством в пространстве С[x0 - d, x0 + d] и следовательно является полным метрическим пространством. Рассмотрим на этом пространстве Х отображение = А, определяемое равенством
(х) = у0 +
Это отображение переводит пространство Х в себя и является сжатым. Действительно, если Х, |x - x0| d, то |(x) - y0| = Kd. Последнее означает, что (х) = (А)(х) Х. Далее, по условию Липшица,
|1(x) - 2(x)| Md|1(х) - 2(х)|.
В силу предположений Md < 1 и оператор А является сжимающим. Тогда по принципу сжимающих отображений уравнение (х) = (А)(х), а с ним и исходная задача Коши, имеет единственное решение в пространстве Х.
2. Решение систем линейных алгебраических уравнений методом итераций. Рассмотрим n - мерное пространство Rn. Если Rn, Rn, то положим . Нетрудно видеть, что определённое так метрическое пространство Rn будет полным. Рассмотрим в этом пространстве отображение Ax = y, заданное с помощью равенств
, i=1, … , n.
Тогда получаем
Если теперь предположить, что <1 для всехi, то мы окажемся в условиях применимости принципа сжатых отображений и, следовательно, отображение будет иметь единственную неподвижную точку. Таким образом, мы получили теорему.
Теорема 16. Если матрица такова, что<1 для всехi, то система уравнений
i=1, 2, … , n,
имеет единственное решение
Это решение можно получить методом итераций, исходя из произвольного вектора .
Условие теоремы 16 есть достаточное условие сходимости метода итераций для рассматриваемой системы. Если в Rn ввести другую метрику, то получим другое условие сходимости. Пусть, например, . При такой метрике
Поэтому условием сходимости метода итераций будет на этот раз неравенство
.
Нетрудно видеть, что полученные здесь условия существования и единственности решений для систем линейных уравнений, могут быть распространены достаточно легко на случай бесконечных систем линейных уравнений в соответствующих метрических пространствах.
3. Интегральное уравнение Фредгольма. Применим теперь принцип сжимающих отображений для разрешимости так называемого неоднородного линейного интегрального уравнения Фредгольма второго рода:
f(x) = + (x).
Здесь К(х, у) - называется ядром интегрального оператора, (x) - заданная функция, - произвольный параметр, f(х) - искомая функция.
Предположим, что К(х, у) и (x) - непрерывные функции при a x b, a y b. Тогда в силу теоремы Кантора |K(x, y)| M. Рассмотрим отображение Аf в метрическом пространстве C[a, b], задаваемое равенством:
(Af)(x) = + (x).
Следующие неравенства вполне очевидны:
d(Af1, Af2) = |(Af1)(x) - (Af2)(x)| ||M(b - a) |f1(x) – f2(x)|.
Следовательно, при || <1/M(b - a) отображение А является сжимающим в пространстве C[a, b]. В силу принципа сжимающих отображений заключаем, что интегральное уравнение Фредгольма при || <1/M(b - a) имеет единственное решение, которое можно получить методом итераций по формуле:
fn(x) = + (x).
В этой формуле в качестве начального приближения f0(х) можно взять нулевую функцию.