Линейный оператор в математике¶

Линейный оператор — это отображение между векторными пространствами, сохраняющее операции сложения векторов и умножения на скаляр. Иными словами, отображение \( A: V \to W \) называется линейным, если для любых векторов \( x, y \in V \) и любого числа \( \alpha \) выполнены равенства \( A(x+y) = A(x) + A(y) \) и \( A(\alpha x) = \alpha A(x) \). Понятие возникло в линейной алгебре и функциональном анализе и является одним из центральных в математике, физике, вычислительной математике и квантовой механике.

¶Определение и основные свойства

Пусть \( V \) и \( W \) — векторные пространства над одним и тем же полем (чаще всего над полем вещественных \( \mathbb{R} \) или комплексных \( \mathbb{C} \) чисел). Отображение \( A: V \to W \) линейно, если выполняются два условия:

• аддитивность: \( A(x+y) = A(x) + A(y) \);
• однородность: \( A(\alpha x) = \alpha A(x) \).

Из этих свойств непосредственно следует, что линейный оператор переводит нулевой вектор в нулевой: \( A(0) = 0 \). Совокупность всех линейных операторов из \( V \) в \( W \) сама образует векторное пространство, обозначаемое \( \mathcal{L}(V, W) \). Если \( V = W \), говорят об операторах, действующих в пространстве \( V \); их множество обозначают \( \mathcal{L}(V) \) и наделяют структурой алгебры относительно композиции.

Термин «оператор» чаще применяют, когда речь идёт об отображении пространства в себя или когда пространства бесконечномерны. В конечномерном случае синонимом служит «линейное преобразование».

¶Матрица линейного оператора

В конечномерном пространстве всякий линейный оператор однозначно задаётся своей матрицей. Если зафиксировать базис \( e_1, \dots, e_n \) в пространстве \( V \), то образы базисных векторов \( A(e_j) \) раскладываются по базису, а коэффициенты разложения образуют столбцы матрицы \( A \). Действие оператора на произвольный вектор сводится к умножению матрицы на столбец координат:

\[ y = A x. \]

При смене базиса матрица оператора преобразуется по правилу подобия \( A' = C^{-1} A C \), где \( C \) — матрица перехода. Величины, не зависящие от выбора базиса, называются инвариантами оператора.

¶Собственные значения и векторы

Важнейшие характеристики оператора — собственные значения и собственные векторы. Вектор \( x \neq 0 \) называется собственным, если \( A x = \lambda x \) для некоторого числа \( \lambda \), которое называют собственным значением. Собственные значения находятся как корни характеристического уравнения \( \det(A - \lambda E) = 0 \), где \( E \) — единичная матрица.

Спектр — множество всех собственных значений — определяет многие свойства оператора. В квантовой механике наблюдаемым величинам соответствуют самосопряжённые (эрмитовы) операторы, спектр которых веществен, а собственные векторы образуют ортонормированный базис.

¶Виды операторов

Среди линейных операторов выделяют несколько важных классов:

Обратимые операторы образуют группу; для конечномерного случая обратимость равносильна невырожденности матрицы (\( \det A \neq 0 \)).

¶Ядро и образ

С каждым оператором связаны два подпространства: ядро \( \ker A \) — множество векторов, переходящих в нуль, и образ \( \operatorname{Im} A \) — множество всех значений. Их размерности связаны теоремой о ранге и дефекте:

\[ \dim \ker A + \dim \operatorname{Im} A = \dim V. \]

Оператор инъективен тогда и только тогда, когда его ядро тривиально, и сюръективен, когда образ совпадает со всем пространством \( W \).

¶Применение

Линейные операторы лежат в основе многих разделов науки и техники:

• Линейная алгебра и численные методы — решение систем линейных уравнений, метод наименьших квадратов, разложения матриц.
• Функциональный анализ — операторы в бесконечномерных пространствах, интегральные и дифференциальные операторы.
• Квантовая механика — операторы физических величин, уравнение Шрёдингера.
• Дифференциальные уравнения — оператор дифференцирования \( D = d/dx \) и операторы краевых задач.
• Компьютерная графика и машинное обучение — линейные преобразования координат, матрицы весов нейронных сетей.

В функциональном анализе рассматривают также ограниченные и неограниченные операторы, компактные операторы, спектральную теорию. Русская математическая школа внесла значительный вклад в эту область: спектральная теория самосопряжённых операторов развита в работах отечественных математиков, а функциональный анализ как самостоятельная дисциплина сформировался во многом благодаря исследованиям, проводившимся в России и СССР.

¶Связь с другими понятиями

Линейный оператор тесно связан с понятиями линейного функционала (оператор в поле скаляров), билинейной формы и матрицы. Композиция операторов соответствует умножению матриц, а сложение — сложению матриц. Изучение операторов в бесконечномерных пространствах привело к появлению операторных алгебр и теории представлений.

Источники: учебники по линейной алгебре и функциональному анализу, справочная математическая литература, энциклопедические издания по математике.