§ 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
61 |
Пространство Ь(Е,Е) является нормированной |
алгеброй. |
Эта алгебра обладает единицей, роль которой играет тождест венный оператор /.
Если Е банахово, то совокупность операторов, имеющих об ратные, образует открытое множество в этой алгебре.
Ли т е р а т у р а : [23], [27].
6.Сопряженный оператор. Пусть Е и F — линейные норми рованные пространства и А — ограниченный линейный оператор, действующий из Е в F.
Если g (у) — линейный |
непрерывный |
функционал |
на F (g е |
||
е F') , то функционал |
|
|
|
|
|
|
f(x) = |
g(Ax) |
|
|
|
будет линейным непрерывным |
функционалом на |
Е |
( f ^ E ' ) , |
||
причем |
|
|
|
|
|
\\f\y< \\g\\PA\A\\E^ p. |
|
|
|||
Таким образом, каждому функционалу g ^ F ' ставится в со |
|||||
ответствие функционал |
/ ^ £ ', |
т. е. |
определяется |
оператор |
|
A'g = f. Этот оператор А' называется сопряженным операто ром к оператору А *).
Сопряженный оператор является линейным ограниченным
оператором, причем |
А' || = || Л ||. |
II |
|
Если Л,Яе=Е(£,Е), то |
(XA)' = h 4' и (А + В ) '= А ' + В'. |
Если Л, Я e=L(£ ,£ ), то (АВ)'= В'А'.
Если интегральный оператор с непрерывным ядром K{t, s) рассматривать, например, как ограниченный оператор из Ьр(0, 1)
вLp(0, 1), то сопряженным к нему будет интегральный оператор
сядром К'(ty s) = K(sf t), т. e. оператор
|
A'x = Jl K(s, |
t) x (s)ds, |
|
|
|
0 |
|
рассматриваемый как |
оператор |
из Lq(0,1) в Lq(0,1) (1/р + |
|
+ 1/<7 = |
1). |
|
|
Если Е и F банаховы, то для существования обратного опе |
|||
ратора |
А - 1 необходимо |
и достаточно существование оператора |
|
(Л')-1, причем (Л')_1= |
(Л-1)'. |
|
|
Ли т е р а т у р а : [23], [27], [39], [58].
7.Вполне непрерывные операторы. Пусть Е и F — банаховы пространства. Линейный оператор, действующий из Е в F,
) Иногда сопряженный оператор обозначается через А* (см. также п. 9).
62 ГЛ. I. ОСНОВНЫЕ п о н я т и я
называется вполне непрерывным, если он отображяет всякое ограниченное множество пространства Е в компактное множе ство пространства F.
Из полной непрерывности линейного оператора следует его непрерывность. Обратное, вообще говоря, неверно. На пример, тождественный оператор / непрерывен, но в случае бесконечномерного пространства Е он не является вполне непре рывным.
Для полной непрерывности линейного оператора достаточно, чтобы он переводил единичный шар пространства Е в компакт ное множество пространства F. Область значений вполне непре рывного оператора сепарабельна. Вполне непрерывный оператор переводит всякую слабо сходящуюся последовательность элемен тов в последовательность, сходящуюся по норме.
Нижеследующее утверждение показывает, что полная непре рывность линейного ограниченного оператора есть не столько свойство самого оператора, сколько' свойство его области зна чений. Если А — линейный вполне непрерывный оператор, действующий из банахова пространства Е в банахово про странство F, и В —линейный ограниченный оператор из Е в F такой, что R(B)czR(A)1то В — также вполне непрерывный опе ратор.
Предел по норме последовательности вполне непрерывных операторов есть снова вполне непрерывный оператор. Сильный и тем более слабый предел последовательности вполне непре рывных операторов может быть не вполне непрерывным опера тором. Пусть, например, Е — банахово пространство /А. Опера торы проектирования PNl ставящие в соответствие каждому х =
=Й Ь Ь, ■• •. in, •. •} элемент PNx = {£ь О, 0, ...}, будут вполне непрерывными, а их сильный предел равен единичному оператору /, который не' вполне непрерывен.
Линейная комбинация вполне непрерывных операторов яв ляется вполне непрерывным оператором. Произведение вполне непрерывного оператора на ограниченный есть вполне непрерыв ный оператор. Если рассмотреть все вполне непрерывные опера торы из L (£ ,£ ), то они образуют замкнутый идеал в нормиро ванной алгебре L (Е,Е).
Сопряженный оператор к вполне непрерывному является вполне непрерывным.
Простейшим примером вполне непрерывного оператора яв ляется одномерный линейный оператор вида
Ах = f 1 (х)
где у\ — фиксированный элемент из F, a fi (х)-—фиксированный функционал из Е'. Сокращенно одномерный оператор обозна чают так: А = f\®y\.
§ 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
63 |
Ёолее общий вид имеет произвольный конечномерный ли нейный оператор
т
А= 2 ft ® уь
г=1
Где г/j <= F, а /г ^ Е'. По определению
т
Ах = 'Zft (x)ijt. i=l
Конечномерный оператор вполне непрерывен.
Неизвестно, можно ли всякий вполне непрерывный оператор Представить как предел по норме конечномерных линейных опе раторов.
Линейный оператор называется ядерным, если он представ лен в виде
оо
Ах = S ft (х) tjh i=\
do
где yt<=F, fi<=E' и 2 II ft IIB'II HI 11^ < 00•
Ядерные операторы представляют собой важный подкласс класса вполне непрерывных операторов.
Многочисленные примеры вполне непрерывных операторов дают интегральные операторы. Если ядро интегрального опера тора
Ах =
непрерывно, то он будет порождать вполне непрерывный опера тор из С(0, 1) в С(0, 1). Если ядро удовлетворяет более слабому условию
1 |
1 |
|
J |
\\F.{U s)\qd td s < оо |
( q > 1), |
О о |
|
|
то оператор будет вполне непрерывным, как оператор из/,р(0, 1) в Lp(0, 1) (1/р+ 1/ ^=1) . Приведенное условие не является необходимым. Существуют примеры вполне непрерывных инте
гральных операторов, действующих из Lp(0, 1) |
в Lp(0, 1) (1 < |
< ;р < !о о )) ядра которых как функции двух |
переменных не |
суммируемы ни с какой степенью, большей 1. |
|
Л и т е р а т у р а : [231, [27], [30], [34], [39], [52], [58].
8. Операторы в произведении пространств. Если в линейных системах Е и F определены операторы А и В соответственно, то
64 |
|
ГЛ. I. ОСНОВНЫЕ понятия |
|
в прямом |
произведении Е X F естественно определяется |
линей |
|
ный оператор |
по формуле (Л X В){х, и} = {Ах, Ви). |
|
|
Если |
пространства Е и F — конечномерны, {е*}" и |
— |
|
базисы в этих пространствах, (я*/)" /я=1 и (bki)” Z=1 — матрицы
операторов в этих базисах, то в базисе пространства E Y F , составленном из всех векторов вида {eit 0} и {0, fk), матрица оператора Л Х ^ состоит из блоков:
f (au \, 1=1 |
0 |
\ |
|
I |
0 |
( Ь и % ш |
) ' |
На тензорном произведении пространств E®F определяется оператор А® В следующим образом: для элементов вида х®и полагают {А®В) (х®и) = Ах®Ви, а на остальных элементах
доопределяют оператор А® В так, чтобы он был ли нейным. Из свойств тензорного произведения (см. § 1, п. 4) вы текает, что оператор А®В будет однозначно определенным на всем E®F линейным оператором. Если Е и F конечномерны, то в базисе £г®/л (t = 1,..., п, k = 1, ... , т) матрица оператора А®В может быть составлена из блоков:
т
((%)", /= h i) k, /*=1
Полученная таким образом матрица называется кронекеровским
произведением матриц Л и В. |
|
Е Л Е |
соответствующее |
произ |
|||
Для |
внешнего произведения |
||||||
ведение |
операторов определяется |
так |
же, |
как и |
выше: |
||
(Л А Л) (х А у) — Ах А Ау, а |
на остальных элементах |
Л АЛ |
|||||
определяется линейно. В базисе в{/\е^ |
( / < / , |
i, / = 1 , . . . , л ) |
|||||
элементами матрицы оператора Л АЛ |
будут всевозможные ми |
||||||
норы второго порядка матрицы |
|
{ац)\ |
|
|
|
|
|
|
(Л Д A ) { e i / \ e i ) = |
2 |
Г** |
|
А |
|
|
|
k<i\aki |
ац/ |
|
|
|||
Аналогично определяется r-я внешняя степень Лг оператора Л В пространстве Е Т. В конечномерном случае матрица оператора
Лг в естественном базисе |
(см. § 1, п. 4) будет составлена-из все |
||
возможных миноров r-го порядка матрицы (ац). |
|||
Пусть теперь Е и F — линейные нормированные пространства, |
|||
а Л и В — действующие |
в них линейные ограниченные опера-' |
||
торы. Тогда операторы Л |
А®В и Л АЛ |
будут также огра |
|
ниченными в соответствующих нормах. |
(см. § 4, п. 6) по |
||
В пространстве Е X F для норм |
|| ||i и || ||2 |
||
лучается |
|
|
|
IIЛ X £ 1= шах {|| Л ||£, || В Цр} и |
II ЛХ£|12 = ИЛЦв + Hfillf. |
||
§ 6. ПРОСТРАНСТВА^ С БАЗИСОМ |
65 |
Для обеих норм в пространстве E®F ||Л® В|| = || Л1У B||F.
Ли т е р а т у р а : [25], [57], [98].
9. Замечание о комплексных пространствах. Пусть Е —
комплексное линейное нормированное пространство. Иногда удобнее операцию умножения линейного функционала f(x) на число X вводить не так, как указано в § 4, п. 1, а следующим об
разом: fi =Xf означает, что fi(x) = |
Xf(x). |
|
Совокупность |
всех линейных |
непрерывных функционалов |
с так введенной |
операцией умножения на число обозначается че |
|
рез Е* и также называется сопряженным пространством к Е.
Все понятия, введенные для пространства £', аналогично вво дятся для пространства Е*. Все факты, справедливые в про странстве £', справедливы и для пространства £*, лишь в неко торые формулировки следует внести изменения:
1. Сопряженный к оператору А оператор, рассматриваемый
как оператор из F* в £*, обозначается через А*. Тогда (ХА)* = ХА*. 2. Для интегрального оператора А с ядром K(t, s) сопряжен
ный оператор А* имеет ядро K(s, t).
Ли т е р а т у р а : [27].
§6. Пространства с базисом
1.Полнота и минимальность системы элементов. Система
{ей} элементов еи e2t ..., еп, ... называется полной в банаховом пространстве £, если линейная оболочка этой системы элемен
тов всюду плотна в Е. Полная система элементов может суще ствовать только в сепарабельном пространстве. Для того чтобы система {ек} была полной в Е, необходимо и достаточно, чтобы не существовало линейного функционала f е Е\ отличного от нуля и равного нулю на всех элементах ek (k = \ , 2, ...) (орто гонального всем ek).
Система элементов {ek} называется минимальной, если ни один элемент этой системы не принадлежит замкнутой линейной оболочке остальных элементов.
Для того чтобы система {eh} была минимальной, необходимо и достаточно, чтобы существовала система линейных функцио налов, образующая с данной биортогональную систему, г. е. та кая система {fk} а Е ' (k = 1, 2, ...), что fi(ej) = 8ц*). Система {fk} называется часто сопряженной системой. Если система {ек}
является полной и минимальной, то система функционалов {Д} определяется единственным образом.
*) 6ij == 0, если i ф / и дц = 1,