logo
ALGYeBRA_I_GYeOMYeTRIYa

§2. Действия над линейными операторами.

Определение. Пусть A:Ln Ln и B:Ln Ln – два линейных оператора, действующие в одном и том же векторном пространстве. Оператор C:Ln Ln , который действует по правилу: Cx=Ax+Bx называется суммой операторов A и B. Мы пишем C=A+B.

Произведением оператора A на число  называется оператор A, который действует по правилу (A)x=(Ax). Оператор 1A обозначаем A.

Композицией операторов A и B называется оператор F, который действует по правилу: Fx=B(Ax). Пишем F=BA.

Проверьте самостоятельно, что операторы A+B, A и BA тоже являются линейными.

Предложение 4. Пусть в пространстве Ln выбран базис и пусть A, Bматрицы операторов A и B в данном базисе. Тогда оператор A+B имеет матрицу A+B, оператор A имеет матрицу A, а оператор BA имеет матрицу BA. Таким образом, действиям над линейными операторами соответствуют точно такие же действия над их матрицами.

Доказательство. Пусть C=A+B и пусть xLn – произвольный вектор. Пусть y1=Ax, y2=Bx, y3=Cx, а X, Y1, Y2, Y3 – соответствующие координатные столбцы относительно выбранного базиса и C – матрица оператора C. Тогда

Y1=AX, Y2=BX, Y3=CX.

Согласно определению, y3=Cx=Ax+Bx=y1+y2, а значит, и для их координатных столбцов выполнено Y3=Y1+Y2

CX=AX+BX=(A+B)X.

для любого столбца X. Это и означает, что C=A+B.

Утверждение про матрицу оператора A докажите самостоятельно.

Пусть теперь y=Ax, z=By, а X, Y, Z – соответствующие координатные столбцы относительно выбранного базиса. Тогда

Y=AX, Z=BY Z=B(AX)=(BA)X.

Сдругой стороны,z=(BA)x=Cx Z=CX. Итак, для любого столбца X выполнено CX=(BA)X C=BA.

Замечание. При доказательстве мы использовали утверждение: если для любого столбца X выполнено AX=BX, то A=B. Мы его докажем на практических занятиях.

Свойства операций над линейными операторами.

1. A+B =B+A; 5. (A+B)=A+B;

2. (A+B)+C =A+(B+C); 6. (+)A=A+A;

3. A+O =A; 7. ()A=(A);

4. A+(A)=O; 8. 1·A=A.

Эти свойства в точности совпадают с аксиомами векторного пространства. Таким образом, множество всех линейных операторов, действующих из Ln в Ln образует векторное пространство.