
- •Введение
- •Глава 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. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
5. Изоморфизм и изометрия сепарабельных гильбертовых пространств. Общий вид линейного функционала в гильбертовом пространстве. Теорема Рисса-Фишера.
Рассмотрим
сепарабельное бесконечномерное
гильбертово пространство H,
и пусть
–
полная ортонормальная система векторов
в этом пространстве. Если х
–
некоторый элемент из H,
то этому элементу можно сопоставить в
соответствие последовательность чисел
,
являющихся коэффициентами Фурье векторах
по системе
.
Как было показано
в п.5 гл.6, ряд
сходится, и, следовательно, последовательность
можно рассматривать как некоторый
элемент
гильбертова пространства
.
Таким образом, каждому элементу
соответствует некоторый элемент
,
причём в силу условия полноты системы
.
(1)
Далее очевидно,
что если
соответствует
и
соответствует
,
то
и
x
соответствует
и
,
где
–
вещественное
число. Отсюда и из (1) следует:
.
(2)
Пусть теперь
–
произвольный элемент из
.
Рассмотрим вH
элементы
,
.
Имеем
,
и потому
при
.
Таким образом,
последовательность
фундаментальна. В силу полнотыH
она сходится в смысле метрики пространства
H
к некоторому элементу
этого пространства. Так как
,
то коэффициенты Фурье элементаz
по ортонормальной системе
есть числа
.
Таким образом, каждый элемент
соответствует некоторому элементу
.
Тем самым, мы установили взаимно
однозначное соответствие между элементами
пространствH
и
.
Формула (2) показывает, что это соответствие
междуH
и
является изометрией. Учитывая ранее
сказанное относительно сохранения
операций сложения и умножения на число
при рассматриваемом соответствии,
получаем, чтоH
и
изометрически изоморфны. Таким образом,
нами доказаны следующая теорема.
Теорема 9.
Всякое (вещественное) сепарабельное
бесконечномерное гильбертово пространство
изометрично и изоморфно (вещественному)
пространству
и, следовательно, все вещественные
сепарабельные гильбертовы пространства
изометричны и изоморфны между собой.
Следствие.
Вещественные пространства
и
изометричны и изоморфны.
Найдём общий вид линейного функционала в гильбертовом пространстве.
Рассмотрим
в гильбертовом пространстве H
два элемента, x
и y,
и скалярное произведение этих элементов
.
Если мы зафиксируем вектор
y
и будем менять вектор x,
то получим некоторый функционал
,
определённый на H:
.
Из
аддитивности и непрерывности скалярного
произведения следует, что
–
линейный функционал в H.
Выбирая
различные
,
мы будем получать различные линейные
функционалы
.
Покажем, что таким образом мы получим
все линейные функционалы.
Теорема
10
(Рисса-Фишера).
Всякий линейный функционал
,
определённый на гильбертовом пространстве
H,
имеет вид
,
(3)
где
элемент
однозначно определяется функционаломf.
При этом
.
Доказательство.
Рассмотрим подпространство
,
определяемое уравнением
(ядро
функционала).
Замкнутость N
следует из непрерывности функционала
.
Если
,
т. е.
тождественно равен нулю, мы можем
написать
,
и в этом случае равенство (3) доказано.
Пусть
теперь
;
возьмём
,
и обозначим через
проекцию элемента
на ортогональное дополнение М
подпространства N.
Пусть
(ясно, что
0).
Тогда, полагая
,
будем иметь
.
Возьмём
любой элемент
,
и пусть
.
Имеем
,
откуда
,
т. е.
.
Поэтому любой вектор
имеет вид
,
(4)
т. е.
H
есть ортогональная сумма подпространства
N
и одномерного подпространства M,
порождаемого элементом
.
Из равенства (4), умножая скалярно на
,
получаем
(y1N
= M,
z N),
или
.
Обозначая
через
,
будем иметь
,
и равенство (3) доказано.
Если,
теперь при всех
верно равенство
для некоторого другого элемента
,
то
или
при любом
.
В частности полагая
,
получим
,
т. е.
и однозначность представления линейного
функционала в виде скалярного произведения
доказана.
Из
неравенства Коши-Буняковского при
,
получим
,
поэтому и
.
(5)
С
другой стороны, если
,
то мы будем иметь
,
и так
как
,
то
.
(6)
Из
сравнения (5) и (6) следует, что
,
и теорема полностью доказана.
Как частные случаи этой теоремы, получаем
а) Всякий линейный функционал в L2[a, b] имеет вид
,
где
также принадлежит L2[a,
b],
причём
.
б)
Всякий линейный функционал в
имеет вид
,
где
,
причём
.