124. Линейные операторы.
Рассмотрим теперь линейные (ограниченные) операторы, определенные во всем И, и значения которых также принадлежат
. В дальнейшем, если не оговорено особо, мы будем пользоваться терминами «линейный функционал» и «линейный оператор» для дистрибутивных ограниченных функционалов и операторов, заданных на всем
Норму оператора А мы будем обозначать через
или
Напомним формулу
Через Е будем обозначать оператор тождественного преобразования, т. е.
для любого
. Если
то А есть оператор аннулирования, т. е.
для любого
. Пусть L — некоторое подпространство. Согласно теореме из [122] мы имеем для любого
единственное представление в виде
, где
. Оператор, переводящий х в у, называется оператором проектирования, или проектором в L, и обозначается следующим образом:
Если L есть все
, то
. Если L состоит из одного нулевого элемента, то
есть оператор аннулирования. В общем случае
причем знак
тогда и только тогда, когда
. Если
не есть оператор аннулирования, то
. Дистрибутивность
следует из того, что если мы имеем два разложения:
где
Аналогично
.
Введем теперь некоторые новые понятия и отметим элементарные свойства линейных операторов
Слово «линейный» мы будем часто опускать.
Если А и В — два таких оператора, что для любого элемента
мы имеем
то говорим, что операторы А и В совпадают, и пишем
Если дистрибутивный и ограниченный оператор А задан на некотором линеале
повсюду плотном в
то так же, как и в случае функционала, его можно единственным образом продолжить на все И с сохранением дистрибутивности и ограниченности, и при этом продолжении его норма, которую он имел в
не повысится.
Если А и В — два оператора, а а и b — два комплексных числа, то
есть линейный оператор, определяемый равенством
Принимая во внимание, что
видим, что у оператора
норма
Таким образом, операторы можно умножать на комплексные числа и складывать. Эта операция подчиняется обычным законам алгебры. Последовательное применение операторов А и В представляет собой также линейный оператор, который мы обозначим символом ВА. Применение тех же операторов, но в другом порядке, приводит к линейному оператору АВУ отличному, вообще говоря, от ВА, Мы назовем операторы ВА и АВ произведением операторов А и В. Это определение непосредственно распространяется и на случай любого конечного числа сомножителей. Если
ВАУ то говорят, что операторы коммутируют. Мы имеем
и, следовательно, норма произведений ВА и
Отметим еще, что если а — комплексное число и А — оператор, то норма а А в точности равна
. Произведение операторов подчиняется, очевидно, сочетательному закону, т. е.
и распределительному закону
Переходим теперь к введению понятия сопряженного оператора. Пусть А — некоторый линейный оператор; рассмотрим скалярное произведение
Для любого фиксированного элемента у
оно представляет собой функционал от
Дистрибутивность его вытекает из дистрибутивности скалярного произведения, а ограниченность — из очевидной формулы
Но всякий функционал мы можем представить единственным образом в виде скалярного произведения. Таким образом, для любого фиксированного элемента у существует такой определенный элемент у, что
для любого
из Н. Таким образом, написанная формула дает определенный закон, согласно которому каждому элементу у соответствует определенный элемент у. Запишем этот закон в виде
где А — символ некоторого оператора. Его дистрибутивность непосредственно следует из дистрибутивности скалярных произведений
по отношению ко второму аргументу. Дальше мы докажем и ограниченность оператора
. Этот оператор
и называется сопряженным с А. Формулу (36) мы можем теперь записать в виде
Из данного выше определения сопряженного оператора непосредственно вытекают следующие формулы составления сопряженного оператора для суммы и произведения операторов:
Докажем, например, третью из написанных формул. Применяя дважды определение (37), получим
откуда и следует, что
Докажем еще последнюю из формул (38). Мы имеем, пользуясь определением (37) и свойством
откуда и следует, что
. Докажем, наконец, ограниченность оператора А.
Теорема 1. Норма сопряженного оператора равна норме первоначального оператора, т. е.
Полагая в формуле
и пользуясь неравенствами (5) и (33), мы получим
откуда следует, что
а потому
. В силу
мы, в силу доказанного, имеем:
откуда и следует, что
Оператор А называется самосопряженным, если
Таким образом, для самосопряженного оператора характерным является равенство
Если положить в этом равенстве
и принять во внимание
, то мы увидим, что в случае самосопряженного оператора
вещественно для любого элемента
. Справедливо и обратное утверждение.
Теорема 2. Для самосопряженности А необходимо и достаточно, чтобы
был вещественным для любого элемента
Необходимость мы показали выше. Положим теперь, что
вещественно при любом выборе
и докажем, что А — самосопряженный оператор. По условию мы имеем
Раскрывая скалярные произведения и принимая во внимание, что
получим
Вычитая почленно, приходим к равенству (39), откуда и следует, что А — самосопряженный оператор. Принимая во внимание формулы (38), видим, что любая линейная комбинация
самосопряженных операторов
с вещественными коэффициентами есть самосопряженный оператор, а произведение АВ самосопряженных операторов будет самосопряженным оператором тогда и только тогда, когда А и В коммутируют.
Пусть L — некоторое подпространство и М — дополнительное к нему. В силу теоремы из [122], имеем
Нетрудно видеть, что всякий проектор
есть самосопряженный оператор. Действительно, принимая во внимание ортогональность L и М и формулу (40), получим
Пусть А — любой линейный оператор. Построим следующие два оператора:
Принимая во внимание формулы (38), видим, что
самосопряженные операторы. Таким образом, получаем следующее выражение любого линейного оператора через самосопряженные операторы: