Неограниченный оператор
Пусть — гильбертово пространство. Под оператором в понимается линейное отображение , область определения и область значений которого — подпространства . При этом не предполагается, что оператор ограничен или непрерывен. Итак, чтобы задать неограниченный оператор на гильбертовом пространстве, требуется сначала определить область, на которой он действует, а затем указать, как он действует на этом подпространстве.
Сопряженные операторы[править]
Сопоставим оператору сопряженный в смысле гильбертова пространства (гильбертов сопряженный) оператор . При этом область определения оператора состоит из всех , для которых линейный функционал непрерывен на . Если вектор обладает этим свойством, то по теореме Хана-Банаха функционал продолжается до некоторого непрерывного линейного функционала на пространстве , и потому .
Гильбертов сопряженный определяется лишь для тех операторов , области определения которых всюду плотны в . Область определения оператора состоит из всех , для которых функционал непрерывен на , а значение оператора в точке однозначно определяется условием .
Если , то оператор называется самосопряженным.
Графики[править]
Если — гильбертово пространство, то также можно превратить в гильбертово пространство, определяя скалярное произведение двух элементов и пространства равенством , где в правой части фигурируют скалярные произведения элементов пространства .
Норма в пространстве определяется как .
График оператора в пространстве — это подпространство пространства , состоящее из всех упорядоченных пар {}, где пробегает .
Теорема. Если — плотно определенный оператор в пространстве , то , где правая часть — ортогональное дополнение подпространства в пространстве . Теорема. Если — плотно определенный оператор в пространстве , то , причем справа стоит прямая сумма ортогональных подпространств. |
Оператор является расширением оператора (т.е. и , тогда и только тогда, когда , т.е. .
Теорема. Пусть и - плотно определенные операторы в , тогда . Кроме того, если , то . В первом случае оператор является расширением оператора , во втором же области определения операторов и совпадают. |
Оператор в называется замкнутым, если его график является замкнутым подпространством пространства .
Теорема. Если — плотно определенный оператор в пространстве , то оператор замкнут. В частности, самосопряженный оператор замкнут. Теорема. Если — плотно определенный замкнутый оператор в , то область определения оператора всюду плотна в и . |
По теореме о замкнутом графике оператор тогда и только тогда, когда он замкнут и .
Симметрические операторы[править]
Оператор в гильбертовом пространстве называется симметрическим, если , . Таким образом, симметрические операторы с всюду плотными областями определения — это в точности те операторы Т, для которых . Для оператора условия симметричности и самосопряженности совпадают. В общем случае это уже не так.
Теорема. Пусть — симметрический плотно определенный оператор в пространстве .
|
Операторы вида обладают интересными свойствами. В частности, область определения такого оператора не может быть очень маленькой.
Теорема. Пусть — плотно определенный замкнутый оператор в пространстве , и пусть , — единичный оператор с областью определения . Тогда справедливы следующие утверждения:
|
Симметрический оператор в пространстве называется максимальным симметрическим, если он не имеет собственных симметрических расширений, т.е. если из , где симметричен, следует, что .
Теорема. Самосопряженные операторы являются максимальными симметрическими операторами. Теорема. Если — симметрический оператор в пространстве (не обязательно плотно определенный), то справедливы следующие утверждения:
|
Преобразование Кэли[править]
Определение[править]
Отображение устанавливает взаимно однозначное соответствие между вещественной осью и единичной окружностью с выколотой точкой 1. Каждый самосопряженный оператор порождает унитарный оператор , причем любой унитарный оператор , спектр которого не содержит точку 1, может быть получен таким способом.
Пусть — симметрический оператор в пространстве , тогда . Поэтому существует изометрия с областью определения и образом соответственно, определяемая формулой , .
Поскольку оператор взаимно однозначно отображает на , оператор можно записать также в виде .
Оператор называется преобразованием Кэли оператора , с помощью которого можно получить простое доказательство спектральной теоремы для самосопряженных (не обязательно ограниченных) операторов.
Основные свойства[править]
Теорема. Пусть — преобразование Кэли симметрического оператора в пространстве . Тогда справедливы следующие утверждения:
Обратное утверждение теоремы. Если — такой изометрический оператор в пространстве , что оператор инъективен, то является преобразованием Кэли некоторого симметрического оператора в пространстве . |
Индексы дефекта[править]
Всякая изометрия с областью определения расширяется (единственным образом) до изометрии, определенной на замыкании подпространства .
Пусть — преобразование Кэли симметрического оператора в пространстве , тогда оператор замкнут тогда и только тогда, когда замкнут оператор . Из этого следует, что каждый симметрический оператор в пространстве обладает замкнутым симметрическим расширением.
Пусть — замкнутый и плотно определенный симметрический оператор в пространстве , — его преобразование Кэли, тогда подпространства и замкнуты, и является изометрическим отображением первого из них на второе. Размерности ортогональных дополнений этих двух подпространств называются индексами дефекта оператора .
Теорема. Пусть оператор замкнут, симметричен и плотно определен, тогда справедливы утверждения:
|
Литература[править]
- Рудин У. Функциональный Анализ. — М.: Мир, 1975.
- Рид М., Саймон Б. Методы современной математической физики. Том 1: Функциональный анализ. — М.: Мир, 1977.