§ 23. Линейные преобразования
Пусть векторные пространства. Линейное преобразование — это отображение А из со следующими свойствами:
Из (1), как всегда, следует, что
Если пространство имеет конечную размерность и векторы составляют в нем базис, то значение линейного преобразования А на произвольном векторе х полностью определяется его значениями на базисных векторах. Действительно, пусть
Тогда в силу (4) и (2)
Если также имеет конечную размерность то в (5) можно слева и справа векторы выразить через базисные векторы пространства :
Из (5) при сравнении коэффициентов получается
Следовательно, линейное преобразование А определяется некоторой матрицей А, т. е. прямоугольной таблицей, в которой в специальном порядке записаны элементов тела К:
Если базисы фиксированы, то каждое линейное преобразование А однозначным образом определяет некоторую матрицу А, и наоборот. Верхний индекс является номером строки, а нижный индекс номером столбца, на пересечении которых в матрице стоит элемент Согласно (7) элементы столбца — это координаты вектора
Если, кроме преобразования А, задано второе преобразование В, отображающее векторное пространство в векторное пространство размерности
то мы получим линейное преобразование отображающее в в согласии со следующей формулой:
а соответствующей матрицей будет матрица
элементы которой таковы:
Формула (12) определяет умножение матриц. Матрицы можно перемножить и получить произведение лишь тогда, когда в матрице В столько же столбцов, сколько в матрице А строк. Элемент произведения матриц получается по формуле (12), в которой элементы строки матрицы В умножаются
на элементы столбца матрицы А и полученные произведения складываются.
Разумеется, для умножения матриц, как и для умножения преобразований, выполняется закон ассоциативности-.
По этой причине пишут просто Точно так же поступают в записи произведения более, чем трех сомножителей.
Каждому вектору х с координатами можно поставить в соответствии матрицу из одного столбца:
Эта матрица определяет вектор однозначно, как только фиксированы базисные векторы Равенство (8), определяющее преобразование, теперь можно записать как матричное равенство:
Если и имеют одинаковые размерности, то А является квадратной матрицей. В частности, линейные преобразования векторного пространства в себя задаются квадратными матрицами.
Под рангом линейного преобразования А понимается размерность образа также являющегося векторным пространством, т. е. максимальное число линейно независимых векторов среди образов Под столбцовым рангом матрицы А понимается число линейно независимых столбцов. Если матрица линейного преобразования то столбцы в А — это векторы и мы имеем предложение:
Ранг преобразования А равен столбцовому рангу матрицы А.
Если ранг равен размерности пространства то отображение А является взаимно однозначным. Если, кроме того, размерность пространства равна размерности пространства то пространство - образ равно и в этом случае налицо взаимно однозначное линейное отображение пространства на пространство Такое преобразование называется неособым; тем же термином характеризуется и матрица А — неособая. Таким образом, квадратная матрица является особой лишь тогда, когда ее столбцовый ранг меньше
Являясь взаимно однозначным, неособое линейное преобразование обладает обращением, т. е. преобразованием действующим обратным по отношению к способом и,
Чтобы получить новую матрицу, выразим через
Следовательно, новая матрица такова:
В частном случае получается
(см. скан)
Транспонированное преобразование А. Каждому преобразованию А пространства в пространство соответствует преобразование А которое отображает двойственное пространство в двойственное пространство Действительно, если фиксированный ковектор из переменный вектор из то скалярное произведение
является линейной формой по х, т. е. скалярным произведением вектора с некоторым ковектором и:
Этот ковектор и, очевидно, линейно связан с Следовательно, можно положить
и получить равенство
Определенное в (25) преобразование А называется транспонированным по отношению к А.
Равенство (23), переписанное в координатах, выглядит так:
Отсюда следует, что
Матричные элементы преобразования А являются, таким образом, элементами но теперь означает номер строки,
номер столбца. Так получаемую матрицу называют транспонированной и обозначают через А
(см. скан)