![](/user_photo/2706_HbeT2.jpg)
- •Введение
- •Глава 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. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
5. Примеры обратных операторов. Обратимость операторов вида (I - a) и (a - c).
Рассмотрим теперь множество линейных ограниченных операторов, отображающих линейное нормированное пространство в себя.
B
пространстве операторов
,
действующих в банаховом пространстве
X
можно
рассматривать произведение операторов.
Именно, если
,
то АВ
есть оператор, определяемый равенством
Отличительной
особенностью этого произведения является
его некоммутативность, потому что,
вообще говоря, АВ
ВА. Чтобы
получить пример некоммутирующих
операторов, достаточно взять в Rn
два оператора, A
и В,
заданные некоммутирующими матрицами
и
.
Так как оператор АВ
задается произведением матриц
и
,
что легко проверить, то некоммутируемость
таких операторов очевидна. Свойством
дистрибутивности произведение операторов
обладает, так как из определения
суммы и произведения операторов
следует, что
т.е. что
Отметим, что если
I –
единичный оператор, то
для любого
.
Нетрудно проверить,
что
В самом деле, пусть
и
Тогда
Поэтому
Из доказанного
неравенства, в частности, следует, что
если
и
в смысле равномерной сходимости, то
Прежде всего из
сходимости последовательности
к А
следует, что
есть ограниченная числовая
последовательность, т. е.
для любого n.
Поэтому
при
так как в каждом слагаемом справа один
множитель ограничен, а другой стремиться
к нулю.
Частным случаем произведения операторов являются степени оператора
Ясно, что
Положим, кроме
того, по определению, что
Теорема 7. Пусть
где X
– банахово пространство и
Тогда оператор
имеет обратный линейный и ограниченный
оператор, причём
Доказательство. Рассмотрим ряд
(12)
и составим частичные суммы этого ряда:
Имеем
где
Отсюда следует, что
при
т.е. последовательность частичных сумм
ряда (12) является фундаментальной. В
силу полноты пространства операторов
существует
Покажем, что
Имеем
ибо
как общий член сходящегося ряда.
Аналогично убеждаемся, что
и теорема полностью доказана.
Применим доказанную теорему к интегральным уравнениям.
Пример 19.
Пусть
непрерывное
на
ядро и
непрерывная на
функция. Тогда
есть линейный
оператор, действующий в пространстве
а интегральное уравнение
(13)
называется
уравнением
Фредгольма второго рода,
можно записать в операторной форме
На основании
предыдущей теоремы мы получаем, что
если
то уравнение (13) имеет единственное
решение, которое даётся равенством
Рассмотрим подробнее
это решение и условия, при которых оно
существует. Так как
то условие
очевидно, выполняется, если
Будем считать, что
удовлетворяет этому неравенству.
Выясним, что представляют в нашем случае
степени оператора. Имеем
Пусть
Функция
называется второй
итерацией ядра
Итак,
или, меняя обозначение переменной интегрирования,
Далее,
и, снова пологая
можем написать
где
третья
итерация ядра
Вообще
где
– n-я
итерация ядра
определяемая формулой
Равенства
которое мы отмечали выше, дают
С помощью итерированных ядер решение интегрального уравнения может быть записано так:
(14)
Ряд, стоящий в правой части этого равенства, сходится в смысле сходимости в пространстве C[a, b], т.е. равномерно. Преобразуем выражение для решения интегрального уравнения. Рассмотрим формальный ряд
(15)
Этот ряд равномерно
сходится на
если
.
В самом деле, прежде всего имеем
и вообще
Отсюда
где
Таким образом, общий член исследуемого
функционального ряда не превосходит
по абсолютной величине члена сходящегося
числового ряда, и требуемая равномерная
сходимость доказана. Обозначим сумму
этого ряда R(t,
s,
).
Это - непрерывная функция. Умножая члены
ряда (15) на
и интегрируя ряд почленно, получим
Сравнивая это выражение с выражением (14) для решения интегрального уравнения, можем написать
(16)
Это и есть выражение
для обратного оператора
в компактной форме. Функция R(t,
s,
)
называется
разрешающим
ядром
рассматриваемого уравнения Фредгольма.
Сравните полученное решение с решение в главе 2 п. 2.
Пример. 20. Рассуждениями, аналогичными проведённым выше, легко показать, что если
и
то интегральное уравнение (13) при
значениях параметра ,
удовлетворяющих неравенству
имеет решение, выражаемое формулой
(16), где разрешающее ядро R(t,
s,
),
по переменным
t
и s
имеет интегрируемый квадрат, и ряд (15),
его изображающий, сходится в среднем.