Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
34
Добавлен:
01.05.2014
Размер:
307.24 Кб
Скачать

21

 

 

 

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

Е слиоператор

A имеетпростую

структуру, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

=

 

−1

TA.A

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т огд а

 

 

 

 

 

 

 

 

 

−1(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

 

 

 

− λ −)T I. =

 

 

f

AA

i

T I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

e

 

 

 

 

 

 

 

 

 

 

 

 

Зн ач ит,

матрицы

 

Af

- λi I

и

Ae - λi I

под обн ы иимею тод ин итот

 

 

ж е

ран г.

Ран г матрицы

Ae - λi I

 

рав ен

ч ислу д иагон альн ы х

э лемен тов,

 

 

отлич н ы х

от н уля,

или

ч ислу

корн ей

х арактеристич еского

 

урав н ен ия, н е

 

 

равн ы х λi , тоесть равен

n - ki .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Д остаточ н ость.

 

Пусть

λ1

λ2

...,, λν,

попарн о различ н ы е

собствен н ы е

 

 

 

 

 

 

 

зн ач ен ия оператора

A.

Собствен н ы е

векторы

с собствен н ы м зн ач ен ием λi

 

 

образую т под простран ство размерн ости n - ri

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

 

Т ак как по

 

 

условию

 

- i

= kni ,

r

то

оператор

A

имеет

ki

лин ейн о

н езав исимы х

 

 

собствен н ы х

векторов

с собствен н ы м зн ач ен ием λi

(i = 1, 2, ...,ν ).

Т аким

 

 

образом,

мы имеем n собств ен н ы х векторов

1

2

...,, xn,. xПокажx

ем, ч то он и

 

 

лин ейн он езав исимы .

Пусть

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

åα j x j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(θ – н улевой

вектор)

и, н апример,

α1 ¹ 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введем врассм отрениеоператор

 

 

 

 

 

 

- λ I )

 

A

I )...(

A I

 

 

 

 

 

 

=

 

- λ

 

- λ

 

 

- λ

 

 

 

 

 

s

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

 

 

 

 

 

 

 

1+1

 

 

 

 

t1

 

 

 

 

s

 

 

 

- λ

 

 

 

-1λ3

 

-2λν I). A

 

 

 

I)...(

A(BI

A)(

 

 

 

 

И меем

 

 

 

ν =

 

 

 

 

 

 

 

 

 

 

 

 

 

k1

 

 

 

k1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= θ

.

 

 

=−λ λ α−λ λ α

 

 

 

 

 

 

å

 

 

å

 

 

 

 

 

 

 

)x

 

 

 

 

 

 

 

 

 

j

j

j

 

 

 

 

 

1 1

j

 

 

 

 

)...(

B (

 

x)

 

 

 

 

 

 

j =1

 

 

 

 

 

 

ν 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k1

 

 

= θ , α1 ¹ 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т огд а

åα j x j

ч топротивореч итлин ейн ой н езависимости

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ1 .

 

 

 

собствен н ы х в екторов , соотв етствую щих собствен н омузн ач ен ию

 

 

 

 

 

 

О пиш емспособпостроениясобственныхвекторовоператора A.

 

 

 

 

 

К оорд ин аты

собствен н ы х векторов

в

н екотором базисе

 

мож н о н айти,

 

 

реш аясистемы уравн ен ий

 

(

- λA )x =I θ ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λi (i =1, 2, ...,ν )

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

гд е

 

попарн о различ н ы е собствен н ы е зн ач ен ияоператора.

 

 

В н айд ен н ом базисе из собствен н ы х векторов оператор имеет д иагон альн ую матрицу. Пред лагаемы й н ов ы й способ построен ия базиса из собств ен н ы х

22

векторов

состоит в

н ах ож д ен ии под простран ства простран ства

E ,

целиком

состоящего из

собствен н ы х

векторов

оператора,

соотв етствую щего

собствен н ому зн ач ен ию

λi .

Э тотспособ д алее буд етпримен ен к построен ию

ж орд ан овабазиса. Рассмотримпод простран ство

(

− λAj )E I( j ¹ i),

размер-

н ость которого

 

 

 

− λ j )

= rAj .

E Idim(

 

 

 

 

 

 

 

 

 

 

 

 

 

Т ак как

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

простую

структуру,

то

 

j = knj , r и в

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

(

− λAj

)E I

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

векторов,

отвеч аю щих собств ен н омузн ач ен ию

λ j . А н алогич н опод простран ство

 

− λ

− λ

 

− λ

 

− λ +1

 

 

− λ

)1

=

iν E2)B...( EiI

имеет размерн ость

 

i

i+1

...

1

и н е сод ерж ит

 

 

 

 

 

 

 

 

 

1 kν

 

2k

...k

собствен н ы х векторов с собствен н ы ми зн ач ен иями

λi−1 λi+1

,,λν...,

а, зн ач ит,

он о состоитиз собствен н ы х векторов оператора A, отв еч аю щих собствен н ому

зн ач ен ию

λi . Д ействительн о, так как

 

i = kni ,

rто в э томпод простран стве

мож н о вы брать базис только из

собствен н ы х

векторов,

отвеч аю щих λi и,

след овательн о, лю бой н ен улев ой в екторэ тогопод простран ств а– собствен н ы й.

 

Т аким

образом,

с помощью

операторов

 

, ,B... B,

 

B

 

 

1 2

νν

 

мож н о

 

 

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

 

 

ν

 

ν

пред став ить

в

вид е

суммы

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

1

2

,, ... E,,

B размернE BостEи

которы х

равн ы

1

2

 

,k..., k

νν ν

ν

 

 

 

 

 

ν

соответствен н о. К аж д ое из э тих под простран ств состоиттолькоиз собств ен н ы х

векторов оператора A,

отвеч аю щих

од н ому собствен н ому зн ач ен ию . В ы бирая

базис в

каж д ом под простран стве

 

Biν E ,

 

 

 

мы

получ или базис в о в сем

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

E .

Поэ тому д ля оты скан ия всех

 

 

 

ki

н езависимы х

собств ен н ы х

векторов

оператора

A

простой

 

структуры ,

отвеч аю щих

собствен н ому

зн ач ен ию

λi ,

д остаточ н о построить лю бой

базис простран ства

Biν E . Д ля

э того вы беремпроизв ольн ы й базис простран ства E ,

составлен н ы й из векторов

1

2

, g,..., g, коgорд ин аты которы х

отн осительн о

 

исх од н ого

базиса

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

, f,... fсо, ответственf

н орав н ы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

=

 

 

t

 

 

), g t ...t,

 

,(

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1n

 

 

 

121

 

 

11

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

t

2 n

) ,g t

 

...t,

,(

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

22

 

 

21

 

 

 

 

 

 

 

 

 

 

 

… … … … … … … … .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

1

2

t

nn

) .g t

 

 

...t,

 

,(

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n

 

 

n

 

 

 

 

Н айд ем

образы

векторов

 

1

 

2

, g,...g,

 

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

B

E :

 

 

 

, ,

...g ,

 

B

 

 

n

 

 

 

 

 

 

 

 

k

 

 

 

 

 

iν

 

 

 

 

.

 

g B g

 

 

 

 

 

 

 

 

 

 

лин ейн о н езав исимы х

 

1

2

 

 

Сред и н их

всегд а н айд ется

 

i

 

 

ν nν

i

iν

 

 

i

Biν E .

 

 

 

 

 

 

 

 

Biν g j

векторов ,

которы е и примем за базис в

К аж д ы й

из в екторов

A )(i I kn k

, k

23

яв ляется

j

столбцом матрицы

Biν T , а матрица T

состоит из векторов

 

1

 

2

, g,..., g,постg ав лен н ы х

в столбцы . Т ак как матрица T

произвольн ая

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

ч то T = I

или gi = fi . В

 

 

 

 

н евы рож д ен н ая матрица,

то мож н о сч итать,

э том

 

случ ае матрица

 

 

iν

= BB . T Э то

 

озн ач ает,

ч то

в

 

кач естве

базиса

 

 

 

 

 

 

 

 

 

 

 

 

 

iν

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Biν E

мож н о вы брать лю бы е

ki лин ейн о н езав исимы х

A )...I(

столбцов матрицы

 

 

ν

=

− λ

 

 

− λ

− λ

 

 

 

− λ

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

1i+1

 

 

i

)T I

 

 

 

 

 

И з привед ен н ы х рассуж д ен ий след ует

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорем а.

 

Д ля того ч тобы

оператор A

имел простую

структуру,

 

н еобх од имоид остаточ н о, ч тобы

 

 

 

 

 

 

 

 

 

iν E =B({θI }. ) A

E I )...( A (

 

 

 

 

 

 

 

 

 

− λ1

− λ2

− λν

=

− λi

)

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Под простран ств о Biν E состоиттолькоиз собств ен н ы х

 

 

 

 

 

 

 

 

векторов

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

λi ,

а поэ тому

 

оператор

A − λi I

ан н улируетэ топростран ств о, тоесть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( − λi

) iνAE =B{θI }.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Д остаточ н ость.

И з соотн ош ен ия

 

 

 

− λ

 

= {θ }

след ует,

ч то

 

Biν E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

i

) iνAE

B I

 

 

 

λi .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

состоит только из собствен н ы х

векторов оператора,

отвеч аю щих

 

Размерн ость э того под простран ств арав н агеометрич еской кратн ости ki

корн я

 

λi , так как операторы

A − λ j I

( j ¹ i),

 

в х од ящие

в

Biν E ,

н е

могут

 

измен ить кратн ости корн я λi . Строя базис в

каж д ом под простран стве

Biν E

 

(i

=

 

 

 

ν

)

, мы получ имбазисвсегопростран ств а.

 

 

 

 

 

 

 

 

 

 

1,2,...,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

 

 

 

--6

ö8

- 12

 

 

 

 

При м ер.

Пусть матрица оператора имеет вид Ae

 

ç

 

 

 

 

 

÷

10

 

 

 

 

= ç

 

 

 

 

6 6÷.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

− 53

÷

- 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

 

è

 

 

 

ø

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ae - λI

 

 

 

 

 

- λ

-86

 

 

- 12- -

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Х арактеристич еское

уравн ен ие

 

 

=

 

 

 

 

6

=60

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 5 --λ

- 6

 

-

имеет корн и

 

λ1 = λ2 = −2,

λ3 = 1.

Рассмотрим кратн ы й

корен ь λ = −2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

 

 

 

 

 

 

--6ö6 - 12

 

 

 

 

 

 

 

 

М

атрица

 

 

 

λ

 

 

ç

 

 

I =

÷

®12(

 

 

1)

2имеет ран г

 

 

 

e

e

+ 2I =A -A

66

 

 

 

 

 

 

 

 

 

 

 

1

 

 

ç

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

3

 

6

 

÷

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

−3ø

 

 

 

 

 

 

 

 

 

r1 =1. Т ак как

1 =

 

rk1 , тоn

k1 = 2 и, след ов ательн о, оператор

A – оператор

 

24

простой

структуры .

Рассмотрим

матрицы

 

 

e - λ1 =

 

e + 2I

A

Aи

I

 

 

 

e

- λ

=

e

- I .AПерваA Iя матрица имеет ран г 1,

векторы

 

x

=

)T3,,6 ,(9

 

 

 

 

 

3

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

ияв ляю тсясобствен н ы ми векторами

 

 

 

 

 

 

 

)=6 ,−9,(лин12ейн о н езависимы

 

 

 

 

д ля λ1 = λ2 = -2.

В тораяимеетод ин лин ейн он езависимы й столбец, поэ тому

 

 

 

 

в кач естве собств ен н ого вектора д ля собствен н ого зн ач ен ия

λ = 1

возьмем

 

 

 

 

вектор x3

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

− =) 3.−,(6, 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Н айд ем теперь н еобх од имы е

и д остаточ н ы е

условия,

при

вы полн ен ии

 

 

 

 

которы х оператор

A н е являетсяоператоромпростой структуры .

 

 

 

 

 

 

 

 

 

Теорем а. Ч тобы оператор

A н е имелпростой структуры , н еобх од имои

 

 

 

 

д остаточ н о,

ч тобы

 

существовали в ектор gi

 

и собствен н ы й

вектор

ei

с

 

 

 

 

собствен н ы мзн ач ен ием λi ,

уд овлетворяю щие условию

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

- λ

)

= .

g I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eA

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

Пусть

 

 

(

i

)

iνAE B I

 

 

 

то

есть

 

образ

 

 

 

 

 

 

 

 

 

 

- λ

 

 

 

¹ {θ},

 

 

 

 

 

 

 

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

(

 

 

- λi ) iνAE

BсодI ерж ит

 

н ен улевы е

 

 

векторы .

Т огд а

в

 

 

 

 

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

= (

- λi

)

iν E

Bн айдILетсяA х отя бы од ин

собств ен н ы й

 

 

 

 

вектор ei

оператора A. О бозн ач имч ерез

gi

 

вектор под простран ства Biν E ,

 

 

 

 

переш ед ш ий в

ei под

д ействиемоператора A - λi I . О ч евид н о, ч то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

- λ

)

= eA.

g I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ii

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Д остаточ н ость.

Пусть (

- λ

)

= eA,

 

тогдg I а

 

ν

(

- λ

)

=

ν

e

B

g I B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i

 

 

 

 

 

 

 

i

i i

i

 

i

и

 

 

 

 

= λ - λ

λ - λ

 

 

 

 

 

 

 

¹ θ .

 

 

 

 

 

 

 

 

 

λ - λ

 

 

λ - λ

)e

 

 

 

Поэ тому

)(

 

(

 

 

 

 

 

ν

 

 

 

 

 

 

 

 

 

 

 

1 +1

 

 

 

 

 

 

i

)...(

i

i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

i

 

 

(

- λ

i )

iνAE

¹ {θ }.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.2.

Вспом ог ател ьный базис специал ьног о вида

 

 

 

 

 

 

 

 

 

 

 

 

М

ы

показали, ч то д ля того, ч тобы матрица Ae

 

 

n – го поряд ка бы ла

 

 

 

 

под обн а

д иагон альн ой

матрице,

н еобх од имо

и

 

 

д остаточ н о,

 

ч тобы

 

 

 

 

соответствую щий ей оператор A бы л операторомпростой структуры , то есть

 

 

 

 

ч тобы он

имел n лин ейн он езав исимы х собств ен н ы х векторов.

 

 

 

 

 

 

 

 

 

 

 

 

В

противн ом случ ае,

то есть

когд а ч исло

m лин ейн о н езав исимы х

 

 

 

 

собствен н ы х

векторов

оператора

A мен ьш е

ч ем n , в

 

лю бом базисе

ч исло

 

 

 

 

столбцов

матрицы

Ae ,

все

э лемен ты

которы х , кроме

д иагон альн ы х ,

равн ы

 

 

 

 

н улю ,

н е

больш е,

ч ем m .

Д ля того,

ч тобы

ч исло указан н ы х

столбцов

бы ло

 

 

 

 

н аибольш им,

то есть равн ялось m ,

н ад о, ч тобы

 

в се собствен н ы е в екторы

бы ли

 

 

 

 

вклю ч ен ы

в

базис. О д н ако, как

бы мы

н и вы бирали н ед остаю щие

Ae

n m

 

 

 

 

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

соотв етств ую щие э тимвекторамстолбцы матрицы

буд ут

 

 

 

 

сод ерж ать более од н ого отлич н ого отн уляэ лемен та. Е стествен н осч итать, ч то

25

матрица, в которой m столбцов сод ерж ат лиш ь од ин (д иагон альн ы й) н ен улевой э лемен т, аостальн ы е n m столбцов сод ерж атмин имальн ое ч исло

э лемен тов , отлич н ы х

от н уля,

является простейш ей

(после

д иагон альн ой)

матрицей, под обн ой матрице, н е имею щей простой структуры .

 

 

И так, пусть оператор A н е имеетпростой структуры ,

тоесть х отябы д ля

од н огох арактеристич ескогоч исла λi (i =1,2,...,ν )

 

ран гri матрицы

Ae − λi I

отлич ен

от n ki ,

гд е

ki

 

кратн ость

корн я

λi

rin

х арактеристич еского

мн огоч лен а ϕ

(

λ

)

матрицы

 

Ae

.

Поэ тому

i

<

k

 

система

 

 

 

 

 

 

и, зн ач ит,

уравн ен ий

 

 

 

 

 

 

 

 

( e Aλi )x =I θ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

имеет только

 

 

 

=

< k

i

mrлин ейнn

о н езависимы х

реш ен ий

или,

д ругими

 

 

 

 

 

 

 

i

 

i

 

 

 

 

 

 

 

 

 

словами,

оператор

A имеет

mi

< ki

лин ейн о н езав исимы х

собств ен н ы х

векторов сх арактеристич ескимч ислом λi .

Д ля построен ия базиса н ад о н айти д ля каж д ого λi такие н ед остаю щие

− =

 

 

+

i

n

вектораr kk, которыm

е в месте со всеми

 

 

=

1

+

2

+ ... + m

m m

 

 

 

 

 

 

ii

 

i

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

ν

 

лин ейн о

н езависимы ми

векторами

оператора

 

образую т

лин ейн о

 

н езависимую

 

систему.

 

 

 

 

 

 

 

A − λI

 

 

 

 

 

 

 

 

 

E равен r . Э то

 

 

И так,

пусть ран г оператора

 

 

 

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

 

озн ач ает,

ч то оператор

A имеет

 

n r

лин ейн о н езависимы х

собств ен н ы х

 

векторов

 

 

,

 

,...,e

e

,

соответствую щих собствен н омуч ислу λ .

 

 

 

 

1

2

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nr

 

 

 

 

 

 

 

L = ( A − λI )E .

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим под простран ство

 

И з

теоремы

о ран ге

 

след ует, ч торазмерн ость его равн а r .

В ы беремв L

 

базис

 

1,

2 ,...,gr g иg

 

пусть

1

 

2

...,,

fr,

– прообразы э тих векторов,

тоесть

 

 

 

 

 

 

 

 

 

f f

− λ

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

) i

 

 

=

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

giA (fi I1,2,...,r)

 

 

 

 

 

 

 

 

 

 

Л ем м а.

 

 

В екторы

 

1

,

2

,...,e

e ,

e ,

2

,..., f

r

f

fобразую т базис

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n r

1

 

 

 

 

 

 

 

 

 

 

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

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

К олич ество в екторов

1

,

2

,...,e e , e ,

2

,..., f

r

fравнf

о n . Покаж ем, ч то

 

 

n r

1

 

 

 

 

э тив екторы лин ейн он езависимы .

 

 

 

 

 

 

 

 

Пред полож импротив н ое: из того, ч товы полн ен оусловие

nr

iei

r

fiα=θ ,

 

 

 

 

 

å

 

+ å i

 

β

 

(2.1)

i=1

 

 

 

i =1

 

 

 

αi , βi

 

след ует, ч то х отя бы од ин

 

из

коэ ф ф ициен тов

отлич ен от н уля.

Под ействуемоператором A − λI

н авекторн ое рав ен ств о(2.1), получ им

nr

 

r

å

i i

)å

i

=1

i

i

 

i=1

r

fi (=i θ( −I илβи) Aå−λβei Ag+iλ=θI. α

i=1

26

 

Т ак как векторы

 

gi

образую т базис в

 

L ,

 

то

 

βi

= 0

 

(i =1,2,...,r).

Зн ач ит,

 

 

 

 

 

 

 

 

 

 

 

nr

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

åαiei

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

их отябы од н о αi

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

отлич н оотн уля.

 

Н оэ топротивореч итлин ейн ой н езависи-

мостив екторов

1

,

2

,...,e

e . e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nr

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

И так,

базис простран ства E мож н о построить из собствен н ы х

векторов

оператора

A,

соответствую щих

ч ислу λ ,

и прообразов базисн ы х

векторов

под простран ства L = (A - λI )E .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

имеется m

 

Пусть в

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

L = (A − λI )E

 

размерн ости

 

лин ейн о

н езав исимы х

 

собствен н ы х

 

векторов

1,

2 ,...,em e операe тора

A,

соответствую щих ч ислу λ . Д ополн имих векторами

 

1

,

 

2

,..., g

 

g

 

gд о базиса

под простран ства L иобозн ач имч ерез

fi

 

 

 

 

 

 

 

 

 

 

 

 

r m

 

ei ,

прообразы

собств ен н ы х векторов

ч ерез

h

(i

=

1,...,r

m)

прообразы векторов

 

 

,

 

 

,..., g

 

g

,

g

 

 

 

i

 

 

 

 

 

 

 

1

 

 

2

 

 

 

 

r m

 

тоесть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( − λ )

i

= eiA (fi =I1,2,...,m) ;

 

 

( − λ ) i = giA

 

 

(hi I=1,...,r - m) .

 

 

Теорем а.

М

ож н о построить

базис простран ств а

 

 

E

 

 

из

векторов

 

 

 

 

 

 

 

 

 

 

 

2

,...,e

r

.,e ,e

 

h ,...,

 

h,

 

h ,

f , f

, f ,...,

 

 

 

 

 

 

 

 

 

 

 

1

 

 

nm

 

2 1

 

 

m r1

 

1

 

 

 

 

 

 

 

 

2.3.

 

Ж орданов базис в частном

сл учае

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим ч астн ы й

случ ай,

 

когд а оператор

A

 

имеет ед ин ствен н ое

собствен н ое зн ач ен ие λ и н е имеетпростой структуры . В

 

э томслуч ае матрица

Ae − λI имеетран г r ¹ 0 ,

азн ач ит,

в простран стве E имеется n r лин ейн о

н езависимы х

собствен н ы х векторов

оператора A, соответствую щих

ч ислу λ .

Рассмотримпод простран ство

1

=

(

 

− λ

)ELI

 

A

 

dim L1

=

r

.

Зн ач ит, в

 

 

 

 

.

 

И меем

 

 

 

 

 

 

L1 н айд ется х отя бы

 

од ин

собствен н ы й

вектор

 

оператора

 

A.

Поэ тому

размерн ость под простран ств а

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

λ

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LLI

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

− λ )=E= I( ( − A )

 

 

буд етмен ьш е размерн остипод простран ства L1 .

 

 

 

= (

 

− λ )L LI

 

операторA

 

Э то оч евид н о, так как в под простран ств ах

 

i

 

 

A - λI

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ ,

 

 

 

 

 

 

 

 

 

i

−1

 

 

 

всегд а имеет собствен н ое

зн ач ен ие

 

 

 

которому соответствую т

собствен н ы е

в екторы ,

поэ тому

под

д ействием оператора

 

A - λI

э ти

собствен н ы е

 

векторы

 

обн уляю тся

 

и,

 

 

след овательн о,

 

 

размерн ости

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

Li

умен ьш аю тсясувелич ен ием i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Е сли

L2

– н ен улевое под простран ство, то в н емн айд етсях отябы од ин

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

В

 

э томслуч ае построимпод простран ство

27

3

 

λ

 

 

2

 

 

− λ

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Aего

 

размерн ость

мен ьш е

 

 

 

 

 

 

)=E .=I(О(чевAид)н о,LLчIто

 

 

 

 

размерн ости

L2 .

 

Прод олж ая э тот процесс

 

д алее,

мы

 

 

получ им н ен улев ое

 

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

L , такое,

ч то

k+1

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

)k+1 E =λ( ({Iθ }. Э)Aто

λL=I = A

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

озн ач ает,

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

 

Lk

 

 

 

сод ерж ит только собств ен н ы е

векторы

 

оператора A, азн ач ит, оператор

 

A в

 

 

Lk

 

имеетпростую структуру.

 

 

 

 

В ы беремв

Lk

базис. Э тотбазис мы мож емд ополн ить д обазисав

Lk −1 ,

 

затем базис

в

Lk −1

 

мож ем д ополн ить д о базиса в

 

 

Lk − 2

и т.д .

В

итоге

 

получ имбазисвсегопростран ства E .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Перейд емк егопостроен ию .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

p1 = dim Lk ,

 

 

 

 

и

векторы

 

 

 

 

1,

 

 

2 ,...,ep

e

eобразую т базис

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

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

 

Lk , апод простран ство Lk −1 сод ерж ит

p2

( p2 ³ p1)

лин ейн о

 

н езависимы х

 

собствен н ы х

 

 

 

 

в екторов

 

оператора

A.

Т огд а

векторы

 

 

e

e,

 

e,

 

,...,

f

 

f,

 

 

f,

 

 

 

,,...,

 

 

 

 

,...,e

 

, гд е

e

 

 

 

 

 

 

 

 

 

 

1 2

 

2

p1

 

 

+1

 

+

2

e

p1

 

 

p1

 

 

 

 

 

 

 

 

 

 

p1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

− λ

)

 

i

 

=

 

,

 

 

 

 

 

 

 

− λ

 

 

 

= θ ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eiA f I (

 

 

A )ei I

 

 

 

 

 

 

 

 

 

образую т базис

 

Lk −1

 

 

и

 

 

 

 

 

dim k

−1

=

 

+

 

 

.

p

А н алогич н о

векторы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 L p2

 

 

 

 

 

 

 

 

1 2

e

p1

e,

 

e,

2

,...,

f

p1

f,

 

 

f,

 

 

2

,...,h

 

 

h,

h,

+1

,...,

+2

 

e

 

 

e,,f

e,,...f ,

+2

,...,

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

p1

 

 

 

 

 

 

 

p2

p 1p1

+1 p 1 p1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f p

2

,

 

 

 

+1,

 

 

 

+2 ,...,ep e, p

 

e p

 

 

 

 

 

гд е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

2

 

 

 

 

2

 

 

 

 

 

 

 

( − λ )

 

= gA,

h I( − λ )

 

 

= e A,

 

g (I − λA )e I= θ

 

 

 

 

 

 

i

i

 

 

 

 

 

( p3

( p3 ³ p2 )

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

ч исло лин ейн о н езависимы х

собствен н ы х векторов

 

оператора A,

сод ерж ащих сяв под простран ств е Lk − 2 ) образую тбазис в

Lk − 2 ,

 

размерн ость которого равн а

 

 

 

 

 

+

 

 

 

+ p .

Продp

олж аярассуж д ен ия,

получ им

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

31

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

базиспростран ств а E . Э тотбазисн азы ваетсяжордановым базисом .

 

 

 

 

2.3.1. Ж орданова цепочка векторов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим векторы e

 

 

 

i =

 

 

 

 

 

p )

из

 

L,...,. (О н2,и1являю тся образами

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

векторов

fi

 

i =

 

 

 

 

p1)

 

под простран,..., ( 2, 1ства Lk −1 ,

которы е в

свою

оч еред ь

 

яв ляю тся образами векторов

 

g

i

 

i =

 

 

 

 

 

 

p ) из L,..., (и2,т1.д .

Сов окупн ость

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

k −2

 

 

 

 

 

 

 

 

векторов

e ,

f , gii

iпри ф иксирован н ом i

н азовем жордановой цепочкой

 

векторов д лин ы

k +1. Т акимобразом, мы

 

 

получ или p1 ж орд ан овы х цепоч ек,

 

каж д аяиз которы х состоит из

 

 

k +1 векторов. Рассмотримтеперь в екторы ei

 

=

+

 

 

+

 

 

p )

1

из ,...pL, i(

 

,2p каж,д1ому

 

 

из

 

э тих

векторов

 

такж е

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

1 k −1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

соответствуетцепоч каиз k в екторов

 

 

 

 

 

 

 

 

,...,hi ,

 

,e=gii

f i+

+

 

p2 ). 1

,...p1, i( 2p

 

 

 

 

 

 

 

 

 

28

 

 

 

 

 

 

 

 

 

 

 

 

 

 

М ы , таким образом, получ или д ополн ительн о

p2 - p1

ж орд ан овы х

цепоч ек

 

д лин ы k .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p3 p2

 

 

 

 

Рассуж д аяан алогич н ы мобразом,

получ имд алее

ж орд ан овы х

 

цепоч ек д лин ы k −1,

 

p4 - p3

 

 

цепоч ек д лин ы

k − 2

 

и т.д .

Н акон ец,

 

получ им pk +1 - pk

цепоч ек д лин ы

1,

то есть цепоч ек,

состоящих из од н ого

 

собствен н ого в ектора оператора A. Зд есь

pν

ч исло лин ейн о н езав исимы х

 

собствен н ы х

векторов оператора

A, сод ерж ащих ся в

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

Lk +1−ν ,

 

размерн ость которогоравн а

 

...

 

 

pν

 

 

p

 

k

 

 

 

 

,..., (

2, 1

 

 

 

 

1

+

2

+

+

ν =

 

+ .

 

 

 

 

 

 

 

 

 

 

p

 

 

)1

 

 

 

Т акимобразом, общее ч ислож орд ан ов ы х цепоч ек равн о

,

 

p

p

p

 

+

 

-

 

+

 

 

+

 

 

-

)

=

 

 

=

 

-

 

 

 

 

 

 

 

 

 

 

+

 

 

kk +1

 

( (

r... n )

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

1

 

11

2

то есть ч ислу лин ейн о н езависимы х

собствен н ы х

векторов оператора A,

и их

 

суммарн аяд лин арав н а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ ... +

k +1 = n,

1 )p2 k

 

+

+

-

 

+

 

+

 

 

+ -

 

×

=

 

+

 

1

тоесть размерн остипростран ств а E .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

О тметим еще

раз

соотн ош ен ия меж д у в екторами од н ой

ж орд ан овой

 

цепоч ки:

 

 

 

 

 

(

 

- λA )e1 I=θ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( − λ ) 2 = e1A e I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( - λ ) 3 = e2A e I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

… … … … ..

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

( - λ ) k +1 = ek A e I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 = λe1

 

Ae

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= λ

 

+2e1

e2

 

 

Ae

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= λ

 

+3e2

e3

 

Ae

 

 

 

 

 

 

 

 

 

 

 

 

 

 

… … … … ..

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1 = λ +1 +kek .

 

ek

 

 

 

Ae

 

 

 

 

Е сли

векторы

цепоч ки

 

 

 

 

k

,e , e ,...вeклю, e ч ить в

базис,

то э той

 

 

 

 

 

 

 

 

 

 

 

 

k +1

 

 

1

 

2

 

 

s

 

 

 

цепоч ке в матрице буд етсоотв етствовать клеткаиз

n

строч ек и

столбцов

 

( s – д лин аж орд ан овой цепоч ки) вид а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p(

k

 

 

 

 

 

 

 

 

 

29

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

 

 

 

 

 

0

ö

0

0 ... 0

0

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

...

÷

 

 

 

...

...

...

...

 

 

 

 

 

 

ç

 

 

 

 

 

÷ ...

 

 

 

 

 

 

 

ç λ

 

 

 

 

 

0

÷

0

... 1

0

 

 

 

 

 

 

 

 

 

ç

λ

 

 

 

 

0

÷

0

0 ...

 

1

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

...

÷

 

 

 

...

...

...

...

 

 

 

 

 

 

ç

 

 

 

λ

 

÷ . ...

 

 

 

 

 

 

 

ç

 

 

 

 

1 ÷

 

0 ... 0

0

 

 

 

 

 

 

 

 

 

ç

 

 

 

0 0λ...÷0

0

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

...

÷ ...

 

...

...

...

...

 

 

 

 

 

 

ç

 

 

 

 

 

0

÷

0

0 ... 0

0

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

ø

 

 

 

Поэ тому в

построен н ом ж орд ан ов ом базисе

матрица оператора буд ет

 

иметь в ид

 

æ Jn

 

 

0 M

0 ö

 

Jn

 

 

 

 

 

 

 

 

 

 

 

 

M

 

æ

 

M

 

 

 

ö

 

 

 

 

 

ç

1

×

 

 

 

×

÷

ç

1

 

 

 

L ×

÷

 

 

 

 

 

ç

 

 

 

 

L ÷

ç L ×

 

÷

 

 

 

A

f

= ç

0 M J

n2

M

0 ÷

= ç

 

 

M

J

n2

M

÷

,

 

 

 

ç

 

×

 

 

×

÷

ç

 

 

×

 

 

 

÷

 

 

 

 

 

ç

 

 

 

 

L ÷

ç

L

 

 

L ×

L ÷

 

 

 

 

 

ç

0 M

 

0 M

÷

ç

 

 

 

 

 

 

 

÷

 

 

 

 

 

è

 

Jnm ø è

 

 

 

 

 

 

M

Jnm ø

 

 

 

 

 

 

 

 

 

 

æλ

 

 

 

0

ö

01 ...

 

 

 

 

 

 

 

 

 

 

 

 

ç

λ

 

 

 

÷

0 ...

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

00÷

 

 

 

 

 

гд е

 

 

 

A

f

= ç

 

 

 

...

÷

 

...

...

...

 

...

 

 

 

 

 

 

 

ç

 

 

λ

1

÷

 

 

...0

0

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

0 λ...ø0 0

 

 

 

 

 

 

матрица, н азы ваемаяж орд ан овой клеткой поряд ка n j ,

m

ч ислож орд ан овы х

 

цепоч ек, а

 

1 +

2 + ... +

 

m = n .

n

n

n

 

 

 

 

 

 

 

 

 

 

М атрица Af

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

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

Структура ж орд ан овой матрицы в

рассматриваемом случ ае опред елен а,

 

если известн ы поряд ки

 

n j

( j =1,2,...,m) ж орд ан овы х

клеток.

В озн икает

 

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

30

 

 

 

 

 

 

 

1

= ( − λ )EL,I

 

2

=A( - λ )2 E ,LI ,

 

A = ( - λ )k E ,LI

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

I

 

( A

 

I )

2

k

 

( A

 

I )

k .

 

 

 

 

 

 

а зн ач ит,

 

с ран гами матриц

 

 

,

 

, …

,

 

Н айд ем

 

 

 

 

 

 

− λ

 

 

- λ

 

 

 

- λ

 

 

 

яв н ы е ф ормулы д ляопред елен ияд лин ж орд ан овы х цепоч ек.

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

ν

 

=

 

(

- λI )ν , Aqrs

rangколич ество цепоч ек д лин ы

 

s .

М

ы

 

 

показали ран ее, ч то имеется

p1

 

цепоч ка максимальн ой

д лин ы

 

k +1,

гд е

 

 

p1 = dim Lk ,

то есть

p1 = rk

 

и

qk +1 = rk . Ж орд ан овы х

цепоч ек д лин ы

k

 

 

буд ет

 

k

=

 

2

qp1

,

p

p2

=

dim Lk −1

,

 

то есть

 

2

=

k −1

rkp

 

r

 

 

 

 

 

 

 

 

 

 

гд е

 

 

 

 

 

 

 

 

 

 

 

 

.

Зн ач ит,

 

 

=

 

 

−1

 

 

.

 

 

rk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2rk

qk

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

 

 

p

 

 

 

 

p

 

 

 

 

 

 

 

 

Т ак как ч исло ж орд ан овы х цепоч ек д лин ы

равн о

 

2

 

 

 

 

,

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1− s+

kk + − s

 

 

=

 

 

+

 

 

+ ... +

 

k

ν

=

 

+ r

r

 

 

 

 

p

и,

 

r p

 

pслед овательн о,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 2

−ν +

 

 

ν

2 −ν +

 

 

 

12

 

 

1

 

 

 

 

 

 

k 2 s

=

 

 

 

pr

, тоr

 

=

 

 

 

− − −

 

 

=

 

 

− 2 + r

 

,)r (гд е r(

) r

r

 

 

ν −1

 

+ν −

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s+1

s1

 

s −1

s−1

 

 

 

 

s = 1,2,...,k −1;

r0 = n ,

r1 = r ,

 

rk +1 = rk + 2 =

 

= 0. ...

 

 

 

 

 

 

 

 

 

 

Т аким образом,

мы

опред елили колич еств о всех

 

ж орд ан овы х

 

клеток

 

 

размеров

 

s × s и темсамы мколич ество всех клеток, состав ляю щих ж орд ан ову

 

 

клетку J .

 

 

 

 

 

 

 

 

Af

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

qs .

 

 

 

 

 

 

Ж орд ан ова матрица

опред елен а,

 

если известн ы

велич ин ы

 

Н о

 

 

=

 

 

−1

2

 

+

rs +1 rs qs

rs

 

 

 

 

 

 

(

- λ

)

rν

 

 

I

 

 

A

 

rang

 

 

 

 

 

 

 

 

 

 

 

и так как

 

 

 

 

 

 

ν =

 

 

 

н е

зависит от

 

 

вы бран н огобазиса, тои qs

 

н е зав иситотвы бран н огобазиса.

 

 

 

 

 

 

 

 

 

 

 

 

Т акимобразом,

ж орд ан ова ф орма матрицы

 

ед ин ствен н а с точ н остью

 

д о

 

 

поряд кав располож ен ииж орд ан овы х клеток.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

 

 

 

 

 

 

 

− 3

ö

 

26

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

-

 

 

-

 

 

 

 

 

3

÷

33

 

1

 

 

 

 

 

 

При м ер.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

Д ан аматрицаоператора Ae = ç

 

 

 

 

 

 

-

 

- 3

÷ .

22

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

-

 

 

 

 

 

 

 

5

÷

51

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

 

 

ø

 

 

 

 

 

 

 

 

 

Н айтиж орд ан овуф ормуматрицы

Ae .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ре ш е н ие.

Характеристич еское урав н ен ие

 

- λ

 

-

- 3

62

 

5

 

 

 

A λI |=

-)λ |

-

- λ-

3

3

3

1

 

 

 

= λ (-

)42

 

e

 

 

λ

- 3-

-

2

1

 

 

 

 

-

 

 

5 - λ

5 1

1