- •Введение
- •Полнота
- •Метрические пространства
- •Полные метрические пространства
- •Сжимающие отображения
- •Пополнение
- •Интеграл Лебега
- •Почему не все множества измеримы?
- •Верхняя мера Лебега
- •Свойства верхней меры.
- •Измеримые множества
- •Свойства измеримых множеств
- •Множества меры 0.
- •Борелевские множества.
- •Измеримые функции и интеграл
- •Свойства измеримых функций
- •Интеграл и его свойства
- •Приложения
- •Предельный переход
- •Сравнение интегралов Римана и Лебега
- •Полнота пространства L
- •Плотность непрерывных функций
- •Теорема Фубини
- •Банаховы и гильбертовы пространства
- •Основные определения
- •Примеры
- •Конечномерные пространства
- •Пространства последовательностей
- •Гильбертово пространство
- •Основные понятия
- •Ортогональные системы и ряды Фурье.
- •Линейные функционалы и операторы
- •Определения и примеры
- •Теорема Хана - Банаха
- •Сопряженное пространство
- •Функционалы в гильбертовом пространстве
- •Рефлексивность
- •Сопряженные и самосопряженные операторы
- •Определения и примеры
- •Операторы в гильбертовом пространстве
- •Самосопряженные операторы
- •Виды сходимости
- •Компактные операторы
- •Компактные множества и операторы
- •Теория Фредгольма
- •Конечномерный случай
- •Теоремы Фредгольма
- •Спектр
- •Теория Гильберта - Шмидта
- •Интегральные операторы
- •Задача Штурма - Лиувилля
- •Спектральная теория
- •Резольвента и спектр
- •Ортогональные проекторы
- •Спектральная теорема
- •Доказательство спектральной теоремы
- •Формула Стоуна
- •Неограниченные операторы
- •Основные определения
- •Симметрические и самосопряженные операторы
- •О спектральной теореме
- •Задачи
- •Контрольные вопросы
78 |
ГЛАВА 4. ЛИНЕЙНЫЕ ФУНКЦИОНАЛЫ И ОПЕРАТОРЫ |
Теорема 4.3.10 Если E - сепарабельное пространство, то E - также сепарабельно.
Доказательство. Пусть f1; f2; : : : - последовательность функционалов плотная в E . Выберем векторы xk 2 E с нормой 1, так чтобы jfk(xk)j
kfkk=2: Покажем, что линейные комбинации (конечные) векторов xk ïëîò- ны в E, тем самым будет установлена сепарабельность E. Предполагая, что это неверно, рассмотрим подпространство L - замыкание множества линей-
ных комбинаций xk. Так как по предположению L 6= E, то найдется вектор
x0 62L. По следствию 4.2.5 существует функционал f, равный 0 на L и такой, что f(x0) 6= 0. Поскольку последовательность fk плотна в E , òî
найдется подпоследовательность fnk , сходящаяся к f. Тогда
1
kfnk fk jfnk (xnk )j = jfnk (xnk j 2kfnk k;
поскольку xnk 2 L, и значит f(xnk ) = 0. Левая часть этого неравенства стремится к нулю, следовательно fnk ! 0, что противоречит тому, что fnk ! f.
Для комплексных пространств lp все остается в силе за исключением формулы (4.3.6) которая в комплексном случае заменяется на
1
X
f(x) = |
|
y |
kxk |
(4.3.11) |
|
k=1 |
|
что согласуется с леммой Рисса об общем виде линейного функционала для пространства l2.
Для пространств Lp (см. пример 4.1.3) справедливы аналогичные утверждения, а именно, Lp = Lq ïðè 1 < p < 1; L1 = L1. Отсюда следует рефлексивность Lp при 1 < p < 1. Пространство L1 не рефлексивно, как
èl1. Однако доказательство этих фактов значительно сложнее, чем для lp,
èмы не будем их рассматривать.
4.4Сопряженные и самосопряженные операторы
4.4.1Определения и примеры
Пусть X; Y - банаховы пространства, A : X ! Y - линейный ограниченный оператор. Тогда определен оператор A : Y ! X , называемый сопряжен-
ным к A и действующий по формуле
(A f)(x) = f(Ax): |
(4.4.1) |
Здесь x 2 X, а f 2 Y - функционал на Y .
4.4. СОПРЯЖЕННЫЕ И САМОСОПРЯЖЕННЫЕ ОПЕРАТОРЫ |
79 |
Теорема 4.4.1 Оператор A - линейный и ограниченный, при этом |
|
kA k = kAk: |
(4.4.2) |
Доказательство. Линейность почти очевидна. Действительно, |
|
(A ( f1 + f2))(x) = ( f1 + f2)(Ax)
= f1(Ax) + f2(Ax) = (A f1)(x) + (A f2)(x):
Докажем ограниченность. Для нормы функционала A f 2 X имеем
kA fk = sup |
j |
(A f)(x) |
j |
|
= sup |
j |
f(Ax) |
j |
|||||||||||
|
x |
|
|
|
k |
x |
k |
||||||||||||
|
|
|
|
|
|
|
|||||||||||||
|
|
x6=0 |
|
k k |
|
|
|
|
|
x6=0 |
|
|
|||||||
|
sup |
kfkkAxk |
k |
f |
kk |
A |
; |
|
|
|
|
|
|||||||
x6=0 |
k |
x |
k |
|
|
|
|
k |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
откуда следует, что kA k kAk. В частности, A - ограниченный оператор. Чтобы доказать обратное неравенство, возьмем произвольный вектор x,
и пусть y = Ax. По следствию 4.2.4 из теоремы Хана - Банаха построим функционал f 2 Y такой, что
kfk = 1; f(y) = kyk:
Тогда
kAxk = kyk = f(y) = f(Ax) = (A f)(x)
kA fkkxk kA kkfkkxk = kA kkxk;
откуда получаем kAk kA k:
Упражнение 4.4.2 Пусть X; Y; Z - банаховы пространства, A : X ! Y
и B : Y ! Z - операторы. Доказать что |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
(BA) = A B |
|
|
|
|
|
(4.4.3) |
||||
Пример 4.4.3 Конечномерные операторы. Пусть |
X = Cn; Y |
= Cm |
|||||||||||||
- конечномерные пространства. Оператор A : X ! Y задается |
m n- |
||||||||||||||
матрицей |
|
1 0 a21 |
|
|
|
|
10 x2 |
1 |
|
|
|||||
0 y2 |
|
a22 |
: : : a2n |
|
|
||||||||||
y1 |
|
|
a11 |
|
a12 |
: : : a1n |
|
|
x1 |
|
|
|
|||
B ... |
C |
= B ... ... ... ... |
CB |
... |
C |
; |
|
||||||||
B y |
m |
C B a |
m1 |
a |
: : : a |
CB x |
C |
|
|
||||||
B |
C B |
|
m2 |
|
mn |
CB |
n |
C |
|
|
|||||
@ |
|
A |
@ |
|
|
зададим в |
|
A@ |
|
A |
|
|
|||
а функционалы f 2 X ; g 2 Y |
|
|
|
соответствии с формулой (4.3.11) |
|||||||||||
|
|
|
|
0 x2 |
1 |
|
|
|
|||||||
|
|
|
n |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
x1 |
C; |
|
|
||
f(x) = k=1 ukxk = (u1; u2; : : : ; un) B ... |
|
|
|||||||||||||
|
|
|
X |
|
|
|
|
|
|
B x |
n |
C |
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
C |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@ |
|
A |
|
|
|
80 |
ГЛАВА 4. ЛИНЕЙНЫЕ ФУНКЦИОНАЛЫ И ОПЕРАТОРЫ |
||||
|
m |
0 |
y2 |
1 |
|
|
|
|
y1 |
C: |
|
|
g(y) = k=1 vkyk = (v1; v2; : : : ; vm) B ... |
||||
|
X |
B y |
m |
C |
|
|
|
B |
|
C |
|
|
|
@ |
|
|
A |
Нам понадобится операция эрмитова сопряжения (прямоугольных) матриц.
Определение 4.4.4 Пусть A - m n-матрица с элементами aij; i = 1; 2; : : : ; m; j = 1; 2; : : : ; n. Эрмитово сопряженной к A называется n m- матрица Ay, у которой ij-й элемент равен aji.
Другими словами, матрица Ay получается из A транспонированием, т.е.,
заменой строк столбцами, и комплексным сопряжением. В частности, стол- бец u с элементами u1; u2; : : : ; un переходит при эрмитовом сопряжении в
строку
uy = (u1; u2; : : : ; un):
Нетрудно доказать следующие свойства эрмитова сопряжения.
Упражнение 4.4.5 Доказать, что
(AB)y = ByAy; Ayy = A:
В этих обозначениях выражения для функционалов f и g принимают
âèä
f(x) = uyx; g(y) = vyy;
а для сопряженного оператора получим
(A g)(x) = g(Ax) = vyAx = (Ayv)yx:
Таким образом, матрица сопряженного оператора A получается эрмито- вым сопряжением из матрицы A, т.е., равна
01
a11 |
a21 |
: : : am1 |
C |
|
|||
Ay = B a12... |
a22... |
:..:.: |
am... 2 |
: |
|||
B a |
a |
2n |
: : : |
a |
mn |
C |
|
B 1n |
|
|
|
C |
|
||
@ |
|
|
|
|
|
A |
|
Âдействительных пространствах эрмитово сопряжение переходит в транспонирование.
Âдальнейшем мы не будем педантично различать сопряженный опера- òîð A и его матрицу Ay, используя для обоих обозначение A .
Пример 4.4.6 Интегральный оператор. Рассмотрим в пространстве L2[a; b] интегральный оператор
4.4. СОПРЯЖЕННЫЕ И САМОСОПРЯЖЕННЫЕ ОПЕРАТОРЫ |
81 |
Z b
y(t) = (Kx)(t) = K(t; )x( )d ;
a
где ядро K(t; ) - непрерывная функция на квадрате t; 2 [a; b] Функционал в L2 задается функцией v(t) 2 L2 по формуле
Z b
g(x(t)) = v(t)x(t)dt
a
(см. пример 4.1.3). Следовательно, для сопряженного оператора получаем
Z b Z b
(K g)(x(t)) = g((Kx)(t)) = v(t)dt K(t; )x( )d
aa
! !
Z b Z b Z b Z b
= K(t; )v(t)dt x( )d = K( ; t)v( )d x(t)dt:
a a a a
Отсюда сразу же вытекает, что сопряженный оператор действует по формуле
Z b
u(t) = (K v)(t) = K( ; t)v( )d ;
a
т.е., является интегральным оператором, ядро которого
K( ; t) является эрмитово сопряженным к ядру K(t; ) (получается перестановкой аргументов
t и и комплексным сопряжением, подобно эрмитову сопряжению матриц). В дальнейшем мы применяем обозначение K (t; ) для эрмитово сопряжен-
íîãî ÿäðà
K( ; t), как и в случае матриц.
4.4.2Операторы в гильбертовом пространстве
Мы теперь сосредоточимся на операторах в гильбертовом пространстве. С каждым оператором A : H ! H в гильбертовом пространстве H свяжем
выражение B(y; x) = (y; Ax), которое называют билинейной формой, соответствующей оператору A. Это название не совсем точное; выражение (y; Ax) линейно только по аргументу x, а по y оно сопряженно линейно. В действительном пространстве H это будет настоящая билинейная форма,
т.е., линейная по каждому аргументу.
Для билинейной формы вводится понятие ограниченности и нормы, аналогично линейным функционалам.
Определение 4.4.7 Билинейная форма называется ограниченной, если существует постоянная C такая, что
jB(y; x)j Ckxkkyk
для любых x; y, а наилучшая такая постоянная называется нормой билинейной формы, т.е.,
k |
B |
k |
= sup |
jB(y; x)j |
= |
sup |
B(y; x) : |
|
x;y6=0 |
kxkkyk |
|
kxk=kyk=1 j |
j |
82 ГЛАВА 4. ЛИНЕЙНЫЕ ФУНКЦИОНАЛЫ И ОПЕРАТОРЫ
Лемма 4.4.8 Норма билинейной формы B(y; x) = (y; Ax) совпадает с нормой оператора A.
Доказательство. По неравенству Коши-Буняковского
j(y; Ax)j kykkAxk kAkkxkkyk;
откуда kBk kAk:
Для доказательства обратного неравенства положим y = Ax. Предполагая, что Ax 6= 0 и x 6= 0 имеем
kBk jB(Ax; x)j = kAxk: kxkkAxk kxk
Если же Ax = 0, а x 6= 0, то неравенство справедливо подавно. Следова-
тельно,
kBk sup kAxk = kAk:
x6=0 kxk
В качестве приложения этой простой леммы рассмотрим пример огра- ниченного оператора в l2. Как и в конечномерном пространстве, оператор в пространстве последовательностей задается матрицей
1 |
|
Xj |
|
yi = aijxj; i = 1:2; : : : : |
(4.4.4) |
=1 |
|
Но теперь матрица бесконечная, и непонятно, каким условиям она должна удовлетворять, чтобы оператор был ограниченным. Мы приведем простое достаточное условие ограниченности, которое часто используется на практике.
Предложение 4.4.9 Пусть
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|||
|
|
|
|
|
X |
|
X |
|
|
|
|
|
||
|
|
|
|
|
jaijj C; |
jaijj C: |
|
|
||||||
|
|
|
|
|
j=1 |
|
i=1 |
|
|
|
|
|
||
Тогда оператор (4.4.4) в пространстве |
l2 |
ограничен, и его норма не пре- |
||||||||||||
восходит C. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. По лемме 4.4.8 |
|
|
|
|
|
|
||||||||
|
|
|
|
|
kAk = sup |
j(y; Ax)j: |
|
|
||||||
|
|
|
|
|
|
kxk;kyk=1 |
|
|
|
|
|
|||
Далее, учитывая, что kxk = kyk = 1, получим |
|
|
|
|
||||||||||
|
(y; Ax) |
|
1 |
a y x |
|
1 |
a jyij2 |
+ jxjj2 |
||||||
|
|
|
|
|
X |
|
|
|
|
X |
|
|
|
|
j |
|
|
|
j |
j ijjj ijj jj |
|
j ijj |
|
2 |
|
||||
|
|
|
|
|
i;j=1 |
|
|
|
|
i;j=1 |
|
|
||
|
1 |
1 |
|
1 |
1 |
|
1 |
|
1 |
|
|
|
||
|
|
|
X |
X |
|
|
|
X |
|
Xi |
|
|
||
|
2 |
i=1 |
|
jyij2 |
jaijj + |
2 |
|
jxjj2 |
jaijj C: |
|||||
|
|
|
|
j=1 |
|
|
|
j=1 |
|
=1 |
|
|
|