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