- •Введение
- •Глава 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. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
Глава 7 линейные операторы в нормированных пространствах
1. Линейные операторы в линейных нормированных пространствах. Равносильность непрерывности и ограниченности линейного оператора. Понятие нормы ограниченного оператора. Различные формулы для вычисления норм. Примеры линейных ограниченных операторов.
Одним из важнейших и наиболее хорошо изученных классов отображений является класс линейных операторов, определенных в линейных пространствах. Среди них находятся многие операторы алгебры и анализа.
Определение 1. Пусть X и Y – линейные нормированные пространства. Отображение А, действующее из X в Y , называется линейным оператором, если выполняются условия:
1) оператор аддитивен, т.е. А(х1+х2) = Ах1+Ах2 для любых х1 и х2 из Х;
2) оператор является однородным, т.е. Ах = Ax, для любого вещественного (комплексного числа) .
Определение 2. Линейный оператор А, действующий из Х в Y, называется непрерывным в точке х0, если из сходимости xn x0 вытекает сходимость Axn Ax0. Линейный оператор А, действующий из Х в Y, называется непрерывным, если он непрерывен в каждой точке пространства Х.
Лемма 1. Если линейный оператор А, действующий из Х в Y, непрерывен в точке х0, то он непрерывен.
Доказательство. Покажем, что оператор А непрерывен в любой точке y0. Пусть уny0. Тогда yn – y0 + x0 x0. В силу непрерывности в точке х0 вытекает сходимость А(yn – y0 + x0) Ах0 или (в силу линейности оператора А) Аyn – Ay0 + Ax0 Ax0. Последнее эквивалентно сходимости Аyn Ay0.
Определение 3. Линейный оператор А, действующий из Х в Y называется ограниченным, если существует такое положительное число Р, что ||Аx|Y|| Р||x|X|| для всех хХ.
Заметим, что из контекста, как правило, видно в каком пространстве вычисляется норма, и часто мы будем опускать указание этого пространства.
Теорема 1. Ограниченность линейного оператора равносильна его непрерывности.
Доказательство. Пусть оператор А непрерывен, а множество М Х ограниченное. Покажем, что множество А(М) также ограниченное. Ограниченность множества М означает, что существует такое число d, для которого нормы всех точек из М не превосходят d. Пусть напротив множество А(М) не является ограниченным. Это означает, что для любого натурального n существует точка хnМ такая, что ||А(хn)|| > n. Рассмотрим точки yn = хn/n. Тогда ||yn|| = ||хn/n|| = ||хn||/n d/n 0, т.е. yn 0. Но при этом ||А(yn)|| = ||А(хn/n)|| = ||А(хn)||/n > 1, т.е. неверно, что А(yn) 0, что противоречит непрерывности оператора А. Итак, множество А(М) ограничено.
В частности, оператор А переводит единичный шар ||x|| 1 пространства Х в ограниченное множество в Y. Пусть для точек из этого шара ||Аx|| Р. Рассмотрим произвольный вектор x 0 и построим элемент х/||x||. Тогда ||(x/||x||)|| = 1. Отсюда ||Аx||/||x|| = ||(Аx/||x||)|| = ||А(x/||x||)|| Р, т.е. ||Аx|| Р||x|| при x 0. Для нулевого вектора это неравенство очевидно.
Пусть оператор А ограниченный. При любых x, y выполняется неравенство ||Аx Аy|| = ||А(x y)|| Р||x y||, откуда из условия xnx0 следует, что Аxn Аx0. Тем самым оператор непрерывный.
Пример 1. Оператор, который каждому вектору пространства X ставит в соответствие нулевой вектор этого пространства, очевидно, является линейным. Он называется нулевым оператором.
Пример 2. Оператор I, ставящий в соответствие каждому вектору х сам вектор х, очевидно, линейный; он называется единичным или тождественным оператором.
Пример 3. Линейный оператор А, переводящий каждый вектор х в λх (λ – фиксированное число), называется оператором подобия.
Пример 4. Пусть Н – сепарабельное гильбертово пространство и e1, e2,…, en, … – полная ортонормированная система в Н. Фиксируем ограниченную последовательность вещественных чисел λ 1, λ 2,…, λn , и для любого вектора
х = ,
положим по определению (оператор нормального типа)
А х = .
Так как , то оператор Ах определен во всем пространстве Н. Легко проверить его аддитивность и однородность, а непрерывность легко следует из неравенства
Каждый базисный вектор en переводится оператором А в себя самого с коэффициентом λn: А en = λn en .
Пример 5. На отрезке [a, b] фиксируем непрерывную функцию α(x). В пространстве С[a,b] определен линейный оператор умножения на α(x): .
Пример 6. Пусть Х = Rn, Y = Rm. Каждому элементу х={ξ1, ξ2, ... , ξn} Rn с помощью матрицы (аij), i=1, 2, ... , m; j=1, 2, ... , n ставим в соответствие элемент у={ 1, 2, ... , m} Rm , полагая
, i=1, 2, ... , m.
Тем самым задан оператор А: у = Ах, определенный на Rn, со значениями в Rm. В этом случае также говорят, что оператор А задается матрицей (аij), i = 1, 2, ... , m; j = 1, 2, ... , n. Линейность оператора А устанавливалась в курсе линейной алгебры.
Если yk=Axk, y0=Ax0, то → для всех j = 1, 2, ..., n и, следовательно,
, i = 1, 2, ... , m
Но это означает, что, yk = Axk y0 = Ax0 и оператор A непрерывен.
Пример 7. Пусть Х = Y = С[а, b]. Для произвольной функции , положим
(1)
где K(t, s)– непрерывная в квадрате функция. Равенство (1) определяет оператор у = Ах, действующий в С[а, b], который называют интегральным оператором . Аддитивность и однородность оператора практически очевидны. Например:
Непрерывность его вытекает из того, что сходимость в пространстве С[а, b] есть равномерная сходимость, при которой возможен переход к пределу под знаком интеграла. Поэтому если xn(t)→x0(t) , то
Пример 8. Пусть Х = Y = L2[а, b]. Снова рассмотрим интегральный оператор
Но теперь будем предполагать, что функция K(t, s), называемая ядром оператора, интегрируема по Лебегу в квадрате по совокупности обеих переменных:
Покажем, что оператор А действует в пространстве L2[а, b]. Из условий k2 = и следует, что К(t, s)x(s), как функция от и t и s, интегрируема на . Но тогда в силу теоремы Фубини
есть измеримая и интегрируемая функция, и неравенство Гельдера дает
,
т. е. что . Предыдущее выражение после извлечения из него квадратного корня можно записать в виде
. (2)
Линейность оператора А очевидна, а ограниченность и непрерывность легко следует из неравенства (2).
Пример 9. Пусть Х = Y = l2 и (аij), i, j = 1, 2, .,., – бесконечная матрица такая, что
. (3)
Рассмотрим оператор А, определяемый следующим формальным равенством: для х ={ξi} положим
, i=1, 2, ... , и Аx = y = { }.
Прежде всего линейность оператора А очевидна. Далее, из неравенства Гельдера следует, что ряд абсолютно сходится, так как
,
т е. частичные суммы ряда ограничены. Далее,
,
и так как это верно для любого натурального n, то , т.е. .
Если извлечь из неравенства
квадратный корень, то получим . Следовательно, оператор А ограничен.
Лемма 2. Линейный оператор А, действующий из Х в Y, является ограниченным, если он ограничен хотя бы на одном шаре пространства Х.
Доказательство. Так как ограниченность на открытом шаре влечет ограниченность на замкнутом шаре с тем же центром и половинным радиусом, будем сразу считать, что оператор ограничен на замкнутом шаре. Пусть S[y, r] – шар, на котором ограничен оператор А, т.е. ||Ax|| C для всех x S[y, r]. Возьмем произвольный элемент z X. Построим по этому элементу новый элемент z0 = y + rz/||z|| (или z = ||z||(z0 – y)/r). Непосредственным подсчетом убеждаемся, что z0 S[y, r]. Следовательно, ||Az0|| C. С другой стороны, ||Az|| = ||z||/r(||A(z0 – y)||) ||z||/r(||Az0|| + ||Ay||) (2C/r)||z||, что доказывает утверждение.
Важнейшим свойством линейного оператора является его ограниченность на S1 – единичном шаре пространства X. Она влечет в силу леммы 2 ограниченность линейного оператора.
Положим
. (4)
Число К0, определяемое равенством (4), называют нормой оператора и обозначают ||А||. В следующем пункте мы покажем, что это действительно норма. Итак, для любого
.
Очевидно, что К0 = ||A|| есть наименьшая из констант, удовлетворяющих неравенству из определения ограниченности, потому что если бы это было не так и нашлось число К' < К0 такое, что для всех , то для мы имели бы , откуда , что невозможно.
Лемма 3. Пусть линейный оператор А, действующий из Х в Y, является ограниченным на шаре S[y, r], т.е. ||Ax|| C для всех x S[y, r]. Тогда ||A|| 2C/r.
Утверждение установлено по существу по ходу доказательства леммы 2.
Вычисление норм конкретных операторов обычно представляется затруднительным, однако часто бывает довольно легко оценить норму оператора сверху.
Пример 10. Рассмотрим в пространстве C[a, b] интегральный оператор из примера 7. Пусть Имеем для :
Отсюда , и мы оценили норму интегрального оператора в пространстве С[а, b].
Пример 11. Рассмотрим в том же пространстве С[а, b] оператор Вх = tx(t), называемый оператором умножения, на независимую переменную. Для простоты вычислений будем считать, что 0 < a < b. Для любой функции х(t) С[а, b], имеем
(5)
Отсюда . Но если мы возьмем функцию , то , и потому
(6)
Из неравенств (5) и (6) вытекает, что ||В|| = b.
Пример 12. Норма нулевого оператора, очевидно, равна нулю. Обратно, если , то нетрудно видеть, что A=0.
Пример 13. Норма тождественного оператора I равна единице, так как, ||Ix|| = ||x|| для любого вектора х.
Пример 14. Норма оператора подобия равна .
Пример 15. Норма оператора нормального типа в гильбертовом пространстве
равна точной верхней грани чисел . Действительно, если и , мы имеем
откуда ; с другой стороны , полученные неравенства и доказывают наше утверждение.