Связь между координатными столбцами векторов х и ф(x).
Пусть
— фиксированный базис векторного пространства
— линейный оператор этого пространства. Пусть, далее,
Обозначим через
координатные столбцы соответственно векторов
относительно фиксированного базиса (1):
Найдем связь между этими координатными столбцами.
ТЕОРЕМА 2.3. Пусть
— линейный оператор векторного пространства и
— матрица оператора
относительно базиса (1). Тогда для любого вектора
выполняется равенство
Доказательство. Пусть
тогда выполняются равенства (2). Если
Заменяя в этом равенстве векторы
на основании (2), получаем
откуда
Следовательно,
ТЕОРЕМА 2.4. Пусть
— линейный оператор векторного пространства
— матрица оператора
относительно фиксированного базиса (1). Если для любого вектора
то
Доказательство. Согласно определению матрицы
Подставив в (3) вместо
последовательно базисные векторы
получим
На основании (4) и (5) заключаем, что соответствующие столбцы матриц
и В совпадают. Следовательно,
ПРЕДЛОЖЕНИЕ 2.5. Пусть
— линейные операторы векторного пространства с фиксированным базисом
тогда
Доказательство. Пусть
тогда
Следовательно,
и, по теореме 2.3,
Равенство (4) верно для любого
По теореме 2.4, из (4) следует равенство (1).
В силу
следовательно»
и, по теореме 2.3, для любого
Согласно теореме 2.4, из (5) следует (2).