Линейная алгебра. Учебное пособие
.pdf
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
