Инвариантное подпространство

Инвариантное подпространство — это подпространство векторного пространства (или более общего пространства, например, модуля), которое отображается само в себя под действием заданного линейного оператора (или, в более общем смысле, группы операторов, алгебры Ли или представления группы). Формально, если \(V\) — векторное пространство над полем \(F\), а \(T: V \to V\) — линейный оператор, то подпространство \(U \subseteq V\) называется инвариантным относительно \(T\), если \(T(U) \subseteq U\), то есть для любого вектора \(u \in U\) его образ \(T(u)\) также принадлежит \(U\).

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

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

Пусть \(V\) — векторное пространство над полем \(F\) (чаще всего \(\mathbb{R}\) или \(\mathbb{C}\)), а \(T: V \to V\) — линейный оператор. Подпространство \(U \subseteq V\) называется \(T\)-инвариантным, если для любого \(u \in U\) выполняется \(T(u) \in U\). Это условие эквивалентно тому, что ограничение оператора \(T\) на \(U\) является линейным оператором на \(U\) (обозначается \(T|_U: U \to U\)).

Из определения непосредственно следуют несколько свойств:

• Тривиальные инвариантные подпространства: \(\{0\}\) и само \(V\) всегда инвариантны относительно любого оператора \(T\).
• Пересечение и сумма: Если \(U_1\) и \(U_2\) — инвариантные подпространства, то их пересечение \(U_1 \cap U_2\) и сумма \(U_1 + U_2\) также являются инвариантными.
• Собственные подпространства: Собственное подпространство, соответствующее собственному значению \(\lambda\), то есть \(\ker(T - \lambda I)\), является инвариантным, так как для любого \(u \in \ker(T - \lambda I)\) имеем \(T(u) = \lambda u \in \ker(T - \lambda I)\).
• Образ и ядро: Образ \(\operatorname{Im}(T)\) и ядро \(\ker(T)\) оператора \(T\) являются \(T\)-инвариантными подпространствами. Для ядра: если \(u \in \ker(T)\), то \(T(u)=0 \in \ker(T)\). Для образа: если \(v \in \operatorname{Im}(T)\), то \(v = T(u)\) для некоторого \(u\), и \(T(v) = T(T(u)) \in \operatorname{Im}(T)\).
• Циклические подпространства: Для любого ненулевого вектора \(v \in V\) подпространство, порождённое векторами \(v, T(v), T^2(v), \dots\), называется циклическим подпространством, порождённым \(v\). Оно всегда инвариантно относительно \(T\) и является минимальным инвариантным подпространством, содержащим \(v\).

Примеры

Конечномерные пространства

1. Диагонализируемые операторы: Если \(T\) имеет полный набор собственных векторов, то каждый собственный вектор порождает одномерное инвариантное подпространство. Всякое инвариантное подпространство является прямой суммой некоторых собственных подпространств.
2. Жорданова клетка: Рассмотрим оператор \(T\) на \(\mathbb{C}^n\), заданный жордановой клеткой размера \(n\) с собственным значением \(\lambda\):

\[ T = \begin{pmatrix} \lambda & 1 & 0 & \dots & 0 \\ 0 & \lambda & 1 & \dots & 0 \\ \vdots & \vdots & \ddots & \ddots & \vdots \\ 0 & 0 & \dots & \lambda & 1 \\ 0 & 0 & \dots & 0 & \lambda \end{pmatrix} \] Подпространство, порождённое первыми \(k\) базисными векторами (\(1 \le k \le n\)), является инвариантным. Это пример цепочки вложенных инвариантных подпространств.

1. Полиномиальные операторы: Если \(p(x)\) — многочлен, то подпространство \(\ker(p(T))\) инвариантно относительно \(T\). Это следует из того, что \(T\) коммутирует с любым многочленом от \(T\).

Функциональные пространства

1. Пространство многочленов: Рассмотрим оператор дифференцирования \(D = \frac{d}{dx}\) на пространстве всех многочленов \(P(\mathbb{R})\). Подпространство многочленов степени не выше \(n\) является инвариантным, так как производная многочлена степени \(n\) имеет степень не выше \(n-1\).
2. Пространство функций на отрезке: Оператор умножения на непрерывную функцию \(f(x)\) в пространстве \(L^2([0,1])\) имеет инвариантные подпространства, состоящие из функций, носитель которых лежит в измеримом множестве, инвариантном относительно прообраза \(f\).
3. Гильбертовы пространства: В функциональном анализе важную роль играют инвариантные подпространства для ограниченных линейных операторов на бесконечномерных гильбертовых пространствах. Например, для оператора сдвига на пространстве последовательностей \(\ell^2\) существует множество нетривиальных инвариантных подпространств.

Классификация и связь с другими понятиями

Инвариантные подпространства и спектральная теорема

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

Проблема инвариантного подпространства

В функциональном анализе существует знаменитая проблема инвариантного подпространства: верно ли, что любой ограниченный линейный оператор на бесконечномерном гильбертовом пространстве имеет нетривиальное (то есть не \(\{0\}\) и не всё пространство) замкнутое инвариантное подпространство? Эта проблема остаётся открытой с середины XX века. Известно, что для некоторых классов операторов (например, компактных, нормальных, операторов сдвига) ответ положителен, но общего доказательства или контрпримера не найдено. В 1970-х годах П. Энфло построил пример банахова пространства, в котором существует оператор без нетривиальных замкнутых инвариантных подпространств, но для гильбертова пространства вопрос остаётся открытым.

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

В теории представлений групп и алгебр Ли инвариантное подпространство — это подпространство пространства представления, которое сохраняется всеми операторами представления. Представление называется неприводимым, если оно не имеет нетривиальных инвариантных подпространств. Разложение представления в прямую сумму неприводимых компонент является одной из основных задач теории. Например, для конечных групп теорема Машке утверждает, что любое представление над полем характеристики, не делящей порядок группы, разлагается в прямую сумму неприводимых представлений.

Применение

Квантовая механика

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

Дифференциальные уравнения

При решении систем линейных дифференциальных уравнений с постоянными коэффициентами инвариантные подпространства позволяют разделить переменные. Если оператор системы имеет инвариантное подпространство, то решение, начальные условия которого лежат в этом подпространстве, остаётся в нём на всё время эволюции. Это используется, например, в методе Фурье для решения уравнений в частных производных.

Вычислительная математика

В численных методах, таких как метод Арнольди для поиска собственных значений, используются итерационные процессы, которые строят последовательность вложенных инвариантных подпространств (подпространства Крылова). Эти подпространства аппроксимируют собственные подпространства оператора, что позволяет эффективно вычислять спектр больших разреженных матриц.

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

• Теорема Бернсайда: В конечномерном случае над алгебраически замкнутым полем, если алгебра операторов, порождённая \(T\), действует неприводимо (то есть не имеет нетривиальных инвариантных подпространств), то эта алгебра совпадает с алгеброй всех линейных операторов на пространстве.
• Теорема Ломоносова: В 1973 году В. И. Ломоносов доказал, что любой ограниченный линейный оператор на банаховом пространстве, который не является скалярным кратным единичного, имеет нетривиальное гипер-инвариантное подпространство (то есть подпространство, инвариантное относительно всех операторов, коммутирующих с данным).
• Парадокс Фурье: В бесконечномерных пространствах даже для простых операторов, таких как оператор умножения на независимую переменную в \(L^2([0,1])\), существует континуум инвариантных подпространств, что контрастирует с конечномерным случаем, где их число конечно.

Источники

• Халмош П. Р. «Конечномерные векторные пространства». — М.: Мир, 1963.
• Гантмахер Ф. Р. «Теория матриц». — М.: Наука, 1967.
• Раджави Ч., Розенталь П. «Инвариантные подпространства». — М.: Мир, 1981.
• Ломоносов В. И. «Инвариантные подпространства операторов, коммутирующих с компактными операторами». — Функциональный анализ и его приложения, 1973.
• Conway J. B. «A Course in Functional Analysis». — Springer, 1990.