Линейные отображения, в отличие от нелинейных, достаточно хорошо исследованы, что позволяет успешно применять результаты общей теории, так как их свойства не зависят от природы величин.
Являются частным случаем гомоморфизмов модулей. Линейные отображения из пространства в себя обычно называются линейными операторами или линейными преобразованиями[1].
Если , то называется линейным оператором или линейным преобразованием пространства . Если выполняется только первое свойство, то отображение называется аддитивным.
Если определить операции сложения и умножения на скаляр из основного поля как
то множество всех линейных отображений из в представит собой векторное пространство, которое обычно обозначается как .
Ограниченные линейные операторы. Норма оператора
Если векторные пространства и являются линейными топологическими пространствами, то есть на них определены топологии, относительно которых операции этих пространств непрерывны, то можно определить понятие ограниченного оператора: линейный оператор называется ограниченным, если он переводит ограниченные множества в ограниченные (в частности, все непрерывные операторы ограничены). В частности, в нормированных пространствах множество ограничено, если норма любого его элемента ограничена, следовательно, в этом случае оператор называется ограниченным, если существует число N такое что . Можно показать, что в случае нормированных пространств непрерывность и ограниченность операторов эквивалентны. Наименьшая из постоянных N, удовлетворяющая указанному выше условию, называется нормой оператора:
Введение нормы операторов позволяет рассматривать пространство линейных операторов как нормированное линейное пространство (можно проверить выполнение соответствующих аксиом для введённой нормы). Если пространство — банахово, то и пространство линейных операторов тоже банахово.
Оператор называется обратным линейному оператору , если выполняется соотношение:
Оператор , обратный линейному оператору , также является линейным оператором. Если — линейный непрерывный оператор, отображающий одно банахово пространство (или F-пространство) в другое, то и обратный оператор тоже является линейным непрерывным оператором.
Матрица линейного отображения — матрица, выражающая линейное отображение в некотором базисе. Для того, чтобы её получить, необходимо подействовать отображением на векторы базиса и координаты полученных векторов (образов базисных векторов) записать в столбцы матрицы.
Матрица отображения аналогична координатам вектора. При этом действие отображения на вектор равносильно умножению матрицы на столбец координат этого вектора в том же базисе.
Выберем базис . Пусть — произвольный вектор. Тогда его можно разложить по этому базису:
Пусть — произвольное линейное отображение. Подействуем им на обе стороны предыдущего равенства, получим
.
Вектора также разложим в выбранном базисе, получим
,
где — -я координата -го вектора из .
Подставим разложение в предыдущую формулу, получим
.
Выражение , заключённое в скобки, есть не что иное, как формула умножения матрицы на столбец, и, таким образом, матрица при умножении на столбец даёт в результате координаты вектора , возникшего от действия оператора на вектор , что и требовалось получить.
Комментарий: Если в полученной матрице поменять местами пару столбцов или строк, то мы, вообще говоря, получим уже другую матрицу, соответствующую тому же набору базисных элементов . Иными словами, порядок базисных элементов предполагается строго упорядоченным.
Пример преобразования
Рассмотрим в качестве примера матрицу размера 2×2 следующего вида
может быть рассмотрена как матрица преобразования единичного квадрата в параллелограмм с вершинами , , , и .
Параллелограмм, показанный на рисунке справа получается путём умножения матрицы A на каждый вектор-столбец и . Эти векторы соответствуют вершинам единичного квадрата.
В следующей таблице приведены примеры матриц 2 × 2 над вещественными числами с соответствующими им линейными преобразованиями R2. Синим цветом обозначена исходная координатная сетка, а зелёным — трансформированная. Начало координат обозначено чёрной точкой.
Тождественный оператор (единичный оператор)— оператор , отображающий каждый элемент пространства в себя; норма такого оператора равна единице (для нормированных пространств)
Нулевое отображение — оператор, переводящий каждый элемент в нулевой элемент .
Проектор — оператор сопоставляющий каждому его проекцию на подпространство.
Эрмитов (или симметрический) оператор — такой оператор , определённый на подпространстве гильбертова пространства, что для всех пар из области определения . Для всюду определённых операторов данное свойство совпадает с самосопряжённостью.
Унитарный оператор — оператор, область определения и область значений которого — всё пространство, сохраняющий скалярное произведение ; в частности, унитарный оператор сохраняет норму любого вектора . Оператор, обратный унитарному, совпадает с сопряжённым оператором ; норма унитарного оператора равна 1; в случае вещественного поля К унитарный оператор называют ортогональным.
Ядром линейного отображения называется подмножество , которое отображается в нуль:
Ядро линейного отображения образует подпространство в линейном пространстве .
Образом линейного отображения называется следующее подмножество :
Образ линейного отображения образует подпространство в линейном пространстве .
Образом подмножества[3] относительно линейного преобразования A называется множество .
Отображение прямого произведения линейных пространств и в линейное пространство называется билинейным, если оно линейно по обоим своим аргументам. Отображение прямого произведения большего числа линейных пространств называется полилинейным, если оно линейно по всем своим аргументам.
Оператор называется линейным неоднородным (или аффинным), если он имеет вид
где — линейный оператор, а — вектор.
Пусть . Подпространство называется инвариантным относительно линейного отображения, если [4].
Критерий инвариантности. Пусть — подпространство,такое что разлагается в прямую сумму: . Тогда инвариантно относительно линейного отображения тогда и только тогда, когда , где — проектор на подпространство .
Фактор-операторы[5]. Пусть — линейный оператор и пусть — некоторое инвариантное относительно этого оператора подпространство. Образуем факторпространство по подпространству . Тогда фактор-оператором называется оператор действующий на по правилу: , где — класс из факторпространства, содержащий .