- •Введение
- •Глава 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. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
6. График оператора и замкнутые операторы. Критерий замкнутости. Теорема Банаха о замкнутом графике. Теорема об открытом отображении
В различных вопросах математики приходится рассматривать линейные, но не ограниченные операторы. Такие операторы, естественно, не будут непрерывными. Более того, они будут определены не на всем пространстве, а на некоторых всюду плотных линейных многообразиях рассматриваемого пространства. Приведем пример такого оператора. Пусть Х = У = С[а, b]. Рассмотрим оператор дифференцирования
Ясно, что этот оператор линеен. Однако он определен (имеет смысл) не на всем пространстве С[а, b], а лишь на подмножестве С[а, b], состоящем из функций, имеющих непрерывною производную. Это множество является, очевидно, линейным многообразием, и так как оно содержит все полиномы, то всюду плотно в С[a, b]. Легко убедиться, что оператор А на не является ограниченным. В самом деле, пусть хn (t) = sin nt. Тогда , а
,
и потому .
Неограниченный линейный оператор А не обладает свойством непрерывности. Из того, что хn х0. вообще говоря не следует, что {Aхn} стремится к какому-либо пределу. Однако некоторые неограниченные линейные операторы обладают более слабым свойством, отчасти заменяющим свойство непрерывности.
Определение 4. Прямой суммой Z =XY двух линейных пространств X и Y называется совокупность пар z = (х, у) (х X, у Y), для которых операции сложения пар и умножения пары на число определяются следующим образом: если z1 = :(x1, y1), a z2 = (х2,, y2) и 1, 2 — скаляры, то
1z1 + 2z2 = (1x1 + 2x2, 1y1 + 2y2)
Если X и Y – нормированные пространства, то норма в XY вводится по формуле ||z|| = ||x|X|| + ||y|Y|| (проверить аксиомы нормы. Показать, полноту XY, если X и Y банаховы).
Пусть у = F(x)—оператор (вообще говоря, нелинейный) с областью определения D(F) в банаховом пространстве X и с областью значений в банаховом пространстве У.
Определение 5. Графиком оператора F называется совокупность пар (х, F(x)), где х D(F).
График оператора является подмножеством пространства XY. Определение графика оператора хорошо согласуется с определением графика функции. Пусть ниже F = А – линейный оператор.
Определение 6. Линейный оператор А: X Y называется замкнутым, если его график является замкнутым множеством в XY.
Замкнутость графика оператора А означает, что если хn D(А) и (хп, Ахп) (х, у), то х D(A) и у = Aх.
Так как ||z|| = ||х|| + ||у||, то определение замкнутости оператора А можно записать так: если хп D(A), хn х, а Ахп у, то х D(A) и у = Ах.
Теорема 8. Если D(A) = X и А ограничен (т.е. А L(Х, Y)), то А замкнут.
Доказательство. Пусть хп х и Aхn у при n . Из непрерывности оператора A вытекает, что Ахп Ах, n . Но предел единственен и, значит, у = Aх.
Теорема 9. Если А замкнут и А-1 существует, то A-1 также замкнут.
Доказательство. Рассмотрим графики операторов А и A-1:
{(x, Ax), x D(A)} и {(y, A-1y), y R(A)}.
Но график оператора А-1 можно записать в виде {(Ах, х), х D(A)}, т. е. он получается из графика оператора А перестановкой х и Ах и, значит, также является замкнутым множеством в YX. Это и означает замкнутость A-1.
Следствие. Если А L(Х, Y) и А-1 существует, то А-1 замкнут.
Действительно, по теореме 8 оператор А замкнут, тогда по теореме 9 оператор А-1 замкнут.
Пример 21. В гильбертовом пространстве H с ортонормированным базисом {ek} зададим линейный оператор A следующими формулами: Aek = kеk, k = 1,2, ... ,где k –некоторые скаляры. Если х H, то х = , где ряд ||х||2 = . Тогда Ах = . Этот ряд сходится тогда и только тогда, когда
||Ax||2 = < (17)
Возможны следующие два случая:
а) |k| - ограничена: этот случай рассмотрен в примере 4, оператор А ограничен.
б) |л| - неограниченна. Оператор А неограничен, и его область определения D(A) состоит из элементов х, удовлетворяющих неравенству (17). Неограниченность А вытекает из того, что ||Аеk|| = |k| при k неограниченны, хотя ||еk|| = 1. Если infk |k| = сА > 0 (т.е. k отделены от нуля положительным числом), то существует A-1, определяемый на элементах
y = , <,
формулой
A-1y = .
Поскольку supk |k|-1 = c-1 < , то А-1 ограничен (D(A-1) = H). Таким образом, условие infk |k| = сА > 0, согласно теореме 9, обеспечивает замкнутость A.
Пример 22. Пусть X = Y = С[0, +) — банахово пространство функций x(t), непрерывных и ограниченных на полуоси [0, +) с нормой ||х|| = .
Зададим в X оператор A по формуле Aх = tx(t). Оператор A линеен, и его область определения D(A) состоит из функций, удовлетворяющих неравенству
|x(t)| c/(1 + t),
где постоянная с – своя для каждой функции из D(A).
Оператор A неограничен. Действительно, рассмотрим последовательность функций xn(t) = п/(п + t) (п = 1, 2, ...). Заметим, что xn(t) D(A), так как |хn(t)| = п/(п + t) n/(l + t). Кроме того, ясно, что ||хn|| = 1. Теперь имеем
следовательно, .
Покажем, что А замкнут. Пусть в пространстве X выполняется xn(t) x(t), txn(t) y(t) при п . Тогда (1 + t)xn(t) x(t) + y(t) при п (сходимость везде равномерная на [0; +). Следовательно, для любого > 0 найдется номер N такой, что если n N, то
|(1 + t)xn(t) – [x(t) + y(t)]| < для всех t [0, +), или .
Следовательно, xn(t) при п , но хn(t) x(t), поэтому , откуда y(t) = tx(t), т.е. у = Ах. Остается заметить, что х D(A) в силу оценок:
|x(t)| С1||y|| 2С1||y||/(1 + t) при t [0, 1],
|x(t)| С2||y||/t 2С2||y||/(1 + t) при t [1, +),
.
Пример 23. Пусть Х = У = С[а, b]. Рассмотрим оператор дифференцирования
В начале этого пункта показано, что этот оператор не является ограниченным. Покажем, что А замкнут. Сходимость в С[а, b] равномерная. Пусть xn(t) D(A), и пусть при п