Однозначное отображение линейного пространства V над числовым полем P в себя называется линейным преобразованием, если оно сохраняет линейность, то есть для любых и .
Линейное преобразование полностью определяется своими значениями на базисных векторах. Действительно, пусть базис V. Вектор x разложим по базису , где - координаты вектора x. По свойству линейного преобразования имеем . Перейдем в последнем равенстве от равенства векторов к равенству их координат , которое можно записать используя матричное умножение следующим образом . Матрица называется матрицей линейного преобразования и обозначается . Матрица линейного преобразования связывает координаты образа с координатами исходного вектора .
Изменение матрицы линейного преобразования при изменении базиса.
Поскольку линейное преобразование частный случай линейного оператора, то можно воспользоваться полученной ранее формулой , где P – матрица перехода. Матрицы A и B называются подобными, если существует невырожденная матрица P, что . Вопрос о подобии матриц сводится к решению системы линейных уравнений , где в роли неизвестных выступают элементы матрицы P, с дополнительным нелинейным условием .
Алгебра линейных преобразований.
На множестве всех линейных преобразований пространства V расмотрим операции:
1. Умножение на число: .
2. Сложение (вычитание)
3. Умножение .
Легко проверить линейность всех этих преобразований и вывести следующие формулы, связывающие их матрицы
1.
2.
3.
Линейное преобразование, переводящее каждый вектор в себя, называется тождественным преобразованием и обозначается . В любом базисе матрица тождественного преобразования равна единичной.
Пусть - некоторый многочлен, - линейное преобразование пространства V. Сопоставим многочлену линейное преобразование . Будем говорить, что преобразование получено подстановкой в многочлен . Матрица может быть вычислена по формуле .
Свойство 7.1. Пусть . Тогда .
Инвариантные пространства
Подпространство W называется инвариантным относительно линейного преобразования , если для любого x из W его образ также принадлежит W.
Свойство 7.2. - инвариантное подпространство.
Доказательство. Пусть . Тогда .
Свойство 7.3. - инвариантное подпространство.
Доказательство. Пусть , тогда .
Свойство 7.4. Пусть - многочлен, тогда инвариантное пространство относительно .
Доказательство. Пусть , то есть . Далее, , то есть .
Свойство 7.5. Пусть - многочлен, тогда инвариантное пространство относительно .
Доказательство. Пусть , тогда . Далее, , то есть .
Знание инвариантных подпространств позволяет найти базис пространства, в котором матрица линейного преобразования имеет простую структуру. Действительно, пусть базис инвариантного подпространства W. Дополним его до базиса всего пространства векторами . Координаты образов первых k векторов могут иметь только k первых ненулевых компонент. Следовательно, в матрице линейного преобразования содержится в левом нижнем углу блок размером (n - k)* k, состоящий из одних нулей.
Если пространство V представляется в виде прямой суммы инвариантных подпространств W и U, то построим базис пространства V, объединив базисы W и U. В построенном базисе матрица линейного преобразования будет иметь блочно диагональный вид.
Таким образом, структура матрицы линейного преобразования имеет тем более простой вид, чем меньше размерность инвариантных подпространств, в прямую сумму которых расщепляется исходное пространство V.