Фробениусова нормальная форма (SjkQyunrvkfg ukjbgl,ugx skjbg)

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

${\begin{pmatrix}0&0&\cdots &0&-a_{0}\\1&0&\cdots &0&-a_{1}\\0&1&\cdots &0&-a_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &1&-a_{n-1}\end{pmatrix}}$

Такая матрица называется сопровождающей для многочлена $x^{n}+x^{n-1}a_{n-1}+\cdots +a_{0}$.

Формулировка теоремы

Пусть V — конечномерное векторное пространство над полем k, A — линейный оператор на этом пространстве. Тогда существует базис V, такой, что матрица A в этом базисе блочно-диагональна, её блоки — сопровождающие матрицы для унитарных многочленов $f_{i}$, таких, что $f_{i+1}$ делится на $f_{i}$. Многочлены $f_{i}$ определены однозначно.

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

Линейный оператор на векторном пространстве превращает это пространство в модуль над кольцом многочленов k[x] (умножение на x соответствует применению линейного оператора). Кольцо многочленов является евклидовым, следовательно, областью главных идеалов, поэтому мы можем применить структурную теорему для конечнопорожденных модулей над кольцами главных идеалов. А именно, воспользуемся разложением пространства в прямую сумму инвариантных факторов. Отдельный фактор имеет вид k[x]/f(x), пусть степень многочлена f равна n. Выберем базис в этом подпространстве как образы многочленов 1, x, x² … x^n-1 при отображении факторизации, легко видеть, что матрица оператора «умножение на x» в этом базисе совпадает с сопровождающей матрицей многочлена f(x). Выбирая базисы такого вида в каждом факторе, получаем матрицу требуемого вида. Инвариантность многочленов $f_{i}$ следует из инвариантности факторов в структурной теореме.

Примеры

Пример общего положения.

Если все собственные значения матрицы различны, то ее Фробениусовой нормальной формой будет являться матрица, состоящая ровно из одного блока:

${\begin{pmatrix}0&0&\cdots &0&-a_{0}\\1&0&\cdots &0&-a_{1}\\0&1&\cdots &0&-a_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &1&-a_{n-1}\end{pmatrix}}$

и числа $a_{i}$ являются коэффициентами характеристического многочлена.

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

Экстремальный пример.

Рассмотрим скалярную матрицу, то есть диагональную матрицу такую, что все числа на диагонали равны одному и тому же числу $\lambda$. Для такой матрицы её Фробениусовой нормальной формой будет она же сама. То есть каждое значение на диагонали является подблоком Фробениуса размера 1 на 1. И все многочлены $f_{i}$ равны друг другу и равны $x-\lambda$. Отметим, что скалярная матрица при сопряжении любой матрицей остается самой собой, то есть сопряжение в принципе не может изменить ее вид, что соответствуют тому, что она сама является своей Фробениусовой нормальной формой.

Для матрицы 2 на 2, являющейся Жордановой клеткой:

${\begin{pmatrix}\lambda &1\\0&\lambda \end{pmatrix}}$ ее Фробениусовой нормальной формой является матрица: ${\begin{pmatrix}0&-\lambda ^{2}\\1&2\lambda \end{pmatrix}}$. То есть один блок 2 на 2. В частности легко видеть, что следы и определители этих матриц совпадают.

Для матрицы 3 на 3, являющейся Жордановой клеткой:

${\begin{pmatrix}\lambda &1&0\\0&\lambda &1\\0&0&\lambda \end{pmatrix}}$

ее Фробениусовой нормальной формой является матрица:

${\begin{pmatrix}0&0&\lambda ^{3}\\1&0&-3\lambda ^{2}\\0&1&3\lambda \end{pmatrix}}$.

Данные примеры показывают, что совпадение собственных значений не является достаточным условием для появления нескольких блоков. (Хотя является необходимым — как отмечалось выше).

Данные примеры обобщаются на случай матриц произвольного размера — для Жордановой клетки полного размера её Фробениусова нормальная форма имеет один блок и последний столбец задаётся коэффициентами многочлена $(x-\lambda )^{n}$, взятыми со знаком минус. (Данный многочлен является характеристическим и минимальным для данной матрицы).

Матрица, имеющая Жорданову нормальную форму:

${\begin{pmatrix}\lambda _{1}&1&0\\0&\lambda _{1}&\\0&0&\lambda _{2}\end{pmatrix}}$ (для $\lambda _{1}\neq \lambda _{2}$).

имеет Фробениусову нормальную форму, состоящую из одного блока 3 на 3:

${\begin{pmatrix}0&0&\lambda _{1}^{2}\lambda _{2}\\1&0&-\lambda _{1}^{2}-2\lambda _{1}\lambda _{2}\\0&1&2\lambda _{1}+\lambda _{1}\end{pmatrix}}$.

Многочлен $f_{1}$ равен $f_{1}=(x-\lambda _{1})^{2}(x-\lambda _{2})$, он является характеристическим и минимальным многочленом.

Примеры с двумя блоками.

Рассмотрим матрицу, имеющую Жорданову нормальную форму:

${\begin{pmatrix}\lambda _{1}&0&0\\0&\lambda _{1}&0\\0&0&\lambda _{2}\end{pmatrix}}$ (для $\lambda _{1}\neq \lambda _{2}$).

её Фробениусовой нормальной формой является матрица, cостоящая из двух подблоков, первый 1 на 1 , и второй 2 на 2:

${\begin{pmatrix}\lambda _{1}&0&0\\0&0&-\lambda _{1}\lambda _{2}\\0&1&(\lambda _{1}+\lambda _{2})\end{pmatrix}}$.

Многочлены $f_{i}$ задаются формулами $f_{1}=(x-\lambda _{1})$, $f_{2}=(x-\lambda _{1})(x-\lambda _{2})$ и легко видеть, что $f_{1}|f_{2}$ (то есть многочлен $f_{1}$ делит многочлен $f_{2}$) . Многочлен $f_{2}$ является минимальным многочленом.

Матрица, имеющая Жорданову нормальную форму:

${\begin{pmatrix}\lambda &1&0\\0&\lambda &0\\0&0&\lambda \end{pmatrix}}$ .

её Фробениусовой нормальной формой является матрица, cостоящая из двух подблоков, первый 1 на 1, и второй 2 на 2:

${\begin{pmatrix}\lambda &0&0\\0&0&-\lambda ^{2}\\0&1&2\lambda \end{pmatrix}}$.

Многочлены $f_{i}$ задаются формулами $f_{1}=(x-\lambda )$, $f_{2}=(x-\lambda )^{2}$ и легко видеть, что $f_{1}|f_{2}$ (то есть многочлен $f_{1}$ делит многочлен $f_{2}$). Многочлен $f_{2}$ является минимальным многочленом.

Дополнительные примеры. Если матрица нильпотентна, то её Жорданова и Фробениусова нормальные формы совпадают (с точностью до транспонирования). Действительно, собственные значения нильпотентной матрицы равны нулю, как и коэффициенты характеристического многочлена, то есть нетривиальные элементы обоих форм исчезают, а единицы с точностью до транспонирования в обоих формах расположены одинаково.

Свойства

Старший из многочленов $f_{i}$ совпадает с минимальным многочленом матрицы. Произведение всех многочленов равно характеристическому многочлену матрицы. Размеры блоков в Фробениусовой нормальной форме совпадают со степенями многочленов $f_{i}$. Свойство $f_{i}|f_{i+1}$ очевидно, влечет идентичное совпадение многочленов $f_{i},f_{i+1}$, если у них совпадали степени. Поэтому если блоки во Фробениусовой нормальной форме имеют один и тот же размер, то они идентично совпадают.

Литература

• Гантмахер Ф. Р. Теория матриц. — 5-е изд. — М.: Физматлит, 2004. — 560 с. — ISBN 5-9221-0524-8.
• Милованов М. В., Толкачев М. М., Тышкевич Р. И., Феденко А. С. Ч. 2 // Алгебра и аналитическая геометрия В 2 ч.. — Минск: Вышэйшая школа, 1987. — С. 80-83. — 269 с.
• David S. Dummit and Richard M. Foote. Abstract Algebra. 2nd Edition, John Wiley & Sons. pp. 442, 446, 452—458. — ISBN 0-471-36857-1.