Ковариантный вектор

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

Определение и формальное представление

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

\[ \omega(\alpha \mathbf{u} + \beta \mathbf{v}) = \alpha \omega(\mathbf{u}) + \beta \omega(\mathbf{v}) \]

для любых векторов \(\mathbf{u}, \mathbf{v} \in V\) и любых скаляров \(\alpha, \beta\).

Множество всех ковекторов, определённых на \(V\), образует сопряжённое пространство \(V^\) (или дуальное пространство). Размерность \(V^\) совпадает с размерностью \(V\). Если \(V\) конечномерно, то \(V^*\) также конечномерно.

Координатное представление

В заданном базисе \(\{\mathbf{e}_1, \mathbf{e}_2, \dots, \mathbf{e}_n\}\) пространства \(V\) произвольный вектор \(\mathbf{x}\) раскладывается как \(\mathbf{x} = x^i \mathbf{e}_i\) (здесь и далее используется соглашение Эйнштейна о суммировании по повторяющимся индексам). Ковектор \(\omega\) в этом базисе задаётся своими компонентами \(\omega_i\), которые определяются как значения функционала на базисных векторах:

\[ \omega_i = \omega(\mathbf{e}_i) \]

Тогда для произвольного вектора \(\mathbf{x}\):

\[ \omega(\mathbf{x}) = \omega(x^i \mathbf{e}_i) = x^i \omega(\mathbf{e}_i) = \omega_i x^i \]

Компоненты ковектора \(\omega_i\) принято записывать с нижними индексами, в отличие от компонент вектора \(x^i\) (верхние индексы). Это различие отражает разный закон преобразования при замене базиса.

Закон преобразования при замене базиса

Ключевое свойство, отличающее ковариантные векторы от контравариантных, — их поведение при переходе к новому базису. Пусть в пространстве \(V\) заданы два базиса: старый \(\{\mathbf{e}_i\}\) и новый \(\{\mathbf{e}'_i\}\), связанные матрицей перехода \(A\):

\[ \mathbf{e}'_i = A^j_i \mathbf{e}_j \]

где \(A^j_i\) — элементы матрицы перехода (индекс \(i\) — номер нового базисного вектора, \(j\) — номер старого). Компоненты вектора \(\mathbf{x} = x^i \mathbf{e}_i = x'^i \mathbf{e}'_i\) преобразуются по закону:

\[ x'^i = (A^{-1})^i_j x^j \]

то есть контравариантно (с использованием обратной матрицы).

Компоненты ковектора \(\omega = \omega_i \mathbf{e}^i = \omega'_i \mathbf{e}'^i\) (где \(\mathbf{e}^i\) — базис сопряжённого пространства) преобразуются по закону:

\[ \omega'_i = A^j_i \omega_j \]

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

Примеры ковариантных векторов

Градиент функции

В дифференциальной геометрии и математическом анализе градиент скалярной функции \(f\) в точке \(p\) является ковариантным вектором. Если \(f: \mathbb{R}^n \to \mathbb{R}\) дифференцируема, то её дифференциал \(df_p\) в точке \(p\) — это линейный функционал, действующий на вектор смещения \(\mathbf{v}\):

\[ df_p(\mathbf{v}) = \frac{\partial f}{\partial x^i}(p) \, v^i \]

Компоненты градиента в координатах — это частные производные \(\partial f / \partial x^i\), которые преобразуются ковариантно.

Линейная форма в пространстве с метрикой

В евклидовом пространстве с заданным скалярным произведением \(\langle \cdot, \cdot \rangle\) каждому вектору \(\mathbf{a}\) можно поставить в соответствие ковектор \(\omega_{\mathbf{a}}\) по правилу:

\[ \omega_{\mathbf{a}}(\mathbf{x}) = \langle \mathbf{a}, \mathbf{x} \rangle \]

Это соответствие является изоморфизмом между \(V\) и \(V^*\) (так называемое «поднятие и опускание индексов» с помощью метрического тензора). В физике это используется, например, для перехода между контравариантными и ковариантными компонентами векторов.

Ковекторы в физике

В теоретической физике ковариантные векторы естественно возникают при описании:

• Электромагнитного поля: 4-потенциал \(A_\mu\) (где \(\mu = 0,1,2,3\)) является ковариантным вектором в пространстве-времени Минковского. Его компоненты: \(A_0 = \phi/c\) (скалярный потенциал), \(A_1, A_2, A_3\) — компоненты векторного потенциала.
• Общей теории относительности: метрический тензор \(g_{\mu\nu}\) позволяет опускать индексы у векторов, превращая их в ковекторы. Например, 4-импульс частицы \(p^\mu\) и его ковариантный аналог \(p_\mu = g_{\mu\nu} p^\nu\).
• Квантовой механики: бра-векторы \(\langle \psi |\) в гильбертовом пространстве являются ковариантными векторами по отношению к кет-векторам \(|\psi \rangle\).

Связь с тензорами

Ковариантные векторы являются частным случаем тензоров типа \((0,1)\) — то есть тензоров, имеющих один нижний индекс и ни одного верхнего. В общем случае тензор типа \((p, q)\) имеет \(p\) верхних (контравариантных) и \(q\) нижних (ковариантных) индексов. Ковариантный вектор — это тензор типа \((0,1)\).

В тензорном анализе ковариантные векторы используются для:

• определения дифференциальных форм;
• задания линейных функционалов на касательном пространстве к многообразию;
• описания ковариантных производных и связностей.

Сопряжённое пространство и двойственность

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

Важное свойство: двойное сопряжённое пространство \((V^)^\) естественно изоморфно \(V\). Это означает, что каждый вектор \(\mathbf{x} \in V\) можно рассматривать как линейный функционал на \(V^*\), действующий по правилу:

\[ \mathbf{x}(\omega) = \omega(\mathbf{x}) \]

Таким образом, понятия ковариантного и контравариантного векторов симметричны относительно двойственности.

Ковариантные векторы в дифференциальной геометрии

В дифференциальной геометрии ковариантные векторы (1-формы) являются элементами кокасательного расслоения к гладкому многообразию. В каждой точке \(p\) многообразия \(M\) определено кокасательное пространство \(T_p^* M\), состоящее из всех ковекторов, действующих на касательные векторы из \(T_p M\).

Примеры 1-форм:

• Дифференциал функции \(df\) — 1-форма, которая в каждой точке \(p\) даёт ковектор \(df_p\).
• Форма связности в теории калибровочных полей.
• Форма объёма на ориентированном многообразии.

Критика и ограничения

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

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

Источники

1. Кострикин А. И., Манин Ю. И. «Линейная алгебра и геометрия». — М.: Наука, 1986.
2. Дубровин Б. А., Новиков С. П., Фоменко А. Т. «Современная геометрия: методы и приложения». — М.: Наука, 1979.
3. Ландау Л. Д., Лифшиц Е. М. «Теория поля» (Том 2). — М.: Физматлит, 2003.
4. Мизнер Ч., Торн К., Уилер Дж. «Гравитация» (Том 1). — М.: Мир, 1977.
5. Спивак М. «Математический анализ на многообразиях». — М.: Мир, 1968.