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

Линейная алгебра. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
698 Кб
Скачать

W+V ( W V)

W

 

 

C1 C2

A1 A2 A3

B1 B2 B3 B4

 

 

 

 

 

 

 

 

V

 

 

 

 

 

 

 

W V

 

 

 

 

 

 

 

 

Рис. 1.2. Построение базиса в +

 

 

 

 

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

Б = { 1, 2, . . . , }

базис

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

ства

. Дополним его

до базиса ЛП (что

возможно по

теоре-

ме 1.2.4),

получим

базис Б

= { 1, 2, . . . , , 1, 2, . . . , }.

Теперь

допол-

ним

базис

Б

до базиса

линейного пространства

, получим

базис

Б = { 1, 2, . . . , , 1, 2, . . . , } (рис.1.2). Чтобы проверить, является ли си- стема Б + = { 1, 2, . . . , , 1, 2, . . . , , 1, 2, . . . , } базисом суммы + , нужно убедиться в том, что, во-первых, эта система векторов линейно независима, и, во-вторых, что всякий вектор из + представляется линейной

комбинацией векторов из Б + . Оба утверждения очевидны и их доказательства подробно расписывать не будем. Теорема доказана.

Теорема 1.4.7 (о вычислении суммы и пересечения подпространств).

Если Б = { 1, . . . , } — базис линейного пространства и

 

 

 

11 1 + . . . + 1 = 0

= 1, . . . , , . . . = 1 1 + . . .

+

1 1 +

 

 

 

. . .

,

 

 

 

 

 

 

+ = 0

=

1, . . . , , . . .

 

=

1 1 + . . . +

11 1 + . . . + 1

=. .0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

+ . . . +

 

 

= 0

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейного пространства

 

 

, то

 

 

 

 

 

 

 

 

+ = 1, . . . , , . . . , 1, . . . , , . . . ,

 

 

 

(1.11)

41

 

 

 

11 1 + . . . + 1 = 0

 

 

=

 

 

+ . . . +

 

1 1

+ . . . + =. .0.

.

(1.12)

 

 

 

 

1

1

 

 

 

 

 

+ . . . +

 

 

= 0

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. . .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1 + . . .

+ = 0

 

Замечание. 1. Чтобы задать сумму + подпространств и , удобнее иметь описание ЛП в виде линейных оболочек:

= 1, . . . , ,

= 1, . . . , + = 1, . . . , , 1, . . . , .

2. Чтобы задать пересечение ∩ подпространств и , удобнее иметь описание ЛП в виде СЛУ (в одинаковом базисе Б!):

:

11 1 + . . . + 1 =. .0.

 

 

 

 

 

11 1 + . . . + 1 =. .0.

 

1 1

+ . . . +

= 0

 

 

 

 

:

 

1 1 + . . . + = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

+ . . . +

 

 

= 0

 

 

 

 

 

11

 

+ . . . +

 

 

= 0

 

 

1

 

1

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

. . .

 

 

 

 

 

 

 

 

 

 

 

. . .

 

1 1 + . . . + = 0

 

 

 

 

1 1 + . . . + = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 1.4.4. Если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

подпространства линейного пространства

над полем и ∩ = { }. Тогда сумма + подпространств и

называется прямой суммой. Прямая сумма подпространств обозначается через .

Теорема 1.4.8 (критерий прямой суммы подпространств). Пусть

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

Следствие. = , тогда и только тогда, когда

dim = dim + dim = dim( + ).

Вопросы для самоконтроля

1.Сформулируйте определения линейного пространства, линейно зависимых

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

42

2.Сформулируйте определения базиса и размерности линейного пространства, координат вектора в данном базисе.

3.Сформулируйте определение матрицы перехода из базиса в базис, приведите формулу связи координат вектора в разных базисах. Перечислите свойства матрицы перехода.

4.Сформулируйте признак линейной зависимости векторов в пространстве

R .

5.Сформулируйте определение и признак подпространства.

6.Сформулируйте определения суммы и пересечения подпространств. Сформулируйте теорему о размерности суммы подпространств.

7.Сформулируйте определение линейной оболочки системы векторов. Задание подпространства с помощью однородной системы линейных уравнений. Переход от одной формы описания подпространства к другой.

43

Глава 2

Линейные операторы

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

2.1. Основные понятия

2.1.1. Определение и примеры линейного оператора

Определение 2.1.1. Пусть и — линейные пространства над полем .

^

Линейным оператором из ЛП в ЛП называется функция :

такая, что для любых векторов ,

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

место равенство ^

^

^

( + ) = ( ) + ( ).

В этом курсе в основном рассматривается частный случай, когда = .

Определение 2.1.2. Линейным оператором линейного пространства

^

такая, что

над полем называется функция :

, , , ,

или, в эквивалентной форме

, , ,

^

 

^

^

( + ) = ( ) + ( )

{

^

^

 

^( + ) = ^( ) + ^( ).

 

( ) = ( ),

 

(2.1)

(2.2)

Как видим, преобразование (функция) на ЛП является линейным оператором, если, по определению, оно «сохраняет» линейные операции — сложение и умножение на число. Далее приведем примеры линейных операторов (сокращенно ЛО).

44

Пример 2.1.1 (линейные операторы в 2 и в 3). В геометрическом ЛП линейные операторы есть геометрические преобразования плоскости 2 или пространства 3. Но не все преобразования являются ЛО.

1. Поворот плоскости 2 на угол (рис. 2.1, а). Точнее:

^ : 2 2

^ ( ) =

{ (| |, )|=|

.

 

 

 

=

 

Конечно, в случае > 0 поворот происходит против

̂

 

 

 

 

часовой стрелки, в случае

< 0 — по часовой стрелке. Это преобразование плоскости — ЛО. Действи-

тельно, проверяя равенства (2.2), имеем ^

^

( )

= ( ). Равенство верно,

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

проверки второго равенства: ^

^

^

( + ) = ( ) + ( ).

2. Ортогональная проекция векторов ЛП 3

(или 2 ) на направление век-

тора (рис. 2.1, б). Дадим определение ортогональной проекции и приведем формулу для ее вычисления через скалярное произведение векторов (обозначе-

ние ( , )):

^ : 3 3

^ ( ) =

0

 

 

( , )

 

2

↑↑

 

 

 

| | = | | · | cos( , )|

 

 

 

 

 

 

̂

 

 

 

 

 

2

< ( , )

 

 

 

↑↓

 

 

 

(

)

̂

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

(2.3)

 

 

 

 

 

 

 

 

 

 

 

 

( ) = ( ,) . ̂

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

Проекция является ЛО. Проверка линейности, т. е. равенств (2.2), имеет геометрический характер.

а ^

( )

6 б

7

YH

1

A

AU

^

( )

 

A

 

 

 

7A

 

 

 

 

A

*

 

 

 

 

 

*

 

 

 

 

 

 

^

 

 

 

 

( )

 

в

 

A

 

 

 

7A

 

 

 

 

A

 

 

 

A *

 

 

A

 

 

 

 

 

 

 

*A

 

 

 

A

 

 

-AU

^

 

 

 

 

( )

Рис. 2.1. Геометрические ЛО: а – поворот в плоскости на угол ( > 0);

б – ортогональная проекция вектора на ось вектора ; в – симметрия вектора

относительно оси вектора

3. Симметрия ЛП 3 (или 2 ) относительно прямой с направляющим вектором (рис. 2.1, в). Симметричный вектору вектор строится через ортогональную проекцию на направление вектора . Таким образом,

^

3

3

 

^

 

^

^

:

 

 

( ) =

= 2 · ( ( ) − ) + = 2

· ( ) − .

45

Получена формула

^

( , )

 

 

 

( ) = 2 ·

 

− .

(2.4)

( ,)

Симметрия относительно прямой — ЛО.

 

 

 

4. Ортогональная проекция ^

 

 

3

на плоскость с нормальным

векторов ЛП

 

вектором (рис. 2.2, а). Формула проекции на плоскость выводится с помощью

проецирования

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на направление вектора . В результате получим

 

 

^

 

 

 

 

^

 

( , )

 

 

 

 

 

 

 

 

( ) = − ( ) = −

 

 

.

 

(2.5)

 

 

( , )

 

Преобразование

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

является ЛО.

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

( )

б

 

 

 

 

 

6

 

 

 

 

 

 

7

6^

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6 HH

 

 

 

6 HH

 

 

 

 

^

H

 

 

 

 

1

 

H

 

 

1 ( )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

 

 

 

 

 

 

 

H

 

 

P

 

 

 

 

 

 

HH

 

 

 

 

 

HH

PqP ^ ( )

Рис. 2.2. Геометрические ЛО на 3: а – ортогональная проекция вектора на плоскость с

нормальным вектором ; б – симметрия вектора относительно плоскости с нормальным вектором

5. Симметрия ^

3

относительно плоскости с нормальным

векторов ЛП

 

вектором . Геометрический вывод формулы симметрии также можно проследить на рис. 2.2, б). В итоге

^

^

( , )

 

 

( ) = − 2 ( ) = − 2

( , )

.

(2.6)

Преобразование ^

 

 

 

 

является ЛО.

 

 

 

6. Параллельный перенос

^

 

 

3 на ненулевой вектор

 

( ) = + векторов ЛП

 

не является ЛО.

Пример 2.1.2 (линейные операторы на негеометрических ЛП).

1. Преобразование дифференцирования на ЛП ( ) — многочленов степени

^

не выше, чем : ( ( )) = ( ), ( ) ( ).

2. Преобразование на ЛП матриц × , определенное формулой

^ · ·

( ) = , × , матрицы , заданы.

46

3. Преобразование

на

арифметическом ЛП

R3, определенное формулой

^( ) = ^( 2

) =

21

1

+ 22

2

+ 23 3

 

= ·

2

,

 

1

 

 

 

11

1

+ 12

2

+ 13 3

 

 

 

1

 

 

= ( ),

 

31 1 + 32 2 + 33 3

 

3

3.

 

 

3

 

 

 

 

 

 

3

 

 

 

R

заданная матрица размерности

 

×

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Как видно из приведенных примеров, природа элементов ЛП определяет и преобразования данного ЛП. Но элементы любого ЛП могут описываться универсально — через координаты в данном базисе. Законно поставить вопрос об универсальном, «координатном», способе описания ЛО. Этому посвящен следующий раздел.

2.1.2. Матрица линейного оператора

^

Определение 2.1.3. Если — ЛП над полем и является линейным

^

оператором линейного пространства , то матрица оператора в базисе Б = { 1, 2, . . . , } определяется равенством

^

( ) =

^

^

(2.6)

, Б = ( ) Б = ([ ( 1)]Б . . . [ ( )]Б).

=1

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

Запишем определение, более подробно расписывая все матрицы и используя обозначение столбцов координат (1.1):

Б =

21

22 . . .

2

= ([ ^( 1)]Б[ ^( 2)]Б . . . [ ^( )]Б);

 

 

11

12 . . .

1

 

 

 

 

 

 

. . .

. . . . . . . . .

 

 

 

 

 

1

2 . . .

 

 

 

 

 

^

 

 

 

 

 

 

 

^

+ 2 2 + . . . + ;

( 1) = 11 1 + 21 2 + . . . + 1 ,

. . . , ( ) = 1 1

21

= [ ^( 1)]Б,

22

= [ ^( 2)]Б, . . . , 2 = [ ^( )]Б.

11

 

 

 

 

12

 

 

1

 

. . .

 

 

. . .

. . .

1

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так же как для матрицы перехода (с. 30), можно сделать компактную матрич-

ную формулу, вводя матрицы-строки ^ ^(e) и e, состоящие из векторов ( ) и

47

соответственно:

^(e) = (

^( 1) . . .

^( ) )

= e · ( [ ^( 1)]Б . . .

[ ^( )]Б )

= e · Б.

Итак,

 

 

^

 

 

 

 

 

 

(2.7)

 

 

 

(e) = e · Б.

 

Используем ее для доказательства следующей теоремы.

Теорема 2.1.1 (о координатах образа вектора). Пусть — ЛП над полем , Б = { 1, . . . , } — некоторый базис этого пространства; Б — мат-

рица линейного оператора ^

 

в базисе Б. Тогда для любого вектора спра-

ведливо равенство

 

^

(2.8)

[ ( )]Б = Б · [ ]Б.

Доказательство. Прямое следствие из определений. В самом деле,

 

 

^

^

 

 

 

( ) = e · [ ( )]Б

 

^

^

^

 

 

( ) = (e · [ ]Б) =

(e) · [ ]Б = (e · Б) · [ ]Б = e · ( Б · [ ]Б)

 

линейность

 

(2.7)

 

 

 

^

^

в силу однозначности координат [ ( )]Б = Б · [ ]Б.

Теорема доказана.

Пример 2.1.3 (вычисление матрицы ЛО).

1. В пространстве

 

2 задан базис Б

 

},

 

причем

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= { ,

 

 

 

 

 

 

 

| | =

| | = 1,

 

 

Найдем матрицу ЛО ортогональной проекции на ось вектора

(рис.2.3, а):

^

где

 

 

 

, в базисе Б. По определению матрицы ЛО, нужно найти

,

 

= +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

координаты

 

 

^

 

 

Б и

^

 

Б. Для этого подействуем оператором на

и

 

 

 

 

[ ( )]

 

[ ( )]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

вычислим образы по формуле (2.3):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

^ ( ) =

 

( , )

 

=

 

| || | cos

4

=

 

2

 

( + ) =

 

+

 

 

 

[ ^

( )]Б =

 

2

;

 

( ,)

 

 

2 2

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

2

 

 

(

2 )

 

 

 

 

 

 

 

 

 

 

|

|

 

 

 

 

·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

(

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^ ( ) =

 

( , )

=

| || | cos

4

=

 

2

2

( + ) =

 

 

+

 

 

 

 

[ ^

( )]Б =

2 .

 

 

 

 

2 2

 

 

 

 

 

 

 

( ,)

 

 

 

 

2

 

 

 

 

 

 

2

 

2

 

 

2 )

 

 

 

 

 

 

 

 

 

|

|

 

 

 

 

·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

). Конечно, задача может быть реше-

В результате получили Б =

1

 

 

1

( 1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

22

на геометрически через свойства прямоугольных треугольников, так как базис

48

в данном случае удобно расположен по отношению к вектору . Но нахожде-

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

Сдругой стороны, в базисе Б эта задача решена и через координаты

легко

вычисляются координаты его проекции по формуле (2.8) из теоремы 2.1.1:

если

 

 

^

 

 

 

·

 

 

 

(

1

1

)·

( 2 )

(

1

( 1

+ 2) )

,то

Б

 

Б

Б

 

2

2

2

= 1 + 2

 

[ ( )]

 

=

 

 

[ ]

 

=

 

1

1

 

 

=

1

 

.

а

6@@

@

@

^ ^(@) = ( )

@-

^

( )

б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

6

 

 

 

 

 

 

 

^

 

 

 

 

 

 

7

 

}Z

 

 

 

 

( )

Z

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

Z

Z

-

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

 

^

Рис. 2.3. Вычисление матрицы ЛО: а – ортогональной проекции на направление

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вектора ; б – поворота на угол .

 

 

 

 

 

 

 

 

2. В пространстве

 

2

задан базис Б

 

 

 

},

причем

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= { ,

 

 

| | =

| | = 1,

 

Найдем матрицу ЛО поворота

 

^

на угол

 

 

. Координаты

^

 

Б и

 

^

 

Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[ ( )]

 

[

( )]

 

находятся геометрически (рис.2.3, б):

[ ^ ( )]Б =

(

sin )

 

 

 

 

 

 

 

 

^ ( ) = cos + sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

 

 

 

 

 

^

 

( ) =

 

 

sin + cos

 

 

[ ^

 

( )]Б =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б = (

 

 

 

 

cos ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

(2.9)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

 

sin

 

 

 

 

 

 

 

3. В арифметическом пространстве R3 возьмем канонический базис

 

 

 

 

Б = 1 =

 

0

 

, 2 =

 

1

 

, 3 =

 

0

и вычислим матрицу ЛО ^( )

 

 

 

1

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

0

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

в этом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

+ 2 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

базисе, если

) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^( ) = ^(

2

 

1

 

3

. Действуем на базисные векторы опе-

ратором ^

 

 

3

 

 

 

3

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

1 + 2· 0 = 0

 

, ^( 2) = ^( 1 ) =

0 ,

^( 1) = ^( 0 ) =

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

0

 

 

 

1

 

 

 

 

 

 

 

0

 

 

 

2

 

 

 

0

 

0 − 0 0

 

 

 

0 −1

49

— матрица перехода из

^( 3) = ^( 0 ) =

1

Б =

0

0

1 .

0

0

 

1

2

0

1 1

 

0

−1

1

Матрица вычислена.

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

Теорема 2.1.2 (о связи матриц оператора в разных базисах). Пусть

— ЛП над полем , Б, Б— базисы ЛП , ББ

базиса Б в базис Б, ^ — линейный оператор пространства . Тогда

 

Б

= −1

Б

·

Б

Б

.

(2.10)

ББ·

 

 

 

 

Доказательство. По теореме 1.3.2 о координатах вектора в разных базисах и теореме 2.1.1 о координатах образа вектора для любого вектора :

 

[ ^( )]Б

= −1

 

[ ^( )]Б =

 

 

 

=

 

 

 

 

 

(1.6)

Б→Б·

 

 

 

(2.8)

 

[ ] .

 

 

 

[ ]

=

′ Б

Б

 

 

1

·

 

Б

·

 

Б

 

1

 

·

·

Б

 

·

Б

Б→Б

 

 

Б→Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак,

[ ^( )]Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −1

 

Б

·

Б

→Б·

[ ]Б

.

 

 

 

 

 

 

 

Б→Б·

 

 

 

 

 

 

^·

Сдругой стороны, [ ( )]Б= Б[ ]Б. получили равенство

−1

Б

·

Б

→Б·

[ ]Б

= Б

·

[ ]Б

.

ББ·

 

 

 

 

 

 

 

Поскольку — любой вектор, то

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

·

Б

·

Б

→Б

= Б

.

 

 

Б→Б

 

 

 

 

 

 

 

 

Теорема доказана.

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

Как известно, функции, например действительные функции, можно складывать, умножать на коэффициенты и создавать сложные функции. ЛО — функция на ЛП, и на ЛП есть операции сложения и умножения на число. Значит, можно определить операции сложения, умножения на коэффициенты и умножения (в смысле создания сложных функций) на множестве линейных операторов, действующих на данном ЛП.

50

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