Линейные отображения линейных пространств
Определение 1. Отображение j линейного пространства L в линейное простанство L` называется линейным отображением, если для любых a, bÎL j(a+b)=j(a)+j(b) и "aÎP и "аÎL j(aa)=aj(a). Лемма 1. Пусть j: L®L` – линейное отображение конечномерного линейного пространства L в линейное пространство L`. Тогда образ любого вектора из L при отображении j однозначно определяется образами векторов некоторого базиса e1,…,en (1) пространства L при этом отображении. Доказательство. Пусть aÎL. Тогда a=a1е1+…+anеn (2). Из определения линейного отображения j имеем: j(a)=j(a1e1)+…+j(anen)=a1j(e1)+…+anj(en) (3). Из (3) видно, что если известны векторы j(e1),…,j(en), то однозначно находится j(a) (ибо координаты вектора а в базисе (1) единственны). Лемма доказана. Следствие. Если два линейных отображения j и y n-мерного линейного пространства L в L` над Р совпадают на некотором базисе (1) линейного пространства L, то j=y. Доказательство. Пусть j и y – линейные отображения L®L`, удовлетворяющие условию: j(ei)=y(ei) (i=1,2,..,n). Тогда в силу леммы 1 для любого аÎL имеем: j(а)=y(а), откуда j=y (по определению равенства отображений). Следствие доказано. Лемма 2.Пусть L – n-мерное линейное пространство с базисом (1); L` – любое линейное пространство над тем же полем Р и c1,…, cn – произвольные векторы, принадлежащие L`. Тогда существует линейное отображение j: L®L` такое, что j(ei)=сi (4) для любого i=1,2..,n, причем такое отображение единственно. Доказательство. Единственность вытекает из следствия леммы 1. Докажем существование такого отображения. Так как (1) - базис, то для каждого Если gÎP, то вектор Далее, если Осталось проверить справедливость равенства (4). Так как ei=0e1+…+1×ei+…+0en, то по определению отображения j: j(ei)=0c1+…+1×ci+…+0cn=ci, т.е. j – искомое отображение. Лемма доказана. Замечание 1.Из леммы 2 видно, что для задания линейного отображения n-мерного линейного пространства L в L` достаточно задать n векторов из L`. ©2015 arhivinfo.ru Все права принадлежат авторам размещенных материалов.
|