105. Сопряженные операторы.
Пусть А — линейный оператор из X в ( — типа В) и какой-либо функционал в
Легко видеть, что будет при этом линейным функционалом в X:
При данном А это равенство приводит в соответствие всякому элементу элемент Можно написать это в виде где оператор А, определенный во всем X с областью значений в называется сопряженным с А. Из дистрибутивности линейных функционалов и оператора А следует дистрибутивность А. Покажем теперь ограниченность а также тот факт, что причем левая часть есть норма оператора в X и правая в X. Мы имеем
откуда Но и, следовательно, .
Пусть далее любой фиксированный элемент X и V — такой элемент . Получаем
откуда что, совместно с и дает Это приводит нас к следующей теореме.
Теорема. Оператор А, сопряженный с линейным оператором А из X в есть линейный оператор из
Замечание. Отметим, что если X совпадает с X, то А есть линейный оператор в X с областью значений также в
Если А и В — линейные операторы из в то из определения сопряженного оператора следует . Если — линейные операторы из в X, то как это следует из равенств . В случае вещественного пространства и для комплексного .