Определитель матрицы С отличен от нуля (§ 6 главы II), а значит, для существует обратный оператор такой, . По условию,
Применяя к обеим частям этого равенства оператор получим
Подставляя в левую часть последнего равенства будем иметь
матрицей оператора в базисе является матрица Но, с другой стороны, матрица этого оператора равна произведению матриц операторов в базисе т. е.
Отсюда, в частности, следует, что определитель матрицы линейного оператора не зависит от базиса:
(см. следствие на стр. 106).
Пример. В базисе преобразование имеет матрицу Написать матрицу этрго преобразования в базисе
Решение. Матрица перехода здесь , а обратная к ней матрица Следовательно,
Формулу (5) можно получить еще и следующим образом. Как показано в § 3, имеем