- Полностью антисимметричный единичный тензор
-
Символ Ле́ви-Чиви́ты — математический символ, который используется в тензорном анализе. Назван в честь итальянского математика Туллио Леви-Чивиты. Обозначается
(нередко эпсилон пишется в ином начертании:
). Здесь приведён символ для трёхмерного пространства, для других размерностей меняется количество индексов (см.ниже).
Другие названия:
- Абсолютно антисимметричный единичный тензор
- Полностью антисимметричный единичный тензор
- Абсолютно кососимметричный объект
- Тензор Леви-Чивиты (символ Леви-Чивиты является компонентной записью этого тензора).
- Кососимметричный символ Кронекера (данный термин использовался в учебнике по тензорному исчислению Акивиса и Гольдберга)
Содержание
Определение
Изображение символа Леви-ЧивитаВ трёхмерном пространстве, в правом ортонормированном базисе (или вообще в правом базисе с единичным определителем метрики) символ Леви-Чивиты определяется следующим образом:
то есть для чётной перестановки P(i, j, k) равен 1 (для троек (1,2,3), (2,3,1), (3,1,2)), для нечётной перестановки P(i, j, k) равен −1 (для троек (3,2,1), (1,3,2), (2,1,3)), а в остальных случаях равен нулю, при повторении. Для компонент
в левом базисе берутся противоположные числа.
Для общего случая (произвольных косоугольных координат) это определение обычно меняется на
Для компонент
в левом базисе также берутся противоположные числа.
где
— определитель матрицы метрического тензора
, представляющий квадрат объема параллелепипеда, натянутого на базис.
Такой набор компонент
представляет тензор (точнее — псевдотензор).
При этом, конечно,
,будет таким же, но с заменой
на
.
может определяться также как смешанное произведение векторов базиса, в котором символ применяется:
.
Это определение для любого, правого или левого базиса, так как разница знака для левых и правых базисов заключена в смешенном произведении. Абсолютная величина каждой ненулевой компоненты равна объему параллелепипеда, натянутого на базис
. Тензор, как и положено, антисимметричен по любой паре индексов. Определение эквивалентно приведенным выше.
- Иногда пользуются альтернативным определением символа Леви-Чивиты без множителя
в любых базисах (т.е. таким, что все его компоненты всегда равны ±1 или 0, как в нашем определении для ортонормированных базисов). В этом случае он сам по себе не является представлением тензора. Домноженный же на
объект (совпадающий с
в нашем определении и являющийся тензором) в этом случае обозначается другой буквой и называется, как правило, элементом объема. Мы же здесь следуем определению Леви-Чивиты. (Это замечание имеет силу не только для трехмерного пространства, но и для любой размерности).
Геометрический смысл
Как видно уже из определения через смешанное произведение, символ Леви-Чивиты связан с ориентированным объемом и ориентированной площадью, представленной как вектор.
В трехмерном (евклидовом) пространстве смешанное произведение трех векторов
— это ориентированный объём (псевдоскаляр, модуль которого равен объёму, а знак зависит от ориентации тройки векторов) параллелепипеда, натянутого на три вектора
,
и
Векторное произведение двух векторов— это ориентированная площадь параллелограмма, стороны которого — векторы
и
, представленная псевдовектором, длина которого равна площади, а направление — ортогонально к плоскости параллелограмма.
Этот смысл сохраняется для любой размерности пространства n, если, конечно, братьс соответствующим количеством индексов, под объёмом понимать n-мерный объем, а под площадью — (n−1)-мерную (гипер-)площадь. При этом, естественно, в соответствующую формулу входит n и (n−1) векторов — сомножителей. Например, для 4-мерного (евклидова) пространства:
Свойства
- Определитель матрицы A размера 3×3 можно записать (здесь подразумевается стандартный, а следовательно ортонормированный базис):
- Векторное произведение двух пространственных векторов записывается через этот символ:
, где
- его компоненты, а
- векторы базиса.
- Смешанное произведение векторов тоже:
- В следующей формуле δ обозначает дельту Кронекера:
(Везде здесь в случае ортонормированного базиса все индексы можно просто переписать как нижние.)
Обобщение на случай n измерений
Символ Леви-Чивиты может быть легко обобщён на любое количество измерений больше единицы, если пользоваться определением через чётность перестановок индексов:
если
есть чётная перестановка набора
если
есть нечётная перестановка набора
0, если хотя бы два индекса совпадают.
То есть он равен знаку (signum) перестановки, умноженному на корень из определителя метрикив случае, когда индексы принимают значения, реализующие перестановку набора (1,2,3,…,n), а в остальных случаях ноль. (Как видим, количество индексов равно размерности пространства n).
- В псевдоевклидовых пространствах в случае, если сигнатура метрики такова, что
, вместо него как правило берут
, чтобы
получался вещественным.
- Во всех размерностях, где символ Леви-Чивиты определён, он представляет тензор (имеется в виду главным образом то, что надо проследить за тем, чтобы количество индексов символа совпадало с размерностью пространства). Кроме того, как видно из написанного выше, какие-то трудности с обычным определением символа Леви-Чивиты могут быть в пространствах, где не определен метрический тензор, или, скажем,
или
.
Можно показать, что для n измерений выполняются свойства, аналогичные трёхмерным:
- что связано с тем, что существует n! перестановок набора (1,2,3,…,n), а следовательно столько же ненулевых компонент ε с n индексами.
После раскрытия определителя появляется множитель n! и производятся упрощения в соответствующих символах Кронекера.
- Псевдоскалярное произведение двух векторов в двумерном пространстве:
- Определитель матрицы A размера n×n можно удобно записать с использованием n-мерного символа Леви-Чивиты
что является по сути просто переписанным с помощью этого символа определением определителя (одним из самых распространенных). Здесь базис подразумевается стандартным, и ненулевые компоненты
принимают тут значения ±1.
- прямое n-мерное обобщение векторного произведения (n - 1) штук (n-мерных) векторов:
,
где
- его компоненты, а
- базисные векторы. (Здесь для краткости записано выражение для ковариантных компонент и разложение в дуальном базисе).
- прямое n-мерное обобщение смешанного произведения n штук (n-мерных) векторов:
Безындексная запись (для n измерений)
В безындексной тензорной записи символ Леви-Чивиты заменяется оператором дуальности, называемым звёздочка Ходжа, или просто оператор звездочка:
(для произвольного тензора
учитывая эйнштейновское правило суммирования).
См. также
Ссылки
- Hermann R. (ed.), Ricci and Levi-Civita’s tensor analysis papers, (1975) Math Sci Press, Brookline (определение символа — см. стр. 31).
- Charles W. Misner, Kip S. Thorne, John Archibald Wheeler, Gravitation, (1970) W.H. Freeman, New York; ISBN 0-7167-0344-0. (См. параграф 3.5 для обзора применения тензоров в общей теории относительности).
- Русский перевод: Ч. Мизнер, К. Торн, Дж. Уилер, Гравитация, (1977) Москва, «Мир» (См. по указателю — Леви-Чивиты тензор).
Wikimedia Foundation. 2010.