Пространство линейных операторов

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

Определение

Пусть \( V \) и \( W \) — векторные пространства над одним и тем же полем \( \mathbb{K} \) (например, полем действительных чисел \( \mathbb{R} \) или комплексных чисел \( \mathbb{C} \)). Множество всех линейных отображений (операторов) \( T: V \to W \) обозначается \( \mathcal{L}(V, W) \). На этом множестве вводятся две операции:

1. Сложение операторов: для любых \( T, S \in \mathcal{L}(V, W) \) и любого вектора \( x \in V \) определяется как \( (T + S)(x) = T(x) + S(x) \).
2. Умножение оператора на скаляр: для любого \( T \in \mathcal{L}(V, W) \), любого скаляра \( \lambda \in \mathbb{K} \) и любого вектора \( x \in V \) определяется как \( (\lambda T)(x) = \lambda \cdot T(x) \).

Относительно этих операций множество \( \mathcal{L}(V, W) \) само образует векторное пространство над полем \( \mathbb{K} \). Нулевым элементом этого пространства является нулевой оператор \( \mathbf{0} \), который каждому вектору \( x \in V \) ставит в соответствие нулевой вектор \( 0_W \in W \).

Размерность

Размерность пространства линейных операторов \( \mathcal{L}(V, W) \) напрямую связана с размерностями пространств \( V \) и \( W \). Если \( V \) и \( W \) конечномерны, причём \( \dim V = n \) и \( \dim W = m \), то

\[ \dim \mathcal{L}(V, W) = m \cdot n. \]

Это следует из того, что любой линейный оператор в конечномерном случае может быть однозначно представлен матрицей размера \( m \times n \) (относительно фиксированных базисов). Множество всех таких матриц \( M_{m \times n}(\mathbb{K}) \) изоморфно пространству \( \mathcal{L}(V, W) \), а размерность пространства матриц равна \( m \cdot n \).

Базис

Построение базиса в пространстве \( \mathcal{L}(V, W) \) удобно проводить с помощью так называемых «элементарных» операторов. Пусть \( e_1, \dots, e_n \) — базис в \( V \), а \( f_1, \dots, f_m \) — базис в \( W \). Для каждой пары индексов \( (i, j) \), где \( i = 1, \dots, m \) и \( j = 1, \dots, n \), определим оператор \( E_{ij} \in \mathcal{L}(V, W) \) следующим образом:

\[ E_{ij}(e_k) = \begin{cases} f_i, & \text{если } k = j, \\ 0_W, & \text{если } k \neq j. \end{cases} \]

Иными словами, оператор \( E_{ij} \) переводит \( j \)-й базисный вектор пространства \( V \) в \( i \)-й базисный вектор пространства \( W \), а все остальные базисные векторы — в нуль. Множество \( \{ E_{ij} \mid i = 1, \dots, m; j = 1, \dots, n \} \) образует базис пространства \( \mathcal{L}(V, W) \). В матричной записи оператору \( E_{ij} \) соответствует матрица, у которой на пересечении \( i \)-й строки и \( j \)-го столбца стоит единица, а все остальные элементы — нули.

Изоморфизмы

Изоморфизм с пространством матриц

Как уже отмечалось, для конечномерных пространств \( V \) и \( W \) существует естественный изоморфизм между \( \mathcal{L}(V, W) \) и пространством матриц \( M_{m \times n}(\mathbb{K}) \). Этот изоморфизм устанавливается выбором базисов в \( V \) и \( W \). Каждому оператору \( T \) ставится в соответствие его матрица \( [T] \), и это соответствие является линейным и биективным.

Изоморфизм с двойственным пространством

В частном случае, когда \( W = \mathbb{K} \) (одномерное пространство над собой), пространство \( \mathcal{L}(V, \mathbb{K}) \) называется сопряжённым (двойственным) пространством к \( V \) и обозначается \( V^ \). Элементами \( V^ \) являются линейные функционалы на \( V \). Если \( \dim V = n \), то \( \dim V^ = n \), и пространства \( V \) и \( V^ \) изоморфны, хотя этот изоморфизм не является каноническим (зависит от выбора базиса).

Пространство операторов на одном пространстве

Особый интерес представляет случай, когда \( V = W \). Пространство \( \mathcal{L}(V, V) \) (обозначается также \( \operatorname{End}(V) \)) — это пространство линейных операторов, действующих в пространстве \( V \). Помимо структуры векторного пространства, на \( \operatorname{End}(V) \) определена дополнительная операция — композиция (умножение) операторов. Для любых \( T, S \in \operatorname{End}(V) \) композиция \( T \circ S \) определяется как \( (T \circ S)(x) = T(S(x)) \). Относительно сложения и композиции \( \operatorname{End}(V) \) образует ассоциативную алгебру (алгебру линейных операторов). Единичным элементом этой алгебры является тождественный оператор \( I \), для которого \( I(x) = x \).

Примеры

Пример 1: Пространство операторов на плоскости

Рассмотрим \( V = \mathbb{R}^2 \) (плоскость) и \( W = \mathbb{R}^2 \). Пространство \( \mathcal{L}(\mathbb{R}^2, \mathbb{R}^2) \) имеет размерность \( 2 \cdot 2 = 4 \). Базис могут составлять операторы, соответствующие матрицам: \[ E_{11} = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, \quad E_{12} = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \quad E_{21} = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}, \quad E_{22} = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}. \] Любой линейный оператор на плоскости, например, оператор поворота на угол \( \theta \), представляется матрицей \( \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} \), которая является линейной комбинацией базисных матриц.

Пример 2: Пространство функционалов

Пусть \( V = \mathbb{R}^n \) (пространство столбцов высоты \( n \)), а \( W = \mathbb{R} \). Пространство \( \mathcal{L}(\mathbb{R}^n, \mathbb{R}) \) — это пространство линейных функционалов (ковекторов). Его размерность равна \( n \). Каждый функционал может быть представлен строкой длины \( n \): \( f(x) = a_1 x_1 + a_2 x_2 + \dots + a_n x_n \). Базис образуют функционалы \( f_i \), для которых \( f_i(e_j) = \delta_{ij} \) (символ Кронекера).

Применение

Понятие пространства линейных операторов является центральным во многих разделах математики и физики:

• Квантовая механика: Состояния квантовой системы описываются векторами в гильбертовом пространстве, а наблюдаемые физические величины (энергия, импульс, координата) — самосопряжёнными линейными операторами. Пространство таких операторов изучается в рамках алгебры наблюдаемых.
• Теория представлений групп: Линейные представления групп — это гомоморфизмы из группы в группу обратимых операторов на некотором векторном пространстве. Изучение пространства операторов позволяет классифицировать представления.
• Дифференциальные уравнения: Линейные дифференциальные операторы (например, оператор Лапласа \( \Delta \)) рассматриваются как элементы пространства операторов на пространствах функций. Спектральная теория таких операторов лежит в основе методов решения уравнений математической физики.
• Численные методы: При решении систем линейных уравнений и задач на собственные значения используются матричные представления операторов. Пространство операторов позволяет формулировать итерационные методы и изучать их сходимость.

Интересные факты

• В бесконечномерном случае (например, в функциональном анализе) пространство \( \mathcal{L}(V, W) \) может быть бесконечномерным, и его структура значительно сложнее. В частности, не все линейные операторы являются непрерывными (ограниченными), и обычно рассматривают только пространство ограниченных линейных операторов, которое является банаховым пространством.
• Множество обратимых операторов (автоморфизмов) в \( \operatorname{End}(V) \) не образует подпространства, так как оно не замкнуто относительно сложения (сумма двух обратимых операторов может быть необратимой). Однако оно образует группу — общую линейную группу \( GL(V) \).
• Пространство \( \mathcal{L}(V, W) \) является частным случаем тензорного произведения: \( \mathcal{L}(V, W) \cong V^ \otimes W \). Это означает, что любой оператор может быть представлен как сумма «простых» операторов вида \( f \otimes w \), где \( f \in V^ \), а \( w \in W \).

Источники

1. Кострикин А. И., Манин Ю. И. «Линейная алгебра и геометрия». — М.: Наука, 1986.
2. Винберг Э. Б. «Курс алгебры». — М.: МЦНМО, 2011.
3. Халмош П. «Конечномерные векторные пространства». — М.: Мир, 1963.
4. Треногин В. А. «Функциональный анализ». — М.: Наука, 1980.