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

Lineynye_operatsii

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

3.1. Корневые векторы и корневые подпространства

 

101

 

0

5 1 -7

1

 

0

 

 

 

 

 

 

 

 

 

 

 

A+E e2

 

-1

1

0

-1

0

=

-1

0 ,

 

 

-2

-8 3 2 0

-2

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-1

-4 -1 6

0

 

-1

 

 

0

5

1 -7

0

 

0

 

 

 

 

 

 

 

 

 

 

 

A+E e2

 

-1

1 0

-1

1

=

0 0 .

 

 

-2

-8

3 2 2

0

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-1

-4

-1 6

1

 

0

 

Таким образом, e12 является корневым вектором высоты 2, а

e22 − собственным вектором, т.е. корневым вектором высоты 1.

2 способ

Рассмотрим сначала собственное значение 1 4.

1) Решим однородную систему линейных алгебраических уравнений A 4E 0 методом Гаусса. Выше мы нашли, что

 

-1

0

0

-1

 

 

0

1 0

0

 

A 4E

 

.

 

 

0

 

0

1

-2

 

 

 

0

 

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

1

2

4

 

0

 

1

0

4

 

Отсюда имеем

 

 

 

 

 

или 2

. Выбрав свободную

 

 

 

 

 

2

 

0

 

 

2

 

 

 

 

 

3

4

 

 

4

 

 

 

 

 

 

 

 

 

3

 

 

переменную

4

1,

получаем

e1

1, 0, 2,1

собственный век-

 

 

 

 

 

 

 

 

1

 

 

 

 

тор оператора , отвечающий собственному значению 1 4 , т.е.

корневой вектор высоты 1. Так как мы получили только один линейно независимый собственный вектор, то геометрическая крат-

ность собственного значения 1 4 равна 1.

102Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ

2)Решим однородную систему линейных алгебраических урав-

нений A 4E 2 0 методом Гаусса. Выше, рассматривая 1-й

способ, мы уже решали эту систему и получили

1 4 .

2 0

Так как у нас две свободные переменные − 3 и 4 , то фундаментальная система решений этой системы состоит из двух линейно независимых решений. Одно из них берем e11 -1, 0, 2,1 решение системы, полученной на предыдущем шаге (ему отвечают свободные переменные 3 2 , 4 1). Это корневой вектор высоты 1. Чтобы получить второе решение, линейно независимое с пер-

вым, положим 3

1 ,

4

0. Тогда e12 0, 0,1, 0 . Это корневой

вектор высоты 2.

Векторы e1

и e1

образуют базис V 1 .

 

 

 

1

2

 

Теперь рассмотрим собственное значение 2 1 .

1) Решим однородную систему линейных алгебраических уравнений A E 0 методом Гаусса. Выше мы нашли, что

 

1

0

0

0

 

A E

 

 

 

 

 

 

 

 

0

1 0

-1 .

 

 

0

 

0

1

-2

 

 

 

 

 

 

 

 

 

 

 

0

 

0

0

0

 

 

 

 

 

1

 

0

1

0

 

 

 

 

 

2

4

 

 

 

4 .

 

 

Отсюда имеем

0 или 2

 

 

 

 

 

 

2

 

0

 

 

2

 

 

 

 

 

3

4

 

4

 

 

 

 

 

 

 

 

3

 

0,1, 2,1

 

Выбрав свободную переменную 4

1 , получим e12

 

собственный вектор оператора

, отвечающий собственному зна-

чению 2

1 ,

т.е. корневой вектор высоты 1. Так как мы полу-

3.1. Корневые векторы и корневые подпространства

103

чили только один линейно независимый собственный вектор, то геометрическая кратность собственного значения 2 1 равна 1.

2) Решим однородную систему линейных алгебраических уравнений A E 2 0 методом Гаусса. Выше, рассматривая 1 спо-

2

4

.

соб, мы уже решали эту систему и получили

2

 

4

3

 

Так как нас две свободные переменные − 1

и 4 , то, фунда-

ментальная система решений этой системы состоит из двух линейно независимых решений. Одно из них берем e12 0,1, 2,1 решение системы, полученной на предыдущем шаге (ему отвечают свободные переменные 1 0 , 4 1). Это корневой вектор высоты 1. Чтобы получить второе решение, линейно независимое с пер-

вым, положим 1,

 

4

0.

Тогда

e2

1, 0, 0, 0

корневой

 

1

 

 

 

 

2

 

 

 

вектор высоты 2. Векторы

 

e2

и

e2 образуют базис V 2 .

Согласно

 

 

 

 

1

 

2

 

 

 

 

теореме

3.5 V V 1 V 2 ,

поэтому

e11 , e12 , e12 , e22

образует

базис V .

В силу инвариантности подпространств V 1

и V 2 отно-

сительно , в базисе

 

матрица оператора имеет

блочно-

диагональный вид:

 

 

 

 

 

 

 

 

 

 

a

 

 

a

0

0

 

 

 

 

 

11

 

12

 

 

 

 

 

 

a21

a22

0

0

.

 

 

 

 

0

 

0

a

a

 

 

 

 

 

 

 

 

 

33

34

 

 

 

 

 

0

 

0

a43

a44

 

 

 

Упражнение. Найти матрицу оператора в базисе, построен-

ном первым и вторым способом.

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

104 Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ

3.2. Циклические подпространства.

Жорданова нормальная форма матрицы линейного оператора

Пусть элемент

x0

является

корневым вектором оператора

L(V ,V )

высоты m , отвечающим собственному значению 0 .

Определение

3.6.

Система

элементов 0 I m 1 x0 ,

0 I m 2

x0 ,

…, 0 I x0 ,

x0 называется жордановой

цепочкой, порожденной элементом x0 .

 

Положим

e1 0 I m 1 x0 ,

e2 0 I m 2 x0 , …,

em x0. Согласно утверждению 3.3 элементы e1 , e2 , …, em жор-

дановой цепочки являются корневыми векторами высоты 1, 2,…, m, соответственно. В силу теоремы 3.3 они линейно незави-

симы.

Заметим, что первый элемент e1 жордановой цепочки имеет высоту 1, т.е. является собственным вектором оператора , отвечающим собственному значению 0 .

Определение 3.7. Векторы e2 ,…, em жордановой цепочки называются, соответственно, присоединенными векторами 1-го, 2-го,…,m 1 -го порядка к собственному вектору e1.

Выразим каждый предыдущий вектор жордановой цепочки че-

рез последующий вектор:

 

 

 

ei 1 0 I m i 1 x0 0 I 0 I m i x0

 

(3.3)

0 I ei , i 2,3,..., m.

 

 

 

 

 

Перепишем формулы (3.3) в виде

 

 

 

0 I ei ei 1 ,

i 2,3,..., m .

 

(3.4)

Кроме того, имеет место равенство

 

 

 

0 I e1 .

 

(3.5)

e1 , e2 ,…, em

3.2. Циклические подпространства

105

Получаем, что векторы жордановой цепочки удовлетворяют соотношениям

e1 0 e1 , ei ei 1 0ei , i 2,3,..., m . (3.6)

Определение 3.8. Линейная оболочка элементов жордановой цепочки называется циклическим подпространством, порожденным собственным вектором e1 .

В силу линейной независимости элементы e1 , e2 ,…, em образу-

ют базис

циклического

подпространства.

Обозначим

его

e1 e1 , e2 ,

, em .

 

 

 

 

Определение 3.9. Базис

e1 циклического

подпространства

L e1 называется циклическим базисом.

 

 

Утверждение 3.5. Циклическое подпространство L e1

инва-

риантно относительно оператора .

 

 

 

Доказательство. Возьмем произвольный элемент x L e1 :

 

x 1e1 2e2

mem ,

 

 

ипроверим, что x L e1 :

x 0 I 0 I x 0 I x 0 I x

0 I 1e1 2e2

mem 0 ( 1e1 2e2

mem )

1 0 I e1 2 0 I e2

 

 

... m 0 I em 0 1e1 0 2e2

0 mem

 

2e1

mem 1 0 1e1 0 2e2

0 mem L e1 .

В процессе вычислений мы воспользовались формулами (3.4) и (3.5). Утверждение 3.5 доказано.

Утверждение 3.6. В циклическом подпространстве в базисеe1 матрица оператора имеет вид

106

Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ

 

 

 

0

1

0

 

0

0

 

 

 

 

 

 

 

0

 

1

 

0

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

J

 

. . .

. . .

.

(3.7)

 

 

0

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

0

0

...

1

 

 

 

 

 

 

 

0

0

0

...

0

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

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

Элементы e1 , e2 ,…, em жордановой цепочки

e1 e1 , e2 ,

, em

удовлетворяют

соотношениям: e1 0e1 ,

e2 e1 0e2 , … , em em 1

0em . Записывая координаты

образов базисных векторов e1 ,

e2 ,…, em по столбцам,

получаем матрицу J0 оператора в базисе e1 . Утверждение 3.6 доказано.

Определение 3.10. Матрица вида (3.7), где 0 F некоторое число, называется жордановой клеткой.

Имеет место и обратное утверждение.

Утверждение 3.7. Если матрица линейного оператора в не-

котором базисе является жордановой клеткой, то этот базис циклический, причем на диагонали матрицы стоит собственное значение оператора .

Доказательство. Пусть в базисе e1 , e2 , , em матрица оператора имеет вид (3.7). Вычислим характеристический многочлен этого оператора: Pm ( ) det J0 E 0 m . Следо-

вательно,

0 является собственным значением

оператора . Ис-

пользуя

определение матрицы линейного оператора, запишем об-

разы базисных элементов:

 

e1 0 e1 , e2 e1 0e2 ,…, em em 1 0em . (3.8)

Равенства (3.8) можно переписать в виде (3.4), (3.5):

0 I e1 ,

3.2. Циклические подпространства

 

 

 

 

 

 

 

 

107

 

 

 

 

0 I ei ei 1 , i 2,3,..., m .

 

 

 

Следовательно, элементы e1 , e2 ,

 

 

, em образуют циклический базис.

Утверждение 3.7 доказано.

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.11. Матрица J

вида

 

 

 

 

 

 

 

 

 

 

J

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

J2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

 

 

 

 

 

 

diag J1, J2 ,

, Jd ,

 

(3.9)

 

 

 

 

 

.

.

 

 

 

 

. .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Jd

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

1

0

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

0

i

1

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ji

.

 

.

.

 

 

.

.

.

,

i

F, –

 

 

 

 

 

 

 

 

0

0

0

 

...

i

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

0

 

...

0

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

жорданова

клетка порядка mi , i 1,

, d,

m1 m2

md

n,

называется жордановой матрицей.

 

 

 

 

 

 

 

 

 

Приведем пример жордановой матрицы порядка 5

 

 

 

 

 

 

 

3

1

0

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

3

0

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

0

 

0

2

1

 

 

0

diag J1, J2 , J3 .

 

 

 

 

 

 

 

 

0

 

0

0

2

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

0

0

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

1

,

 

2

1

, J3 3 .

 

 

 

 

 

 

Здесь J1

 

 

 

J2

 

 

 

 

 

 

 

 

 

 

 

0

3

 

 

 

0

2

 

 

 

 

 

 

 

 

 

 

Определение 3.12. Базис, в котором матрица линейного оператора L(V ,V ) имеет вид (3.9), называется жордановым базисом,

а сама матрица называется жордановой нормальной формой матрицы оператора .

108 Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ

Теорема 3.6. Матрица линейного оператора L(V ,V ) имеет

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

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

Необходимость.

Пусть

в

базисе

e11,

, e1m , e12 ,

em2 , e1d ,

emd

,

m1

m2

 

md

n,

матри-

 

1

2

d

 

 

 

 

 

 

 

ца оператора имеет вид (3.9).

Вычислим характеристический

многочлен оператора :

 

 

 

 

 

 

 

 

 

 

Pn det J E

 

 

 

 

det J1 E1 det J2 E2

det Jd

Ed

 

 

1 m1 2 m2

d md .

 

 

Здесь Ei

− единичная матрица порядка mi ,

i 1, 2,

, d . Так как

числа 1 , 2 , …, d являются корнями характеристического многочлена, то они являются собственными значениями оператора , следовательно, на диагонали матрицы J стоят собственные значе-

ния. Покажем, что элементы

ei ,

 

ei

 

образуют жорданову цепоч-

 

1

 

m

 

 

 

 

 

 

 

 

i

 

 

 

 

ку, i 1, 2, , d . В силу определения матрицы оператора имеем

e1i i e1i , e2i e1i ie2i

 

,…, emi

emi

1

iemi . (3.10)

 

 

 

 

 

i

i

i

Эти равенства можно переписать в виде

 

 

 

i I

e1i ,

 

 

 

i I e2i e1i ,

 

 

(3.11)

............................

 

 

 

 

 

i I emi

emi

1.

 

 

 

 

 

i

 

i

 

 

Следовательно, элементы ei ,

ei

 

, i 1, 2,

, d

образуют жорда-

1

m

 

 

 

 

 

 

 

i

 

 

 

 

 

 

нову цепочку.

Достаточность. Пусть базис является объединением жордановых цепочек

3.2. Циклические подпространства

109

Pn (λ ) = det (J − λ E) =

 

= det (J1 λ E1 ) det (J2 λ E2 ) det (Jd

λ Ed ) =

= (α1 λ )m1 (α 2 λ )m2 (α d λ )md .

Здесь Ei − единичная матрица порядка mi , i = 1, 2,…, d . Так как числа α1 , α2 , …, αd являются корнями характеристического многочлена, то они являются собственными значениями оператора ϕ , следовательно, на диагонали матрицы J стоят собственные значе-

ния. Покажем, что элементы

i

i

 

образуют жорданову цепоч-

e1 ,…emi

ку, i = 1, 2,…, d . В силу определения матрицы оператора имеем

i

i

i

i

i

 

 

i

i

i

ϕ (e1 ) = αi e1

, ϕ (e2 ) = e1 + αi e2 ,…,

ϕ (emi

) = emi 1 + αiemi . (3.10)

Эти равенства можно переписать в виде

 

 

 

 

 

(ϕ αi I )(e1i

) = θ ,

 

 

 

 

 

(ϕ αi I )(e2i ) = e1i ,

 

(3.11)

 

 

 

 

 

 

 

 

 

 

 

 

............................

 

 

 

 

 

(ϕ αi I )(emi

) = emi

1.

 

 

 

 

 

 

i

 

i

 

 

 

 

i

i

i

= 1, 2,…, d

образуют жорда-

Следовательно, элементы e1 ,…emi ,

нову цепочку.

Достаточность. Пусть базис ε является объединением жордановых цепочек

 

ε = {e11,…, e1m } {e12 ,…em2

2

}

{e1d ,…emd

} ,

 

1

 

d

 

 

m1 + m2 ++ md = n.

 

Каждая жорданова цепочка e1i ,…emi

 

,

i = 1, 2,…, d, удовлетворяет

 

i

 

 

 

условиям

(3.11). Записав условия (3.11) в эквивалентной форме

 

1

 

 

d

 

(3.10), а координаты образов ϕ (e1 )

, …, ϕ (emd ) базисных элемен-

1

d

 

 

 

 

тов e1 ,...,

emd по столбцам, получим матрицу (3.9). Теорема 3.6

доказана.

110 Глава 3. ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ

Это корневые векторы высоты 1 (собственные векторы) опера-

тора , отвечающие собственному значению 0 . Обозначим ли-

нейную оболочку семейства 1 через N1 : N1 L 1 . Заметим,

что число l1 совпадает с геометрической кратностью собственного значения 0 , а N1 Ker 0 I V 0 − собственное подпро-

странство оператора , отвечающее собственному значению 0 .

Пусть e2

,

, e2

линейно независимые решения системы

 

1

 

l

 

 

 

 

 

2

 

 

 

 

 

 

A 0E 2 0 ,

(3.13)

 

 

 

 

 

 

дополняющие фундаментальную систему решений 1 системы (3.12) до фундаментальной системы решений 2 системы (3.13):

2 1

e12 , , el2

.

Обозначим

N 2 L 2 Ker 0 I 2 .

 

2

 

 

 

 

По построению e2 ,

, e2 N1 и, следовательно, являются линейно

 

1

 

l

 

 

 

 

 

2

 

 

независимыми корневыми векторами высоты 2. И т.д.

 

Пусть, наконец,

e p ,

, e p линейно независимые решения од-

 

 

1

l p

 

 

нородной системы

 

 

 

 

 

 

 

A 0E p 0 ,

(3.14)

 

 

 

 

 

 

дополняющие фундаментальную систему решений p 1

системы

A 0E p 1 0 до фундаментальной системы решений p сис-

 

 

 

 

e1p ,

, elpp . Эта фундаментальная систе-

темы (3.14): p p 1

ма решений p

образует базис корневого подпространства

 

 

V 0

N p L p Ker 0 I p .

Обозначим N p 1

L p 1 Ker 0 I p 1 .

По построению

ep ,

, ep N p 1 и, следовательно, являются

линейно независи-

1

lp

 

 

 

 

 

мыми корневыми векторами высоты p.

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