Пусть 
– базис линейного пространства X над K, 
и пусть известно действие оператора A на каждом из базисных векторов, т.е. известны векторы 
, 
, ¼, 
. Тогда известно и действие оператора A на любом векторе 
.
В самом деле, 
= 
Таким образом, чтобы задать линейный оператор A, достаточно задать векторы , , ¼, .
Определение 1. Пусть – базис X, . Разложим векторы , , ¼, по базису :
,
..............
Матрицу 
, столбцами которой являются координатные столбцы векторов , , ¼, в базисе , будем называть матрицей линейного оператора A в базисе и обозначать так: [A ] 
.
Кратко определение матрицы линейного оператора в базисе можно записать так:
[A ] 
([ A ] [A ] 
[A ] )
Замечание 1. Матрица линейного оператора в данном базисе определена однозначно, т.к. координаты вектора в данном базисе определены единственным образом.
Замечание 2. Очевидно, матрица единичного оператора в любом базисе – единичная, т.е.: [E ] 
.
Замечание 3. Очевидно, матрица нулевого оператора в любом базисе – нулевая, т.е.: [O ] 
.
Пример 1. Найдем матрицу оператора дифференцирования из примера 3 в базисе 
.
Следовательно, [A ] = 
.
Пример 2. Найдем матрицу линейного оператора A, действующего в пространстве квадратных вещественных матриц второго порядка, т.е. в пространстве X 
(R). Пусть 
и A 
для любой матрицы 
X. Оператор A - линейный, т.к.
A 
A 
A 
для любых чисел 
R и для любых матриц 
X 
(R).
Обозначим через 
базис пространства X из матриц
, 
, 
, 
.
Найдём матрицы , , 
, 
и разложим их по базису :
= 
= 
= 
= 
Следовательно, матрица оператора A в базисе найдена: [A ] 
Теорема 1. Пусть – базис линейного пространства X над полем K. Отображение
(K), заданное формулой 
() =[A ] для любого , является взаимно однозначным. Другими словами, каждая квадратная матрица порядка 
с элементами из поля K есть матрица единственного линейного оператора, действующего в пространстве X в базисе .
|
|
Доказательство. Как уже было отмечено выше, каждому линейному оператору по указанному правилу ставится в соответствие единственная квадратная матрица порядка .
Покажем, что для любой матрицы 
(K) существует, и притом единственный, линейный оператор такой, что [A ] = 
.
1. Докажем сначала существование такого линейного оператора. Зададим оператор 
формулой 
для любого вектора . Или, что то же самое 
. Покажем, что . Для любых векторов 
X и любых чисел K получаем:
A 
= 
A 
+ A 
. Следовательно, по определению оператор - линейный. Здесь мы использовали свойства координат векторов и свойства действий над матрицами.
2. Покажем теперь, что [A ] = . Пусть 
. По определению 1
[A ] =([ A ] [A ] [A ] ).
Следовательно, нужно доказать равенство [A ] = 
для всех 
. Из определения оператора имеем:
, т.к. в координатном столбце вектора в базисе число, стоящее на 
-ом месте, равно единице, а остальные элементы равны нулю. Из единственности координат вектора в данном базисе получаем: [A ] = . Таким образом, [A ] = .
3. Докажем, наконец, единственность.
Пусть найдется такой оператор 
, что 
. Тогда, как следует из определения 1,
([ 
] [ ] [ ] )= 
.
Следовательно, [ ] = =[A ] , откуда и получаем равенства =A для всех .
Тогда для любого вектора
имеем: = = 
= = = = . Следовательно, A =D
и теорема полностью доказана.
Следствие. Из доказательства теоремы 1 следует равенство = ([A ] 
).