Определение линейного оператора и его
Пусть и – линейные пространства над одним и тем же полем . Отображение называется линейным оператором, если оно удовлетворяет следующим условиям:
1. (условие аддитивности).
2. (условие однородности).
Линейный оператор также еще называют линейным отображением. Если пространства и совпадают, то мы говорим «линейный оператор пространства в себя» или «линейное преобразование».
Очевидно, линейными являются нулевой оператор , который каждому вектору пространства ставит в соответствие нейтральный элемент пространства , а также тождественный оператор . Примерами линейных операторов также являются оператор поворота плоскости вокруг неподвижной точки на угол и оператор дифференцирования , ставящий в соответствие каждой функции ее производную (т.е. ).
Пример 15.3. Пусть – пространство свободных векторов, . Показать, что следующие отображения являются линейными операторами пространства в себя: а) оператор, ставящий в соответствие каждому вектору его ортогональную проекцию на ось, направление которой задано ненулевым вектором . Этот оператор в дальнейшем будем обозначать (т.е. ); б) , где – некоторый фиксированный вектор.
|
|
∆Самой сложной операцией для студентов оказывается запись образа суммы векторов. Чтобы прояснить ситуацию, представьте себе, что вам задана функция . Как вы будете искать ? Конечно, вы скажете, вместо надо подставить 5. Точно так же, для нахождения в формулу вместо следует подставить .
а) В аналитической геометрии доказывалось, что . Тогда: = = = = ;
= = =
(использовались свойства скалярного произведения и произведения вектора на число). Таким образом, и условия 1 и 2 из определения линейного оператора выполняются, а значит, оператор проектирования вектора на ось является линейным.
б) Для произвольных векторов и , а также для всех чисел :
; .
(используются свойства векторного произведения). ▲
Пример 15.4. Обозначим линейную оболочку функций и , . Доказать, что отображение является линейным оператором пространства в себя.
∆Покажем сначала, что при отображении образ любой функции из пространства также принадлежит этому пространству. Действительно, при любых действительных и имеем:
,
(здесь , ).
Теперь проверим выполнение условий линейности: имеем:
;
.
Во всех преобразованиях использовали известные свойства определенного интеграла: интеграл от суммы функций равен сумме интегралов от этих функций, а также то, что множитель, не зависящий от переменной интегрирования, можно выносить за знак интеграла. ▲
Простейшие свойства линейного оператора. 1. При линейном операторе образ линейной комбинации векторов равен такой же линейной комбинации их образов, т. е., если – линейный оператор, то :
|
|
.
2. Линейный оператор переводит нейтральный элемент пространства в нейтральный элемент пространства .
3. При линейном операторе линейно зависимые векторы пространства переходят в линейно зависимые векторы пространства , причем сохраняются коэффициенты линейной зависимости.
Теорема 15.1. Пусть и – линейные пространства над одним и тем же полем P и пусть в пространстве задан базис
, (15.1)
а в пространстве – произвольная система векторов
. (15.2)
Тогда существует единственный линейный оператор , переводящий базис (15.1) в систему (15.2), то есть такой, что : .
Пример 15.5. Доказать или опровергнуть утверждение: при линейном операторе линейно независимые векторы переходят в линейно независимые.
∆ Прежде чем делать какой-то общий вывод, всегда полезно посмотреть, верно ли утверждение для известных вам примеров. Так, например, при повороте плоскости на некоторый угол любые неколлинеарные векторы переходят также в неколлинеарные, т.е., действительно, линейно независимые векторы переходят в линейно независимые. А при операторе проектирования пространства, например, на ось линейно независимые векторы и оба проектируются в , т.е. в линейно зависимые. Таким образом, утверждение, вообще говоря, неверно. Словесный оборот «утверждение, вообще говоря, неверно» означает, что оно иногда выполняется, а иногда – нет. ▲
Пример 15.6. На плоскости заданы две системы векторов: и . Существует ли линейный оператор , переводящий первую систему во вторую в следующих случаях:
а) , ;
б) , ;
в) , ;
г) , ;
д) , ?
∆ В случаях а) и б) векторы и неколлинеарны, значит, образуют базис. На основании теоремы 8.1 такой оператор существует независимо от расположения векторов и .
В случае в) векторы и неколлинеарны, т.е. линейно независимы. Но векторы и коллинеарны, т.е. линейно зависимы. На основании свойства 3 такого оператора не существует.
В случае г) коллинеарны обе пары векторов. На первый взгляд противоречия нет. Если же посмотреть внимательнее, заметим, что . Для любого линейного оператора выполняется равенство . Но , значит, такого оператора не существует.
В случае д) коллинеарны обе пары векторов. Кроме того, , , противоречия нет. Покажем, что в этом случае линейный оператор существует. Выберем произвольный вектор , неколлинеарный , и произвольный вектор . Векторы и образуют базис, значит, существует линейный оператор такой, что , . При этом . Заметим, что в последнем случае искомый линейный оператор не только существует, но их бесконечно много. ▲
Пример 15.7. Зададим отображения трехмерного линейного пространства свободных векторов в себя следующим образом: для любого вектора положим:
, , .
Выяснить, какие из этих отображений являются линейными.
∆ Чтобы убедиться в линейности отображения следует доказать, что условия 1 и 2 из определения линейного оператора справедливы для произвольных векторов и и любого числа . Если же вы хотите показать, что отображение линейным не является, достаточно найти пару векторов и , для которых не выполняется условие аддитивности, либо вектор и число , для которых не выполняется условие однородности. Кроме того, можно показать, что не выполняется какое-либо из простейших свойств.
Проверим условия линейности для отображения . Заметим, что во всех трех случаях координаты образа являются функциями координат прообраза. Пусть и – произвольные векторы пространства . Тогда . Из условия видно: чтобы найти первую координату вектора следует к его первой координате прибавить удвоенную третью. Для нахождения первой координаты вектора те же операции проделываем с координатами вектора . Аналогичным образом поступаем со второй и третьей координатами, и в результате получаем:
|
|
=
;
.
Таким образом, – линейный оператор.
Рассмотрим два других отображения. Так как все координаты нулевого вектора равны нулю, то . Не выполняется второе свойство, отображение линейным не является. В записи отображения вызывает подозрение квадрат. Проверим выполнение условия однородности. Для упрощения проверки положим , . Так как , , то отображение линейным не является. ▲