ПРИЛОЖЕНИЕ I
Здесь содержатся некоторые сведения из математики, необходимые для чтения этой книги.
§ 1. Симметричные обозначения, правила суммирования.
Когда в трехмерном пространстве вводят прямолинейную ортогональную (декартову) систему координат, то единичные векторы, направленные вдоль осей х, у, z, соответственнообозначаютчерез Положение любой точки пространства задается радиус-вектором компонентами которого являются координаты точки. Но все направления в пространстве равноправны, и поэтому целесообразно для координат и единичных векторов ввести симметричные обозначения и писать, например, вместо а вместо к Тогда радиус-вектор точки запишется в виде
где в последнем равенстве введено обозначение суммы и суммирование произведено по значениям а, от 1 до 3. Но знак суммы в последнем звене равенства можпо и не писать, если раз навсегда условиться, что по двум одинаковым греческим индексам, стоящим в одной части равепства, подразумевается суммирование от 1 до 3.
В специальной теории относительности вводится четырехмерное пространство с четырьмя координатами Тогда радиус-вектор и другие векторы будут иметь уже по четыре компоненты. Правило суммирования сохраняется и в этом случае, по суммирование ведется уже по латинским индексам, пробегающим все значепия от 1 до 4. Например,
Итак, правило сокращенного суммирования состоит в том, что по двум индексам, стоящим в одной части равенства, ведется суммирование, причем если индексы латинские — то от 1 до 4.
Вернемся к трехмерному случаю. Радиус-вектор, записанный раньше в виде можно записать сокращепно в виде , а произвольные - векторы а и — в виде
Здесь одно и то же равенство выписано несколько раз, чтобы показать, что индексы суммирования «немые», т. е. что суммирование можно вести по любой букве, не меняя результата.
В качестве примера использования сокращенной записи суммирования выведем формулу для скалярного произведения двух векторов а и Во-первых,
Здесь учтено, что правило суммирования относится к двум индексам; в выражении два суммирования; поэтому каждое из них ведется по своей букве. Во-вторых, единичные векторы взаимно ортогональны; поэтому каждый из векторов, умноженный на самого себя, дает единицу, а на любой другой — нуль. Поэтому
Удобно ввести особый символ — символ Кронекера, обладающий именно такими свойствами:
Этот символ отличен от нуля лишь при и поэтому любое суммирование с участием этого символа ведет к простому результату: . Действительно,
Теперь уже легко получить окончательный результат в (П.1.2):
т. е. обычную формулу скалярного произведения векторов.
Одинаковые индексы, по которым ведется суммирвапие, могут оказаться в числителе и знаменателе дроби. Правило суммирования при этом сохраняется. Запишем, например, выражения для градиента функции и дивергенции вектора а:
Если греческий (или латинский) индекс стоит один, то это значит, что он «свободный» и может принимать любое значение из трех (или четырех) возможных. Например, обозначает одну из координат вектора а именно или .