Спектральная теорема

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Спектральная теорема — наименование утверждений из класса теорем о линейных операторах или о матрицах в линейной алгебре и функциональном анализе, дающих условия, при которых оператор или матрица может быть диагонализирован, то есть представлен диагональной матрицей в некотором базисе (в бесконечномерных пространствах эта концепция о диагонализации требует некоторых уточнений). Вообще говоря, спектральная теорема выделяет класс линейных операторов, которые могут моделироваться операторами умножения[en] — простейшими операторами, какие только могут быть. Более абстрактно, спектральная теорема является утверждением о коммутативных C^*-алгебрах[en].

Примерами операторов, к которым может быть применена спектральная теорема являются самосопряжённые операторы или, более общо, — нормальные операторы[en] в гильбертовых пространствах.

Спектральная теорема также даёт каноническое разложение объемлющего векторного пространства, называемое спектральным разложением или разложением по собственным значениям.

Конечномерный случай[править | править вики-текст]

Эрмитовы матрицы[править | править вики-текст]

В эрмитовой матрице A на конечномерном вещественном или комплексном пространстве со скалярным произведением V по определению обеспечено, что для всех векторов x и y пространства V выполняется равенство (Ax, y) = (x, Ay). Эквивалентным образом условие эрмитовости может быть записано в виде A^* = A, где A^* является сопряжённо-транспонированной для A матрицей. Если A является вещественной матрицей, то последнее условие эквивалентно такому A^T = A (то есть A является симметричной матрицей). Для формулировки спектральной теоремы также существенно понятие собственного вектора: ненулевой вектор x является собственным для линейного оператора A, если Ax = \lambda x для некоторого скаляра \lambda, при этом \lambda называется собственным значением, соответствующим собственному вектору x.

Теорема
Существует ортонормированный базис пространства V, состоящий из собственных векторов оператора A. Все собственные значения вещественны.

Дадим набросок доказательства для случая комплексного пространства.

Согласно основной теореме алгебры любая квадратная матрица с комплексными коэффициентами имеет по крайней мере один собственный вектор. Пусть теперь эрмитова матрица A имеет собственный вектор e^1. Рассмотрим подпространство K, состоящее из всех векторов, ортогональных к e^1 .Поскольку A — эрмитова матрица, подпространство K является инвариантным подпространством оператора A. Применяя указанные выше аргументы к подпространству K видим, что A имеет собственный вектор e^2 \in K . Сделав конечное число таких шагов мы завершим доказательство.

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

Если выбрать собственные векторы оператора A в качестве ортонормированного базиса, то в этом базисе матрица оператора A будет диагональной. Это свойство можно выразить по-другому, сказав что A является линейной комбинацией попарно ортогональных проекций, называемых спектральным разложением A. В самом деле, пусть

 V_\lambda = \{\,v \in V: A v = \lambda v\,\}

будет подпространством, состоящим из собственных векторов, отвечающих собственному значению λ. Заметим, что это определение не зависит от конкретного выбора собственных векторов. Всё пространство V является прямой суммой взаимно ортогональных подпространств V_{\lambda}, где индекс пробегает все возможные собственные значения. Пусть P_{\lambda} обозначает ортогональную проекцию на V_{\lambda} и пусть \lambda_1, ..., \lambda_m обозначают все собственные значения A. Тогда спектральное разложение A можно записать в виде

A =\lambda_1 P_{\lambda_1} +\dots+\lambda_m P_{\lambda_m}.

Спектральное разложение является частным случаем разложения Шура?!, а также специальным случаем сингулярного разложения.

В бесконечномерном случае спектральное разложение линейного оператора A задаётся интегралом

A =\int_{\sigma} \lambda P(d\lambda),

где σ обозначает спектр оператора A, а P обозначает оператор проектирования, а интегрирование ведётся по мере, принимающей значения в пространстве операторов проектирования.

Нормальные матрицы[править | править вики-текст]

Спектральная теорема может быть распространена на несколько более широкий класс матриц. Пусть A является оператором на конечномерном пространстве со скалярным произведением. A называют нормальным, если A A^* = A^* A. Можно доказать, что A является нормальным если и только если он является унитарно диагонализируемым. В самом деле, в соответствии разложением Шура мы имеем A = U T U^*, где U является унитарным оператором, а T — верхнетреугольным. Поскольку A является нормальным, то T T^* = T^* T. Следовательно, T является диагональным. Обратное не менее очевидно.

Другими словами, A является нормальным если и только если существует унитарная матрица U такая, что A = U \Lambda U^*, где \Lambda является диагональной матрицей. При этом диагональные элементы матрицы Λ являются собственными значениями A, а векторы-столбцы матрицы U являются собственными векторами A (они, конечно, имеют единичную длину и попарно ортогональны). В отличие от эрмитова случая элементы матрицы \Lambda не обязательно вещественны.

Спектральная теорема для компактных самосопряжённых операторов[править | править вики-текст]

В бесконечномерных гильбертовых пространствах утверждение спектральной теоремы для компактных самосопряжённых операторов выглядит в сущности также как в конечномерном случае.

Теорема
Пусть A является компактным самосопряжённым оператором в гильбертовом пространстве V. Существует ортонормированный базис пространства V, состоящий из собственных векторов оператора A. При этом все собственные значения вещественны.


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

Без предположения о компактности становится неверным утверждение о том, что всякий самосопряжённый оператор имеет собственный вектор.

Спектральная теорема для ограниченных самосопряжённых операторов[править | править вики-текст]

Следующее обобщение, которое мы рассмотрим, касается ограниченных самосопряжённых операторов в гильбертовых пространствах. Такие операторы могут не иметь собственных значений (например, таков оператор A умножения на независимую переменную в пространстве L^2[0,1], то есть \left[ A \phi \right] (t) = t \phi(t).

Теорема
Пусть A является ограниченным самосопряжённым оператором в гильбертовом пространстве H. Тогда существует пространство с мерой \left(X, \Sigma, \mu \right), вещественнозначная измеримая функция f на X и унитарный оператор U : H \rightarrow L^2_{\mu}(X) такие, что U^* T U = A, где T является оператором умножения, то есть \left[ T \phi \right] (x) = f(x) \phi (x).


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

Аналогичная спектральная теорема справедлива для ограниченных нормальных операторов в гильбертовых пространствах. Единственная разница состоит в том, что теперь f может быть комплекснозначной.

Альтернативная формулировка спектральной теоремы позволяет записать оператор A как интеграл, взятый по спектру оператора, от координатной функции по проекционной мере. В случае когда рассматриваемый нормальный оператор является компактным, эта версия спектральной теоремы сводится к приведённой выше конечномерной спектральной теореме (с той оговоркой, что теперь линейная комбинация может содержать бесконечно много проекторов).

Спектральная теорема для общих самосопряжённых операторов[править | править вики-текст]

Многие важные линейные операторы, возникающие в математическом анализе, не являются ограниченными. Например, таковы дифференциальные операторы. Имеется спектральная теорема для самосопряжённых операторов, которая работает для неограниченных операторов. Например, любой дифференциальный оператор с постоянными коэффициентами унитарно эквивалентен оператору умножения (соответствующим унитарным оператором является преобразование Фурье, а соответствующий оператор умножения называют мультипликатором Фурье).

Литература[править | править вики-текст]