11 Собственные числа и собственные векторы.
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Доказать, что у линейного оператора поворота на угол в
, который имеет в стандартном базисе
матрицу
нет собственных чисел и, соответственно, собственных векторов (над ) при
Действительно, - собственное значение матрицы
тогда и только тогда, когда
Но
А, значит,
И вот если мы хотим, чтобы то это означает, что мы ищем такое
что
Дискриминант этого квадратного уравнения по равен
строго
больше 0
быть не может, поскольку это означало бы, что
А нулю он равен только если
Однако если то
либо
А это противоречит тому, что
по изначальному предположению.
Таким образом, дискриминант по всегда отрицательный, а значит уравнение не имеет решений.
Следовательно, собственных чисел, а, значит, и собственных векторов у матрицы
нет.
Комментарий: Геометрически это было вполне ожидаемо. Ведь - это матрица поворота на угол
против часовой стрелки. И, значит, она не может ни один из векторов растягивать ни во сколько раз -
она их все поворачивает на
Ошибка.
Попробуйте повторить позже
Найти собственные векторы оператора , заданного в каком-то базисе матрицей
Найдем вначале собственные числа Для этого нужно посчитать корни её характеристического
многочлена
Итак,
Таким образом, имеем, что
1. Найдем собственный вектор, соответствующий собственному значению
Для этого нужно найти любое частное решение ОСЛУ то есть
Подойдет, к примеру,
2. Найдем собственный вектор, соответствующий собственному значению
Для этого нужно найти любое частное решение ОСЛУ то есть
Подойдет, к примеру, . Кроме того, собственному значению
соответствует
еще другой собственный вектор
который не пропорционален
,
,
Ошибка.
Попробуйте повторить позже
Пусть Вычислить
Понятное дело, что не предполагается возводить матрицу в 9 степень руками. Попробуем
применить метод диагонализации. Для него нужно, чтобы матрица имела 3 различных вещественных
собственных значения.
Итак, собственные значения - это в точности корни характеристического многочлена
Его корни можно найти подобрав рациональный корень и затем разделив многочлен третьей
степени на В итоге получим:
И соответствующие собственные векторы будут равны
Нам повезло - мы имеем три различных собственных значения! Следовательно - это
базис в
и в этом базисе
имеет вид
Далее, если - матрица перехода из стандартного базиса в базис из собственных
векторов
то
Находим
Следовательно,
Ошибка.
Попробуйте повторить позже
Пусть . Показать, что наличие у оператора
различных вещественных
собственных чисел не является необходимым условием его диагонализации (т.е. существования базиса, в
котором его матрица имеет диагональный вид).
Рассмотрим тождественный оператор
Тогда очевидно, что вообще в любом базисе его матрица будет единичной
то есть, в частности, диагональной.
Однако его характеристический многочлен
имеет лишь один корень кратности
, а никакие не
различных корней.
Ошибка.
Попробуйте повторить позже
Диагонализируем ли над оператор, который в некотором базисе имеет матрицу
?
Характеристический многочлен нашего оператора в этом базисе будет
и он, как нетрудно видеть, вообще не имеет корней в
А если бы он был диагонализируем над , то это по определению означало бы, что в некотором базисе
его матрица имела бы диагональный вид с вещественными числами на диагонали. А, значит, в
этом базисе его характеристический многочлен имел бы вещественные корни (ибо вообще
характеристический многочлен любой диагональной матрицы с вещественными числами на
диагонали имеет вещественные корни - эти самые диагональные числа и будут его корнями).
Но такого быть не может, потому что набор собственных чисел для данного оператор не зависит от
того, в каком базисе мы рассматриваем его матрицу. Противоречие.
Нет.
Ошибка.
Попробуйте повторить позже
Пусть . Доказать, что если
- линейный изоморфизм (т.е.
),то
и
имеют одни и те же собственные векторы. Как связаны между собой их соответствующие собственные
значения?
Заметим, что у матрицы нашего линейного оператора среди собственных чисел заведомо нет нуля,
поскольку она невырожденна, коль скоро
(Потому что вообще является собственным значением оператора
тогда и только тогда, когда
он необратим).
Рассмотрим какой-нибудь собственный вектор оператора
:
Получается, что также является собственным вектором оператора
. При этом
соответствующее собственное число
.
Ошибка.
Попробуйте повторить позже
Доказать, что характеристический многочлен оператора , то есть многочлен
не зависит от того, какую матрицу оператора
мы возьмем, то есть не зависит от
выбора базиса. Иными словами, у двух подобных матриц (то есть у матриц одного и того
же оператора, но записанных в разных базисах) полностью совпадает набор собственных
значений.
Действительно, пусть - подобна матрице
, то есть существует невырожденная матрица
,
такая, что
. Но тогда
И здесь мы воспользовались, во-первых, тем, что определитель произведения равен произведению
определителей и, во-вторых, тем, что , а, значит,
.
Ошибка.
Попробуйте повторить позже
А зависят ли собственные векторы оператора от выбора базиса?
С одной стороны, конечно, не зависят, поскольку определение собственного вектора такое: вектор -
собственный, если
и найдётся такая
, что
То есть в этом определении вообще ничего не зависит ни от базиса, ни от координат.
С другой стороны, нельзя конечно сказать, что координатное представление собственных векторов не
зависит от выбора базиса. То есть будет неверно сказать, что если - координаты собственного
вектора
, то они останутся такими же в любом базисе.
Действительно, выберем некоторый базис в . Пусть в этом базисе оператор
имеет матрицу
, и
выполняется соотношение
То есть, иными словами, в этом базисе координаты - это координаты собственного вектора
с собственным значением
.
Пусть теперь мы выбрали в новый базис, и матрица перехода от старого к новому - это
.
Тогда если - это матрица того же самого оператора, но в новом базисе, то
. А
координаты
в новом базисе будут равны
.
Тогда ,
.
Тогда соотношение
переписывается в виде
сокращаем :
И домножаем на слева: Получаем
Таким образом мы видим, что в новом базисе тот же собственный вектор будет иметь уже другие
координаты (впрочем, и матрица оператора , конечно, уже будет другой).
Да, зависят
Ошибка.
Попробуйте повторить позже
А верно ли, что если у двух матриц и
характеристические многочлены
и
совпадают, то эти матрицы подобны, то есть являются матрицами одного и того же
оператора, но записанные в разных базисах, то есть существует такая невырожденная ,
что
Это неверно.
Например, посмотрим на такие две матрицы:
У них одинаковый характеристический многочлен. А именно, он равен .
Однако ж матрицы и
никак не могут быть матрицами одного и того же оператора, записанными
в разных базисах. Они не подобны. Потому что
,
, а ранг сохраняется при смене
базиса.
Ошибка.
Попробуйте повторить позже
Доказать, что множество всех собственных векторов оператора с одним и тем же собственным
значением
вместе с нулевым вектором образуют линейное подпространство. Это подпространство
называется собственным подпространством, отвечающим собственному значению
, и обозначается
.
Если и
– собственные векторы оператора
, отвечающие значению
, т.е.
и
, то в силу линейности
т.е. тоже является собственным вектором (или
, но нулевой вектор заранее
включен в предполагаемое подпространство).
Аналогично рассматривается умножение на скаляр. Если ,
, то в силу линейности
имеем:
т.е. – собственный вектор оператора
, соответствующий значению
(или
, но
нулевой вектор заранее включен в предполагаемое подпространство).
Таким образом, множество, состоящее из собственных векторов, отвечающий собственному
значению , и нуля замкнуто относительно сложения и умножения на скаляр, следовательно является
подпространством.
Ошибка.
Попробуйте повторить позже
Пусть - собственный вектор оператора
с собственным значением
, а
– некоторый
многочлен. Доказать, что
является собственным вектором оператора
с собственным
значением
.
По условию, выполняется равенство
Заметим сразу, что в этом случае
Пусть многочлен имеет вид . Подействуем оператором
на
вектор
:
что и означает, что – собственный вектор оператора
с собственным значением
.
Ошибка.
Попробуйте повторить позже
a) Найти собственные значения, их кратности, собственные подпространства и базисы в этих собственных подпространствах у оператора, заданного в некотором базисе матрицей
b) Диагонализируем ли этот оператор?
a) Собственные значения - это в точности корни характеристического многочлена
.
Посчитаем его:
Причем имеет кратность 2, а
имеет кратность 1.
Далее, найдём собственное подпространство , соответствующее собственному значению
.
Его базис - это в точности ФСР ОСЛУ
ФСР ищем как обычно - сначала найдём общее решение этой системы методом Гаусса. Приведем матрицу к ступенчатому виду:
Таким образом, общее решение этой системы записывается как
Или, выбирая свободной переменной, а
- главными, получим:
Таким образом, базис в пространстве решений, то есть базис в задаётся следующим образом:
нужно каждую из свободных переменных приравнять к единице, а остальные - к нулю (в данном
случае - единственную
приравнять к единице, к нулю приравнивать будет уже нечего) и посчитать
главные.
Получаем такой вектор . Следовательно,
Далее, найдём собственное подпространство , соответствующее собственному значению
.
Его базис - это в точности ФСР ОСЛУ
ФСР ищем как обычно - сначала найдём общее решение этой системы методом Гаусса. Приведем матрицу к ступенчатому виду:
Таким образом, общее решение этой системы записывается как
Или, выбирая свободной переменной, а
- главными, получим:
Таким образом, базис в пространстве решений, то есть базис в задаётся следующим образом:
нужно каждую из свободных переменных приравнять к единице, а остальные - к нулю (в данном
случае - единственную
приравнять к единице, к нулю приравнивать будет уже нечего) и посчитать
главные.
Получаем такой вектор . Следовательно,
b) Применим критерий диагонализируемости. Он говорит, что матрица диагонализируема в
некотором базисе тогда и только тогда, когда она имеет столько собственных значений, каков её
размер (с учётом кратности) и для каждого собственного значения выполнено точное
равенство
У нашей матрицы с учетом кратности получается 3 собственных значения, что равно её размеру, так
что первое условие выполнено. Однако для собственного значения мы имеем, что его кратность
равна 2, однако
, следовательно,
Следовательно, наша матрица ни в каком базисе не может оказаться диагональной.
a) имеет кратность 2, а
имеет кратность 1.
- отвечающее
,
- отвечающее
;
b) Нет
Ошибка.
Попробуйте повторить позже
Найти собственные значения и собственные подпространства оператора транспонирования
действующего в пространстве квадратных матриц по правилу
является собственным значением этого оператора, если найдётся ненулевая матрица
такая, что
.
Но , то есть мы ищем матрицу, которая при транспонировании умножается на какое-то
.
Сразу заметим, что если на диагонали матрицы есть хотя бы одно ненулевое число, то
может
быть равна только 1, поскольку при транспонировании все элементы диагонали остаются прежними, и
в то же время, они должны умножиться на
.
Поэтому подходит, и в качестве
можно взять любую симметричную матрицу.
Далее, если вся диагональ нулевая, а матрица - не симметричная, но при этом при
транспонировании
, Однако, если мы транспонируем еще раз, то получим
То есть, очевидно, , а значит
. Случай единицы мы рассмотрели, значит остается
случай, когда
.
В таком случае матрица удовлетворяет соотношению
, а это в точности определение
кососимметрической матрицы.
и
,
и
Ошибка.
Попробуйте повторить позже
Верно ли, что если у двух матриц и
одинакового размера
совпадают
характеристические многочлены (и, в частности, совпадают собственные числа), то
и
- подобны, то есть являются матрицами одного и того же линейного
оператора
, записанными в разных базисах?
Это неверно. Например, если рассмотреть матрицы
То очевидно, что и характеристический многочлен и характеристический
многочлен
равны (поскольку оба они равны
).
Однако,
b
- не подобные матрицы, то есть не матрицы одного и того же
линейного отображения, записанные в разных базисах.
И вот по какой причине. Если бы и
были бы подобны, то у них был бы
одинаковый ранг. А это не так:
.
Нет