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