Lineynye_operatsii
.pdf
2.2. Матрица линейного оператора  | 
	41  | 
Получим формулу преобразования координат вектора под дей-
ствием линейного оператора.  | 
	
  | 
	
  | 
	
  | 
|
Теорема 2.3 (о преобразовании координат вектора).  | 
	Пусть V –  | 
|||
линейное пространство,  | 
	{e ,..., e } – базис в V , L(V ,V ) .  | 
|||
Пусть x 1e1 ... nen  | 
	
  | 
	1  | 
	n  | 
	
  | 
  | 
	и  | 
	(x) 1e1 ... nen  | 
	.  | 
|
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Тогда  | 
	
  | 
	
  | 
	
  | 
	
  | 
  | 
	A  | 
	.  | 
	(2.5)  | 
|
  | 
	
  | 
	
  | 
	
  | 
	
  | 
  | 
	
  | 
	
  | 
||
  | 
	
  | 
	
  | 
	
  | 
|
Доказательство. Имеем  | 
	в  | 
	матричной форме  | 
	x ,  | 
|
(x) . С другой стороны, учитывая линейность L(V ,V ) ,
(x) ( 1e1 ... nen ) 1 (e1) ... n (en ) ( ) A .
Впоследнем переходе мы использовали матричную формулу (2.4)
из замечания 2.5. Таким образом (x) A  | 
	.  | 
  | 
	
  | 
  | 
	
  | 
«Сокращая на базис» (см. формулу (1.20) из замечания 1.15 предыдущей главы), приходим к требуемой формуле (2.5).
Замечание 2.6. В процессе доказательства теоремы получена
матричная формула  | 
	
  | 
	
  | 
  | 
	(2.6)  | 
|
  | 
	(x) ( ) .  | 
|
  | 
	
  | 
	
  | 
Замечание 2.7. Координаты векторов x и  | 
	(x) в формуле (2.5)  | 
|
заданы в одном и том же базисе {e1,..., en}.
Итак, каждому линейному оператору L(V ,V ) при фиксированном базисе соответствует матрица A . Покажем, что и, наобо-
рот, при фиксированном базисе в V любой квадратной матрице D порядка n соответствует некоторый линейный оператор , для которого матрица D будет его матрицей в базисе .
Теорема 2.4.  | 
	Пусть дано линейное пространство V и в нем вы-  | 
бран базис  | 
	{e1,..., en}. Пусть задана квадратная матрица  | 
42  | 
	
  | 
	Глава 2. ЛИНЕЙНЫЕ ОПЕРАТОРЫ  | 
||||||
D (dij ) Mat(n).  | 
	Тогда  | 
	существует  | 
	и  | 
	единственен  | 
	оператор  | 
|||
L(V ,V ) такой, что D A .  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Доказательство.  | 
	Рассмотрим в  | 
	V  | 
	
  | 
	семейство  | 
	векторов  | 
|||
{b1,...,bn} , задав их следующим образом:  | 
	
  | 
	
  | 
	
  | 
	
  | 
||||
  | 
	b1 d11e1 ... dn1en ,  | 
	
  | 
	
  | 
|||||
  | 
	
  | 
	d12e1 ... dn2en ,  | 
	
  | 
	
  | 
||||
  | 
	b2  | 
	
  | 
	
  | 
|||||
  | 
	............................  | 
	
  | 
	.  | 
	(2.7)  | 
||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
  | 
	b  | 
	d  | 
	e ... d  | 
	nn  | 
	e  | 
	
  | 
	
  | 
|
  | 
	n  | 
	1n  | 
	1  | 
	
  | 
	n  | 
	
  | 
	
  | 
|
По теореме 2.2 (о задании линейного оператора) существует линейный оператор L(V ,V ) такой, что (ei ) bi , i 1,2,..., n.
По определению матрицы оператора A ее столбцы являются ко-
ординатами векторов b1,...,bn . В силу (2.7) это и есть столбцы мат-
рицы D. Таким образом доказано существование искомого оператора. Докажем его единственность. Предположим, что имеются
два  | 
	таких  | 
	оператора  | 
	и : A D,  | 
	A D. Из равенства  | 
  | 
	
  | 
	
  | 
	
  | 
	
  | 
A  | 
	A  | 
	вытекает равенство столбцов этих матриц, т.е. равенство  | 
||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
координат векторов (ei )  | 
	и (ei ), i 1,2,..., n. В силу следствия к  | 
|||
теореме 2.2 отсюда вытекает равенство операторов и . Теорема доказана.
Следствие. Если в V фиксирован базис , то между пространством линейных операторов L(V ,V ) и пространством квадратных матриц Mat(n) n -го порядка имеется взаимно-однозначное соответствие.
Теорема 2.5 (об изоморфизме). Указанное в следствии к теореме 2.4 взаимно-однозначное соответствие является изоморфизмом между линейными пространствами L(V ,V ) и Mat(n) .
Доказательство. Итак, пусть в линейном пространстве V фиксирован базис . Выше, в следствии к теореме 2.4, было установ-
2.2. Матрица линейного оператора  | 
	43  | 
лено, что соответствие A является биекцией. Проверим со-
хранение линейных операций.
Пусть A (aˆij ), A (aij ) .
Пусть ,  | 
	A  | 
	(a* ),  | 
	тогда  | 
|
  | 
	
  | 
	
  | 
	ij  | 
	
  | 
  | 
	n  | 
	
  | 
	
  | 
	
  | 
(ej ) aij*ei ,  | 
	j 1,2,..., n.  | 
|||
i 1
Сдругой стороны,
(ej ) ( )ej (ej ) (ej )
n  | 
	n  | 
	~  | 
	n  | 
	~  | 
	)ei ,  | 
	j 1,2,..., n.  | 
aˆij ei  | 
	aij ei  | 
	(aˆij  | 
	aij  | 
|||
i 1  | 
	i 1  | 
	
  | 
	i 1  | 
	
  | 
	
  | 
	
  | 
В силу теоремы 1.4 (о единственности координат) из последних
  | 
	
  | 
	*  | 
	~  | 
	
  | 
	i, j 1,2,..., n , т.е.  | 
||
равенств следует, что aij aˆij  | 
	aij ,  | 
||||||
  | 
	
  | 
	A  | 
	A  | 
	
  | 
	A .  | 
	
  | 
|
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Таким образом, мы показали, что A A .  | 
|||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Пусть теперь ,  | 
	F,  | 
	A (a** ) , тогда, с одной стороны,  | 
|||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	ij  | 
	
  | 
	
  | 
  | 
	
  | 
	n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
  | 
	(ej ) aij**ei ,  | 
	j 1,2,..., n ,  | 
	
  | 
||||
  | 
	
  | 
	i 1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
а с другой стороны,  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
  | 
	
  | 
	n  | 
	
  | 
	
  | 
	n  | 
	
  | 
	
  | 
(ej ) (ej ) aˆij ei  | 
	aˆij ei , j 1,2,..., n.  | 
||||||
  | 
	
  | 
	i 1  | 
	
  | 
	i 1  | 
	
  | 
||
  | 
	
  | 
	**  | 
	ˆ  | 
	, i,  | 
	j 1,2,..., n , следовательно,  | 
||
Из этих равенств следует aij  | 
	aij  | 
||||||
  | 
	
  | 
	A A  | 
	,  | 
	
  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
т.е. A  | 
	. Теорема доказана.  | 
	
  | 
	
  | 
	
  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Следствие  | 
	1. Из  | 
	теоремы 2.5  | 
	и  | 
	теоремы 1.9  | 
	вытекает, что  | 
||
dim L(V ,V ) dim Mat(n) n2.
44  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	Глава 2. ЛИНЕЙНЫЕ ОПЕРАТОРЫ  | 
||||||||||
Следствие 2. При фиксированном базисе  | 
	{e1,..., en}  | 
	в V  | 
||||||||||||||
можно отождествить оператор L(V ,V )  | 
	
  | 
	и его матрицу A .  | 
||||||||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Теорема 2.6 (о матрице композиции операторов).  | 
	Пусть дано  | 
|||||||||||||||
линейное пространство  | 
	V , и в нем фиксирован базис ,  | 
	пусть  | 
||||||||||||||
, L(V ,V ),  | 
	. Тогда A A  | 
	A  | 
	. Другими словами,  | 
|||||||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
если имеем  | 
	эквивалентности  | 
	~ A , ~ A ,  | 
	
  | 
	то  | 
	композиция  | 
|||||||||||
операторов  | 
	
  | 
	и  | 
	эквивалентна произведению матриц  | 
	A и  | 
||||||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
A : ~ A  | 
	A .  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
Доказательство.  | 
	Пусть A  | 
	(a ),  | 
	A  | 
	
  | 
	(b ),  | 
	A  | 
	(c ) , то-  | 
|||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	ij  | 
	
  | 
	
  | 
	
  | 
	ij  | 
	
  | 
	
  | 
	ij  | 
	
  | 
|
  | 
	
  | 
	
  | 
	
  | 
	n  | 
	
  | 
	
  | 
	n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||
гда поскольку (ej ) bkj ek , (ej ) aik ei , то  | 
	
  | 
	
  | 
	
  | 
|||||||||||||
  | 
	
  | 
	
  | 
	
  | 
	k 1  | 
	
  | 
	
  | 
	k 1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	n  | 
	
  | 
	
  | 
	
  | 
	=  | 
	
  | 
	
  | 
	
  | 
  | 
	
  | 
	
  | 
	(ej ) ( (ej ))  | 
	bkj ek  | 
	
  | 
	
  | 
	
  | 
|||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	k 1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|||
n  | 
	
  | 
	
  | 
	n  | 
	
  | 
	n  | 
	
  | 
	n  | 
	n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	j 1, 2,..., n.  | 
||
bkj (ek ) bkj  | 
	aik ei  | 
	
  | 
	
  | 
	aik bkj  | 
	ei  | 
	,  | 
||||||||||
k 1  | 
	
  | 
	
  | 
	k 1  | 
	i 1  | 
	
  | 
	i 1 k 1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
С другой стороны, (ej ) cij ei ,  | 
	j 1,2,..., n . Тогда, приме-  | 
|||||||||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	i 1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
няя теорему 1.4 (о единственности координат), имеем  | 
	
  | 
	
  | 
||||||||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	n  | 
	
  | 
	, i, j 1, 2,..., n.  | 
	
  | 
	
  | 
	
  | 
	
  | 
|||||
  | 
	
  | 
	
  | 
	cij  | 
	
  | 
	aik bkj  | 
	
  | 
	
  | 
	
  | 
	
  | 
|||||||
  | 
	
  | 
	
  | 
	
  | 
	k 1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
Последнее равенство в силу определения умножения матриц означает, что A A A . Теорема доказана.
Рассмотрим несколько примеров.
Пример 2.2. Пусть V – произвольное линейное пространство, dimV n, I L(V ,V ) – тождественный оператор ( I (x) x
2.2. Матрица линейного оператора  | 
	45  | 
|
x V ), тогда в любом  | 
	базисе  | 
	этого пространства  | 
AI E Mat(n) – единичная  | 
	матрица.  | 
	
  | 
Пример 2.3. Рассмотрим пространство многочленов степени не
выше  | 
	n :  | 
	V P ,  | 
	{1,t,t2 ,...,tn }.  | 
	Рассмотрим оператор диффе-  | 
||||||||
  | 
	
  | 
	n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
ренцирования  | 
	d  | 
	. Тогда матрица этого оператора  | 
||||||||||
dt  | 
||||||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	1  | 
	0  | 
	...  | 
	0  | 
	
  | 
||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	0  | 
	2  | 
	...  | 
	0  | 
	
  | 
|
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||||||
  | 
	
  | 
	
  | 
	
  | 
	A  | 
	. . .  | 
	.  | 
	. .  | 
|||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	0  | 
	0  | 
	...  | 
	n  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	0  | 
	0  | 
	...  | 
	0  | 
	
  | 
|
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||||||
Действительно, в силу правила дифференцирования степенных
функций имеем (1) 0 (0,0,...0,0),  | 
	(t) 1 (1,0,...,0,0), …,  | 
||
(tn ) ntn 1 (0,0,..., n,0).  | 
	
  | 
	
  | 
|
Пример 2.4. Рассмотрим пространство V  | 
	геометрических век-  | 
||
торов,  | 
	коллинеарных некоторой  | 
	заданной  | 
	плоскости, пусть  | 
  | 
	
  | 
	
  | 
	
  | 
{e1  | 
	, e2}– ортонормированный базис на этой плоскости, –  | 
||
оператор поворота на угол . Нетрудно проверить (рис. 2.2), что  | 
|||
(e1 ) cos e1 sin e2  | 
|||
  | 
	
  | 
	
  | 
	cos e .  | 
(e ) sin e  | 
|||
  | 
	2  | 
	1  | 
	2  | 
Рис. 2.2
46 Глава 2. ЛИНЕЙНЫЕ ОПЕРАТОРЫ
Следовательно, матрица этого оператора в данном базисе имеет вид
A  | 
	
  | 
	cos  | 
	sin .  | 
  | 
	
  | 
	
  | 
	
  | 
  | 
	
  | 
	sin  | 
	cos  | 
Пусть теперь в линейном пространстве V выбраны два различ-  | 
|||
ных базиса {e ,..., e  | 
	} и {e ,..., e  | 
	} с матрицей перехода T,  | 
||
1  | 
	n  | 
	1  | 
	n  | 
	
  | 
так что T. Тогда  | 
	
  | 
	у линейного оператора L(V ,V ) в каж-  | 
||
дом из этих базисов имеется своя матрица A и A .
Для определения связи между этими базисами существует
Теорема 2.7 (о преобразовании матрицы оператора при смене базиса). Пусть в V заданы два различных базиса {e1,..., en} и
  | 
	
  | 
	
  | 
	
  | 
	},  | 
	
  | 
	T и оператор L(V ,V ) . Тогда имеет место  | 
|||
  | 
	{e1  | 
	,..., en  | 
	
  | 
||||||
формула  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	A T 1A  | 
	T.  | 
	(2.8)  | 
|
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Прежде чем доказывать теорему докажем важную лемму, которую будем неоднократно применять в дальнейшем.
Лемма 2.1 (о «сокращении» на произвольный вектор). Пусть A
и B – две квадратные матрицы порядка n . Пусть для любого
n -мерного столбца справедливо
A  | 
	B ,  | 
	(2.9)  | 
  | 
	
  | 
	
  | 
тогда A B.
Доказательство леммы. Пусть A (aij ) , B (bij ) . Поскольку в
равенстве (2.8) в качестве  | 
	можно взять произвольный столбец ,  | 
||
  | 
	
  | 
	
  | 
	
  | 
то положим k  | 
	(0,...,1, 0,..., 0)T – столбец, в котором все ком-  | 
||
  | 
	
  | 
	
  | 
	
  | 
поненты равны нулю, кроме k -той компоненты, которая равна единице. Тогда (2.9) запишется в виде
2.2. Матрица линейного оператора  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	47  | 
|||||||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	
  | 
	
  | 
||
  | 
	a  | 
	...  | 
	a  | 
	...  | 
	a  | 
	
  | 
	
  | 
	...  | 
	
  | 
	b  | 
	...  | 
	b  | 
	...  | 
	b  | 
	
  | 
	...  | 
	
  | 
	
  | 
|||
  | 
	
  | 
	11  | 
	
  | 
	1k  | 
	
  | 
	1n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	11  | 
	
  | 
	1k  | 
	
  | 
	1n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
  | 
	a  | 
	...  | 
	a  | 
	...  | 
	a  | 
	
  | 
	
  | 
	
  | 
	1  | 
	
  | 
	b  | 
	...  | 
	b  | 
	...  | 
	b  | 
	
  | 
	
  | 
	1  | 
	
  | 
	,  | 
|
  | 
	
  | 
	21  | 
	
  | 
	2k  | 
	
  | 
	2n  | 
	
  | 
	
  | 
	
  | 
	21  | 
	
  | 
	2k  | 
	
  | 
	2n  | 
	
  | 
	
  | 
	
  | 
||||
  | 
	.  | 
	.  | 
	.  | 
	.  | 
	.  | 
	
  | 
	
  | 
	
  | 
	0  | 
	
  | 
	.  | 
	.  | 
	.  | 
	.  | 
	.  | 
	
  | 
	
  | 
	0  | 
	
  | 
	
  | 
|
  | 
	a  | 
	...  | 
	a  | 
	...  | 
	a  | 
	
  | 
	
  | 
	...  | 
	
  | 
	b  | 
	...  | 
	b  | 
	...  | 
	b  | 
	
  | 
	...  | 
	
  | 
	
  | 
|||
  | 
	
  | 
	n1  | 
	
  | 
	nk  | 
	
  | 
	nn  | 
	
  | 
	
  | 
	
  | 
	n1  | 
	
  | 
	nk  | 
	
  | 
	nn  | 
	
  | 
	
  | 
	
  | 
	
  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	0  | 
	
  | 
	
  | 
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||
откуда,  | 
	учитывая  | 
	
  | 
	правило  | 
	
  | 
	умножения  | 
	матриц,  | 
	получаем  | 
||||||||||||||
  | 
	(a  | 
	a  | 
	... a  | 
	)T (b  | 
	b  | 
	... b  | 
	)T , т.е.  | 
	k -е столбцы матриц A и B  | 
|||||||||||||
  | 
	1k  | 
	2k  | 
	nk  | 
	
  | 
	1k  | 
	2k  | 
	
  | 
	
  | 
	
  | 
	nk  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
совпадают. Поскольку в качестве k можно взять любое из чисел 1,2,…, n , мы получаем, что матрицы A и B равны между собой. Лемма доказана.
Перейдем к доказательству теоремы 2.7. Пусть x V – произ-
вольный вектор и пусть в некотором базисе {e1,..., en} он имеет  | 
|||||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
координаты  | 
	( x ), а в другом базисе  | 
	
  | 
|||||
  | 
	{e1  | 
	,..., en} имеет  | 
|||||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
|
координаты  | 
	). Тогда в силу формул (2.6) и (2.4) (см.  | 
||||||
( x  | 
|||||||
замечания 2.6 и 2.5) имеем в базисе
(x) ( ) ( A ) (A ) .
Аналогично, в базисе  | 
	(x) (A ) .  | 
	Координаты  | 
	и  | 
  | 
	
  | 
	
  | 
	
  | 
  | 
	
  | 
	
  | 
	
  | 
вектора x связаны соотношением  | 
	T (см. (1.17)), поэтому мы  | 
|
  | 
	
  | 
	
  | 
получаем равенство  | 
	
  | 
	
  | 
(x) (A ) (A ) A T .  | 
||
  | 
	
  | 
	
  | 
A A T
произвольный (поскольку произволен вектор x ), поэтому по.Следовательно, В этом соотношении столбец
48  | 
	Глава 2. ЛИНЕЙНЫЕ ОПЕРАТОРЫ  | 
лемме 2.1, можно «сократить» на этот столбец : A A T ,
но T , и получаем равенство TA A T. Проводя в последнем равенстве «сокращение на базис» (см. формулу (1.20) из замечания 1.15), получаем TA A T . Матрица преобразования
базиса T невырожденная и поэтому имеет обратную T 1. Умно-
жая последнее равенство слева на T 1, приходим к формуле (2.8).
Теорема 2.7 доказана.
Следствие. Определитель матрицы оператора не меняется при изменении базиса, т.е. является инвариантом.
Действительно, в силу (2.8)
det A det(T 1A T) det T 1 det A det T det A .
Поэтому является корректным следующее определение. Определение 2.9. Детерминантом (определителем) линейного
оператора называется определитель матрицы этого оператора в любом базисе.
2.3. Обратный оператор. Ядро и образ оператора
Определение 2.10. Пусть – линейный оператор из L(V ,V ) . Оператор называется обратным к оператору , если
I.
Оператор, обратный к , будем обозначать 1 . Если у оператора существует обратный, то говорят, что он обратим.
В дальнейшем мы увидим, что не всякий L(V ,V ) имеет об-
ратный. Однако, если обратный оператор существует, то он линеен и единственен. Покажем это.
Теорема 2.8 (о линейности и единственности обратного опе-
ратора). Если L(V ,V ) имеет обратный оператор 1 , то:
1)1 L(V ,V ) ;
2)1 определен однозначно.
2.3. Обратный оператор. Ядро и образ оператора  | 
	
  | 
	49  | 
|
  | 
	Доказательство. 1. Если существует 1, то  | 
	x, y V  | 
	в силу  | 
линейности имеем  | 
	
  | 
	
  | 
|
1 (x y) 1 (I (x) I ( y)) 1 (( 1 )(x) ( 1 )( y))
1 ( ( 1 (x)) ( ( 1 ( y))) 1 ( ( 1 (x) 1 ( y)))
( 1 )( 1 (x) 1 ( y)) 1 (x) 1 ( y).
Аналогично, x V , F имеем
1 ( x) 1 ( I (x)) 1 ( ( 1 )(x)) 1 ( ( 1 (x)))
1 ( ( 1 (x))) ( 1 )( 1 (x)) 1 (x).
Таким образом, 1 L(V ,V ) .
2. Единственность обратного оператора докажем от против-
ного: пусть существуют  | 
	два обратных оператора к оператору  | 
|
L(V ,V ) : 1  | 
	и 2 .  | 
	Тогда по определению обратного опера-  | 
тора 1 1  | 
	I и  | 
	2 2 I , но тогда  | 
1 1 I 1 ( 2 ) ( 1 ) 2 I 2 2.  | 
||
Теорема доказана.  | 
	
  | 
|
Теорема 2.9 (о матрице обратного оператора). Если у опера-
тора L(V ,V ) существует обратный оператор 1 , то в любом базисе {e1,..., en} пространства V матрица обратного оператора 1 равна обратной матрице самого оператора , т.е. справед-
ливо равенство  | 
	A  | 
	(A ) 1.  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||||
  | 
	
  | 
	
  | 
	1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Доказательство.  | 
	
  | 
	Если  | 
	1 существует,  | 
	то  | 
	в  | 
	базисе  | 
||||||||
{e ,..., e } у него  | 
	есть матрица,  | 
	которую обозначим  | 
	A  | 
	. В  | 
||||||||||
  | 
	1  | 
	n  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	1  | 
	
  | 
силу теоремы 2.6 о матрице произведения операторов имеем:  | 
	
  | 
|||||||||||||
  | 
	A  | 
	A A  | 
	
  | 
	A E, A  | 
	A  | 
	A  | 
	
  | 
	A E.  | 
	
  | 
|||||
  | 
	1  | 
	
  | 
	1  | 
	I  | 
	
  | 
	1  | 
	
  | 
	1  | 
	
  | 
	I  | 
	
  | 
	
  | 
||
Следовательно,  | 
	в  | 
	
  | 
	силу  | 
	определения  | 
	обратной  | 
	
  | 
	матрицы  | 
|||||||
A  | 
	(A ) 1.  | 
	Теорема доказана.  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
||||
1  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
50  | 
	Глава 2. ЛИНЕЙНЫЕ ОПЕРАТОРЫ  | 
|
Следствие. Если L(V ,V )  | 
	имеет обратный, то det A 0  | 
|
для любого базиса .  | 
	
  | 
	
  | 
  | 
	
  | 
|
Доказательство. Если 1,  | 
	
  | 
	то (A ) 1, а критерием сущест-  | 
  | 
	
  | 
	
  | 
вования обратной матрицы является неравенство нулю определителя матрицы, т.е. det A 0. Следствие доказано.
Теорема 2.10 (критерий обратимости оператора). Пусть
L(V ,V ) . Тогда следующие три утверждения эквивалентны:
1)1 , т.е. обратим;
2)– биекция, т.е. взаимно однозначное отображение про-
страства V на все V ;  | 
	
  | 
	
  | 
3) в некотором базисе  | 
	det A  | 
	0 .  | 
  | 
	
  | 
	
  | 
Доказательство. Докажем справедливость цепочки импликаций 1) 3) 2) 1) , что, очевидно, будет означать справедливость утверждения теоремы в целом. Импликация 1) 3) доказана в следствии к предыдущей теореме.
3) 2) : Пусть  | 
	det A  | 
	0  | 
	в некотором базисе .  | 
	Тогда для  | 
||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
любого столбца  | 
	система алгебраических уравнений  | 
	A  | 
	
  | 
|||
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
  | 
	
  | 
	
  | 
	
  | 
|||
имеет единственное решение. В силу теоремы 2.3 о преобразовании координат под действием линейного оператора это означает, что
y V  | 
	существует и  | 
	единственен вектор x V такой, что  | 
(x) y  | 
	( x , y  | 
	в ), а это и означает, что – биекция.  | 
2)1) : Пусть – биекция. Это означает, что y V сущест-
вует и единственен x V  | 
	такой, что  | 
	(x) y .  | 
|
Введем оператор  | 
	:V V по  | 
	формуле ( y) x , где  | 
|
y (x) . Поскольку  | 
	–  | 
	биекция, то оператор введен кор-  | 
|
ректно. При этом  | 
	
  | 
	
  | 
	
  | 
x ( y) ( (x)) ( )(x) I, y (x) ( ( y)) ( )( y) I.
