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

ЛА Билеты расписанные

.pdf
Скачиваний:
5
Добавлен:
29.07.2024
Размер:
2 Мб
Скачать
☆
Действительно, для # имеем Где x’Î G, x”Î ^

Билет 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 - матрица оператора в каком-нибудь базисе [ ].