51.3 Существование одномерных и двумерных инвариантных подпространств

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

Доказательство:

Для любого имеем при некотором . Тогда , то есть и теорема 3 доказана.

А так как степень характеристического многочлена совпадает с размерностью всего линейного пространства, то имеет место следующая теорема:

Теорема 4: Всякий линейный оператор в линейном пространстве нечётной размерности имеет инвариантное одномерное подпространство (являющееся линейной оболочкой собственного вектора , соответствующим собственному значению λ - вещественному корню характеристического многочлена линейного оператора ).

Пусть теперь - комплексный корень характеристического многочлена. Перейдя к матричной форме записи, получим, что система линейных уравнений (51.2) должна иметь комплексное ненулевое решение , или ( - вещественная матрица, ибо - вещественный линейный оператор):

(51.4)

Раскроем в (51.4) скобки:

Сравнивая вещественные и мнимые части обеих частей последнего равенства, имеем

и (51.5)

или, переходя к линейному оператору и полагая

( ; , а - ранее выбранный базис), получим:

и (51.6)

Берем теперь любое то есть при некоторых и . Тогда:

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

Теорема 5: Всякий линейный оператор имеет двумерное инвариантное подпространство.

51.4 Линейная независимость собственных векторов, имеющих попарно-различные собственные значения

Покажем, что имеет место следующая теорема:

Теорема 6: Если собственные значения линейного оператора попарно различны, то соответствующие им собственные вектора линейно независимы.

Доказательство:

Используем метод математической индукции по числу собственных значений m :

1. База индукции:

Так как собственный вектор , то система линейно независима (см. §16, теорема 16.0).

2. Шаг индукции:

Имеем: вектора линейно независимы (попарно различные собственные значения - ; соответствующие им собственные вектора - ).

Рассмотрим произвольную линейную комбинацию

(51.7)

Тогда

то есть доказано равенство

(51.8)

Умножая обе части (51.7) на λ_k+1 и вычитая полученное равенство из (51.8), имеем

(51.9)

А так как система линейно независима, то

(51.10)

Ввиду того, что (то есть ) для любых (собственные значения попарно различны), из равенства (51.10) получаем, что

(51.11)

Подставляя вместо в (51.7) их значения из (51.11), получим, что , а так как , то из теоремы 16.0 имеем , то есть (см. (51.11): , и, следовательно, система линейно независима (ибо мы показали, что равенство (51.7) может выполняться только при нулевых значениях ). Теорема доказана.

Простым следствием теоремы 6 является следующая теорема:

Теорема 7: Если все корни характеристического многочлена линейного оператора действительные и простые (попарно различные), то в линейном пространстве имеется базис из собственных векторов линейного оператора .

Рассмотрим матрицу линейного оператора в базисе его собственных векторов:

, то есть эта матрица имеет вид

и является диагональной матрицей.

Итак, доказаны следующие две теоремы:

Теорема 8: Матрица линейного оператора в базисе его собственных векторов является диагональной.

Теорема 9: Если уравнение

(51.12)

Имеет вещественные простые (попарно различные) корни, то существует такая невырожденная матрица C , что C^-1∙A∙C является диагональной матрицей.

Эта матрица C будет матрицей перехода к базису из собственных векторов линейного оператора соответствующих собственным значением , являющихся корнями уравнения (51.12).

§52 Симметричный линейный оператор

52.1 Определение симметричного линейного оператора

Определение: действительный ЛО симметричен, если для любых x и y элементов и из ЛП верно равенство .

51.2 Ортогональное дополнение и его инвариантность для симметричного линейного оператора

Пусть ЛП больше некоторого ЛПП ( ). Тогда - ортогональное дополнение ЛПП , если для всех из и их верно равенство .

Теорема 1: если - СЛО, а - ИПП, то ЛО от ортогонального дополнения ИПП содержит в себе ЛО от самого себя, т.е.

Доказательство:

51.3 Матрица симметричного линейного оператора