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