54 Глава 2. Линейная алгебра
3. умножения (см. теор. 19, стр. 53),
то, в силу определения алгебры (см. опр. 6, стр. 21), оно является алгеброй.
Теорема доказана.
Алгебра линейных операторов обнаруживает ряд свойств, характерных для
полной матричной алгебры: например, она некоммутативна (см. пример 41,
стр. 53 и сравни с теор. 2, стр. 22). Нетрудно показать, что она ассоциативна,
это напрямую вытекает из определения произведения линейных операторов
как их суперпозиции (сравни с теор. 3, стр. 23). Наконец, она содержит
делители нуля (см. следующий пример 42, стр. 54 и сравни с теор. 4, стр. 24).
Далее мы увидим, что это сходство не случайно. Алгебра линейных опера-
торов окажется алгебраически изоморфной полной матричной алгебре (см.
теор. 25, стр. 58).
Пример 42 Рассмотрим проекторы p
x
, p
y
, действующие на плоскости π (см. при-
мер 29, стр. 45). Их произведение (взятое, кстати, в любом порядке) является, со
всей очевидностью, нулевым оператором. При этом оба множителя не являются
таковыми.
Определение 29 (обратные операторы) Пусть ϕ — невырожденный ли-
нейный оператор, действующий в векторном пространстве V . Тогда опера-
тором, обратным к нему, называется оператор, обозначаемый ϕ
−1
и обла-
дающий следующими свойствами:
∀u ∈ Vϕϕ
−1
(u)=ϕ
−1
ϕ(u)=u.
Другими словами, произведение взаимно-обратных операторов ϕ и ϕ
−1
(взя-
тое в произвольном порядке) дает тождественный оператор.
Пример 43 Рассмотрим оператор поворота R
α
плоскости π на угол α относи-
тельно начала координат. Очевидно, что для того, чтобы преобразовать плоскость
после поворота к начальному состоянию, необходимо повернуть ее на тот же угол
в противоположном направлении. Поэтому, по определению (см. опр. 29, стр. 54),
обратным оператором в данном случае служит поворот на противоположенный
угол:
R
α
−1
= R
−α
.
Отметим, что не любой оператор обладает обратным. Критерий обратимо-
сти линейного оператора заложен в определении: для обратимости оператор
должен быть невырожден (см. опр. 25, стр. 50).
2.3.4 Матрицы линейных операторов
Допустим, в векторном пространстве V фиксирован базис e
1
,...,e
n
.Тогда
каждый вектор этого пространства может быть описан в виде набора чисел
— его координат, вычисленных в данном базисе.
Точно так же, если в векторном пространстве фиксирован базис, то любой
линейный оператор, действующий в этом пространстве, может быть описан
в виде набора чисел, конкретно — в виде матрицы. В этом разделе мы
получим вычислительный механизм, который позволит нам строить такие
матрицы (см. опр. 30, стр. 55), а также — численно выполнять действие
линейного оператора путем матричного умножения (см. теор. 21, стр. 56).