- •Глава I. Линейные операторы в евклидовом и унитарном пространствах.
- •§1.1. Евклидовы и унитарные пространства.
- •§1.2. Изоморфизм унитарных пространств.
- •§1.3. Линейные функции.
- •§1.4. Сопряжённые операторы.
- •§1.5. Нормальные операторы.
- •§1.6. Унитарные операторы.
- •§1.7. Эрмитовы (самосопряжённые) операторы.
- •§1.8. Кососимметрические операторы.
- •§1.9. Неотрицательные линейные операторы.
- •§1.10. Линейные операторы в евклидовом пространстве.
- •Глава II. Квадратичные формы.
- •§2.1. Приведение квадратичной формы к каноническому виду.
- •§2.2. Приведение квадратичной формы к главным осям.
- •§2.3. Закон инерции.
- •§2.4. Распадающиеся квадратичные формы.
- •§2.5. Положительно определенные формы.
- •§2.6. Пары форм.
- •Глава III. Жорданова нормальная форма матрицы.
- •§3.1. Матрицы, их эквивалентность.
- •§3.2. Унимодулярные -матрицы.
- •§3.3. Матричные многочлены.
- •§3.4. Связь подобия числовых матриц с
- •§ 3.5. Жорданова нормальная форма.
- •§ 3.6. Приведение матрицы к жордановой нормальной форме.
- •§ 3.7. Минимальный многочлен.
- •§1.1. Евклидовы и унитарные пространства. 3
§ 3.6. Приведение матрицы к жордановой нормальной форме.
В предыдущем параграфе мы выяснили, что если матрица с элементами из поля приводится к жордановой нормальной форме, то эта форма определяется для матрицы однозначно с точностью до расположения жордановых клеток на главной диагонали. В этом параграфе мы укажем условие того, чтобы матрица допускала такое приведение, а так же способ практического разыскания жордановой матрицы, подобной матрице , если такая жорданова матрица существует.
ТЕОРЕМА 1. Матрица с элементами из поля тогда и только тогда приводится в поле к жордановой нормальной форме, если все характеристические корни матрицы лежат в самом основном поле .
В самом деле, если матрица подобна жордановой матрице , то эти две матрицы обладают одними и теми же характеристическими корнями. Характеристические корни матрицы находятся, однако, без всяких затруднений: так как определитель матрицы равен произведению ее элементов, стоящих на главной диагонали, то многочлен разлагается над полем на линейные множители и его корнями служат числа, стоящие на главной диагонали матрицы , и только они.
Обратно, пусть все характеристические корни матрицы лежат в самом поле . Если отличные от инвариантные множители матрицы будут
, (10)
то
.
Действительно, определители матрицы и ее канонической матрицы могут отличаться друг от друга лишь постоянным множителем, который на самом деле равен , так как именно таков старший коэффициент характеристического многочлена . Таким образом, среди многочленов (10) нет равных нулю, сумма степеней этих многочленов равна и все они разлагаются над полем на линейные множители последнее ввиду того, что, по условию, многочлен обладает таким разложением.
Пусть (8) будут разложения многочленов (10) в произведения степеней линейных множителей. Назовем элементарными делителями многочлена , отличные от единицы степени различных линейных двучленов, входящие в его разложение (8), т. е.
Элементарные делители всех многочленов (10) назовем элементарными делителями матрицы и выпишем их в виде таблицы (7).
Возьмем теперь жорданову матрицу порядка , составленную из жордановых клеток, определяемых следующим образом: каждому элементарному делителю матрицы ставим в соответствие жорданову клетку порядка , относящуюся к числу . Очевидно, что отличными от инвариантными множителями матрицы будут многочлены (10) и только они. Поэтому матрицы и эквивалентны и, следовательно, матрица подобна жордановой матрице . □
Пример 5. Найти жорданову нормальную форму матрицы
Решение. Приводя обычным способом матрицу к каноническому виду, получим, что отличными от единицы инвариантными множителями этой матрицы будут многочлены
Мы видим, что матрица приводится к жордановой нормальной форме далее в поле рациональных чисел. Ее элементарными делителями являются многочлены и , а поэтому жордановой нормальной формой матрицы служит матрица
.
На основании предшествующих результатов может быть доказано, наконец, следующее необходимое и достаточное условие приводимости матрицы к диагональному виду.
ТЕОРЕМА 2. Матрица порядка с элементами из поля тогда и только тогда приводится к диагональному виду, если все корни последнего инвариантного множителя ее характеристической матрицы лежат в поле , причем среди этих корней нет кратных.
ДОКАЗАТЕЛЬСТВО. В самом деле, приводимость матрицы к диагональному виду равносильна приводимости к такому жорданову виду, все жордановы клетки которого имеют порядок . Иными словами, все элементарные делители матрицы должны быть многочленами первой степени. Так как, однако, все инвариантные множители матрицы являются делителями многочлена , то последнее условие равносильно тому, что все элементарные делители многочлена имеют степень , что и требовалось доказать. □