Собственные векторы линейного оператора

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

. (5.3)

Число называется собственным значением (собственным числом) линейного оператора А.

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

Определение. Множество всех собственных значений линейного оператора называется спектром линейного оператора.

Теорема. Любому собственному вектору соответствует единственное собственное значение.

Доказательство. Доказательство проведем от противного. Пусть собственному вектору соответствуют собственные значения и , причем . Тогда для собственных значений и должно выполняться равенство (5.3), т. е. , . Следовательно, или . Принимая во внимание, что , получим - противоречие с определением собственного вектора. Значит, любому собственному вектору соответствует единственное собственное значение. Теорема доказана.

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

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

Доказательство. Необходимость (). Пусть - собственное значение линейного оператора . Тогда в линейном пространстве существует вектор , такой, что . В любом линейном пространстве действует тождественный оператор I: . Тогда , или . Запишем это равенство в некотором базисе линейного пространства . Матрицей этого оператора будет матрица , где - матрица линейного оператора в базисе . Пусть - столбец координат вектора . Тогда и матричная запись равенства имеет вид . Это равносильно системе уравнений

(5.4)

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

Достаточность (). Пусть - корень характеристического уравнения, тогда в некотором базисе выполняется равенство и система (5.4) линейных однородных алгебраических уравнений имеет ненулевое решение . Это решение есть набор координат некоторого ненулевого вектора , который оператор переводит в нулевой вектор, т. е. или , т. е. действительное число является собственным значением линейного оператора. Теорема доказана.

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

Теорема. Множество является линейным подпространством в линейном пространстве .

Доказательство. Пусть - произвольные векторы множества . Проверим выполнение аксиом линейного подпространства:

,

т. е. , справедливо равенство . Если , то он является собственным и принадлежит . Таким образом, ˗ линейное подпространство в . Теорема доказана.

Линейное подпространство иногда называют собственным подпространством линейного оператора.