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

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

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

Пусть задано конечномерное векторное пространство \( V \) размерности \( n \) над полем действительных чисел. Выберем в нём базис \( \{e_1, e_2, \ldots, e_n\} \). Любой вектор \( v \in V \) может быть однозначно разложен по этому базису:

\[ v = v^1 e_1 + v^2 e_2 + \ldots + v^n e_n, \]

где \( v^1, v^2, \ldots, v^n \) — компоненты вектора \( v \) в данном базисе. Верхние индексы у компонент указывают на контравариантный тип преобразования.

При переходе к новому базису \( \{e'_1, e'_2, \ldots, e'_n\} \), связанному со старым соотношением

\[ e'_i = \sum_{j=1}^n A^j_i e_j, \]

где \( A^j_i \) — элементы матрицы перехода \( A \), компоненты вектора преобразуются по закону:

\[ v'^i = \sum_{j=1}^n (A^{-1})^i_j v^j. \]

Здесь \( (A^{-1})^i_j \) — элементы обратной матрицы к \( A \). Таким образом, компоненты контравариантного вектора преобразуются с помощью обратной матрицы по отношению к преобразованию базиса. Это свойство отличает контравариантные векторы от ковариантных, компоненты которых преобразуются с помощью той же матрицы \( A \).

История и происхождение понятия

Термин «контравариантный» был введён в середине XIX века в рамках развития тензорного исчисления. Основоположниками тензорного анализа считаются итальянский математик Грегорио Риччи-Курбастро и его ученик Туллио Леви-Чивита. В 1901 году они опубликовали работу «Методы абсолютного дифференциального исчисления и их приложения», где систематизировали понятия ковариантных и контравариантных тензоров. Понятие контравариантного вектора возникло из потребности описывать физические величины, которые не зависят от выбора системы координат, но чьи компоненты меняются при её изменении. В частности, в общей теории относительности Альберта Эйнштейна (1915 год) контравариантные векторы используются для описания четырёхмерных векторов скорости и импульса частиц.

Свойства контравариантных векторов

Линейность

Множество всех контравариантных векторов в данной точке многообразия образует векторное пространство той же размерности, что и исходное пространство. Сложение векторов и умножение на скаляр производятся покомпонентно:

\[ (u + v)^i = u^i + v^i, \quad (\lambda v)^i = \lambda v^i. \]

Инвариантность длины

Хотя компоненты контравариантного вектора зависят от выбора базиса, его длина (норма) в евклидовом пространстве остаётся неизменной при ортогональных преобразованиях. В римановой геометрии длина вектора вычисляется через метрический тензор \( g_{ij} \):

\[ |v|^2 = \sum_{i,j} g_{ij} v^i v^j. \]

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

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

В присутствии метрического тензора контравариантные и ковариантные компоненты связаны операцией «поднятия» и «опускания» индексов:

\[ v_i = \sum_{j} g_{ij} v^j, \quad v^i = \sum_{j} g^{ij} v_j, \]

где \( g^{ij} \) — обратный метрический тензор. В евклидовом пространстве с декартовыми координатами метрический тензор является единичной матрицей, поэтому контравариантные и ковариантные компоненты совпадают.

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

Вектор скорости

В классической механике скорость материальной точки является контравариантным вектором. Если в декартовой системе координат скорость имеет компоненты \( (v^x, v^y, v^z) \), то при переходе к криволинейным координатам (например, сферическим) компоненты преобразуются по контравариантному закону. Например, в сферических координатах \( (r, \theta, \phi) \) компоненты скорости равны \( (\dot{r}, \dot{\theta}, \dot{\phi}) \), где точка обозначает производную по времени.

Вектор импульса

В релятивистской механике четырёхмерный импульс частицы \( p^\mu = (E/c, p_x, p_y, p_z) \) является контравариантным вектором в пространстве Минковского. При преобразованиях Лоренца его компоненты меняются по закону, аналогичному преобразованию координат.

Вектор силы

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

Применение в физике и математике

Тензорное исчисление

Контравариантные векторы являются частным случаем тензоров типа (1,0). Тензоры более высоких рангов могут иметь как контравариантные, так и ковариантные индексы. Например, тензор напряжений в механике сплошных сред имеет два контравариантных индекса (тип (2,0)). Тензорное исчисление широко применяется в общей теории относительности, где метрический тензор \( g_{\mu\nu} \) задаёт геометрию искривлённого пространства-времени.

Дифференциальная геометрия

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

Общая теория относительности

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

\[ \frac{d^2 x^\mu}{d\tau^2} + \Gamma^\mu_{\nu\lambda} \frac{dx^\nu}{d\tau} \frac{dx^\lambda}{d\tau} = 0, \]

где \( x^\mu \) — контравариантные координаты, \( \tau \) — собственное время, \( \Gamma^\mu_{\nu\lambda} \) — символы Кристоффеля.

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

В квантовой механике контравариантные векторы используются в формализме Дирака. Векторы состояния (кеты) обозначаются как \( |\psi\rangle \) и являются контравариантными векторами в гильбертовом пространстве. Бра-векторы \( \langle \psi| \) являются ковариантными. Скалярное произведение \( \langle \phi|\psi\rangle \) инвариантно относительно преобразований базиса.

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

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

Операция «поднятия» индекса с помощью метрического тензора позволяет преобразовывать ковариантные векторы в контравариантные и обратно. Например, градиент скалярной функции \( f \) является ковариантным вектором \( \nabla_i f = \partial_i f \), а его контравариантный аналог \( \nabla^i f = g^{ij} \partial_j f \) используется в уравнениях движения.

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

• В трёхмерном евклидовом пространстве контравариантные и ковариантные компоненты вектора совпадают только в ортонормированных базисах. В косоугольных базисах они различаются.
• В физике контравариантные компоненты часто называют просто «компонентами вектора», а ковариантные — «сопряжёнными компонентами» или «компонентами ковектора».
• Понятие контравариантности обобщается на тензоры произвольного ранга. Например, тензор типа (2,1) имеет два контравариантных и один ковариантный индекс.
• В программировании и компьютерной графике контравариантные векторы используются для описания преобразований координат, например, при работе с системами координат в трёхмерной графике.

Источники

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