Компактный оператор

Компа́ктный опера́тор — понятие функционального анализа. Компактные операторы естественно возникают при изучении интегральных уравнений, а их свойства схожи со свойствами операторов в конечномерных пространствах. Компактные операторы также часто называют вполне непрерывными.

Определение

Пусть $X,Y$ — банаховы пространства. Линейный оператор $T:X\to Y$ называется компактным, если любое ограниченное подмножество в $X$ он переводит в предкомпактное подмножество в $Y$.

Существует эквивалентное определение, использующее понятие слабой топологии: линейный оператор $T:X\to Y$ называется компактным, если его сужение на единичный шар в $X$ является непрерывным отображением относительно слабой топологии в $X$ и нормовой топологии в $Y$. Очевидно, свойство компактности сильнее, чем ограниченность.

Множество компактных операторов $T:X\to Y$ обозначается через $𝒦(X,Y)$. Оно является подмножеством в пространстве ограниченных операторов $ℒ(X,Y)$, действующих из $X$ в $Y$.

Простейшие свойства

• Всякий вполне непрерывный оператор является ограниченным, однако не всякий ограниченный оператор является вполне непрерывнымШаблон:Sfn.
• Линейная комбинация вполне непрерывных операторов $A,B$ вида $\alpha A+\beta B$, где $\alpha ,\beta$ — числа, также является вполне непрерывным операторомШаблон:Sfn.
• Пусть $A$ — вполне непрерывный оператор, отображающий бесконечномерное банахово пространство в себя, и $B$ — произвольный линейный ограниченный оператор, определённый на этом же пространстве. Тогда $AB$ и $BA$ являются вполне непрерывными операторамиШаблон:Sfn.
• Если последовательность вполне непрерывных операторов $\left\{A_n\right\}$, отображающих пространство $E_x$ в полное пространство $E_y$, равномерно сходится к оператору $A$ (то есть $\Vert A-A_n\Vert \to 0$), то $A$ также вполне непрерывный оператор.Шаблон:Sfn
• Если оператор компактен, то сопряженный к нему тоже компактен.

Примеры

Наиболее содержательные примеры компактных операторов доставляет теория интегральных уравнений:

• Возьмём произвольную функцию $g\in L_2([0,1]\times [0,1])$. Тогда определённый следующим образом интегральный оператор $T:L_2(0,1)\to L_2(0,1)$ будет компактным:

$(Tf)(t)=\underset{0}{\overset{1}{\int }}g(s,t)f(s)ds$

• Пусть функция g на $[0,1]\times [0,1]$ имеет точки разрыва лишь на конечном числе кривых. Тогда оператор $T:C(0,1)\to C(0,1)$, определённый точно так же, как и оператор в предыдущем примере, является компактным уже в пространстве непрерывных функций.

Диагональный оператор $T_{\lambda }:l_2\to l_2$, соответствующий последовательности $\lambda =({\lambda }_1,{\lambda }_2,\dots )$ и действующий по правилу $x=(x_1,x_2,\dots )\to ({\lambda }_1{x}_1,{\lambda }_2{x}_2,\dots )$ ограничен тогда и только тогда, когда последовательность $\lambda$ ограничена, а компактность равносильна сходимости последовательности $\lambda$ к нулю.

Обратимый оператор $A:X\to Y$ компактен тогда и только тогда, когда $X,Y$ конечномерны.

Конечномерные операторы

Очевидно, что любой линейный ограниченный оператор с конечномерным образом является компактным (такие операторы называются конечномерными). Для компактного оператора $T:X\to Y$, где $Y$ — гильбертово пространство, всегда существует последовательность конечномерных операторов, сходящаяся к $T$ по норме. Однако, это неверно для произвольного пространства $Y$. Говорят, что банахово пространство $Y$ обладает свойством аппроксимации, если для любого банахова пространства $X$ любой компактный оператор $T:X\to Y$ может быть приближен конечномерными операторами. Существуют сепарабельные банаховы пространства, не обладающие свойством аппроксимации.

Свойства пространства компактных операторов

Из базовых свойств компактных операторов сразу следует, что $𝒦(X,Y)$ является подпространством в $ℒ(X,Y)$. Однако, можно показать, что это подпространство замкнуто. В случае, когда $X=Y$, пространство операторов приобретает структуру алгебры (умножение задается композицией операторов). Тогда $𝒦(X,X)$ является замкнутым двусторонним идеалом в $ℒ(X)$.

Свойство аппроксимации для пространства $Y$ можно сформулировать таким образом: для любого банахова пространства $X$ пространство $𝒦(X,Y)$ является замыканием пространства конечномерных операторов из $X$ в $Y$.

Спектральные свойства компактных операторов

Пусть $T:X\to X$ — компактный оператор. Тогда оператор $K=I-T$ является нетеровым оператором индекса 0 (фредгольмовым). В частности, имеем альтернативу Фредгольма для $K$: он сюръективен тогда и только тогда когда инъективен (альтернатива в том, что либо ядро не пусто, либо образ совпадает со всем пространством). Как следствие сразу получаем, что весь ненулевой спектр компактного оператора является дискретным (остаточный и непрерывный спектры могут содержать только ноль). Ноль же всегда принадлежит спектру оператора $T$ в бесконечномерном случае (иначе обратимый оператор был бы компактен) и может не быть собственным значением для оператора $T$.

В случае, когда оператор $T$ является самосопряженным (здесь $X$ гильбертово), дополнительно имеем теорему Гильберта-Шмидта: существуют конечная или счетная ортонормированная система векторов $e_1,e_2,\dots$ и последовательность ненулевых вещественных чисел (той же мощности, что и система векторов) ${\lambda }_1,{\lambda }_2,\dots$, такие, что оператор $T$ действует по правилу $T(x)=\sum _n{\lambda }_n(x,e_n)e_n$. Эта теорема является естественным обобщением аналогичной теоремы для самосопряженных операторов в конечномерном пространстве. Тем самым, класс компактных операторов, с точки зрения спектральных свойств, похож на операторы в конечномерном пространстве.

Классы компактных операторов

Пусть $T:X\to Y$ — компактный оператор, $X,Y$ — гильбертовы пространства. Тогда существуют пара конечных или счетных ортонормированных последовательностей одинаковой мощности $e_1,e_2,\dots$ в $X$ и $f_1,f_2,\dots$ в $Y$ и невозрастающая последовательность положительных вещественных чисел (той же мощности) $s_1,s_2,\dots$, сходящаяся к нулю, если она бесконечна, такие что оператор $T$ действует по правилу $T(x)=\sum _n{s}_n(x,e_n)f_n$. Данный факт известен под названием теорема Шмидта (по формулировке она очень похожа на теорему Гильберта — Шмидта, и, в самом деле, теорема Шмидта, с небольшими изменениями для самосопряженного оператора служит доказательством для теоремы Гильберта-Шмидта). Нетрудно показать, что числа $s_1,s_2,\dots$, которые называются числами Шмидта, однозначно определяются оператором.

Если для оператора $T$ сходится $\sum _n{s}_n^2$, то оператор называется оператором Гильберта — Шмидта. Норма вводится соотношением $\Vert T\Vert =\sqrt{\sum _n^{}{s}_n^2}$, причем она порождается скалярным произведением. Если же сходится $\sum _n{s}_n$, то оператор называется ядерным или оператором со следом. На пространстве ядерных операторов норма вводится соотношением $\Vert T\Vert =\sum _n{s}_n$.

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга

См. также

• Ядерный оператор
• Оператор Гильберта — Шмидта
• Фредгольмов оператор
• Непрерывный оператор