Неограниченный оператор

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Пусть  — гильбертово пространство. Под оператором в понимается линейное отображение , область определения и область значений которого — подпространства . При этом не предполагается, что оператор ограничен или непрерывен. Итак, чтобы задать неограниченный оператор на гильбертовом пространстве, требуется сначала определить область, на которой он действует, а затем указать, как он действует на этом подпространстве.

Сопряженные операторы[править]

Сопоставим оператору сопряженный в смысле гильбертова пространства (гильбертов сопряженный) оператор . При этом область определения оператора состоит из всех , для которых линейный функционал непрерывен на . Если вектор обладает этим свойством, то по теореме Хана-Банаха функционал продолжается до некоторого непрерывного линейного функционала на пространстве , и потому .

Гильбертов сопряженный определяется лишь для тех операторов , области определения которых всюду плотны в . Область определения оператора состоит из всех , для которых функционал непрерывен на , а значение оператора в точке однозначно определяется условием .

Если , то оператор называется самосопряженным.

Графики[править]

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

Норма в пространстве определяется как .

График оператора в пространстве  — это подпространство пространства , состоящее из всех упорядоченных пар {}, где пробегает .

Теорема. Если — плотно определенный оператор в пространстве , то , где правая часть — ортогональное дополнение подпространства в пространстве .

Теорема. Если — плотно определенный оператор в пространстве , то , причем справа стоит прямая сумма ортогональных подпространств.

Оператор является расширением оператора (т.е. и , тогда и только тогда, когда , т.е. .

Теорема. Пусть и - плотно определенные операторы в , тогда . Кроме того, если , то . В первом случае оператор является расширением оператора , во втором же области определения операторов и совпадают.

Оператор в называется замкнутым, если его график является замкнутым подпространством пространства .

Теорема. Если — плотно определенный оператор в пространстве , то оператор замкнут. В частности, самосопряженный оператор замкнут.

Теорема. Если — плотно определенный замкнутый оператор в , то область определения оператора всюду плотна в и .

По теореме о замкнутом графике оператор тогда и только тогда, когда он замкнут и .

Симметрические операторы[править]

Оператор в гильбертовом пространстве называется симметрическим, если , . Таким образом, симметрические операторы с всюду плотными областями определения — это в точности те операторы Т, для которых . Для оператора условия симметричности и самосопряженности совпадают. В общем случае это уже не так.

Теорема. Пусть — симметрический плотно определенный оператор в пространстве .

  • Если, то оператор самосопряжен и ограничен.
  • Если оператор самосопряжен и инъективен, то его образ всюду плотен в и оператор самосопряжен.
  • Если образ оператора всюду плотен в , то оператор инъективен.
  • Если , то оператор самосопряжен и инъективен, а .

Операторы вида обладают интересными свойствами. В частности, область определения такого оператора не может быть очень маленькой.

Теорема. Пусть — плотно определенный замкнутый оператор в пространстве , и пусть , — единичный оператор с областью определения . Тогда справедливы следующие утверждения:

  • Оператор самосопряжен, а оператор взаимно однозначно отображает свою область определения на все пространство . Существует единственная пара операторов , удовлетворяющих условиям и . При этом .
  • Если сужение оператора на подпространство , то график оператора всюду плотен в .

Симметрический оператор в пространстве называется максимальным симметрическим, если он не имеет собственных симметрических расширений, т.е. если из , где симметричен, следует, что .

Теорема. Самосопряженные операторы являются максимальными симметрическими операторами.

Теорема. Если — симметрический оператор в пространстве (не обязательно плотно определенный), то справедливы следующие утверждения:

  • , ;
  • Оператор замкнут тогда и только тогда, когда подпространство замкнуто в ;
  • Оператор инъективен;
  • Если , то — максимальный симметрический оператор;
  • Все предыдущие утверждения остаются справедливыми, если в них заменить на .

Преобразование Кэли[править]

Определение[править]

Отображение устанавливает взаимно однозначное соответствие между вещественной осью и единичной окружностью с выколотой точкой 1. Каждый самосопряженный оператор порождает унитарный оператор , причем любой унитарный оператор , спектр которого не содержит точку 1, может быть получен таким способом.

Пусть — симметрический оператор в пространстве , тогда . Поэтому существует изометрия с областью определения и образом соответственно, определяемая формулой , .

Поскольку оператор взаимно однозначно отображает на , оператор можно записать также в виде .

Оператор называется преобразованием Кэли оператора , с помощью которого можно получить простое доказательство спектральной теоремы для самосопряженных (не обязательно ограниченных) операторов.

Основные свойства[править]

Теорема. Пусть — преобразование Кэли симметрического оператора в пространстве . Тогда справедливы следующие утверждения:

  • Оператор замкнут тогда и только тогда, когда замкнут оператор ;
  • , оператор инъективен, и оператор может быть восстановлен по при помощи формулы ;
  • Преобразования Кэли двух различных симметрических операторов не совпадают;
  • Оператор унитарен тогда и только тогда, когда оператор самосопряжен.

Обратное утверждение теоремы. Если — такой изометрический оператор в пространстве , что оператор инъективен, то является преобразованием Кэли некоторого симметрического оператора в пространстве .

Индексы дефекта[править]

Всякая изометрия с областью определения расширяется (единственным образом) до изометрии, определенной на замыкании подпространства .

Пусть — преобразование Кэли симметрического оператора в пространстве , тогда оператор замкнут тогда и только тогда, когда замкнут оператор . Из этого следует, что каждый симметрический оператор в пространстве обладает замкнутым симметрическим расширением.

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

Теорема. Пусть оператор замкнут, симметричен и плотно определен, тогда справедливы утверждения:

  • Оператор самосопряжен тогда и только тогда, когда оба его индекса дефекта равны О;
  • Оператор является максимальным симметрическим оператором в том и только в том случае, когда хотя бы один из его индексов дефекта равен 0;
  • Оператор тогда и только тогда обладает самосопряженным расширением, когда два его индекса дефекта равны.

Литература[править]

  • Рудин У. Функциональный Анализ. — М.: Мир, 1975.
  • Рид М., Саймон Б. Методы современной математической физики. Том 1: Функциональный анализ. — М.: Мир, 1977.