Индексные обозначения

Содержание

1. Индексные обозначения

2. Условие о суммировании

3. Сложение, умножение и свертывание объектов

4. Симметричные и антисимметричные объекты

Литература

Индексные обозначения

 

Система индексных обозначений составляет столь значительную часть тензорного исчисления, что читатель, освоившись однажды с ее особенностями, сможет идти дальше самостоятельно. Поэтому мы посвятим настоящую главу только самой системе обозначений, изложив кратко ее применение лишь к теории определителей, и отложим до следующей главы собственно тензорную алгебру. Если нам дана совокупность трех независимых переменных, то они могут быть обозначены тремя различными буквами, например х, у, z, но мы считаем более удобным обозначать переменные данной совокупности одной и той же буквой, различая их посредством индексов. Таким образом, мы можем записать три переменные в виде xv х2, х3, или в более компактной форме:

 

 

Здесь мы написали индекс г внизу, но в равной мере мы могли бы использовать вместо этого верхний значок, так что переменные были бы записаны в виде х1, х2, х3, или

 

 

Понятно, что х^г не означает возведения х в r-ю степень; индекс г используется просто для того, чтобы различить три переменные. Впоследствии мы будем использовать как верхние, так и нижние индексы; в следующей главе мы припишем положению индекса специальный смысл. В дальнейшем мы увидим, что для наших переменных удобна форма записи 2), а не 1).

Однородная линейная функция переменных обычно записывается в виде

 

где а,, а2, а3 —константы. Таким образом, коэффициенты линейной формы могут быть записаны в виде

 

 

Объекты, которые, подобно хт и ат, зависят только от одного индекса, называются объектами первого порядка, а отдельные буквы с индексами х1, х2, х3 и аг, а2, а3 называются элементами или составляющими объекта. Объекты первого порядка, имеющие три составляющие, назовемтрехмерными. Имеются два типа объектов первого порядка, а именно те, у которых индекс вверху, и те, у которых индекс внизу; следовательно, все объекты первого порядка принадлежат к одному из двух типов

 

 

С другой стороны, однородная квадратичная функция трех переменных имеет вид

 

 

где a_mn —константы. Мы видим, что коэффициенты квадратичной формы зависят от двух индексов и записываются так:

 

Объекты, которые зависят от двух индексов, называются объектами второго порядка. Из того, что индексы бывают верхние и нижние, следует, что объекты второго порядка могут быть трех типов:

 

 

Легко видеть, что в этом случае каждый объект имеет 9 составляющих.

Аналогично можно получить объекты третьего порядка, которые будут зависеть от трех индексов и могут принадлежать к любому из четырех типов:

 

 

Здесь каждый объект содержит З3 или 27 составляющих. Мы можем

продолжать это построение и получить объекты любого порядка. Для законченности этой последовательности мы назовем объект а, не имеющий индексов, объектом нулевого порядка. Мы взяли число измерений равным трем лишь для определенности. Все, что было сказано выше, применимо также к любому числу измерений, если условиться, что число значений, пробегаемых индексом, равно ¦ числу измерений. Например, если число измерений равно четырем, следует считать, что индексы могут пробегать значения от 1 до 4, а но от 1 до 3, как предполагалось выше.