Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Lineynye_operatsii

.pdf
Скачиваний:
166
Добавлен:
05.06.2015
Размер:
5.31 Mб
Скачать

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 .

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 , но не

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]