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

LinearSpaces_2013

.pdf
Скачиваний:
40
Добавлен:
07.03.2016
Размер:
1 Мб
Скачать
☆

 

для довільних a, b V1 та , F A (a b)

A (a) + A (b) .

 

1.14. Елементарні властивості лінійних відображень.

1.

Якщо 1 V1 , 2 V2 – нульові елементи, то A ( 1 ) 2 .

2.

Якщо a V1 , то A (a) A (a) .

 

3.

Якщо a1 , a2 , , ak V1 , 1 , 2 , , k F , то A

(1a1 2 a2 k ak )

 

1 A (a1 ) + 2 A (a2 ) + + k A (ak ) .

 

 

Два лінійні відображення A :V1 V2 і B :V1

V2 будемо вважати

рівними, якщо вони співпадають як відображення, тобто, для довільного

x V1 A (x) B ( x) .

 

 

 

 

 

Якщо V1 V2 V , то лінійне

відображення

A :V V

називають

лінійним перетворенням простору V або лінійним оператором на просторі

V .

 

 

 

 

 

Лема.

 

 

 

 

 

Нехай V – скінченновимірний простір над полем

F , a1 , a2 , , an –

деякий фіксований базис простору V ,

b1 , b2 , , bn V – система векторів, тоді

існує єдине лінійне перетворення

A

:V V

таке,

що

A (a1 ) b1 ,

A (a2 ) b2 , , A (an ) bn .

 

 

 

 

 

1.15. Матриця лінійного перетворення в базисі.

 

Нехай A :V V – лінійне перетворення скінченновимірного простору

V , a1 , a2 , , an – деякий базис простору, тоді вектори A

(a1 ),

A (a2 ), ,

A (an ) лінійно виражаються через цей базис:

 

 

 

A (a1 ) 11a1 21a2 n1an , A (a2 ) 12 a1 22 a2 n 2 an ,

…

A(an ) 1n a1 2 n a2 nn an .

Зкоефіцієнтів складемо таку матрицю:

11

A 21

n1

 

 

 

 

 

12

 

1n

22

2 n

 

 

.

 

 

 

 

 

n 2

 

 

nn

11

Матриця Α називається матрицею лінійного перетворення A в базисі a1 , a2 , , an . Для того, щоб скласти матрицю лінійного перетворення A в базисі a1 , a2 , , an , необхідно в її стовпчики послідовно виписати координати векторів A (a1 ), A (a2 ), , A (an ) в цьому базисі.

1.16. Властивості матриць лінійних перетворень.

1)Лінійні перетворення скінченновимірного простору рівні тоді і тільки тоді, коли в деякому базисі їх матриці співпадають.

2)Нехай V – векторний простір розмірності n над полем F , a1 , a2 , , an –

деякий базис простору, C (

ij

)n

– квадратна матриця порядку n з

 

i, j 1

 

 

елементами з поля F . Тоді існує єдине лінійне перетворення простору V ,

якому в даному базисі відповідає матриця C .

 

3) Нехай A – матриця лінійного

перетворення A в базисі

a1 , a2 , , an .

Вектори базису a1 , a2 , , an і образи базисних векторів A (a1 ),

A (a2 ), ,

A (an ) задаються в деякому іншому базисі. B, C – квадратні матриці

порядку n , стовпчики яких складаються з координат системи векторів a1 , a2 , , an і A (a1 ), A (a2 ), , A (an ) відповідно. Тоді виконується

матрична рівність C BA

1.17. Обчислення координат образу вектора при лінійному перетворенні.

Теорема.

Нехай A – лінійне перетворення скінченновимірного простору V ,

якому в базисі

a , a

2

, , a

n

відповідає матриця

A (

ij

)n

,

x 1 , 2 , , n V

1

 

 

 

 

 

 

 

 

 

i, j 1

 

– деякий

 

вектор,

A

(x) 1 , 2 , , n , вектори

задаються координатами в цьому ж базисі, тоді має місце матрична рівність:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

1.18. Поняття ядра та образу лінійного перетворення.

Нехай A – лінійне перетворення векторного простору V над полем F . Ядром Ker A лінійного перетворення A називається множина

Ker A {x V | A (x) }.

12

Ядро лінійного перетворення є підпростором.

Дефектом def (A ) лінійного перетворення A скінченновимірного

простору називається розмірність його ядра:

def (A ) dim Ker A .

Лінійне перетворення A називається невиродженим, якщо

Ker A { }.

Образом Im A лінійного перетворення A називається множина

Im A { A (x) | x V }.

Образ лінійного перетворення є підпростором.

Рангом лінійного перетворення A скінченновимірного простору V називається розмірність образу лінійного перетворення:

r (A ) dim Im A .

Теорема (про розмірність ядра та образу лінійного перетворення).

Нехай A – лінійне перетворення векторного простору V , dimV n ,

тоді dim Ker A dim Im A n .

З цієї теореми та наведених вище означень випливає, що

def ( A ) + r (A ) dimV n .

1.19. Алгебра лінійних операторів.

1.Нульовим оператором називається такий оператор O , що для будь-якого

xV O (x) .

Нульовому оператору O в довільному базисі відповідає нульова матриця.

2.Одиничним оператором називається такий оператор E , що для будьякого x V E (x) x .

 

Одиничному оператору E в довільному базисі відповідає одинична

 

матриця.

 

 

 

 

 

 

 

 

 

 

3.

Сумою двох лінійних операторів A і B

називається такий лінійний

 

оператор A +B ,

що для довільного x V

(A + B ) (x) A (x) B ( x) .

 

Сумі операторів в довільному базисі відповідає сума матриць операторів в

 

цьому базисі.

 

 

 

 

 

 

 

 

 

4.

Якщо A – лінійний оператор на векторному просторі V

над полем

F ,

 

F , то

під A

розуміється

лінійний

оператор,

такий

що

для

 

довільного

x V

( A

) (x) A

( x) .

Матриця оператора

A

в

 

довільному базисі дорівнює матриці оператора A

в

цьому базисі,

 

помноженої на .

 

 

 

 

 

 

 

 

 

5.

Добутком двох лінійних операторів A і B

називається такий лінійний

оператор A B , що для довільного x V (A B ) (x) A (B ( x) ). Добутку

13

операторів в довільному базисі відповідає добуток матриць операторів в цьому базисі.

Лінійні оператори, для яких A B =B A називаються переставними. 1.20. Поняття оберненого оператора.

Нехай A – лінійний оператор на векторному просторі V . Якщо для цього оператора існує лінійний оператор B :V V , такий що AB = BA =E, то оператор B називається оберненим для A і позначається B = A 1 .

Квадратна матриця A називається не виродженою, якщо det A 0 .

Теорема (про обернений оператор).

Для лінійного оператора на скінченновимірному просторі існує обернений оператор тоді і тільки тоді, коли в деякому базисі оператору відповідає невироджена матриця.

Якщо для даного оператора існує обернений, то він єдиний.

Якщо для оператора A існує обернений, і в даному базису оператору A відповідає матриця A , то в цьому базисі оператору A 1 відповідає матриця A 1 .

1.21. Еквівалентні умови існування оберненого оператора.

Нехай A – лінійний оператор на скінченновимірному просторі V , тоді наступні умови еквівалентні:

1.Для A існує обернений оператор.

2.У довільному базисі оператору A відповідає невироджена матриця.

3.Оператор A будь-яку лінійно незалежну систему векторів відображає в лінійно незалежну систему.

4.Оператор A будь-який базис простору відображає в базис простору.

5.Ker A { }.

6.ImA V .

7. Оператор A

взаємно однозначний, тобто якщо x y , то

A (x) A ( y) .

 

1.22. Зв’язок матриць лінійного оператора у різних базисах.

Теорема.

Нехай A – лінійний оператор на скінченновимірному просторі V , якому в базисі B1 {a1 , a2 , , an } відповідає матриця A , а в базисі

14

B2 {b1 , b2 , , bn } відповідає матриця B . Якщо

T – матриця переходу від

базису B

до B

2

, то виконується матрична рівність B T 1 AT .

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Дві

квадратні

матриці

A і

B

 

однакового

порядку

називаються

подібними, якщо існує

квадратна

не

 

вироджена

 

матриця

T ,

така що

B T 1 AT .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.23. Характеристичний многочлен лінійного оператору.

 

Нехай A (

ij

)n

– деяка квадратна матриця порядку

n , t

– деяка

 

 

 

 

i, j 1

 

 

 

 

 

 

 

 

 

 

 

 

змінна. Матриця

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

12

 

 

 

1n

 

 

 

 

 

 

 

 

 

 

21

22 t

2 n

 

 

 

 

 

 

 

 

A tE

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nn t

 

 

називається характеристичною матрицею матриці A .

 

Визначник

(t)

 

A tE

 

 

називається

характеристичним

 

 

многочленом матриці A , а корені

характеристичного многочлена –

характеристичними числами матриці A .

 

Теорема.

Характеристичні многочлени подібних матриць співпадають.

Характеристичний многочлен оператора A на скінченновимірному просторі A (t) – це характеристичний многочлен його матриці в деякому базисі.

1.24. Власні числа та власні вектори лінійного оператора.

Нехай A – лінійний оператор на векторному просторі V над полем F , вектор a V (a ) називається власним вектором оператора A, якщо

A (a) a для F , при цьому відповідний скаляр називається власним

числом або власним значенням оператора A . В цьому випадку вектор a називається -власним вектором, або власним вектором, що відповідає власному числу .

Підпростір L {x V |A (x) x} називається власним підпростором, що відповідає власному числу .

Теореми про власні вектори і числа.

15

Теорема 1. Нехай A – лінійний оператор на скінченновимірному

просторі V над полем F ,

F – власне число оператора. Тоді розмірність

власного

підпростору

L

не

перевищує

кратності

 

як кореня

характеристичного многочлена оператора.

 

 

 

 

 

Теорема 2. Власні вектори лінійного оператора, що відповідають

різним власним числам, лінійно незалежні.

 

 

 

 

 

Теорема 3. Нехай A – лінійний оператор на векторному просторі V ,

1 , 2 , , s

–

 

попарно

різні

власні

числа лінійного

оператора,

a1, a2 , , ak

L 1

 

, b1 , b2 , ,bk

L 2

, …, c1 , c2 , , ck L s – лінійно незалежні

системи

у

 

 

відповідних

власних

підпросторах,

тоді

система

векторів a1 , a2 , , ak , b1 , b2 , ,bk ,…, c1 , c2 , , ck – лінійно незалежні.

 

 

 

 

 

 

 

1.25. Інваріантність.

 

 

 

 

Нехай A – лінійний оператор на векторному просторі V . Підпростір

L V називається інваріантним відносно

оператора

A,

якщо

для

довільного x L

A (x) L .

 

 

 

 

 

 

Теореми про інваріантність.

 

 

 

 

 

Теорема

1. Нехай A – лінійний оператор на векторному просторі V

над полем F і всі ненульові вектори підпростору L є -власним векторами

оператора A

для фіксованого власного числа

F . Тоді підпростір

L є

інваріантним відносно оператора A.

 

 

 

 

 

Наслідок.

 

 

 

 

 

 

 

 

 

 

Нехай

 

 

– власне число лінійного оператора A. Тоді власний

підпростір L

є інваріантним відносно оператора A.

 

 

 

Теорема

2. Нехай A – лінійний оператор на векторному просторі V

над полем

F . Тоді лінійна оболонка довільної множини власних векторів

оператора A є підпростором, інваріантним відносно оператора A.

 

 

Теорема

3. Нехай A – лінійний оператор на векторному просторі V

над полем F . Підпростір L розмірності 1 є підпростором, інваріантним відносно оператора A тоді і тільки тоді, коли базисний вектор з простору є власним вектором оператора.

Теорема 4. Для будь-якого лінійного оператора у скінченновимірному просторі над полем комплексних чисел існує інваріантний підпростір розмірності 1.

16

Теорема 5. Для будь-якого лінійного оператора у скінченновимірному просторі над полем дійсних чисел непарної розмірності існує інваріантний підпростір розмірності 1.

Теорема (про інваріантні підпростори дійсного векторного простору).

Для будь-якого лінійного оператора у скінченновимірному просторі над полем дійсних чисел існує інваріантний підпростір розмірності 1 або 2.

1.26. Лінійні оператори простої структури.

Будемо вважати, що оператор A діє на скінченновимірному просторі V над полем F і dimV n .

Лінійний оператор A називається оператором простої структури, якщо простір V є прямою сумою одновимірних підпросторів, інваріантних відносно оператора A , тобто V M1 M 2 M n , dim M j 1, j 1, n , всі

M j інваріантні відносно A .

Теорема.

Для лінійного оператора A на просторі V наступні умови еквівалентні:

1)A – оператор простої структури;

2)існує базис простору, що складається з власних векторів оператора;

3)існує базис простору, в якому оператору відповідає діагональна матриця.

1.27. Достатня умова оператора простої структури.

Теорема.

Нехай всі корені характеристичного многочлена оператора A попарно різні і належать основному полю F . Тоді A – оператор простої структури.

1.28. Критерії оператора простої структури.

Теорема (критерій 1).

Лінійний оператор A на векторному просторі V є оператором простої структури тоді і тільки тоді, коли

1)всі корені його характеристичного многочлена належать основному полю F ;

2) якщо

1 , 2 , , s

F

–

всі

попарно

різні

корені

характеристичного многочленна, то розмірність кожного власного

підпростору L j

співпадає

з

кратністю j

як

кореня

характеристичного многочлена.

17

Теорема (критерій 2).

Лінійний оператор A на векторному просторі V є оператором простої структури тоді і тільки тоді, коли

1)всі корені його характеристичного многочлена належать основному полю F ;

2)якщо 1 , 2 , , s F – всі попарно різні корені характеристичного многочлена, то V L 1 L 2 L s .

18

2. ПРИКЛАДИ ЗАДАЧ ТА ЇХ РОЗВ’ЯЗУВАННЯ.

1. Довести, що вектори e1 (1, 1, 1), e2

(1, 1, 2), e3

(1, 2, 3) утворюють

базис і знайти координати вектора x (6,9,14) в цьому базисі (афінні координати вектора x ).

Розв’язування.

Вектори утворюють базис тоді і тільки тоді, коли вони лінійно незалежні. Складемо з векторів e1 , e2 , e3 матрицю, записавши вектори в

рядочки. Вектори системи будуть лінійно незалежні, якщо ранг матриці співпадає з кількістю векторів в системі.

1

1

1

 

 

1

 

1

1

 

 

 

 

 

 

 

 

 

 

 

1 1

2

 

 

0

0

1

.

 

2

3

 

 

0

 

1

2

 

1

 

 

 

 

Отже, ранг

дорівнює

3,

тобто вектори e1 , e2 , e3 утворюють базис. Тепер

знайдемо координати вектора x в цьому базисі.

Розкладемо вектор x за базисом e1 , e2 , e3 , тобто запишемо вектор x у вигляді лінійної комбінації векторів e1 , e2 , e3 :

x 1e1 2 e2 3e3 , тобто

 

1

 

 

1

 

 

1

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

2

 

1

 

3

 

2

 

 

9

.

 

 

 

 

 

2

 

 

 

3

 

 

 

 

 

1

 

 

 

 

 

 

14

 

Перепишемо рівняння в матричному вигляді та за допомогою елементарних перетворень отримаємо зліва одиничну матрицю. Вектор, що з’явиться з

правого боку

і буде

нам давати афінні координати вектора

x в

базисі

e1 , e2 , e3 , тобто шукані

1 , 2 , 3 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1

1

 

6

 

 

1 1

1

 

6

1 1

1

 

6

1 1

0

 

3

1 1

0

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

2

 

9

 

0

0

1

 

3

0 1

2

 

8

0

1

0

 

2

0

1

0

 

2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

3

 

14

 

 

0

1

2

 

8

0 0

1

 

3

0

0

1

 

3

0

0

1

 

3

 

Отже,

x e1 2e2 3e3 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

19

2.Довести, що кожна з двох систем векторів є базисом, та знайти зв’язок

координат одного і того ж вектора в цих двох базисах: e1 (1, 2, 1), e2 (2, 3, 3), e3 (3, 7, 1) ;

e'1 (3, 1, 4), e'2 (5, 2, 1), e'3 (1, 1, 6) .

Розв’язування.

Система векторів є базисом, якщо вона лінійно незалежна і кількість векторів в базисі дорівнює розмірності простору. Складемо з координат векторів кожної системи матрицю і покажемо незалежність за допомогою елементарних перетворень.

Для першої системи маємо:

1

23

1

35

2

1

1 2

1

1 2

 

 

 

 

 

 

 

 

 

 

 

3

3

 

0

1

1

 

 

0

1

7

1

 

 

0

1

2

 

 

0

0

 

 

 

 

Аналогічно для другої системи:

1

6

1 1

6

1 1

 

 

 

 

 

 

 

 

 

 

 

1

4

 

 

0

2

22

 

 

0

1

2

1

 

 

0

3

31

 

 

0

0

 

 

 

 

1

1.

1

6

11 .

2

Отже лінійну незалежність доведено.

Позначимо

B1 {e1 , e2 , e3 },

 

 

 

}

– два базиси. Щоб знайти

B2 {e1

, e2

, e3

зв’язок координат одного і того ж вектора в цих двох базисах, необхідно спочатку знайти матрицю переходу T від базису B1 до базису B2 . Для цього

складемо із векторів систем B1 і B2 розширену матрицю, записавши вектори

у стовпчики, і далі використаємо метод елементарних перетворень. Наша мета – з правої частини отримати одиничну матрицю, а з лівої і буде матриця переходу T .

 

 

 

1

1

 

 

 

 

 

 

 

 

1

 

 

 

1 2 3

3 5

2

 

3

3

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

3 7

 

1 2

1

 

0

1

1

5

8

1

 

 

 

 

1

3 1

 

4 1

 

 

0

1 2

1

4

 

7

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

1

1

2 0

 

9

31

 

23

 

1 2 3

3

5

 

 

 

 

0 1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

8

1

 

0

1 0

 

9

 

 

20

 

 

9

 

 

0 0 1

4

12

 

 

 

0

0 1

 

4

 

 

12

 

 

8

 

 

 

8

 

 

 

 

 

 

 

 

1

0 0

 

27

71

41

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

0

 

9

20

9

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

1

 

4

12

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

20

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