- •Введение
- •Глава 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. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
3. Скалярное произведение. Гильбертово пространство. Аксиомы и свойства. Ортонормированные системы. Ортогонализация по Шмидту. Тождество параллелограмма.
Определение 2. Линейное пространство Н называется предгильбертовым пространством, если указано правило, которое позволяет сопоставить каждой паре элементов x и y пространства Н вещественное (или комплексное) число, называемое скалярным произведением векторов x и y и обозначенное , удовлетворяющее следующим условиям:
а) (в случае комплексного значения )
б)
в) для любого вещественного числа ;
г) при и при ;
Число назовём нормой элемента х. Ниже мы покажем, что эта величина удовлетворяет всем требованиям нормы. В случае, если Н полное пространство по этой норме, его называют гильбертовым. Таким образом, гильбертово пространство есть частный случай банахова пространства. Далее,если не оговорено противное, мы будем рассматривать гильбертовы пространства над полем вещественных чисел.
Пример 9. Пространство l2 становится гильбертовым, если для любых двух его элементов и положить
Сходимость этого ряда для любых x и y из l2 вытекает из неравенства Буняковского для рядов.
Пример 10. Пространство . Это пространство (вещественных) функций, определённых и измеренных на отрезке [a, b] и таких, что
,
где почти всюду на [a, b]. будет гильбертовым пространством, если положить для
Существование этого интеграла при любом и из вытекает из неравенства Гельдера для интегралов.
Рассмотрим простейшие свойства гильбертовых пространств.
Из аксиом б) и в) легко получается общая формула
справедливая для произвольных векторов и произвольных вещественных чисел
Установим теперь для скалярного произведения неравенство Коши - Буняковского. Для любых и любого R, имеем или Рассматривая это выражение как квадратный трехчлен относительно , получаем, что условием его неотрицательности является неположительность его дискриминанта, т.е.(х, у)2 – (у, у)(х, х) 0 или |(x, y)| – это и есть неравенство Коши – Буняковского.
Теорема 6. Величина является нормой в пространстве со скалярным произведением.
Доказательство. 1. Неотрицательность следует из неотрицательности скалярного произведения.
2.
3. . По неравенству Коши-Буняковского,
.
Извлекая из обеих частей квадратный корень, получим неравенство .
Легко доказывается непрерывность скалярного произведения.
Теорема 7. Скалярное произведение есть непрерывная функция относительно сходимости по норме.
Доказательство. Пусть и . Тогда числа и ограничены; пусть М – их верхняя граница.
Имеем
Так как и при ,то и при , что и требовалось доказать.
Наличие скалярного произведения позволяет ввести в гильбертовом пространстве понятие длины (нормы) вектора и угла между векторами по формулам
Из неравенства Коши – Буняковского следует корректность этих формул. Эти определения согласуются с обычными формулами аналитической геометрии.
Два вектора х и y Н называются ортогональными (в этом случае записывают ), если . Если и , то это определение, в соответствии с общим определением угла между векторами, означает, что x и y образуют угол в . Нулевой вектор оказывается ортогональным любому вектору х Н.
В пространстве условие ортогональности векторов и имеет вид
.
Легко проверить, вычислив соответствующие интегралы, что в пространстве любые два вектора тригонометрической системы
взаимно ортогональны.
Отметим несколько простых свойств, связанных с понятием ортогональности.
1) Если вектор х ортогонален векторам то он ортогонален и любой линейной комбинации этих векторов.
2) Если векторы ортогональны вектору х и , то вектор у также ортогонален вектору х.
Действительно, в силу непрерывности скалярного произведения , что и требовалось доказать.
Из свойств 1) и 2) следует, что совокупность всех векторов ортогональных вектору х (или произвольному фиксированному множеству Х векторов в Н), образует замкнутое подпространство – ортогональное дополнение к вектору х (к множеству Х).
Система векторов пространства Н называется ортонормальной системой, если
.
Бесконечная система элементов линейного пространства называется линейно независимой, если любая конечная подсистема этой системы линейно независима.
Любую систему линейно независимых элементов можно превратить в ортонормальную с помощью следующего процесса ортогонализации Шмидта.
Полагаем . Пусть . Подберем число так, чтобы было ортогональным . Имеем . Отсюда следует, что для этого следует взять . Полагаем ; при этом , так как в противном случае и вектора и будут линейно зависимы, что противоречит условию. Пусть уже построены. Возьмем
и подберем числа так, чтобы было ортогонально ; для этого следует взять . Полагаем , причем снова и т.д.
Пример 11. Если совокупность степеней ортогонализовать в пространстве то мы придём к системе многочленов называемых многочленами Лежандра. Можно показать, что n-ый многочлен Лежандра имеет вид .
Пример 12. Функции, получающиеся при ортогонализации выражений в пространстве , называются функциями Эрмита. Можно показать, что n-ая функция Эрмита имеет вид .
Пример 13. Функции, получающиеся при ортогонализации выражений в пространстве называется функциями Лагерра. Можно показать, что n-ая функция Лагерра имеет вид .
Теорема 8. (равенство параллелограмма) В пространстве со скалярным произведением выполняется следующее тождество:
||x + y||2 + ||x y||2 = 2||x||2 + 2||y||2.
Доказательство. В пространстве со скалярным произведением выполняются равенства
||x + y||2 = (x + y, x + y) = (x, x) + 2(x, y) + (y, y) = ||x||2 + 2(x, y) + ||y||2,
||x y||2 = (x y, x y) = (x, x) 2(x, y) + (y, y) = ||x||2 2(x, y) + ||y||2.
Складывая, получим нужное тождество.