Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Algebra_Polovitsky_Ya_D_uchebnoe_posobie_chas.doc
Скачиваний:
1
Добавлен:
01.07.2025
Размер:
4.43 Mб
Скачать

§4. Операции над линейными преобразованиями

Определим во множестве Ф всех линейных преобразований линейного пространства L над полем Р ряд естественных операций. Пусть ,  Ф.

Определение 7. Суммой линейных преобразований  и  называют преобразование, + задаваемое так: (+)(а)=(а)+(а) (для любого аL).

Утверждение 1. Сумма линейных преобразований линейного пространства L также является также линейным преобразованием L.

Доказательство. Для любых a, b L по определению 1 имеем: (+)(а+b)=(a+b)+(a+b)=(a)+(b)+(a)+(b)=(+)(a)+(+)(b) (при доказательстве мы использовали линейность  и ).

Аналогично для любого вектора аL и числа P имеем:

(+)(a)=(a)+(a)=(a)+(a)=((a)+(a))=[(+)(a)].

Мы проверили свойства линейности для +. Значит (+)Ф.

Утверждение доказано.

Утверждение 2. Матрицей суммы линейных преобразований конечномерного линейного пространства в фиксированном базисе является сумма матриц слагаемых в том же базисе.

Доказательство. Пусть  и  в базисе е линейного пространства L имеют матрицы А и В. Тогда для любого вектора а из L имеем: [(a)]=A[a], [(a)]=B[a]. Так как (+)(а)=(а)+(а), то [(+)(a)]=[(a)]+[(a)]=А[а]+В[а]=(A+B)[а]. Из равенства [(+)(a)]=(A+B)[a] в силу замечания 4 к утверждению 1 из §2 данной главы, следует, что (+) имеет в базисе е матрицу A+B.

Утверждение доказано.

Утверждение 3. Операция сложения линейных преобразований в Ф ассоциативна и коммутативна.

Доказательство. Докажем ассоциативность. Пусть ,  и Ф. Тогда, для любого а из L имеем:

[(+) +](а) = (+)(а)+(а)= (а)+(а)+(а) = (а)+(+)(а) = [+(+)](а), т.е. справедливо равенство: [(+)+]а=[+(+)]а. Это означает равенство линейных преобразований

(+) + и +(+) (по определению равенства отображений).

Ассоциативность доказана.

Осталось доказать коммутативность. Для любых  и  из Ф выполняются равенства (+)(а)= (а)+(а) =(а)+(a)=(+)(a), откуда следует равенство +=+.

Коммутативность доказана.

Утверждение доказано.

Замечание 1. Очевидным является существование во множестве Ф нулевого элемента  ((а)=0, аL), а также у каждого элемента – противоположному ему.

Утверждение 4. Множество Ф всех линейных преобразований линейного пространства L – это коммутативная группа по сложению.

Справедливость этого вытекает из доказанных выше утверждений 1–3 и замечания 1 к утверждению 3.

Определение 8. Произведением линейного преобразования на число Р называют отображение, определяемое так: ()(а)=((а)) для любого аL.

Утверждение 5. Произведение линейного преобразования на число является линейным преобразованием.

Доказательство. Это вытекает из соотношений, выполняющихся при любых a, b L, P:

()(a+b)=((a+b))=((a)+(b))=()(a)+()(b),

()(a)=[( a)]=((a))=()((a))= (()(a)).

Утверждение доказано.

Утверждение 6. При умножении линейного преобразования  конечномерного линейного пространства на число его матрица умножается на это число.

Справедливость этого утверждения следует из равенств:

[(a)]=[(a)]= (A[a])= (A)[a] и замечания 4 к утверждению 1 из §2 этой главы.

Из утверждений 4 и 5 нетрудно получить, что Ф – линейное пространство над полем Р.

Определение 9. Произведением линейных преобразований  и  из Ф называют результат их последовательного применения, т.е. преобразование , действующее по правилу: ()(а)=((а)) для любого аL (преобразование, действующее первым, записывают справа).

Замечание 2. В определении 9 использована левая запись преобразований. Иногда используют правую запись: a()=(a). Тогда произведение  и  обозначают через .

Утверждение 7. Преобразование  является линейным, т.е. принадлежит Ф.

Справедливость этого утверждения вытекает из следующих соотношений (для любых a, b из L и любого P):

()(a+b)=((a+b))=(a+b)=()(a)+()(b),

()(a)=((a))=((a))=((a))=((a)).

Значит, Ф, т.е. умножение преобразований является алгебраической операцией в Ф.

Утверждение доказано.

Утверждение 8. Пусть в конечномерном линейном пространстве L выбран базис е. Если А и В – матрицы преобразований , Ф в базисе e, то матрицей  в базисе e является матрица BA (матрица преобразования, действующего первым, записывается справа).

Доказательство. Из равенства ()(а)=((а)) вытекает: [(a)]=[((a))]= B[(a)]=ВА[а]. В силу замечания 4 к утверждению 1 из §2  имеет в базисе е матрицу ВА.

Утверждение доказано.

Замечание 3. При доказательстве утверждений о матрицах линейных преобразований +, ,  мы использовали метод, предложенный Г.С. Шевцовым в [5].

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]