Большая Советская Энциклопедия (ФУ)

® Х требуется выяснить возможность нахождения решения j ¹ 0 (собственного вектора ) уравнения А j = lj при некотором l Î l_j x_j e_j ,     (4)

где l_j , — собственное значение, отвечающее e_j . Для конечномерного Х вопрос о таком представлении полностью выяснен, при этом в случае кратных собственных значений для получения базиса в Х нужно, вообще говоря, добавить к собственным т. н. присоединённые векторы. Набор SpA собственных значений в этом случае называется спектром А .

  Первое перенесение этой картины на бесконечномерный случай было дано для интегральных операторов типа А из (2) с симметричным ядром [т. е. K (t , s ) = K (s , t ) и действительно] (Д. Гильберт). Затем подобная теория была развита для общих компактных самосопряжённых операторов в гильбертовом пространстве. Однако при переходе к простейшим некомпактным операторам возникли трудности, связанные с. самим определением спектра. Так, ограниченный оператор в L₂ [a , b ]

(Tx )(t ) = tx (t )    (5)

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

  Пусть Х — банахово пространство, А Î  — многочлен, то f (A ) =  (степень оператора понимается как последовательное его применение). Однако если f (z ) — аналитическая функция, то так прямо понимать f (A ) уже не всегда возможно; в этом случае f (A ) определяется следующей формулой, если f (z ) аналитична в окрестности SpA, а Г — контур, охватывающий SpA и лежащий в области аналитичности f (z ):

.     (6)

  При этом алгебраические операции над функциями переходят в аналогичные операции над операторами [т. е. отображение f (z ) ® f (A ) — гомоморфизм]. Эти конструкции не дают возможности выяснить, например, вопросы полноты собственных и присоединённых векторов для общих операторов, однако для самосопряжённых операторов, представляющих основной интерес, например, для квантовой механики, подобная теория полностью разработана.

  Пусть Н — гильбертово пространство. Ограниченный оператор А : Н ® Н называется самосопряжённым, если (Ax , у ) = (x , Ау ) (в случае неограниченного А определение более сложно). Если Н n -мерно, то в нём существует ортонормированный базис собственных векторов самосопряжённого оператора А ; другими словами, имеют место разложения:

, ,     (7)

где P (l_j ) — оператор проектирования (проектор) на подпространство, натянутое на все собственные векторы оператора А , отвечающие одному и тому же собственному значению l_j .

  Оказывается, что эти формулы могут быть обобщены на произвольный самосопряжённый оператор из Н , только сами проекторы P (l_j