ЛА Билеты расписанные
.pdfБилет 22.
Ортогональные подмножества унитарного пространства. Ортогональное дополнение подмножества. Теорема о разложении унитарного пространства в прямую сумму подпространств. Следствия.
Определение Два множества элементов и унитарного пространства V называются ортогональными, если "xÎ ортогонален "yÎ
Утверждение Если ортогонален ( ), то их пересечение либо пусто, либо состоит только из нулевого элемента
Доказательство Пусть aÎ тогда aÎ и aÎ ( , ) = 0 = # Определение Пусть G – произвольное непустое подмножество унитарного пространства V. Совокупность всех элементов из V ортогональных к G, называется ортогональным дополнением G до V и обозначается ^.
Иначе, ^ = { : ( ; ) = 0, }
Утверждение Ортогональное дополнение ^ любого непустого множества Gявляется линейным подпространством пространства V.
Доказательство Действительно, если x,yÎ ^, а z- произвольный из G, то ( + , ) =( , ) + ( , ) = 0 Следовательно, для " , и , ^ + ^ Следовательно, ^ является линейным подпространством пространства V. #
Теорема Унитарное пространство # есть прямая сумма " своего линейного подпространства G и его ортогонального дополнения ^, т.е. # = ^
Доказательство Пусть G (dimG=k) есть произвольное подпространство пространства
#. Выберем в некоторый ОНБ !, ", … ' его можно дополнить элементами '+!, '+" … # до базиса во всем пространстве #. Оставляя векторы !, ", … ' неизменными, ортогонализируем
всю систему методом Шмидта. Получим ОНБ !, ", … ', '+! … # всего пространства # причем
!, ", … ' − ОНБ подпространства G. Очевидно, что ( '+!, '+" … , #)= ^
= ∑#%-! % % = ∑'%-! % % + ∑#%-'+! % % = ? + " ( ),
Для завершения доказательства теоремы достаточно доказать единственность разложения (*)
|
|
|
$ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ü? |
|
3 |
ü? |
|
Î 3 |
^ |
|
Î |
|
|
, |
|
|
|
|
|
|
|
||
Пусть |
другое разложение = |
+ ′′, где |
, ′′ . Вычитая это равенство из (*), |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
ü? |
|
|
|
? |
|
|
|
?? |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
^ |
|
ü? |
|
|
|
? |
|
^ |
получим |
− |
= |
− ′′. Так как левая часть |
G, а правая |
|
|
|
то |
− |
G ∩ |
||||||||||||||||||||||||||||
и |
?? |
|
|
3?? |
|
^ |
∩ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
− |
|
|
|
|
? |
|
? |
ü? |
|
?? |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Следствие 1 |
|
|
|
ü? |
− |
= , |
, |
^# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Следовательно, |
|
|
|
= |
|
= ′′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
Ортогональное дополнение k-мерного подпространства G унитарного |
||||||||||||||||||||||||||||||
пространства^ |
# есть подпространство размерности (n-k). Справедливость вытекает из того, |
|||||||||||||||||||||||||||||||||||||
что |
|
= ( '+!, … #) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Следствие 2 |
# =" ( !) ( ") … ( #), где !, ", … #- ОНБ пространства # |
|
||||||||||||||||||||||||||||||||||||
Следствие 3 |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
Для |
|
подпространства G пространства # справедливо |
^^ |
=G |
Î |
|||||||||||||||||||||||||
Доказательство |
Очевидно G ^^. С другой стороны, для |
" Î |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Î |
|
. |
|
|
|
|
|
|
|
|
|
x ^^ имеем x=x’+x’’, где x’ G, |
||||||||||||||||||||||||||
x’’ |
^ |
|
Умножая это^^ равенство скалярно на x’’, получим (x’’,x’’)=0, x’’=0 = ′. |
|
||||||||||||||||||||||||||||||||||
Следовательно, |
|
= # |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Билет 23.
Понятие линейного оператора и основные операции над ними. Примеры линейных операторов. Линейное пространство L(х,у).
Определение
Пусть и – линейные пространства. Оператором действующим из в называется правило (закон), по которому ставится в соответствии единственной .
Обозначение = , – прообраз элемента .
Определение Оператор действующий из в называется линейным, если для !, " и
, ( ) выполнено ( ! + ") = ! + "
Некоторые операторы имеют специальные названия.
Определение
Линейный оператор, действующий из в ( ) называетcя линейной формой или линейным
функционалом.
Определение
Линейный оператор, действующий из в называется линейным преобразованием пространства .
Замечание
Действие линейного оператора на определяется единственным образом, если известны образы !, ", … , # векторов !, ", … #, составляющих базис пространства .
Утверждение
Линейный оператор , действующий из в . Нулевой элемент 0 пространства X переводит в нулевой элемент D пространства , т.е. 0 = D
Доказательство
В самом деле 0 = 0 × значит A 0 = (0 × ) = 0 × = 0 × = D #
Утверждение
линейный оператор линейно зависимую систему векторов переводит снова в линейно зависимую систему.
Доказательство
Действительно, если !, … # из линейно зависимы, то !, ", … , # : ∑#%-!| %| ≠ 0 ! ! + +
# # =
Тогда согласно предыдущему утверждению, ( ! ! + + # #) = ! ! + + # # =
A !, A ", … A # – линейно зависимы #
Определение
Два линейных оператора и называются равными, если для =
Определение
Суммой 2-х линейных операторов и , действующих из в называется оператор + такой, что для ( + ) = +
Определение
Произведением линейного оператора на число ( )называются оператор такой, что длявыполняется ( ) = ( )
Замечание
Очевидно, что если операторы и – линейные, то оператор + и также линейные.
Определение
Оператор, который ставит в соответствие нулевой элемент называется нулевым оператором и обозначается , т.е. для , =
Определение
Пусть - линейный оператор, действующий из в . Оператор = (−1) называется оператором противоположным оператору . Его принято обозначать (− ).
Обозначим через ( ; ) − множество всех линейных операторов, действующих из в .( ; ) будем обозначать ( ).
Утверждение
Множество ( ; )- есть линейное пространство.
Доказательство
Из определения следует, что операции сложения и умножения на число не выводят из этого множества. Кроме того, и для ( ; ) (− ). Нетрудно убедиться, что операции сложения операторов и умножения на число удовлетворяют всем аксиомам. # Далее будем иметь дело с ( ).
Определение
Оператор называется тождественным или единичным, если он ставит в соответствие этот же элемент , т.е. по определению = , для .
Определение
Пусть и операторы из ( ). Тогда произведением операторов и называется такой оператор, который действует по правилу ( ) = ( ) для .
Утверждение
Если и линейные, то также линейный.
Доказательство
Для , и , имеем
( )( + ) = ( ( + )) = ( + ) = ( ) + ( ) = ( ) + ( ) # В общем случае ≠
Утверждение
Справедливы следующие свойства операторов из ( ). 1) ( ) = ( ) ; 2)( + ) = + ; 3) ( + ) = + ; 4)( ) = ( )
Доказательство
Свойство1) Следует из определения умножения операторов Свойство2) для имеем (( + ) ) = ( + )( ) = ( ) + ( ) = ( ) + ( ) =
( + ) , то есть (( + ) ) = ( + ) для . Тогда по определению ( + ) =
+
Свойство 3) доказывается так же, как и 2)
Свойство 4) (( ) ) = ( )( ) = ( ( )) = (( ) ) = ( ( )) , т.е. (( ) ) = ( ( ))
для Следовательно, ( ) = ( )#
Следствие
Свойство 4 дает возможность определить произведение конечного числа операторов из ( ).
Примеры операторов
Пример 1)
Рассмотри линейное пространство " В нем рассмотрим оператор, который " ставит в соответствие ", получаются из поворотом на угол вокруг начала координат. Он, очевидно, линеен. Он называется оператором поворота плоскости " на угол .
Пример 2)
В 6: = [ , ] для 6, - фиксированный вектор из 6
Пример 3)
В пространстве { #( )} = # оператор задается равенством:
( ) = __` ( ( )), для ( ) #
Пример 4)
В С[ ; ]: ( ) = ∫.2 ( ) ( ) , где ( ) - фиксированная функция
Пример 5)
В произвольном пространстве оператор задается равенством: = для . Это оператор «растяжения».
Пример 6)
Пусть = ’ ′′ тогда для = ’ + ’’ оператор определяется равенством:
= ? + ′′. Это оператор «растяжения» с коэффициентом в подпространстве ’ и с коэффициентом в подпространстве ’’
Пример 7)
Полагая в предыдущем примере l = 1, µ = 0, получим оператор, называемый оператором проектирования пространства на подпространство ′ в направлении подпространства ′′. Иначе оператор проектирования определяется: если = ′Å ′′, то для = ′ + ′′, где′Î ′, ′′Î ′′, то = ′. Очевидно, это линейный оператор.
Пример 8) |
|
|
≠ |
|
" |
|
|
|
|
|
µµµ! |
|
µµµ" |
|
|
|
|
|
|
|
|
||||
Пример, когда |
. В |
рассмотрим ОНБ |
, |
. В качестве оператора |
возьмём оператор |
||||||||||||||||||||
оператора |
|
|
|
|
" |
на подпространство |
(µµµ!) |
|
|
|
|
|
|
|
a |
|
|
(µµµ") |
. В качестве |
||||||
проектирования |
|
|
|
|
в направлении подпространства |
|
|
||||||||||||||||||
|
|
рассмотрим оператор поворота плоскости |
" |
на угол |
" |
в направлении кратчайшего |
|||||||||||||||||||
поворота |
µµµ! |
|
|
µµµ" |
|
|
|
|
(µµµ!) |
|
|
|
|
|
|
|
|
|
|
|
|
||||
от |
к |
|
|
|
|
= ( µµµ!) = µµµ" = |
|
|
|
|
|
|
|||||||||||||
|
|
. Тогда, очевидно: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Следовательно, |
( )µµµ! ≠ ( )µµµ! |
Þ (µµµ!) =. ( µµµ!) = µµµ! = µµµ" |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
≠ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Билет 24 Образ и ядро линейного оператора. Теорема о сумме размерностей образа и
ядра оператора. Обратная теорема.
Определение
Множество всех векторов Î : = , Î называется областью значений или образом оператораи обозначается .
Определение |
|
|
|
|
|
|
|
|
|
|
|
|
|
Î |
|
, для которых |
= |
, называется ядром оператора |
|
и обозначается |
|||||||||||||||||||||||||||||||||||||||||
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
Множество всех векторов |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Утверждение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
и |
|
|
|
являются линейными подпространствами пространств |
и |
соответственно. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|||||||||||
Тогда |
|
|
! и " , , ( ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
1)Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Тогда |
!, ": ( !) = !, " = " ! + " = ! + " = ( ! + ") |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
!, " |
|
|
, , ( ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
2)Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! + ") = ! + " = + = ! + " # |
|||||||||||||||||||||||||||||||||||||||||||
|
|
! = , " = . |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Определение |
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
dim( ) = |
|
дефектом |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
dim( |
) |
называется |
|
|
|
|
|
|
|
оператора |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Пример 1 |
|
|
|
|
|
|
- операторы поворота |
" |
на угол |
: = " |
, |
|
= . |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
Пример 2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
Для оператора |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
: = |
[ , ] |
|
|
в |
|
, |
( ≠ ) |
|
|
|
|
|
|
|
|
|
|
|
= ( ) |
|
|
|
|
|
|
|
^ |
( ) |
|
|
( ) |
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
оболочка вектора |
|
|
. Если |
|
|
|
|
|
, то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
что |
, а |
= |
|
|
- линейная |
|||||||||||||||||||||||||||||||||||||||||||||||
Из свойств |
векторного произведения Þ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, где |
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
= |
|
|
= , = . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
Пример 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
= #*!′, |
|
= 9. |
||||||||||||||||
Для оператора дифференцирования в пространстве |
|
, очевидно, |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Пример 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
#′′ |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Для оператора проектирования пространства |
|
|
|
|
Å |
|
|
на подпространство |
|
в направлении |
|||||||||||||||||||||||||||||||||||||||||||||||||||
Теорема |
|
|
|
|
|
|
|
|
|
|
очевидно, что |
= |
|
|
|
|
= |
′′. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
подпространства |
|
|
|
|
′′ |
|
|
|
|
|
|
′, ( |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) = dim # = |
||||||||||||||||||||||||||||
Пусть - произвольный линейный оператор ( Î ( #)). Тогда dim( ) + dim( |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
!, … , ' |
|
|
|
|
|
|
|
|
||||||
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Пусть |
dim( |
|
|
) = |
. Выберем в подпространстве |
A базис |
. |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
Дополним его до базиса во всем пространстве |
# |
элементами |
'+!, '+", … , # |
. Рассмотрим |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
'+!, … , # |
. Покажем, что они образуют |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
'+!, … , # |
|
|
|
|
|
|
|
|
базис подпространства |
|
. Для этого |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
Пусть $ |
|
|
|
|
|
|
|
линейно независимы. Будем доказывать от противного. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
1) покажем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
'+!, … , #: |
|
|
|
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Q | %| ≠ 0: '+! '+! + + # # =
%-'+! Тогда ( '+! '+! + + # #) = .
Рассмотрим вектор
Тогда |
= |
Þ |
|
Î |
|
= '+! '+! + '+" '+" + + # # ( ) |
|
|
|
. |
Следовательно, $ !, ", … ':
= ! ! + ! " + + ! ' ( )
Таким образом, для Î # $ два различных разложения, чего быть не может. Полученное противоречие и доказывает линейную независимость '+!, '+", … , #.
2) Докажем, что для " Î существует разложение по элементам '+!, '+", … , #. Действительно, пусть - произвольный элемент из .
Тогда $ Î #: = .
Разложим по базису !, ", … , # пространства #: = l! ! + + l# #.
Тогда |
= = ( |
l |
|
+ + |
l |
' ' |
+ |
l |
'+! '+! |
+ + |
l |
# #) = |
l |
|
|
|
|
|
|
|
l |
(т.к. |
! = |
|||||||||||||||||||||||||||
|
|
|
! ! |
|
|
|
|
|
|
|
'+! '+! + + # # |
|
||||||||||||||||||||||||||||||||||||||
" = ' = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Из |
= |
|
|
|
|
|
) |
|
|
|
|
|
|
|
# # |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
l |
'+! '+! + + |
l |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
dim( ) |
= − |
|
# |
|
|
|
|||||||||||||||||||||||||||
То |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Обратная теорема |
|
|
'+!, … , # |
|
- базис в |
|
Þ |
|
Þ |
|
|
|
||||||||||||||||||||||||||||||||||||||
|
1) и 2) следует, что |
|
|
|
|
|
|
? и |
|
|
|
?? |
|
|
|
|
|
|
|
|
? |
|
|
?? |
|
|
|
|
|
|
|
|||||||||||||||||||
Для " 2-х подпространств |
|
|
# |
таких что |
dim |
+ dim |
= dim # = |
$ оператор |
( ) |
|||||||||||||||||||||||||||||||||||||||||
для которого |
|
|
|
|
|
|
|
? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
, = |
?? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Доказательство |
|
|
|
?? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Пусть |
dim |
? |
= , dim |
= − |
. Выберем в |
|
базис |
|
!, ", … , ' |
. Дополним его по th. О неполном |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
?? |
выберем некоторый базис |
|||||||||||||||||||||||||||||||
базисе элементами |
'+!, '+", … , # |
|
до базиса |
# |
. В пространстве |
|
|
|||||||||||||||||||||||||||||||||||||||||||
!̂, ̂," … , ̂#+' |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
Чтобы задать оператор |
, достаточно задать его на базисных векторах. Определим |
||||||||||||||||||||||||||||||||||||||||||||||||
оператор |
так |
! |
|
= " = ' = |
, |
'+! = !̂, '+" = ̂," … , # = ̂#*' |
. Так определённый |
|||||||||||||||||||||||||||||||||||||||||||
оператор |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
обладает указанными свойствами. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
Билет 25
Обратный оператор и его свойства. Критерий обратимости линейного оператора.
Определение
Если для оператора ( ) оператор : = = , то называется обратным по отношению к. Обозначение = *!.
Утверждение
Если для ( ) $ *!, то
1)*! ( )
2)*! единственный
Доказательство
1)*!( + ) = *![ ( *!) + ( *!) ] = *![ ( *! ) + ( *! )] = *! ( *! +*! ) = *! + *!
2) Пусть ! = *! и " = *!. Тогда ! = ! = !( ") = ( ! ) " = " = " #
Определение
Оператор ( ) действует взаимно однозначно в , если различные элементы из оператор переводит снова в различные элементы.
Утверждение
Пусть ( ) действует взаимно однозначно в , тогда оператор отображает на себя, т.е " элемент из имеет в прообраз.
Доказательство
Покажем, что оператор A " базис !, ", … , # пространства снова переводит в базис
!, ", … , # этого же пространства. Для этого достаточно показать, что " n линейно независимые элементы !, ", … , # оператор А переводит в линейно независимые элементы !, ", … , #. Итак, пусть !, ", … , # - линейно независимы. Пусть l! ! + l" " + + l# # = (*)
Т о в силу линейности A имеем (l! ! + l" " + + l# #) = . Так как A действует взаимно однозначно, то l! ! + l" " + + l# # = 0. Следовательно, !, ", … , # линейно независимы и поэтому образуют базис в X.
Далее пусть Î . Тогда $ !, ", … , #:
= ! ! + " " + + # # = ( ! ! + " " + + # #)
Следовательно, = ! ! + " " + + # # - прообраз элемента . #
Теорема (Критерий обратимости оператора)
Оператор Î ( #) обратим тогда и только тогда, когда действует взаимно однозначно в #.
Доказательство. |
|
|
|
|
# |
|
|
! |
|
", ! ≠ ": ! = |
||||
Необходимость от противного |
|
|
|
|
|
|
||||||||
|
. |
|
имеет обратный, но |
|
не действует взаимно однозначно в |
. Т.о. $ |
и |
|||||||
Пусть |
|
|
|
|
|
|
||||||||
" |
|
|
|
|
*! |
*! |
|
*! |
= → ! = " |
|
||||
Тогда |
! − " = ( ! − ") = |
( ! − ") = |
( ! − ") = |
|
. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||
Полученное противоречие показывает и доказывает, что A действует взаимно однозначно. Достаточность Пусть действует взаимно однозначно. Тогда по предыдущему утверждению для " Î # $ Î #:
= (1)
Таким образом, для " Î # ставится в соответствие Î #, то есть определён оператор B:
= (2)
Причем = . Подставляя в (1) представление (2), получим:
= = ( ) = ( ) для " Î #
Следовательно, = Аналогично, подставляя в (2) выражение (1), получим
= = ( ) = ( ) , для " Î #
Следовательно, = Þ обратим. #
Билет 26 Матрица линейного оператора. Представление линейного оператора в данном
базисе при помощи матрицы. Матрица суммы операторов, произведения оператора на число, произведения операторов и обратного оператора. Примеры.
Пусть Î (. #) и пусть 1, 2, … , - базис в ([ ] = [ 1, 2, … , ]). Оператор переводит в |
||||||||||||||
' |
,,,,, |
|
по базису |
|
|
. |
|
|
|
|
||||
, = 1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
Разложим |
!, ", … , # |
|
|
|
|
1, 2, … , |
|
|
+ + an1 |
|
||||
|
|
|
|
|
|
1 = a11 1 + a21 2 |
( ) |
|||||||
|
|
|
|
|
' 2 = a12 1 |
+ a22 2 + + an2 |
||||||||
|
|
|
|
|
|
= a1n 1 |
… |
|
|
|
|
|||
Или кратко: |
1 |
+ a2n 2 + + ann |
… 1 |
|||||||||||
|
|
|
|
|
1 |
|
|
|
11 |
12 |
||||
|
|
( |
|
2 |
|
2 |
|
|
21 |
22 |
… 2 |
|||
|
|
|
|
′ |
|
|
|
|
||||||
|
|
… ) = |
* |
+ (…) , |
где = ( … |
… |
... … ) |
|||||||
|
|
|
|
|
|
|
|
|
|
1 |
2 |
… |
||
и ′ - транспонированная к .
Определение
Матрица называется матрицей линейного оператора в базисе [ ].
Замечание
Равенства (*) можно записать в виде: ' = ∑#%-! %' %, = ,,1,,, ( )
Утверждение
1)" Î ( #) можно поставить в соответствие матрицу в базисе [ ], причём определена однозначно
2)Пусть в задан базис [ ] и задана квадратная матрица = [ %&] -ого порядка. Тогда
$ ! Î ( #), матрица которого в базисе [ ] = .
Доказательство
1)Для " Î ( #) следует, что $ f. Это следует из определения, а единственность следует из единственности разложения по базису.
2)Для задания оператора достаточно задать его на базисных векторах. Поставим в соответствие
|
' |
|
|
,,,,, |
|
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
' |
|
%-! |
|
%' |
|
% |
|
|
|
,,,,, |
|
|
|
|
|
|
|
|
|||||
" |
, = 1 |
вектор |
|
, определённый равенством |
|
= |
∑ |
|
|
|
|
|
, |
= 1 |
, где |
|
- элементы |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
матрицы |
= [ %'] |
. Очевидно, что так определённый оператор |
|
линеен и он единственный. Из |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
. # |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
определения матрицы оператора следует, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
Замечание |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Таким образом, между линейными операторами |
|
Î |
|
|
|
|
|
и квадратными матрицами порядка |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
устанавливается взаимно однозначное |
соответствие в " фиксированном базисе . |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
( #) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
∑'-! |
|
|
|||||||||||||||||||||||||||||||
пусть [ ] = [ 1,. 2, … , ] |
|
|
|
|
|
|
|
|
|
|
- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда |
' ' |
и |
|||||||||||||||||||||||
Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
базис в |
|
|
. Пусть |
|
|
|
произвольный элемент из |
|
. |
|
[ ] |
|
|
# |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
Î |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Предположим, что |
|
|
|
|
|
и |
|
|
|
|
. Тогда из линейности оператора |
|
и (*) получим: |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
( #) |
|
|
|
|
= |
= |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
∑%-! % % |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Т.е. |
|
, = = = -, . = , = , -, . = , -, . |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
=1 |
|
|
|
|
|
|
=1 |
|
=1 |
|
|
|
|
|
|
|
=1 |
=1 |
|
|
|
|
|
|
|||||||||||
Из единственности разложения по |
|
базису, следует= , -, . |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
=1 |
|
|
|
|
|
=1 |
=1 |
|
|
|
|
= 1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
" Î |
|
|
|
|
|
|
|
|
|
|
|
|
" |
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Сопоставим |
|
|
|
|
столбец |
|
, а |
|
|
|
|
поставим |
в |
соответствие |
|
|
. |
,,,,, |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
# |
|
|
|
= |
∑ =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
2 |
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Тогда |
1 |
|
|
|
1 |
|
|
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
( …) = (…) |
|
|
↓ |
1 = 0 |
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Утверждение
Если два оператора и равны, то равны и их матрицы в " базисе и обратно, если матрицы и операторов и равны в каком-нибудь базисе [ ], то и соответствующие им операторы и также равны.
Доказательство
Из определения равенства 2-х операторов имеем для " [ ] имеем ' = ', = 1,,,,, Тогда из единственности разложения по базису и определения матрицы линейного оператора
имеем = Обратное утверждение следует из предыдущего утверждения #
Основная лемма
Если для " E↓F Î # имеет место равенство E↓F = E↓F, где и - квадратные матрицы порядка
, то = .
Доказательство
Возьмём в равенстве ↓ = ↓ ↓ = [ ]′ = (0,0, … ,1,0, … ,0) (1 на k-ом месте) и воспользуемся
определением равенства матриц. #
Утверждение
Если Î ( #), Î ( #), а и соответственно их матрицы в базисе [ ], то
1)( + ) = +
2)(l ) = l
3)( ) =
4)если обратим, то ( −1) = ( )−1
Доказательство
1)Согласно определению суммы операторов имеем: ( + ) = + для " Î #. Записывая это
равенство в матричном виде получаем: |
|
|
|
|
|
|
|
|
|
|
|
|
0↓1 + |
0↓1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Или |
|
|
|
|
|
|
|
|
|
( + ) 0↓1 = |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
( + ) 0↓1 = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
( |
|
+ |
|
) 0↓1 |
" |
0↓1 |
Î |
|
|
|
|
|
|
||||||||||||||||||||
Согласно основной лемме, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, для " Î |
или в |
||||||||||||||||||||||
2) Из определения произведения |
оператора на число имеем |
|
l |
|
|
|
|
|
|
l |
|
||||||||||||||||||||||||||||||
|
( + ) |
|
= + |
|
( |
= |
|
( ) |
|
|
|
|
|||||||||||||||||||||||||||||
матричном виде |
|
|
|
|
( ) |
0↓1 |
= |
|
|
* |
|
|
0↓1+ |
|
|
для |
|
|
) |
|
|
|
|
|
|
|
|
# |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0↓1 |
|
|
|
|
|
|
|
|
||||||||||||||||||
Из основной леммы следует, чтоll |
|
|
|
l l |
|
|
|
|
|
|
|
|
" |
|
|
Î |
|
|
|
|
|
или в матричном |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
операторов имеем |
|
|
|
|
|
|
|
|
|
|
для " Î |
|
|||||||||||||||||||
3) Из определения произведения( ) = |
|
|
|
|
|
|
|
|
( |
= ( ) |
|
|
|
|
|
|
|
||||||||||||||||||||||||
виде |
|
|
|
|
|
|
( ) |
0 1 |
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
||||||
Из основной леммы следует |
|
|
= * 0 1+ |
для " 0 1 Î |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
↓ |
|
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
4) Пусть $ |
*! |
, тогда |
*! |
|
( ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Из |
|
|
|
|
*! |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
= |
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
свойства 3) следует, что |
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
( # ) = ( |
|
|
) |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Следствие |
|
−1 = ( −1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
dim ( #) = "
Билет 27
Преобразование матрицы оператора при переходе от одного базиса к другому. Определитель линейного оператора.
Матрица перехода от одного базиса к другому |
|
[ ̂] = [ !̂, ̂," |
… , ̂]# |
|
|
|
|||||||||||||||||||||
Разложим векторы |
|
|
# |
|
по базису |
|
[ ] = [ !, ", … , #] |
и |
. |
|
|
||||||||||||||||
Пусть в пространстве |
|
|
заданы два базиса |
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
!̂, ̂," … , ̂# |
|
|
[ !, ", … , #] |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
!̂= !! ! + "! " + + #! # |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
̂" = !" ! + "" " + + #" # |
( ) |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
… |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
"! |
"" |
… |
̂# = !# ! + "# " + + ## # |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
= 4 |
"# |
|
|
|
|
|
|
|
|
[ ] |
|
[ ̂] |
|||||||||
Тогда матрица |
… |
|
… |
… … 5 |
называется матрицей перехода от базиса |
к базису |
|||||||||||||||||||||
|
|
|
|
!! |
!" |
… |
!# |
|
|
. |
|||||||||||||||||
Равенство |
( ) в |
|
|
|
#! |
#" |
… |
## |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
̂ |
|
|
" |
|
|
матричном виде перепишется так: |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
̂ |
|
4 |
… |
5 ( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
4… |
5 = |
, где |
′ - транспонированная матрица по отношению к |
. |
|
|
|
|
|
||||||||||||||||||
! |
|
′ |
|
! |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
# |
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
̂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание
Для построения матрицы перехода от базиса [ ] к базису [ ̂] необходимо векторы ̂, ̂, … , ̂
! " #
разложить по базису !, ", … , #. Тогда столбцами матрицы являются координаты векторов
̂, ̂, … , ̂ в базисе [ ].
! " #
Замечание
Пусть |
|
Î |
# |
разложен по базисам |
[ ] |
и |
[ ̂] |
= |
∑%-! % % |
= ∑%-! »% ̂% |
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
. |
|
|
det# ≠ 0 |
# |
или |
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" |
|
|
|
|
|
|
|
|
|
|
|
|
̂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
" |
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
" |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
… |
|
|
|
! |
|
" |
|
|
|
# |
|
|
|
̂ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
] 4…5 = |
|
|
|
|
] 4…5 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
= [ |
|
|
|
|
|
|
|
|
|
|
|
[» |
» |
|
… » |
|
! |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
имеем: |
|
|
|
|
|
|
|
! |
|
̂ |
|
|
|
|
|
|
|
|
|
|
|
||||||
Отсюда согласно (*) |
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
» |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
—…š = —…š |
|
|
|
|
|
|
|
|
|||||||||||
Или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
|
|
|
» |
|
|
|
|
|
|
|
|
|
|||||
E↓F = E»F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
к |
|
Изменение матрицы оператора при изменении базиса |
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
. # |
задан↓ |
|
|
|
|
Î |
( #) |
и два базиса |
[ ] |
и |
[ ̂] |
|
|
|
|
матрицу перехода от |
||||||||||||||||||||
Пусть в |
|
|
|
оператор |
|
|
|
|
|
|
|
. Обозначим через |
|
|||||||||||||||||||||||||||
[ ] |
|
[ ̂] |
Тогда |
E↓F = E↓F |
. Обозначим через |
|
f |
и |
|
матрицы оператора |
|
в базисах |
[ ] |
и |
[ ̂] |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
̂ |
|
|
|
|
|
|
|
|
|
|
|
|
f̂ |
|
|
|
|
|
|
|
|
|
|
|||
соответственно.
Тогда записывая равенство = для" Î # в матричном виде в базисах [ ] и [ ̂] соответственно получим:
|
|
|
|
|
|
» |
|
|
|
|
|
|
|
|
f |
|
|
|
|
» |
» |
|
f̂ |
» |
|
|
|
|
|||
|
|
|
*! |
|
E |
↓F |
.= E |
↓F = |
E↓F = |
E |
↓F |
E |
|
|
|
*! |
|
F |
|
|
|
||||||||||
Из этих равенств Þ |
|
|
|
|
|
|
E |
↓F = E |
↓F |
|
|
|
|
F = E |
|
|
F |
|
E F |
||||||||||||
Тогда |
|
E F = |
|
E F |
Так как |
E |
» |
F = E |
|
F |
, |
|
то |
E |
|
|
F = |
|
|
E |
для " |
||||||||||
Отсюда |
|
основнойf » |
|
|
|
f̂ » |
|
|
f̂ » |
|
|
|
|
f |
» |
» |
|||||||||||||||
|
согласно» |
|
лемме: |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
↓ |
|
|
|
↓ |
|
|
|
|
|
↓ |
|
*! |
|
↓ |
|
|
|
|
|
↓ |
|
|
|
|
|
↓ |
|
↓ |
|
Следствие |
|
|
|
|
|
|
f̂= |
|
|
|
( ) |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
det f̂= det f
Замечание
Так как det f не зависит от выбора базиса, то можно ввести определение определителя оператора. det det f, где f - матрица оператора в каком-нибудь базисе [ ].
