
Lineynye_operatsii
.pdf
3.3. Приведение матрицы к жордановой нормальной форме |
111 |
||||||||
Так как dimV 0 |
n |
|
(теорема 3.5), то |
базис p |
содержит n |
|
|||
|
|
0 |
|
|
|
|
0 |
|
|
элементов (теорема 1.7). Он является объединением |
рассмотрен- |
||||||||
ных выше систем корневых векторов: |
|
|
|
|
|||||
p e11, |
, el1 |
e12 , |
|
, el2 |
e1p 1, |
, elp 1 |
e1p , |
, elp , |
|
|
1 |
|
|
2 |
|
p 1 |
|
p |
|
|
|
|
l1 l2 |
lp n0 . |
|
|
|
|
|
Для наглядности составим из |
элементов базиса p табл. 3.1, в |
которой в первой строке записаны базисные элементы, являющиеся корневыми векторами высоты p , во второй – базисные элементы,
являющиеся корневыми векторами высоты p 1 , и т.д. В послед-
ней строке записаны корневые векторы высоты 1, т.е. собственные векторы.
Таблица 3.1
|
|
|
|
e p , |
, |
e p |
, |
|
|
|
|
|
|
|
1 |
|
|
l p |
|
|
|
|
|
|
|
e p 1 , |
, |
e p 1 |
, |
|
||
|
|
|
|
1 |
|
|
l p 1 |
|
|
|
|
|
|
|
. |
|
. |
. |
|
|
|
|
|
|
|
e1 |
, |
, |
e1 . |
|
|
|
|
|
|
|
1 |
|
|
l |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
Для удобства |
дальнейшего |
изложения |
введем |
обозначения: |
||||||
I , i I i . Тогда Ni Ker i , i 1, , p. |
||||||||||
0 |
|
0 |
|
|
|
|
|
|
|
|
Теорема 3.7. Базис p удовлетворяет следующим свойствам: |
||||||||||
1) элементы e1i |
,…, |
eli |
являются |
линейно |
независимыми |
|||||
|
|
|
|
i |
|
|
|
|
|
|
корневыми векторами высоты i 1, i 2, |
|
, p; |
|
|||||||
2) семейство i 2 |
|
1 |
|
|
, |
li |
|
|
|
|
|
ei |
|
, |
ei |
− |
линейно |
независимо в |
N i 1;
3) количество корневых векторов высоты i не превосходит количества корневых векторов высоты i 1, т.е. li li 1.

112 |
Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ |
|
|||||||
Доказательство. Пусть ei , |
, ei |
корневые векторы высоты i , |
|||||||
|
1 |
l |
|
|
|
|
|
|
|
|
|
i |
|
1 |
li |
|
|
|
|
входящие в базис p . Это означает, что L |
. |
||||||||
ei , |
, ei |
N i 1 |
|||||||
Рассмотрим элементы e1i |
,…, eli . Это корневые векторы |
||||||||
|
|
|
i |
|
|
|
|
|
|
высоты |
i 1, следовательно, |
они |
принадлежат |
подпространству |
N i 1. Докажем, что они линейно независимы. Составим их линей-
ную комбинацию и приравняем ее нулевому элементу: |
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 e1i |
|
|
l |
|
eli |
. |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
В силу |
линейности оператора , это равенство можно переписать |
||||||||||||||||||||||||||||
в |
|
|
виде |
|
|
|
1e1i |
l |
eli |
. |
|
Это |
означает, |
что |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ei |
|
|
|
|
ei N1. |
|
Так |
|
|
|
|
|
как |
|
N1 Ni 1 |
|
|
и |
|||||||||||
1 1 |
|
|
|
l |
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
i |
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
i |
|
|
|
i 1 |
|
|
|
то |
и |
|
|
|
i |
|
|
|
i |
1 |
|
|
поэтому |
|||
L |
e , |
, e |
|
|
|
N |
, |
|
L |
e , |
|
, e |
|
N |
, |
||||||||||||||
|
1 |
li |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
li |
|
|
|
|
|
|
|
||||
ei |
|
|
|
l |
ei . |
С учетом линейной независимости |
ei , |
, ei |
, |
||||||||||||||||||||
1 1 |
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
l |
|
|||
|
|
|
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
получаем 1 2 |
l |
0. |
Следовательно, e1i ,…, eli |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
линейно независимы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
Теперь докажем, |
что |
L |
ei |
, |
|
, |
ei |
N i 2 |
. |
Будем |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
li |
|
|
|
|
|
доказывать от противного. |
Пусть есть ненулевой элемент x , кото- |
||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
, |
|
|
li |
|
N i 2. Разложим |
|
|
|||
рый принадлежит L |
ei |
|
, |
|
|
ei |
|
|
его по |
||||||||||||
базису пространства L |
ei |
|
, |
, |
ei |
|
и воспользуемся линей- |
||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
li |
|
|
|
|
|||
ностью : x 1 e1i |
|
|
|
|
l |
|
eli |
1e1i |
l |
eli |
. |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
i |
|
|
|
i |
i |
|
|
По |
нашему |
|
предположению |
|
x , |
тогда |
и |
||||||||||||||
y ei |
|
l |
ei (линейный оператор нулевой элемент пе- |
||||||||||||||||||
1 1 |
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
реводит в нулевой элемент). Следовательно, y является ненуле-
вым |
элементом, принадлежащим подпространству |
L e1i , , eli |
. |
|
|
i |
|
Это |
означает, что y является корневым вектором |
высоты i, |
а |

3.3. Приведение матрицы к жордановой нормальной форме |
|
|
|
|
113 |
|
||||||||||||||
x y |
корневым |
|
вектором |
высоты |
i 1. |
|
В |
силу |
этого |
|||||||||||
x N i 2 . |
Получили противоречие. Следовательно, |
|
|
|
|
|
|
|
|
|||||||||||
|
|
1 |
|
|
|
|
li |
|
N i 2 . |
|
|
|
|
|
|
|
|
|||
|
L |
ei |
|
, |
, |
|
ei |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
, |
li |
|
|
||
Рассмотрим сумму |
подпространств L |
|
ei |
|
, |
|
ei |
|
и |
N i 2 . Так как пересечение этих подпространств состоит из нулевого элемента, то сумма является прямой. Кроме того, она принад-
лежит |
|
1 |
N i 1. |
li |
Поэтому, |
во-первых, |
семейство |
||
i 2 |
|
, , |
|
линейно независимо в N i 1, |
а во-вторых |
||||
|
ei |
|
ei |
|
dim L e1i , , elii N i 2
dim L e1i , , elii dim N i 2
li dim N i 2 dim N i 1 li 1 dim N i 2 .
Отсюда имеем l |
|
|
l |
|
|
. Свойства базиса p |
доказаны. |
|
|
||||||||||||||
|
|
|
i |
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Переходим |
|
к построению жорданова базиса в корневом под- |
|||||||||||||||||||||
пространстве V 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Возьмем корневые векторы e p |
, |
|
, e p |
максимальной высоты p |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
l p |
|
|
|
|
|
из базиса p . |
Вычислим e1p , |
|
, elp |
. По теореме 3.7, |
это |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
линейно независимые корневые векторы высоты |
p 1 такие, |
что |
|||||||||||||||||||||
|
1 |
|
|
|
|
l p |
|
|
|
|
p |
|
|
p 1 |
|
|
|
|
|
||||
L ep , |
, |
|
|
ep |
|
|
|
N p 2 |
и l |
|
l |
|
. |
|
|
|
|
||||||
Возможны два случая. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
1 случай: l |
p |
l |
p 1 |
. |
Заменим в базисе p элементы ep 1 , |
, ep 1 |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
, elp |
. Покажем, |
|
1 |
|
l p 1 |
|||||||||
на элементы e1p |
, |
|
|
что объединение векто- |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
p |
lp |
1 |
|
l p |
|
|
|
|||||
ров ˆ p p 2 |
|
|
1 |
|
|
|
V 0 . |
||||||||||||||||
|
|
|
|
ep |
|
, , |
ep |
|
|
|
ep , |
, ep |
− базис в |

114 |
|
Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ |
||||||||||||||||||
Рассмотрим |
|
|
|
|
|
подпространства |
|
|
N p 2 L p 2 , |
|
||||||||||
L L e p |
|
, |
|
, |
e p |
|
|
и M L |
e p , |
, e p |
. |
По свойствам ба- |
||||||||
|
1 |
|
|
|
|
lp |
|
|
|
1 |
lp |
|
|
|
|
|
|
|||
зиса p |
N p 2 |
|
L { }, |
N p 2 |
M { }, |
M |
|
L { }. Следова- |
||||||||||||
тельно, сумма этих подпространств является прямой, |
а объедине- |
|||||||||||||||||||
|
|
|
|
ˆ p |
является базисом этой суммы. Количество эле- |
|||||||||||||||
ние их базисов |
|
|||||||||||||||||||
|
ˆ p |
совпадает с количеством элементов в |
p |
|
ˆ p |
|||||||||||||||
ментов в |
|
, поэтому |
||||||||||||||||||
является базисом |
|
в V |
0 |
. |
Базис |
ˆ p |
для случая |
|
lp lp 1 записан в |
|||||||||||
|
|
|
|
|||||||||||||||||
таблице 2. Он удовлетворяет тем же свойствам, что и базис p . |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
Таблица 3.2 |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
e p , |
|
, |
e p , |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
l p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e1p , |
, |
elpp , |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
. |
|
|
|
|
. |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e1, |
|
, |
e1 . |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
2 случай: lp |
lp 1 . |
Дополним систему e1p , |
|
|
, elpp эле- |
|||||||||||||||
ментами из набора ep 1 |
, |
, ep 1 |
так, чтобы, во-первых, получилось |
|||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
l p 1 |
|
|
|
|
|
|
|
|
|
lp 1 элементов, во-вторых, они были линейно независимы, в- третьих, пересечение их линейной оболочки с подпространством
N p 2 |
состояло бы только из нулевого элемента. |
Обозначим эти |
|||||||||||||
элементы e p 1 |
, |
, e p 1. |
Покажем, что |
|
|
|
|
|
|
||||||
|
|
l p 1 |
|
|
l p 1 |
|
|
l p |
|
|
l p 1 |
1 |
|
l p |
|
ˆ p |
|
p 2 |
|
1 |
|
|
l p 1 |
|
|
|
|||||
|
|
|
|
|
e |
, |
, |
e |
, e |
, |
, e |
e |
, |
, e |
− |
базис в V 0 .

3.3. Приведение матрицы к жордановой нормальной форме |
115 |
Рассмотрим подпространства N p 2 L p 2 , |
|
|
|
1 |
|
|
|
|
l |
|
|
l p 1 |
l |
|
|
и M L |
1 |
l |
|
|
|
|
L L |
e p |
|
, |
, |
|
e p |
|
, e p 1 |
, , e p 1 |
|
e p , |
, e p |
|
. |
|
|||||
|
|
|
|
|
|
|
|
p |
|
|
|
p 1 |
|
|
|
|
p |
|
|
|
По |
построению |
|
|
N p 2 |
L { }, |
|
по свойствам |
базиса |
p |
|||||||||||
N p 2 |
M { } , M |
|
|
L { }. Следовательно, сумма |
этих |
под- |
пространств является прямой, а объединение их базисов ˆ p является базисом этой суммы. Так как количество элементов в ˆ p сов-
падает с количеством |
элементов |
в p , |
то |
ˆ p |
является базисом |
||||||||
V 0 . |
Базис ˆ p для случая |
l |
p |
l |
p |
1 |
записан в таблице 3. Он удов- |
||||||
|
|
|
|
|
|
|
|
|
|
|
|||
летворяет тем же свойствам, что и базис p . |
|
|
|
||||||||||
|
|
|
|
Таблица 3.3 |
|
|
|
|
|||||
|
e p , |
, |
e p |
, |
|
|
|
|
|
|
|
|
|
|
1 |
|
l p |
|
|
|
|
|
|
|
|
|
|
|
e1p , |
, |
elp , |
|
elpp 11 , |
|
, elp 1 |
, |
|||||
|
|
|
|
|
|
p |
|
|
|
|
|
p 1 |
|
|
. |
. |
. |
|
|
|
|
. |
|
. |
. |
|
. |
|
e1, |
, |
|
, |
|
|
|
|
, |
|
, |
, |
e1 . |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
В результате мы построили базис ˆ p . Он отличается от базиса
p элементами второй строчки таблицы базисных элементов. Применяем эту процедуру к базисным элементам третьей стро-
ки таблицы базиса ˆ p (табл. 3.2, если lp lp 1 или табл. 3.3, если lp lp 1 ). Находим образы базисных элементов второй строки таб-
лицы. Если их количество совпадает с количеством элементов в третьей строке таблицы, то заменяем базисные элементы третьей строки таблицы на образы базисных элементов второй строки. Если их количество меньше количества элементов в третьей строке таблицы, то дополняем их элементами из третьей строки таблицы

116 Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ
так, чтобы, во-первых, получилось lp 2 элементов, во-вторых, они были линейно независимы, в-третьих, пересечение их линейной
оболочки с подпространством N p 3 состояло только из нулевого элемента. Заменяем базисные элементы третьей строки таблицы на
полученную систему из |
lp 2 |
элементов. И т.д. |
|
|
|
|
||||
Повторяя эту процедуру |
p 1 раз, |
построим базис p |
подпро- |
|||||||
странства V 0 (табл. 3.4). |
|
|
|
|
|
|
||||
|
|
|
|
Таблица 3.4 |
|
|
|
|
||
e p ,............., |
e p , |
|
|
|
|
|
|
|
|
|
1 |
|
l p |
|
|
|
|
|
|
|
|
e1p , |
, |
elp |
, |
elpp 11 , , |
elp 1, |
|
|
|
|
|
|
|
p |
|
elpp 11 , , |
p 1 |
|
|
|
|
|
2 e1p , |
, |
2 elp |
, |
elp 1 , elpp 12 1 |
, |
, elp 2 , |
||||
|
|
p |
|
|
|
p 1 |
|
|
p 2 |
|
|
|
, p 2 elp , p 3 elpp 11 , |
, p 3 elp 1 |
, |
|
, |
|
|||
p 2 e1p , |
, el23 1 , |
, el2 , |
||||||||
|
|
|
p |
|
|
p 1 |
|
|
|
2 |
p 1 e1p , |
, p 1 elpp , |
p 2 elpp 11 , |
, p 2 elpp 11 , |
, el23 1 , |
||||||
|
|
|
|
|
|
..., el2 |
, e1l2 1 , |
, e1l . |
||
|
|
|
|
|
|
|
2 |
|
|
1 |
Векторы последней строки этой таблицы являются собственными векторами оператора . Они образуют базис в подпространст-
ве N1 V |
. Их количество равно l |
геометрической кратности |
|
0 |
1 |
|
|
собственного значения 0 . Векторы двух последних строк |
обра- |
||
зуют базис |
в подпространстве N 2 |
корневых векторов |
высоты |
меньше или равной двум, и т.д. Наконец, все векторы табл. 3.4 образуют базис в подпространстве V 0 .

3.3. Приведение матрицы к жордановой нормальной форме |
|
|
|
|
117 |
|||||||||||||||||||||||||||||||
Столбцы табл. 3.4 образуют жордановы цепочки: |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
p 1 |
|
e |
p |
|
|
p 1 |
|
e |
p |
, |
p 2 |
|
e |
p |
|
,..., e |
p |
,..., |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
p 1 |
|
e |
p |
|
|
|
p 1 |
|
e |
p |
|
, |
p 2 |
|
e |
p |
|
,..., e |
p |
|
,..., |
|
1 |
|
|
e |
1 |
|
. |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
||||||||||||||||||
|
|
l p |
|
|
|
|
l p |
|
|
|
l p |
|
l p |
|
|
l |
|
|
|
l |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
Изменив порядок следования базисных элементов, получим новый
базис подпространства V 0 : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
p 1 |
|
|
|
|
|
|
|
|
|
p 1 |
|
|
|
|
|
|
|
|
1 |
. |
|
||||
|
|
|
|
e1 |
|
|
... |
|
|
|
el |
p |
|
|
|
|
el |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|||||
Он является объединением жордановых цепочек. |
|
Введем цикличе- |
||||||||||||||||||||||||||
ские подпространства |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
l p |
|
||||||||||||
1 |
|
|
|
|
|
|
|
|
|
l p |
|
|
|
|
|
|
||||||||||||
|
0 |
|
|
|
p 1 |
e |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
Z |
|
L |
|
|
|
|
|
, …, Z |
|
|
L |
|
|
|
e |
|
|
,…, |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
1 |
. |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
Zl1 |
|
L el1 |
|
|
|
|
|
|
|
|
Так как объединение базисов этих подпространств образует базис корневого подпространства V 0 , то они образуют прямую сумму и эта сумма совпадает с
V 0 Z 0 |
|
Z 0 |
|
Z 0 . |
(3.15) |
|
1 |
|
l |
p |
|
l |
|
|
|
|
|
1 |
|
Таким образом, доказана следующая теорема.
Теорема 3.8. Корневое подпространство V 0 раскладывается в прямую сумму циклических подпространств.
Замечание 3.2. Количество циклических подпространств в разложении (3.15) равно геометрической кратности l1 собственного
значения 0 .
Замечание 3.3. Так как базис
|
p 1 |
|
|
|
|
|
p 1 |
|
|
|
|
|
1 |
|
|
e1 |
|
... |
|
|
el |
p |
|
|
el |
||
|
|
|
|
|
|
|
|
|
1 |
||||
является жордановым базисом в корневом подпространстве V 0 , |
|||||||||||||
то, согласно теореме 3.6, в этом |
базисе |
|
матрица оператора име- |
ет вид (3.9), причем количество жордановых клеток в этой матрице равно геометрической кратности l1 собственного значения 0 , а

118 Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ
жорданова клетка Ji имеет порядок, равный размерности i-го циклического подпространства, и i 0 , i 1, 2,...,l1.
Теорема 3.9 (о существовании жордановой нормальной формы матрицы линейного оператора). Если все корни характеристиче-
ского многочлена оператора L V ,V принадлежат множеству
F, то существует базис, в котором матрица этого оператора имеет жорданову нормальную форму.
Доказательство. Пусть dimV n . По условию теоремы все корни характеристического многочлена оператора L V ,V
принадлежат множеству F. Это означает, что характеристический многочлен Pn ( ) распадается на произведение линейных множителей, т.е.
Pn ( ) 1 n 1 n1 2 n2 |
k nk , n1 |
nk n. |
|
Отсюда следует, |
что оператор имеет k различных собствен- |
||
ных значений 1 , 2 |
, …, k алгебраических кратностей n1 , n2 ,…, |
nk , соответственно. Согласно теореме 3.5 пространство V разла- |
|||||
гается в прямую сумму корневых подпространств V 1 , V 2 ,…, |
|||||
V k : V V 1 |
V 2 |
V k , |
dimV i n ,i 1, |
, k. По тео- |
|
|
|
|
i |
|
|
реме 3.8 каждое корневое подпространств V i , |
i 1, |
, k , раскла- |
|||
дывается в |
прямую |
сумму |
циклических |
подпространств: |
|
V i Z i |
Z i . Здесь li геометрическая кратность собст- |
||||
1 |
li |
1 |
|
|
|
|
1 |
|
|
|
|
венного значения i . В результате получаем разложение пространства V в прямую сумму циклических подпространств:
V Z 1 |
Z 1 |
Z k Z k . |
||
1 |
1 |
1 |
l |
k |
|
l |
|
|
|
|
1 |
|
1 |
Выбирая в каждом циклическом подпространстве циклический базис и объединяя эти базисы, получим базис, в котором матрица оператора имеет жорданову нормальную форму (3.9). Теорема
3.9 доказана.

3.3. Приведение матрицы к жордановой нормальной форме |
119 |
Замечание 3.4. Количество d жордановых клеток в жордановой нормальной форме матрицы линейного оператора равно сумме геометрических кратностей всех собственных значений этого опе-
ратора, т.е. |
d l1 |
l2 |
|
lk . |
|
1 |
1 |
|
1 |
При построении жорданова базиса в корневом подпространстве
V 0 мы строили жордановы цепочки начиная с корневых векторов большей высоты и заканчивая собственными векторами.
Приведем другой способ построения жорданова базиса.
Снова вернемся к табл. 4. Рассмотрим ее первый столбец. Он
образует жорданову цепочку высоты p. |
Нижний элемент этого |
|||||||||||
столбца p 1 e1p |
является собственным |
вектором оператора . |
||||||||||
Обозначим его |
e1 |
. Так как e1 собственный вектор оператора , |
||||||||||
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
отвечающий собственному значению 0 , то e11 ker 0 I . |
|
|
|
|||||||||
Из |
равенства |
e11 |
p 1 e1p |
следует, |
что |
|||||||
e1 Im p 1 |
Im I p 1 . |
Таким образом, e1 удовлетворяет |
||||||||||
1 |
|
|
|
|
0 |
|
|
|
1 |
|
|
|
условиям e1 |
Ker I |
Im I |
p 1 . |
Аналогично уст- |
||||||||
|
1 |
|
|
|
0 |
|
0 |
|
,…, el1 p 1 el |
|
. |
|
роены |
собственные векторы |
e21 |
p 1 e2p |
|
||||||||
|
|
|
|
|
|
|
|
|
p |
|
p |
|
Следовательно, |
чтобы |
построить |
жордановы |
цепочки длины |
|
|
p |
надо сначала найти lp линейно независимых собственных векторов
принадлежащих |
|
линейному |
подпространству |
||||||||
M |
1 |
Ker I |
|
Im I p 1 |
. Обозначим их |
g1 , |
g1 , |
…, |
|||
|
|
|
0 |
|
0 |
|
|
1 |
2 |
|
|
g1 . |
Затем |
для |
|
каждого такого |
собственного |
вектора |
g1 , |
||||
l |
p |
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
i 1, |
,lp нужно |
|
найти присоединенные |
векторы |
1-го, 2-го,…, |
||||||
p 1 -го |
порядка. Пусть gi2 присоединенный вектор 1-го по- |
рядка к вектору gi1 , т.е. gi2 gi1. Переписав это равенство в

120 Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ
матричной форме, получим неоднородную систему линейных ал-
гебраических уравнений относительно gi2 A 0E gi2 |
gi1 . |
|
|
Решив эту систему, найдем gi2 . Для нахождения gi3 присое- |
||||||||
диненного |
вектора 2-го порядка |
( gi3 gi2 ), |
решим неодно- |
|||||
родную |
систему |
линейных |
|
алгебраических |
уравнений |
|||
A 0E gi3 |
gi2 или A 0E 2 |
gi3 gi1 . И т.д., пока не дойдем |
||||||
|
|
|
|
|
|
p 1 |
|
|
до gip |
|
присоединенного вектора |
-го |
порядка |
( gip gip 1 ). Для нахождения этого вектора решим неоднород-
ную |
систему |
линейных |
алгебраических |
уравнений |
||
A 0E gip gip 1 |
или A 0E p 1 gip gi1 . |
|
||||
|
|
|
|
|
|
|
Замечание 3.5. Для нахождения присоединенных к |
g1 векторов, |
|||||
|
|
|
|
|
|
i |
иногда удобно сначала найти последний вектор gip , |
решив неод- |
|||||
нородную систему A 0E p 1 gip |
gi1, а затем вычислить осталь- |
|||||
ные по формулам: |
|
|
|
|
||
|
|
|
|
|||
gip 1 |
A 0E gip , gip 2 A 0E gip 1 |
,…, gi2 A 0E gi3 . |
||||
|
|
|
|
|
|
|
После того, как все жордановы цепочки максимальной длины p построены, переходим к построению жордановых цепочек
меньшей длины. Для этого рассматриваем подпространство
M2 Ker 0 I |
Im 0 I p 2 . |
|
|||
Его размерность |
равна lp 1 |
количеству элементов во |
второй |
||
строке табл.3.4. |
Имеет |
место |
вложение |
M1 M2. |
Если |
dim M1 dim M2 |
(количество элементов в первой и второй стро- |
||||
ках табл.3.4 совпадает), то жордановых цепочек |
длины p 1 не |
будет. Если dim M1 dim M2 , то ищем dim M2 dim M1 линейно независимых собственных векторов, которые входят в M 2 , но не