Собственный вектор. Собственные значения (числа) и собственные векторы.Примеры решений

Собственные значения (числа) и собственные векторы.
Примеры решений

Будь собой


Из обоих уравнений следует, что .

Положим , тогда: .

В результате: – второй собственный вектор.

Повторим важные моменты решения:

– полученная система непременно имеет общее решение (уравнения линейно зависимы);

– «игрек» подбираем таким образом, чтобы он был целым и первая «иксовая» координата – целой, положительной и как можно меньше.

– проверяем, что частное решение удовлетворяет каждому уравнению системы.

Ответ .

Промежуточных «контрольных точек» было вполне достаточно, поэтому проверка равенств , в принципе, дело излишнее.

В различных источниках информации координаты собственных векторов довольно часто записывают не в столбцы, а в строки, например: (и, если честно, я сам привык записывать их строками) . Такой вариант приемлем, но в свете темы линейных преобразований технически удобнее использовать векторы-столбцы .

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

Пример 2

Матрицы

Тренируемся самостоятельно! Примерный образец чистового оформления задачи в конце урока.

Иногда требуется выполнить дополнительное задание, а именно:

записать каноническое разложение матрицы

Что это такое?

Если собственные векторы матрицы образуют базис , то она представима в виде:

Где – матрица составленная из координат собственных векторов, – диагональная матрица с соответствующими собственными числами.

Такое разложение матрицы называют каноническим или диагональным .

Рассмотрим матрицу первого примера. Её собственные векторы линейно независимы (неколлинеарны)и образуют базис. Составим матрицу из их координат:

На главной диагонали матрицы в соответствующем порядке располагаются собственные числа, а остальные элементы равняются нулю:
– ещё раз подчёркиваю важность порядка: «двойка» соответствует 1-му вектору и посему располагается в 1-м столбце, «тройка» – 2-му вектору.

По обычному алгоритму нахождения обратной матрицы либо методом Гаусса-Жордана находим . Нет, это не опечатка! – перед вами редкое, как солнечное затмение событие, когда обратная совпала с исходной матрицей.

Осталось записать каноническое разложение матрицы :

Систему можно решить с помощью элементарных преобразований и в следующих примерах мы прибегнем к данному методу. Но здесь гораздо быстрее срабатывает «школьный» способ. Из 3-го уравнения выразим: – подставим во второе уравнение:

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

И снова обратите внимание на обязательное наличие линейной зависимости . Если получается только тривиальное решение , то либо неверно найдено собственное число, либо с ошибкой составлена / решена система.

Компактные координаты даёт значение

Собственный вектор:

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

2) Для собственного значения по такому же принципу получаем следующую систему:

Из 2-го уравнения системы выразим: – подставим в третье уравнение:

Поскольку «зетовая» координата равна нулю, то получаем систему , из каждого уравнения которой следует линейная зависимость .

Пусть

Проверяем, что решение удовлетворяет каждому уравнению системы.

Таким образом, собственный вектор: .

3) И, наконец, собственному значению соответствует система:

Второе уравнение выглядит самым простым, поэтому из него выразим и подставим в 1-е и 3-е уравнение:

Всё хорошо – выявилась линейная зависимость , которую подставляем в выражение :

В результате «икс» и «игрек» оказались выражены через «зет»: . На практике не обязательно добиваться именно таких взаимосвязей, в некоторых случаях удобнее выразить и через либо и через . Или даже «паровозиком» – например, «икс» через «игрек», а «игрек» через «зет»

Положим , тогда:

Проверяем, что найденное решение удовлетворяет каждому уравнению системы и записываем третий собственный вектор

Ответ : собственные векторы:

Геометрически эти векторы задают три различных пространственных направления («туда-обратно») , по которым линейное преобразование переводит ненулевые векторы (собственные векторы) в коллинеарные им векторы.

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

Если же по условию нужно записать матрицу линейного преобразования в базисе из собственных векторов , то ответ даём в виде . Разница есть, и разница существенная! Ибо оная матрица – есть матрица «дэ».

Задача с более простыми вычислениями для самостоятельного решения:

Пример 5

Найти собственные векторы линейного преобразования, заданного матрицей

При нахождении собственных чисел постарайтесь не доводить дело до многочлена 3-й степени. Кроме того, ваши решения систем могут отличаться от моих решений – здесь нет однозначности; и векторы, которые вы найдёте, могут отличаться от векторов образца с точностью до пропорциональности их соответствующих координат. Например, и . Эстетичнее представить ответ в виде , но ничего страшного, если остановитесь и на втором варианте. Однако всему есть разумные пределы, версия смотрится уже не очень хорошо.

Примерный чистовой образец оформления задания в конце урока.

Как решать задачу в случае кратных собственных чисел?

Общий алгоритм остаётся прежним, но здесь есть свои особенности, и некоторые участки решения целесообразно выдержать в более строгом академичном стиле:

Пример 6

Найти собственные числа и собственные векторы

Решение

Конечно же, оприходуем сказочный первый столбец:

И, после разложения квадратного трёхчлена на множители:

В результате получены собственные числа , два из которых кратны.

Найдем собственные векторы:

1) С одиноким солдатом разделаемся по «упрощённой» схеме:

Из последних двух уравнений четко просматривается равенство , которое, очевидно, следует подставить в 1-е уравнение системы:

Лучшей комбинации не найти:
Собственный вектор:

2-3) Теперь снимаем пару часовых. В данном случае может получиться либо два, либо один собственный вектор. Невзирая на кратность корней, подставим значение в определитель , который приносит нам следующую однородную систему линейных уравнений :

Собственные векторы – это в точности векторы
фундаментальной системы решений

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


Единственное действие состояло в удалении лишних строк. В результате получена матрица «один на три» с формальной «ступенькой» посередине.
– базисная переменная, – свободные переменные. Свободных переменных две, следовательно, векторов фундаментальной системы тоже два .

Выразим базисную переменную через свободные переменные: . Нулевой множитель перед «иксом» позволяет принимать ему совершенно любые значения (что хорошо видно и из системы уравнений).

В контексте данной задачи общее решение удобнее записать не в строку, а в столбец:

Паре соответствует собственный вектор:
Паре соответствует собственный вектор:

Примечание : искушенные читатели могут подобрать данные векторы и устно – просто анализируя систему , но тут нужны некоторые знания: переменных – три, ранг матрицы системы – единица, значит, фундаментальная система решений состоит из 3 – 1 = 2 векторов. Впрочем, найдённые векторы отлично просматриваются и без этих знаний чисто на интуитивном уровне. При этом даже «красивее» запишется третий вектор: . Однако предостерегаю, в другом примере простого подбора может и не оказаться, именно поэтому оговорка предназначена для опытных людей. Кроме того, а почему бы не взять в качестве третьего вектора, скажем, ? Ведь его координаты тоже удовлетворяют каждому уравнение системы, и векторы линейно независимы. Такой вариант, в принципе, годен, но «кривоват», поскольку «другой» вектор представляет собой линейную комбинацию векторов фундаментальной системы.

Ответ : собственные числа: , собственные векторы:

Аналогичный пример для самостоятельного решения:

Пример 7

Найти собственные числа и собственные векторы

Примерный образец чистового оформления в конце урока.

Следует отметить, что и в 6-м и в 7-м примере получается тройка линейно независимых собственных векторов, и поэтому исходная матрица представима в каноническом разложении . Но такая малина бывает далеко не во всех случаях:

Пример 8


Решение : составим и решим характеристическое уравнение:

Определитель раскроем по первому столбцу:

Дальнейшие упрощения проводим согласно рассмотренной методике, избегая многочлена 3-й степени:

– собственные значения.

Найдем собственные векторы:

1) С корнем затруднений не возникает:

Не удивляйтесь, помимо комплекта в ходу также переменные – разницы тут никакой.

Из 3-го уравнения выразим – подставим в 1-е и 2-е уравнения:

Из обоих уравнений следует:

Пусть , тогда:

2-3) Для кратных значений получаем систему .

Запишем матрицу системы и с помощью элементарных преобразований приведём её к ступенчатому виду:

Определение: ПустьL– заданноеn - мерное линейное пространство. Ненулевой векторLназываетсясобственным вектором линейного преобразования А, если существует такое число, что выполняется равенство:

A
(7.1)

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

Перенеся правую часть (7.1) в левую и принимая во внимание соотношение
, перепишем (7.1) в виде

(7.2)

Уравнение (7.2) эквивалентно системе линейных однородных уравнений:

(7.3)

Для существования ненулевого решения системы линейных однородных уравнений (7.3) необходимо и достаточно, чтобы определитель коэффициентов этой системы равнялся нулю, т.е.

|A-λE|=
(7.4)

Этот определитель является многочленом n-ой степени относительно λ и называется характеристическим многочленом линейного преобразования А, а уравнение (7.4) -характеристическим уравнением матрицы А.

Определение: Если линейное преобразование А в некотором базисе,,…,имеет матрицу А =
, то собственные значения линейного преобразования А можно найти как корни 1 , 2 , … , n характеристического уравнения:

Рассмотрим частный случай . Пусть А – некоторое линейное преобразование плоскости, матрица которого равна
. Тогда преобразование А может быть задано формулами:


;

в некотором базисе
.

Если преобразование А имеет собственный вектор с собственным значением , то А
.

или

Т.к. собственный вектор ненулевой, то х 1 и х 2 не равны нулю одновременно. Т.к. данная система однородна, то для того, чтобы она имела нетривиальное решение, определитель системы должен быть равен нулю. В противном случае по правилу Крамера система имеет единственное решение – нулевое, что невозможно.

Полученное уравнение является характеристическим уравнением линейного преобразования А .

Таким образом, можно найти собственный вектор (х 1 , х 2) линейного преобразования А с собственным значением, где- корень характеристического уравнения, а х 1 и х 2 – корни системы уравнений при подстановке в нее значения.

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

Следует отметить, что если - собственный вектор преобразования А, то и любой вектор ему коллинеарный – тоже собственный с тем же самым собственным значением.

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

Т.к. характеристическое уравнение может иметь два различных действительных корня  1 и 2 , то в этом случае при подстановке их в систему уравнений получим бесконечное количество решений. (Т.к. уравнения линейно зависимы). Это множество решений определяет двесобственные прямые .

Если характеристическое уравнение имеет два равных корня 1 = 2 =, то либо имеется лишь одна собственная прямая, либо, если при подстановке в систему она превращается в систему вида:
. Эта система удовлетворяет любым значениям х 1 и х 2 . Тогда все векторы будут собственными, и такое преобразование называетсяпреобразованием подобия .

Пример.
.

Пример. Найти характеристические числа и собственные векторы линейного преобразования с матрицей А =
.

Запишем линейное преобразование в виде:

Составим характеристическое уравнение:

 2 - 4+ 4 = 0;

Корни характеристического уравнения:  1 = 2 = 2;

Получаем:

Из системы получается зависимость: x 1 x 2 = 0. Собственные векторы для первого корня характеристического уравнения имеют координаты:( t ; t ) гдеt - параметр.

Собственный вектор можно записать:
.

Рассмотрим другой частный случай . Если- собственный вектор линейного преобразования А, заданного в трехмерном линейном пространстве, а х 1 , х 2 , х 3 – компоненты этого вектора в некотором базисе
, то

где - собственное значение (характеристическое число) преобразования А.

Если матрица линейного преобразования А имеет вид:

, то

Характеристическое уравнение:

Раскрыв определитель, получим кубическое уравнение относительно . Любое кубическое уравнение с действительными коэффициентами имеет либо один, либо три действительных корня.

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

Пример. Найти характеристические числа и собственные векторы линейного преобразования А, матрица линейного преобразования А =.

Пример. Найти характеристические числа и собственные векторы линейного преобразования А, матрица линейного преобразования А =
.

Составим характеристическое уравнение:

-(3 + )((1 -)(2 -) – 2) + 2(4 - 2- 2) - 4(2 - 1 +) = 0

-(3 + )(2 -- 2+ 2 - 2) + 2(2 - 2) - 4(1 +) = 0

-(3 + )( 2 - 3) + 4 - 4- 4 - 4= 0

3 2 + 9- 3 + 3 2 - 8= 0

 1 = 0; 2 = 1; 3 = -1;

Для  1 = 0:

Если принять х 3 = 1, получаем х 1 = 0, х 2 = -2

Собственные векторы
t, гдеt– параметр.

Аналогично можно найти идля 2 и 3 .

Наиболее просто устроены матрицы диагонального вида . Возникает вопрос, нельзя ли найти базис, в котором матрица линейного оператора имела бы диагональный вид. Такой базис существует.
Пусть дано линейное пространство R n и действующий в нем линейный оператор A; в этом случае оператор A переводит R n в себя, то есть A:R n → R n .

Определение. Ненулевой вектор x называется собственным вектором оператора A , если оператор A переводит x в коллинеарный ему вектор, то есть . Число λ называется собственным значением или собственным числом оператора A, соответствующим собственному вектору x .
Отметим некоторые свойства собственных чисел и собственных векторов.
1. Любая линейная комбинация собственных векторов оператора A, отвечающих одному и тому же собственному числу λ, является собственным вектором с тем же собственным числом.
2. Собственные векторы оператора A с попарно различными собственными числами λ 1 , λ 2 , …, λ m линейно независимы.
3. Если собственные числа λ 1 =λ 2 = λ m = λ, то собственному числу λ соответствует не более m линейно независимых собственных векторов.

Итак, если имеется n линейно независимых собственных векторов , соответствующих различным собственным числам λ 1 , λ 2 , …, λ n , то они линейно независимы, следовательно, их можно принять за базис пространства R n . Найдем вид матрицы линейного оператора A в базисе из его собственных векторов, для чего подействуем оператором A на базисные векторы: тогда .
Таким образом, матрица линейного оператора A в базисе из его собственных векторов имеет диагональный вид, причем по диагонали стоят собственные числа оператора A.
Существует ли другой базис, в котором матрица имеет диагональный вид? Ответ на поставленный вопрос дает следующая теорема.

Теорема. Матрица линейного оператора A в базисе (i = 1..n) имеет диагональный вид тогда и только тогда, когда все векторы базиса - собственные векторы оператора A.

Правило отыскания собственных чисел и собственных векторов

Пусть дан вектор , где x 1 , x 2 , …, x n - координаты вектора x относительно базиса и x - собственный вектор линейного оператора A, соответствующий собственному числу λ , то есть . Это соотношение можно записать в матричной форме

. (*)


Уравнение (*) можно рассматривать как уравнение для отыскания x , причем , то есть нас интересуют нетривиальные решения, поскольку собственный вектор не может быть нулевым. Известно, что нетривиальные решения однородной системы линейных уравнений существуют тогда и только тогда, когда det(A - λE) = 0. Таким образом, для того, чтобы λ было собственным числом оператора A необходимо и достаточно, чтобы det(A - λE) = 0.
Если уравнение (*) расписать подробно в координатной форме, то получим систему линейных однородных уравнений:

(1)
где - матрица линейного оператора.

Система (1) имеет ненулевое решение, если ее определитель D равен нулю


Получили уравнение для нахождения собственных чисел.
Это уравнение называется характеристическим уравнением, а его левая часть - характеристическим многочленом матрицы (оператора) A. Если характеристический многочлен не имеет вещественных корней, то матрица A не имеет собственных векторов и ее нельзя привести к диагональному виду.
Пусть λ 1 , λ 2 , …, λ n - вещественные корни характеристического уравнения, причем среди них могут быть и кратные. Подставляя по очереди эти значения в систему (1), находим собственные векторы.

Пример 12. Линейный оператор A действует в R 3 по закону , где x 1 , x 2 , .., x n - координаты вектора в базисе , , . Найти собственные числа и собственные векторы этого оператора.
Решение. Строим матрицу этого оператора:
.
Составляем систему для определения координат собственных векторов:

Составляем характеристическое уравнение и решаем его:

.
λ 1,2 = -1, λ 3 = 3.
Подставляя λ = -1 в систему, имеем:
или
Так как , то зависимых переменных два, а свободное одно.
Пусть x 1 - свободное неизвестное, тогда Решаем эту систему любым способом и находим общее решение этой системы: Фундаментальная система решений состоит из одного решения, так как n - r = 3 - 2 = 1.
Множество собственных векторов, отвечающих собственному числу λ = -1, имеет вид: , где x 1 - любое число, отличное от нуля. Выберем из этого множества один вектор, например, положив x 1 = 1: .
Рассуждая аналогично, находим собственный вектор, отвечающий собственному числу λ = 3: .
В пространстве R 3 базис состоит из трех линейно независимых векторов, мы же получили только два линейно независимых собственных вектора, из которых базис в R 3 составить нельзя. Следовательно, матрицу A линейного оператора привести к диагональному виду не можем.

Пример 13. Дана матрица .
1. Доказать, что вектор является собственным вектором матрицы A. Найти собственное число, соответствующее этому собственному вектору.
2. Найти базис, в котором матрица A имеет диагональный вид.
Решение.
1. Если , то x - собственный вектор

.
Вектор (1, 8, -1) - собственный вектор. Собственное число λ = -1.
Диагональный вид матрица имеет в базисе, состоящем из собственных векторов. Один из них известен. Найдем остальные.
Собственные векторы ищем из системы:

Характеристическое уравнение: ;
(3 + λ)[-2(2-λ)(2+λ)+3] = 0; (3+λ)(λ 2 - 1) = 0
λ 1 = -3, λ 2 = 1, λ 3 = -1.
Найдем собственный вектор, отвечающий собственному числу λ = -3:

Ранг матрицы этой системы равен двум и равен числу неизвестных, поэтому эта система имеет только нулевое решение x 1 = x 3 = 0. x 2 здесь может быть любым, отличным от нуля, например, x 2 = 1. Таким образом, вектор (0,1,0) является собственным вектором, отвечающим λ = -3. Проверим:
.
Если λ = 1, то получаем систему
Ранг матрицы равен двум. Последнее уравнение вычеркиваем.
Пусть x 3 - свободное неизвестное. Тогда x 1 = -3x 3 , 4x 2 = 10x 1 - 6x 3 = -30x 3 - 6x 3 , x 2 = -9x 3 .
Полагая x 3 = 1, имеем (-3,-9,1) - собственный вектор, отвечающий собственному числу λ = 1. Проверка:

.
Так как собственные числа действительные и различны, то векторы, им отвечающие, линейно независимы, поэтому их можно принять за базис в R 3 . Таким образом, в базисе , , матрица A имеет вид:
.
Не всякую матрицу линейного оператора A:R n → R n можно привести к диагональному виду, поскольку для некоторых линейных операторов линейно независимых собственных векторов может быть меньше n. Однако, если матрица симметрическая, то корню характеристического уравнения кратности m соответствует ровно m линейно независимых векторов.

Определение. Симметрической матрицей называется квадратная матрица, в которой элементы, симметричные относительно главной диагонали, равны, то есть в которой .
Замечания. 1. Все собственные числа симметрической матрицы вещественны.
2. Собственные векторы симметрической матрицы, соответствующие попарно различным собственным числам, ортогональны.
В качестве одного из многочисленных приложений изученного аппарата, рассмотрим задачу об определении вида кривой второго порядка.

На изображении мы видим транформации сдвига, что происходит с Джокондой. Синий вектор меняет направление, а красный – нет. Поэтому красный является собственным вектором такого преобразования, а синий – нет. Так как красный вектор ни растянулся, ни сжался, его собственное значение равно единице. Все векторы коллинеарны красном тоже собственные (англ. eigenvector) квадратной матрицы (С собственным значением (англ. eigenvalue) ) – Это ненулевой вектор , Для которого выполняется соотношение

Где? это определенный скаляр, то есть действительное или комплексное число.
То есть, собственные векторы матрицы A – это ненулевые векторы, которые под действием линейного преобразования задаваемый матрицей A не меняют направления, но могут изменять длину на коэффициент?.
Матрица размерами имеет не более N собственных векторов и собственных значений, соответствующих им.
Соотношение (*) имеет смысл также для линейного оператора в векторном пространстве V. Если это пространство – конечномерных, то оператор можно записать в виде матрицы относительно определенно базиса V.
Поскольку собственные векторы и собственные значения было обозначено без применения координат, не зависящие от выбора базиса. Поэтому подобные матрицы имеют одинаковые собственные значения.
Ведущую роль в понимании собственных значений матриц играет теорема Гамильтона-Кэли. Из нее следует, что собственные значения матрицы A и только они являются корнями характеристического полинома матрицы A:

p (?) является полиномом степени n, следовательно по основной теореме алгебры, существует ровно n комплексных собственных значений, учитывая их кратности.
Итак, матрица A имеет не более n собственных значений (но множество собственных векторов для каждого из них).
Запишем характеристический полином через его корни:

Кратность корня характеристического полинома матрицы называется алгебраической кратностью собственного значения
Совокупность всех собственных значений матрицы или линейного оператора в конечномерных векторном пространстве называется спектром матрицы или линейного оператора. (Эта терминология видоизменяется для нескинченозмирних векторных пространств: в общем случае, к спектру оператора могут принадлежать?, которые не являются собственными значениями.)
Благодаря связи характеристического полинома матрицы с ее собственными значениями, последние еще называют характеристическим числами матрицы.
Для каждого собственного значения , Получим свою систему уравнений:

Что будет иметь линейно независимых решений.
Совокупность всех решений системы образует линейный подпространство размерности и называется собственным пространством (англ. eigenspace) матрицы с собственным значением .
Размерность собственного пространства называется геометрической кратностью соответствующего собственного значения?.
Все собственные пространства являются инвариантными подпространствами для .
Если существуют не менее двух линейно-независимые собственные векторы с одинаковым собственным значением?, то такое собственное значение называется вырожденным. Эта терминология используется преимущественно в том случае, если геометрическая и алгебраическая кратности собственных значений совпадают, например, для эрмитовых матриц.

Где – Квадратная матрица размера n x n, -Тый столбец которой является вектор , А – Это диагональная матрица с соответствующими значениями .

Проблемой собственных значений называется задача нахождения собственных векторов и чисел матрицы.
По определению (с помощью характеристического уравнения) можно находить только собственные значения матриц размерности менее пяти. Характеристическое уравнение имеет степень равную степени матрицы. Для больших степеней нахождения решений уравнения становится очень проблематичным, поэтому используют различные численные методы
Разные задачи требуют получения разного количества собственных значений. Поэтому различают несколько проблем поиска собственных значений, для каждой из которых используют свои методы.
Казалось бы частичная проблема собственных значений является частичной проблемой полной, и решается теми же методами что и полная. Однако, методы применяемые к частных задач гораздо эффективнее, поэтому могут применяться к матриц большой размерности (например в ядерной физике возникают проблемы нахождения собственных значений для матриц размерности 10 3 – 10 6).
Метод Якоби

Одним из старейших и наиболее общих подходов к решению полной проблемы собственных значений является метод Якоби, впервые был опубликован в 1846.
Метод применяют к симметричной матрицы A
Это простой итеративный алгоритм, в котором матрица с собственными векторами вычисляется последовательностью умножений.

Самый простой линейный оператор - умножение вектора на число \(\lambda \). Этот оператор просто растягивает все вектора в \(\lambda \) раз. Его матричная форма в любом базисе - \(diag(\lambda ,\lambda ,...,\lambda)\). Фиксируем для определенности базис \(\{e\}\) в векторном пространстве \(\mathit{L}\) и рассмотрим линейный оператор с диагональной матричной формой в этом базисе, \(\alpha = diag(\lambda _1,\lambda _2,...,\lambda _n)\). Этот оператор, согласно определению матричной формы, растягивает \(e_k\) в \(\lambda _k\) раз, т.е. \(Ae_k=\lambda _ke_k\) для всех \(k=1,2,...,n\). С диагональными матрицами удобно работать, для них просто строится функциональное исчисление: для любой функции \(f(x)\) можно положить \(f(diag(\lambda _1,\lambda _2,...,\lambda _n))=diag(f(\lambda _1),f(\lambda _2),...,f(\lambda _n))\). Таким образом возникает естественный вопрос: пусть имеется линейный оператор \(A\), можно ли выбрать такой базис в векторном пространстве, чтобы матричная форма оператора \(A\) была диагональной в этом базисе? Этот вопрос приводит к определению собственных чисел и собственных векторов.

Определение. Пусть для линейного оператора \(A\) существует ненулевой вектор \(u\) и число \(\lambda \) такие, что \[ Au=\lambda \cdot u. \quad \quad(59) \] Тогда вектор \(u\) называют собственным вектором оператора \(A\), а число \(\lambda \) - соответствующим собственным числом оператора \(A\). Совокупность всех собственных чисел называют спектром линейного оператора \(A\).

Возникает естественная задача: найти для заданного линейного оператора его собственные числа и соответствующие собственные вектора. Эту задачу называют задачей о спектре линейного оператора.

Уравнение для собственных значений

Фиксируем для определенности базис в векторном пространстве, т.е. будем считать, что он раз и навсегда задан. Тогда, как обсуждалось выше, рассмотрение линейных операторов можно свести к рассмотрению матриц - матричных форм линейных операторов. Уравнение (59) перепишем в виде \[ (\alpha -\lambda E)u=0. \] Здесь \(E\) - единичная матрица, а \(\alpha\) - матричная форма нашего линейного оператора \(A\). Это соотношение можно трактовать как систему \(n\) линейных уравнений для \(n\) неизвестных - координат вектора \(u\). Причем это однородная система уравнений, и нам следует найти ее нетривиальное решение. Ранее было приведено условие существования такого решения - для этого необходимо и достаточно, чтобы ранг системы был меньше числа неизвестных. Отсюда следует уравнение для собственных чисел: \[ det(\alpha -\lambda E)=0. \quad \quad(60) \]

Определение. Уравнение (60) называется характеристическим уравнением для линейного оператора \(A\).

Опишем свойства этого уравнения и его решений. Если его выписывать в явном виде, получим уравнение вида \[ (-1)^n\lambda ^n+...+det(A)=0. \quad \quad(61) \] В левой части стоит полином по переменной \(\lambda \). Такие уравнения называются алгебраическими степени \(n\). Приведем необходимые сведения об этих уравнениях.

Справка об алгебраических уравнениях.

Теорема. Пусть все собственные числа линейного оператора \(A\) - простые. Тогда набор собственных векторов, соответствующих этим собственным числам, образует базис векторного пространства.

Из условий теоремы следует, что все собственные числа оператора \(A\) различны. Предположим, что набор собственных векторов линейно зависим, так что существуют константы \(c_1,c_2,...,c_n\), не все из которых нули, удовлетворяющие условию: \[ \sum_{k=1}^nc_ku_k=0. \quad \quad(62) \]

Рассмотрим среди таких формул такую, которая включает минимальное число слагаемых, и подействуем на нее оператором \(A\). В силу его линейности получаем: \[ A\left (\sum_{k=1}^nc_ku_k \right)=\sum_{k=1}^nc_kAu_k=\sum_{k=1}^nc_k\lambda _ku_k=0. \quad \quad(63) \]

Пусть, для определенности, \(c_1 \neq 0\). Умножая (62) на \(\lambda _1\) и вычитая из (63), получим соотношение вида (62), но содержащее на одно слагаемое меньше. Противоречие доказывает теорему.

Итак, в условиях теоремы появляется базис, связанный с данным линейным оператором - базис его собственных векторов. Рассмотрим матричную форму оператора в таком базисе. Как упоминалось выше, \(k\)-ый столбец этой матрицы - это разложение вектора \(Au_k\) по базису. Однако по определению \(Au_k=\lambda _ku_k\), так что это разложение (то, что выписано в правой части) содержит только одно слагаемое и построенная матрица оказывается диагональной. В итоге получаем, что в условиях теоремы матричная форма оператора в базисе его собственных векторов равна \(diag(\lambda _1,\lambda _2,...,\lambda _n)\). Поэтому если необходимо развивать функциональное исчисление для линейного оператора разумно работать в базисе его собственных векторов.

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