Записки «чайника», травмированного тензорным исчислением

Тема, заявленная в названии, пожалуй, самая запутанная в тензорном исчислении. Высокоучёные авторы мудрых книг в большинстве случаев ограничиваются только формальными определениями понятий ко- и контравариантности, не опускаясь до подробного пояснения их геометрической и физической сути. Похоже, в этом вопросе они сознательно или бессознательно воспроизводят ситуацию, характерную для квантовой физики: «Не старайтесь понять, просто считайте!». Но если в квантовой физике подобный подход безальтернативен, то в данном случае – вряд ли.

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

Математика остаётся непонятной для многих потому, что нам её объясняют люди, которые понимают её на интуитивном уровне, или, выражаясь более изящно, «на уровне интуитивных образов» [1-7 ≡ Л.1, с. 7]. Нам же, нематематикам, для того, чтобы что-то понять, надо это «что-то» увидеть не в абстрактном («интуитивном»), а в реальном, физически представимом пространстве (по-научному это – «визуализация») или, ещё лучше, поковырять его пальцем (научный термин пока еще не придумали. Открыт приём предложений).

Целью этого текста является обсуждение именно «физического» содержания указанных понятий при предельно возможной минимизации количества математических формул. Он представляет собой в основном компиляцию отрывочных сведений из разных источников, представленных как единое целое. Текст открыт для конструктивной критики. По её итогам, смотришь, и станем мы, «чайники» (всем «чайникам» пламенный привет!!) чуть лучше понимать тему ко- и контравариантности.

Пример определения

Для начала стоит, наверное, привести пример того, как математики объясняют нам, нематематикам, ковариантность. Цитата из многомудрой Википедии: «Ковариантный вектор на многообразии M – это гладкое отображение тотального пространства касательного расслоения M в R, ограничение которого на каждый слой – это линейный функционал на касательном пространстве».

Это определение уникально тем, что в нём с каждым следующим словом туман не рассеивается, а, наоборот, сгущается. В финале и до того бледные, едва различимые контуры ковариантного вектора поглощает непроглядная тьма. Сознание затухает…

Давайте попробуем разобраться в ковариантности без «гладких отображений», «касательных расслоений» и прочих математических извращений, при этом применительно не к абстрактным «многообразиям», а имея в виду в основном общую теорию относительности (ОТО). При таком подходе, не исключено, могут пострадать присущие математике строгость доказательств и общность выводов. Зато будут торжествовать обычная логика и здравый смысл.

И ещё одно предварительное замечание. Трактовка понятия «вектор» в физической литературе может отличаться от таковой, принятой в математике. С точки зрения математика вектор А – абстрактный объект в пространстве, у которого ни длина, ни направление не зависят от выбора системы координат (он – инвариант). Изменение базиса приводит к изменению координат (компонент) вектора Аi и Ai, то есть меняется представление вектора в конкретной системе координат, но не сам вектор. (Вектор обозначаем жирным шрифтом – А, его компоненты курсивом – Аi, Аi). Физики предпочитают думать по-другому: для них набор компонент Аi и Ai и есть вектор [2]. (Впрочем, некоторые математики местами присоединяются к физической трактовке понятия вектора).

Эти различия следует иметь в виду при изучении любого текста по обсуждаемой теме. (Замечание в Замечании. Если исходить из упомянутых отличий, физики переплюнули математиков: их «вектор», понимаемый просто как набор компонент, то есть, чисел(!) Аi (они же Ai), мало похож на реально существующий объект в физическом пространстве и потому выглядит куда более абстрактным, чем «вектор» математиков). В этом тексте по мере возможности соблюдается математическая трактовка понятия «вектор». За пределами этой возможности – физическая.

Зачем всё это надо?

Конечно, главный вопрос, требующий ответа: а зачем вообще сдалась эта ковариантность?! Мы что, не можем без неё обойтись? (Тем более, что действительно можем). Ведь без неё жизнь студентов станет намного легче. (А вот это заблуждение!). Именно этот вопрос лежит в основе непонимания проблемы: я по себе знаю, насколько трудно заставить себя прилагать усилия для изучения сложного вопроса, практическая ценность которого непонятна, неизвестна и вообще неочевидна. (Каюсь, у меня так было даже с дифференциальным исчислением. А чего удивляться? Я же объяснил, что для меня «чайник» – почти комплимент).

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

Одна из причин ввода ковариантности, возможно, даже главная – упрощение записи тензорных выражений [3-8 и др.]. (Ниже «выплывет» и вторая причина, но пока она останется «за скобкой»). Упрощение возникает вследствие того, что мы легко, через свёртку с метрическим тензором, можем сделать контравариантный тензор ковариантным, и наоборот:

            Аi = gikАk;    Аi = gikАk.

(Обратите внимание, уже тут приходится отступать от строго математической трактовки понятия «вектор»). И вот оказывается, что в результате запись тензорных выражений сильно упрощается. Например, если мы выражаем компоненты обоих векторов в одном и том же базисе еi, то запись скалярного произведения (оно обозначается знаком «∙») в неортогональной системе координат выглядит достаточно тяжеловесно и «отягчена» присутствием метрического тензора:

А∙В = (А1е1 + А2е2 + А3е3)∙(В1е1 + В2е2 + В3е3) =

            = А1В1е1е1 + А1В2е1е2 + А1В3е1е3 +

            + А2В1е2е1 + А2В2е2е2 + А2В3е2е3 +

            + А3В1е3е1 + А3В2е3е2 + А3В3е3е3 =

            = А1В1g11 + А1В2g12 + А1В3g13 +

            + А2В1g21 + А2В2g22 + А2В3g23 +

            + А3В1g31 + А3В2g32 + А3В3g33 =

            = gikAiBk  [4-72].

В этой абракадабре сходу и не разберёшься, тем более, если бы всё было записано «в строчку», а не «в столбик». Пояснение для ускорения чтения: сначала мы в скобках записали векторы в разложении по базису, затем тупо перемножили компоненты, получив аж 9 членов, после чего заменили скалярные произведения базисных векторов еiеk на компоненты метрического тензора gik и, наконец, записали результат в краткой форме. И того 8 строк.

Если же один из векторов (в данном случае B) мы выражаем в другом (втором, дуальном) базисе еk, запись выражения упрощается благодаря тому, что еiеk = δki, то есть, равно 1 при i = k и равно 0 при i ≠ k. (Более подробно это скалярное произведение будет разобрано ниже). Поэтому в формуле остаются только одноимённые (при i = k) компоненты векторов, разноимённые (при i ≠ k) исчезают (обнуляются):

            А∙В = (А1е1 + А2е2 + А3е3)∙( В1е1 + В2е2 + В3е3) =

                        = А1В1 + А2В2 + А3В3 =

                        = АiВi  [4-72].

Вместо восьми строк мы получили только три, а смысл (результат) тот же самый! (Как и в первом случае, после свёртки получим скаляр). При этом метрический тензор вообще пропал. В этом ещё одно преимущество ввода ковариантности: скалярное произведение «обычного» вектора и ковектора не требует участия метрического тензора. То есть, ковариантный вектор свёртывается с «обычными» векторами без участия метрики. Впрочем, мысленно мы всё равно имеем в виду, что Bi = gikBk.

И дело даже не в лишних пяти строках, а в их содержании – в нагромождении букв и индексов, в которых легко запутаться. Просто представьте, что вам придётся повторять эти 8 строк каждый раз при вычислении скалярного произведения.

Этот пример представляется убедительным – в том смысле, что даёт стимул всё-таки разобраться, чем бескомпромиссная контра- отличается от соглашательской ко-. А если для облегчения жизни требуется ввести вторую систему координат – да хоть десять, в чём проблема?

Общековариантность

Было бы неправильным начинать слишком уж издалека, но всё-таки следует коротко упомянуть  факты, безусловно известные всем, кто имел несчастье получить лёгкую контузию на фронте борьбы с ненавистным тензорным исчислением.

Как мы помним, главное достоинство тензоров состоит в том, что уравнения, представленные в тензорной форме, обладают свойством общековариантности, то есть, имеют одинаковый вид в различных системах координат. «Дело в том, что в природе не существуют объективно выделенные системы координат. Они всегда задаются исследователем. Однако законы природы не могут зависеть от субъективного выбора исследователем той или иной системы координат, поэтому физические законы должны формулироваться посредством величин, не зависящих от систем координат. К таким величинам относятся, в частности, скаляры, векторы и тензоры» [5-42].

Отсутствие свойства общековариантности настолько усложняет запись уравнений, что может просто блокировать развитие соответствующих областей науки. Сказанное, в частности, в полной мере относится к ОТО: она «не может быть изложена иначе, как в тензорной форме» [3-8], поскольку тензорное исчисление «позволяет строить математические выражения, не зависимые от случайного выбора координатных систем» [4-112]. «В ОТО выбор системы отсчёта ничем не ограничен; тремя пространственными координатами х1, х2, х3 могут являться любые величины, определяющие расположение тел в пространстве, а временная координата х0 может определяться произвольно идущими часами» [6-303]. В такой ситуации если в каждой системе координат пришлось бы записывать свои, особенные физические уравнения, тензорное исчисление мы вспоминали бы с ностальгией.

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

«Тензоры, как алгебраические и геометрические объекты (как и любые векторы), от базиса не зависят — разные наборы координат в разных базисах представляют один и тот же объект» [8]. Но компоненты тензора (эти самые наборы координат в конкретном базисе) изменяются при изменении системы координат. Они, как уже сказано в предыдущем абзаце, преобразуются по определённым формулам преобразований.

Преобразование координат

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

Разные авторы по-разному и с различной степенью доходчивости вводят понятия контра/ковариантности. Если их всех «проинтегрировать», оптимальная схема выглядит примерно так.

Начинаем с простого – с евклидова трёхмерного пространства. Введём в нём две прямолинейные ортогональные (декартовы) системы координат – Ох1х2х3 и Оʹхʹ1хʹ2хʹ3ʹ. (Пока мы не делаем различия между контра- и ковариантными обозначениями). Начальные точки систем координат О и Оʹ могут не совпадать, а их одноимённые оси не параллельны [7-28]. Чтобы их как-то различать, назовём первую (нештрихованную) систему старой, а вторую (штрихованную) – новой.

Очевидно, что если по какой-либо причине потребуется перейти от старой системы к новой, мы сможем выразить координаты объекта (например, произвольной точки в пространстве, вектора или тензора) в новой системе хʹ1, хʹ2 хʹ3 через координаты х1, х2,  х3 в старой:

            хʹ1 = α11х1 + α12х2 + α13х3;

            хʹ2 = α21х1 + α22х2 + α23х3;

            хʹ3 = α31х1 + α32х2 + α33х3  [7-345].                  (1)

Здесь αik – числовые коэффициенты. (Примечание. Формулы (1) это и есть типичные «формулы преобразования координат». Причём, хотя формул три, считаем, что это одно преобразование).

Геометрический смысл коэффициентов αik интуитивно понятен из геометрии декартовых систем координат в евклидовом пространстве. Если же не тревожить без нужды интуицию, то αik представляет собой косинус угла между i-той осью новой системы  Оʹxʹi  и  k-той осью старой системы Охk  [7-28]. Например, α31 = cos(Оʹxʹ3, Оx1). Поэтому вместо αik  мы для прояснения их смысла могли бы в (1) подставить косинусы соответствующих углов, но это «перегрузило» бы формулы, усложнив их восприятие.

Косинус угла между Оʹxiʹ и  Охk, в соответствии со своим геометрическим определением, показывает численное отношение координат xʹi и  хk, поэтому коэффициенты αik в преобразовании координат (1) можно представить в виде производных:

Мы опять вместо αik  можем подставить в (1) соответствующие производные. После этого можно свернуть все три уравнения (1) в краткую (индексную) форму: 

По дважды встречающимся индексам (в данном случае по k), согласно правилу Эйнштейна, производится суммирование, то есть, каждой хʹi (слева) в правой части соответствует не единственная комбинация величин, а сумма трёх однотипных комбинаций. Другими словами, в формуле текущая i-тая компонента в новой штрихованной системе хʹi (в левой части) последовательно «перебирает» все k компонент хk в старой нештрихованной (в правой части), затем история повторяется для (i+1)-ой компоненты и т. д.

Подчеркнём: и исходный вектор, и штрихованные и нештрихованные величины в формуле связаны с одной и той же точкой пространства (то есть, соседние точки не при чём). Пример: если мы имеем вектор, «привязанный» к некой точке, и его компоненты представлены в (старой) декартовой системе, то по формуле (2) мы можем определить компоненты в другой (новой) декартовой системе (вектор при этом остаётся на месте), надо только рассчитать по формулам геометрии значения производных в (2).

От (1) можно двинуться не к (2), а пойти по другому пути и, как водится в математике, собрать все производные в матрицу:

По смыслу М – матрица преобразования координат, она содержит информацию о всех коэффициентах αik, поэтому (1) можно записать в матричной форме: 

            хʹi = М хk           (4)

В итоге формулы преобразования координат мы представили в развёрнутой форме (1) и в двух кратких – (2) и (4), попутно выяснив геометрический смысл коэффициентов αik. Следовало привести эти рассуждения столь подробно по той причине, что при изложении темы контра- и ковариантности авторы делятся на две группы – одни предпочитают индексную форму (2), игнорируя матричную (4), другие имеют прямо противоположные предпочтения, а потому нужно быть готовым ко всему!

До сих пор всё было просто и наглядно, потому что пространство евклидово, трёхмерное, а системы координат декартовы (спасибо школе!). Теперь, следуя логике изложения тензорного исчисления, будем усложнять геометрию.

Формулы преобразования (1) являются линейными. В тензорном исчислении «не ограничиваются линейными преобразованиями координат вида (1), а рассматривают самые общие преобразования координат вида

            хʹ1 = f1 (х1, х2, х3),

            хʹ2 = f2 (х1, х2, х3),

            хʹ3 = f3 (х1, х2, х3)»   [7-345].           (1А)

Кроме того, от трёхмерного пространства переходим к n-мерному, а от евклидова к неевклидовым. В ОТО пространство криволинейное, а потому и системы координат тоже криволинейные.

Собственно говоря, ну и что?! Изменилась геометрия пространства, но суть(!) уравнений (2) или (4) осталась неизменной, разве что в (2) производные теперь не косинусы углов, а более сложные функции, что отражается и на компонентах матрицы (3). Но в любом случае системы координат мы ввели сами, своим произволом, а значит, интересующие нас составляющие в формулах (2) и (4) мы можем рассчитать, даже если этот расчёт представляет собой довольно сложную процедуру. (Загоняем формулы в компьютер, машина эта тупая, но трудолюбивая, пусть она и считает). 

Преобразование компонент контравариантного вектора

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

Действительно, для вектора понятия «координата» и «компонента» просто равнозаменяемы [7-25], поэтому мы можем в выражениях (2) и (4) заменить координаты на компоненты вектора и заодно, согласно общепринятому правилу, поднять индексы вверх:

Теперь, наконец, можно дать определение, выбрав из возможных вариантов самый короткий, а потому менее путаный: «Совокупность n величин Ai (i = 1÷n), которые при преобразованиях координат преобразуются по закону

называются контравариантным тензором первого ранга, или контравариантным вектором» [5-27]. Это определение легко распространяется на тензоры более высоких рангов. (Примечание. Это определение придумали физики, потому понятие вектора здесь «физическое»).

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

Как понимать эти формулы? Их «физический» смысл определяют, конечно, значения производных. Элементарные перемещения dxʹi и dxi  в (5) пропорциональны длинам базисных векторов, поэтому производная показывает, по сути, степень изменения базиса в новой системе координат i (индексы векторов базиса здесь указываются внизу) по отношению к базисным векторам старой системы ei

Это что касается смысла производной. Осталось выяснить, в какую сторону производная изменяет значение контравариантных компонент, то есть, как она влияет на соотношение Аʹi и Ai. Проще всего показать это на числовом примере. Пусть базисные векторы в новой системе в пять раз длиннее таковых в старой: i = 5∙ei. При этом сам вектор А (не забудем, он – тензор!) имеет одинаковую длину что в старой, что в новой системах. Всё это означает, что в новой системе (i) исходный вектор выражает значения своих компонент в единицах длины, в 5 раз больших, чем в старой (ei), и, соответственно, отношение элементарных перемещений обратное:xʹi/∂xi = 1/5. Аналогично, если i = (1/3)∙ei, получим для производной опять обратное значение:xʹi/∂xi = 3. Алгебраически эти выводы также получаются просто, но менее понятно, чем при объяснении «на пальцах». (Примечание. В общем случае базисные векторы нового базиса i могут отличаться от векторов старого базиса ei не только длиной, но и направлением).

Как мы видим из примеров, «компоненты контравариантного вектора изменяются как бы противоположно [«контра»] изменению векторов базиса (отсюда название)» [3].

Таким образом, обычный вектор/тензор естественно контравариантен. (Позже обсудим и «необычный»). Классический пример обычного вектора – вектор перемещения dxi (геометрический вектор). Он подчиняется контравариантному закону (5), поскольку при преобразовании координат его компоненты преобразуются по формулам

Эта формула получается из формул (1А) по правилу составления дифференциала сложной функции [7-353], она является частным случаем (5), и в отношении неё действует тот же «пальцевый» механизм, что описан выше.

Итак, в этом параграфе мы дали определение контравариантному вектору/тензору и сформулировали контравариантный закон преобразования его компонент: при переходе к новой системе координат его компоненты изменяются с помощью преобразования, обратного преобразованию базиса.

Дуальная система координат

Переходим к вводу понятия ковариантного вектора/тензора, но начинать приходится издалека.

Сначала о терминах. Условимся ту систему координат, в которой вектор/тензор принимает свои контравариантные значения, называть основной, а ту, в которой он принимает свои ковариантные значения, дуальной. (Последнюю также называют взаимной, двойственной, сопряжённой, кобазисом. Кстати, закономерный вопрос: эту гроздь синонимов придумали с некой тайной целью?). В этом параграфе будет обсуждаться дуальная система координат.

Опять может возникнуть вопрос: зачем это надо? Дело в том, что вне дуальной системы трудно (я думаю, просто невозможно) понять суть ковариантного тензора. А поэтому, даже поперёк нежеланию слишком уж погружаться в мутные воды математики, надо разобраться с дуальным базисом: хочешь-не хочешь, а хотеть придётся!

Вводить понятие ковариантного тензора можно по-разному. Некоторые авторы, например, [6; 7; 9] вообще обходятся без понятий «дуальная система координат» и (даже!) «базис», другие, напротив, их активно используют. (Примечание. Это является следствием различия подходов к изложению тензорного исчисления – прямого векторного в первом случае и координатного во втором. Оба этих подхода обсуждаются в Приложении-2 в конце текста. Но здесь мы не собираемся вязнуть в деталях). Позиция последних авторов безусловно более предпочтительная, так как позволяет дать геометрическую интерпретацию контра- и ковариантности тензоров, «увидеть» их в реальном пространстве. Без них эти понятия пребывают в некоем неосязаемом и бесплотном эфире (который в математике называют «множество»),  превращаясь в столь любезные сердцу математиков абстракции, ещё более «далёкие от народа» (от нас), чем известные ниспровергатели в прошлом.

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

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

Поэтому – для определённости – следует в обеих системах ввести базисы (базисные векторы) – ei в основной системе координат и ei в дуальной. (В ОТО i = 0, 1, 2, 3). Здесь нет ошибки: в основной системе у базисных векторов индекс именно внизу, а в дуальной системе вверху. Это кажется нарушением логики, но на это приходится идти ради упрощения записи скалярных произведений, в данном случае индексы выполняют исключительно роль обозначений, и не более того; ei не является ковариантным вектором, а ei контравариантным.   

В основной системе (как мы увидим ниже, только в ней) базисные векторы касательны к координатным осям. Это не обязательное правило, но отступление от него не приносит никаких преимуществ, а только создаёт г… В смысле, головную боль, только гораздо ниже. В ОТО базисный вектор лежит в поверхности, касательной к криволинейному пространству в данной точке. По большому счёту, эта касательная поверхность не принадлежит криволинейному пространству, она выходит за его пределы. Для лучшего понимания следует вспомнить, как изображается производная функции y=f(х), построенной на плоскости в декартовых координатах. Функция y=f(х) представляет собой одномерное пространство, производная dy/dx находится в пространстве (тоже одномерном), касательном к основному в некоторой точке. В случае двумерного пространства (пример – сфера) касательное пространство будет уже двумерным (плоскостью). В ОТО всё то же самое, только само пространство четырёхмерное, а касательная поверхность к нему трёхмерная (и потому уже не плоскость). Причём касательное пространство может быть построено в любой точке пространства ОТО, точно так же, как касательная прямая может быть проведена в любой точке функции y=f(х).

Будем считать, что в пространстве введена метрика, то есть задан метрический тензор gik. Ввод базисов позволяет получить несколько важных формул. Первая из них связывает компоненты метрического тензора и скалярное [4-74; 10-13] произведение базисных векторов каждой системы координат:

            gik = eiek.               (7)

            gik = eiek.               (8)

(Здесь мы «забежали вперёд», уже на этом этапе различив ковариантный gik и контравариантный gik метрические тензоры, но это нарушение последовательности ввода понятий оправдано тем, что  позволяет не отклоняться от логики изложения темы).

Вывод формул можно посмотреть  в [4-67; 10-13]. В развёрнутом виде:

Матрица gik заполняется аналогично.

Из формул (7) и (8) вовсе не следует, что метрический тензор определяет базис или, наоборот, базис через gik определяет геометрические параметры пространства. Первичны не они, а как раз пространство, его геометрия. Но между матрицей метрического тензора и линейными размерами базисных векторов имеется вполне однозначное соответствие: «Метрический тензор представляет собой набор коэффициентов gik, привязанный к определённой системе координат. Если мы переходим к другой системе, то в общем случае будем иметь и другие коэффициенты метрического тензора» [4-67]. Выбрав, например, основной базис ei, по формуле (7) можно рассчитать значения компонент метрического тензора, но нельзя повлиять на геометрию пространства. Пример: на евклидовой плоскости мы можем выбрать любую косоугольную систему координат, во вспомогательной декартовой системе задать длины базисных векторов, по формулам (7) рассчитать значения компонент gik. Изменив длины базисных векторов, мы поменяем значения компонент gik. Но и в этом случае gik будет описывать геометрию евклидовой плоскости, и никакую другую. Те же рассуждения можно повторить относительно ei и gik. Тем самым, через gik и gik обе системы координат и оба базиса как бы получают привязку к конкретному пространству.

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

            еi = gikek .                (9)

В развёрнутом виде:

            е0 = g00e0 + g01e1 + g02e2 + g03e3;

            е1 = g10e0 + g11e1 + g12e2 + g13e3

и т. д. Здесь gik – компоненты матрицы метрического тензора из (8), в данном случае, контравариантного. Вывод формулы (9) можно посмотреть в [4-75; 10-14].

Выше основная и дуальная системы координат и соответствующие им базисы ei и еi введены независимо друг от друга, на них не накладывалось никаких ограничений. Важность формулы (9) обусловлена тем, что она задаёт связь базисов (и систем координат). Причём эта связь осуществляется через посредство метрического тензора, а он не просто какой-то там абстрактный тензор, он отражает геометрию пространства. (Самое короткое изложение геометрического и физического смысла метрического тензора см. в [11]). Выбор основной системы координат – наш произвол, но выбрав её, мы теряем «свободу воли», поскольку базисы дуальной системы однозначно определяются формулой (9). Подтверждающая цитата: «Выбирая основную систему координат мы автоматически определяем и дуальную систему координат» [4-75]. Основная и дуальная системы связаны друг с другом, говоря словами Маяковского, как «близнецы-братья». Именно это и отражает формула (9).

Из (9) вытекает третья важная формула. По сути, это та же формула (9), но записанная в другом виде. Она получается, если обе части (9) умножить на ej:

            еiej = gikekej,

            еiej = gikgkj = δij.

Окончательно:

            еiej = δij.              (10)

Здесь принято, что ekej=gkj  в соответствии с (7), а δij получается в результате свёртки произведения gikgkj. (Свёртка – ещё одно опережение событий, так как это понятие следует рассматривать после ввода контра/ковариантности, но вывод формулы (10) всё-таки приведён, чтобы показать связь (9) и (10). При желании вывод можно пока проигнорировать – важен полученный результат).

Слева в (10) стоит скалярное произведение – произведение модулей базисных векторов на косинус угла между ними:

            еiej = |еi|∙|ej|∙cos(еi, ej).            (11)

Но самая информативная часть формулы (10) – символ Кронекера δij. Он представляет собой единичную матрицу:

Структура матрицы δij говорит о том, что:

– если i = j, то δij = 1;

– если ij, то δij = 0.

Таким образом, формула (10) задаёт правила построения базиса еi дуальной системы координат. Вместе две формулы, (9) и (10), в полном объёме её описывают: «Дуальная система координат полностью определяется основной системой [об этом формула (9)] и условиями (10), которые словами можно выразить так:

1. Каждый базисный вектор дуальной системы ортогонален ко всем разноимённым с ним базисным векторам основной системы» [4-73].

Разноимённость еi и ej означает, что ij, при этом условии δij = 0, а это может быть, если в скалярном произведении (11) cos(еi, ej) = 0, то есть, векторы взаимно перпендикулярны – об этом и идёт речь в правиле-1.

Продолжим цитату.

«2. Длина базисного вектора дуальной системы выбирается таким образом, чтобы скалярное произведение его на одноимённый вектор основной системы равнялось единице» [4-73]:

            еiei = 1.           (12)

Одноимённость еi и ej означает, что i = j, при этом δij = δii =1. Угол между векторами еi и ei может быть любым, в (11) он считается заданным, так же как и модуль вектора основного базиса |ei|. При этих вводных, согласно правилу-2, модуль вектора дуального базиса |еi| выбирается (рассчитывается) так, чтобы обеспечить результат скалярного произведения (11), равный единице:  еiei =1. Из правила-2 следует, что длины (модули) одноимённых векторов основного |еi| и дуального |ei| базисов находятся в обратно пропорциональной зависимости, так как cos(еi, ei) не меняется при изменении длин векторов. То есть, если мы увеличим длину векторов основной системы еi в 5 раз, это автоматически (см. (12)) приведёт к уменьшению длины векторов ei в те же 5 раз.

Итак, из формулы (10) следуют правила 1 и 2. Для лучшего понимания можно поменять логику на обратную: если разноимённые векторы ортогональны, а скалярное произведение одноимённых векторов равно 1, то в этом случае имеет место формула (10). Эта логика работает не только для пары основная-дуальная системы координат. Поэтому, если хотите выяснить, применима ли в том или ином случае формула (10), проверьте систему/системы координат на соответствие правилам 1 и 2.

Пожалуй, главное (но не всё!) про дуальную систему координат уже сказано:

  • формулы (7) и (8) связывают базисные векторы с метрическим тензором, а через него с пространством,

  • (9) определяет связь базисов между собой,

  • а (10) через правило-1 и правило-2 задаёт способ построения дуального базиса.

Наговорено сверх всякой меры, пора переходить к примерам.

Рис. 1
Рис. 1

На рис. 1 показаны базисные векторы основной (красные) и дуальной (синие) систем координат, обе системы косоугольные. Вектор е1 перпендикулярен е2, а е2 перпендикулярен е1, следовательно, правило-1 построения дуального базиса соблюдено. Во вспомогательной декартовой системе векторы основного базиса имеют координаты

Имеется несколько способов расчёта координат векторов дуального базиса [1-56; 4-73,74], исходя из значений координат е1 и е2 (полезная подсказка: в качестве серьёзного подспорья можно использовать калькуляторы в Интернете), но здесь расчёт опущен, поскольку для данного текста он не важен. В результате получилось:

Проверим соответствие полученных координат правилу-2. Для этого надо скалярно перемножить одноимённые векторы обеих систем в матричной форме. Поскольку координаты ei и ei представлены в ортогональной (декартовой) системе, это возможно [4-67; 12]:

Таким образом, правило-2 тоже выполняется, и в целом доказана дуальность базиса е1, е2 по отношению к базису е1, е2. Рис. 1 полезно держать в голове, поскольку он простенький, но одновременно очень наглядно раскрывает суть дуального базиса.

В трёхмерном пространстве, в принципе, всё то же самое.

Рис.2
Рис.2

На рис. 2 [13] координатная система криволинейная, её оси q1, q2, q3. Оба базиса – основной (жёлтые векторы) и дуальный (синие векторы) построены в одной и той же точке пространства, но на рисунке разнесены для лучшего его восприятия (может, и зря). Базисные векторы е1, е2, е3 касательны к криволинейным координатным осям. Принципиально: они не ортогональны друг другу.

Векторы дуального базиса, как им и положено по правилу-1, ортогональны разноимённым векторам основного базиса: е1 перпендикулярен е2 и е3, е2е1 и е3, е3е1 и е2. В трёхмерном криволинейном пространстве это означает, что векторы дуального базиса еi ортогональны координатным поверхностям. Каждая координатная поверхность проходит через две криволинейные оси, а значение координаты, отсчитываемой по третьей оси, остаётся неизменной (см. правую часть рис. 2). Например, е1 перпендикулярен координатной поверхности, включающей е2 и е3. Безусловно, на рис. 2 соблюдается и правило-2, визуально это не очень заметно (так как cos(еi, ei) близок к 1), но поверим автору рисунка.

В четырёхмерном пространстве всё то же самое, только координатные поверхности там трёхмерные.

Почему выше отмечена взаимная неортогональность векторов основного базиса еi? Потому, что, если еi ортогональны, основная и дуальная системы совпадают. То есть, неортогональность векторов еi является необходимым условием существования дуального базиса еi. Это доказывается аналитически, но можно понять и из геометрии. Например,  согласно правилу-1 вектор е1 должен быть перпендикулярен разноимённым с ним векторам основной системы е2 и е3. Но, если векторы основного базиса еi взаимно ортогональны, то правило-1 выполняется автоматически и для е1, он по определению перпендикулярен е2 и е3. Поэтому вектор дуального базиса е1, также подчиняющийся правилу-1, совпадает до неузнаваемости с одноимённым вектором основного базиса е1. Другими словами, в описываемом случае каждый из векторов основной системы еi перпендикулярен соответствующей координатной плоскости, то есть они не оставили места векторам дуального базиса еi, слившись с ними. Для декартовой системы на плоскости это ещё более очевидно: только переход в косоугольную систему на рис. 1 породил дуальный базис.

Рис. 2 позволяет проиллюстрировать ещё один важный для понимания вопроса факт: «Отметим существенную разницу этих базисов. Если векторы еi связаны непосредственно с системой координат (являются касательными к координатным линиям), то векторы еi вводятся формально по формулам:

             еiej = δij.              (10)

[а также по вытекающим из (10) правилам-1 и -2] и, вообще говоря, не являются касательными векторами ни к каким координатным линиям (неголономный базис)» [10-15]. (Замечание. Опять нам засоряют голову всякими «голономными» терминами! А что это означает, «догадайся, мол, сама!».  Короче: если базисные векторы представляют собой производные по координатам вдоль криволинейных осей [10-11], то есть, являются касательными к осям (аналогия: касательная к кривой y=f(x) на плоскости), то базис – то самое упомянутое выше нехорошее слово. Если они касательными к координатным линиям не являются и проведены по другому принципу (например, перпендикулярно неким поверхностям, как синие векторы на рис. 2), то они не достойны даже того слова).

Ну, теперь, кажется, про дуальную систему координат сказано действительно всё. Точнее, это авторы первоисточников сказали всё, жалко только, что вразнобой. Здесь их заставили говорить хором. Получилось, может, и многословно, но зато полно и, надеюсь, понятно. (Не надо жалеть слов!).

Ввод понятия ковариантного тензора

Различие в названиях заставляет предположить, что ковариантный вектор/тензор обладает некоторой особенностью по сравнению с контравариантным. Так оно и есть: «Приставка ко- указывает на двойственность векторам» [14-9]. Двойственность (она же дуальность) означает, что ковектор – это тоже вектор, но, в отличие от «обычного» вектора, рассмотренного выше, он обладает специфическим, нетрадиционным (не подумайте плохого!) свойством.

В чём заключается «особость» ковектора?

Ввод понятия вектора в математику и физику позволил наделить объекты (абстрактные математические или реальные геометрические и физические) количественными свойствами, то есть описать эти объекты. «Но проблемой описания величин потребности науки и практики никогда не исчерпываются. Любая теория прежде всего исследует связи или зависимости между изучаемыми величинами. Для отражения связей между различными величинами в математике вводится понятие функции» [4-99]. Вводя понятие ковектора, мы из «мира описания» попадаем в «мир связей».

Следует пояснить смысл цитаты. Величина, определяемая как функция координат и характеризующая объект в некой точке пространства, формально также является функцией, но никаких взаимосвязей с другими объектами (такими же функциями координат) она не отражает. Наличие взаимосвязей требует введения нового понятия – линейного функционала. Функционал тоже вектор, но не обычный – это, по-простому, функция от функции, то есть, аргументом функции является не простое число (например, координата точки), а функция, пусть она тоже выражается числом (см. ниже). Линейный – потому, что для него выполняются условия аддитивности и однородности (кому интересно, пусть найдут в литературе, что это такое, для данного текста это не существенно). Таким образом, обычный вектор позволяет задать численную характеристику объекта в принятой системе координат – его величину и направление, но он не отражает его функциональную связь с другими объектами. А линейный функционал эту связь как раз и призван отразить. (Примечание. Для порядка следует заметить, что понятие линейного функционала имеет ограниченную область применения, его расширениями являются понятия линейного оператора, о нём ниже, и полилинейной функции).

Ясно, для чего всё это сказано: ковектор – не обычный вектор, а линейный функционал. Теперь можно перейти непосредственно к вводу этого понятия.

Рассмотрим классический пример линейного функционала – градиент скалярного поля, в частности, гравитационного. Количественной характеристикой гравитационного поля в каждой его точке служит гравитационный потенциал φ (потенциальная энергия частицы единичной массы), то есть φ – функция координат:

            φ = φ(хi).

Так как значение φ выражается числом, то φ скаляр, и поле скалярное. Принципиально: значение φ в конкретной точке никак не связано со значениями φ в соседних точках, не зависит от них. Градиент этого скалярного поля представляет собой производную φ по координатам, то есть, «изменение величины поля вдоль соответствующего направления на единицу протяжённости» [3-8]

            grad φ = /dxi,

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

Вспомним, что ранее мы ввели две системы координат – старую (нештрихованную) и новую (штрихованную).  Для авторов [6-298] этого оказалось достаточно. Там обошлись без дуального базиса, а просто взяли частную производную скалярного поля по координатам согласно правилу дифференцирования сложной функции:

Обозначив градиент (вектор) слева как Аiʹ, а справа как Аk (индексы внизу), мы получаем ковариантный закон преобразования компонент вектора при смене системы координат:

Этот закон в матричной форме:

             Аʹi = М -1Аk,

где М -1 – матрица, обратная той, что присутствует в (6).

Осталось только дать определение: «Совокупность n величин Ai, которые при преобразованиях координат преобразуются по закону

называются ковариантным тензором первого ранга, или ковариантным вектором» [9-28].

(Замечания.

1. Из определений и формул (5) и (14) вытекает, что, и в самом деле, возможны только два типа формул преобразования координат, как об этом и сказано выше. Тип зависит от вида производных – ∂xʹi /∂xk в контравариантном законе и ∂xk/∂xʹi в ковариантном.

2. Ранее названа причина,  побудившая математиков к вводу понятий контра- и ковариантности – стремление упростить запись тензорных выражений. Теперь можно назвать вторую причину – сущностное различие между обычными векторами и линейными функционалами. Суть «классовых противоречий» между контрой- и ко- именно в этом, а формулы (5) и (14) – не более чем формальный способ различить их на практике, сами же формулы не несут в себе никакого серьёзного «физического» смысла. Например, как доказывают, что некий Аik – ковариантный тензор второго ранга? Да стандартным образом: с помощью сложных или несложных математических выкладок получают, что он подчиняется ковариантному закону преобразования координат (аналога (14) для тензоров рангом больше единицы) – ч. т. д. Формулы (5) и (14), выходит, лишь выполняют роль формальных критериев, по которым векторы/тензоры причисляются к тому или иному типу, и позволяют правильно разместить индексы – вверху или внизу обозначения тензора. При этом они ни в коей мере не определяют сущность понятий.

3. Можно усилить вывод, полученный в Замечании-2. В криволинейном пространстве ОТО, вообще-то, нет необходимости отказываться от старой системы координат и вводить новую. Поэтому формулы (5) и (14), формальный характер которых отмечен в Замечании-2, в ОТО превращаются в предельно формальные: они описывают поведение тензора при смене системы координат, а практическая необходимость в этой смене отсутствует.

Изложенный выше ввод понятия ковариантности полностью соответствует присущему математике принципу минимализма, и если бы этот текст писался для «продвинутых» и «передвинутых» математиков, на этом можно было остановиться – им уже всё ясно: формулы получены, с ними можно работать, что ещё надо? Но чем нам, остальным, помог в постижении понятия ковариантности вывод формулы (14)? Можем ли мы, опираясь только на формулы (13) и (14), «увидеть» ковариантный вектор Ai в реальном пространстве, пусть даже двумерном? Представляется очевидным, что формула (14) ничего не поясняет, она сама нуждается в пояснении.

Сначала дадим физическую интерпретацию формулы (13). (Формула (14) непосредственно вытекает из неё). Как и ранее, введём новую систему координат, в которой базисные векторы будут в пять раз длиннее таковых в старой: i = 5∙ei. (Изменяется базис основной системы). Это означает, что единица (масштаб), в которой измеряется протяжённость вдоль поля, увеличилась тоже в 5 раз, то есть, на прежнем расстоянии теперь укладываются в 5 раз меньше единиц длины. Например, укладывалось пять старых единиц ei, а теперь только одна новая i:  xʹi = xk/5. (Индекс k в правой части показывает, что удлинению подверглись все без исключения векторы ei). Но само-то поле при этом не изменилось, значение φ во всех точках осталось прежним – с какой стати поле будет реагировать на наши манипуляции с базисами? Поэтому изменение поля в пересчёте на новую, сокращённую единицу длины будет соответственно меньше (мы теперь «движемся» вдоль поля более мелкими шажками):

Выражение (15) – частный случай (13) при значении производной ∂xk/∂xʹi равном 5, заменой обозначений получаем (14). Эти рассуждения показывают, что в основе (13) и (14) лежат не формальные математические выкладки, нет, (13) и (14) имеют вполне осязаемую физическую основу – то есть, дело отнюдь не только в правиле дифференцирования сложной функции.

Но самую наглядную иллюстрацию работы ковариантного закона даёт геометрическая интерпретация формулы (14) – с использованием дуального базиса. Обратимся снова к рис. 1, дополнив его вектором А (рис. 3).

Считаем, что А – линейный функционал, то есть он по своей природе ковариантный вектор.

(Предупреждение. Некоторые спецы из Интернета утверждают, что ковектор неправильно изображать в виде «палочки со стрелочкой» [15]. Но другие специалисты уверяют своих читателей, что обычный вектор и ковектор это один и тот же вектор, но представленный в разных системах координат. Боюсь, мы не дождёмся, когда они между собой договорятся. А потому я считаю себя вправе изобразить на рис. 3 ковариантный вектор традиционным способом: может и неправильно, но зато наглядно!).

В силу своей родовой принадлежности А прежде всего представлен в дуальной системе координат ei (спроецирован на синие базисные векторы), его ковариантные компоненты Ai. (Непростые отношения ковариантного вектора с основной системой будут рассмотрены далее). То, что происходит при смене базиса, лучше описать по пунктам.

1. В основной системе координат вводятся новые базисы: i = 5∙ei (на рис. 3 не показаны – места не хватает). При этом с вектором А, естественно, ничего не происходит – он инвариант, поэтому сохраняет длину и направление в пространстве.

2. В соответствии с правилом-2 (см. (12)) длины базисов дуальной системы изменяются в обратном направлении: i = (1/5)∙ei, то есть, их длина сокращается в 5 раз. (На рис. 3 опять не показано).

3. Если понимать под проекциями А отрезки на осях дуальной системы координат, то они (отрезки) остались неизменными. Но, так как масштабы вдоль осей дуального базиса уменьшились в 5 раз, компоненты вектора A1 и A2 (те же проекции на óси, но измеренные в единицах длины, задаваемых базисными векторами) теперь численно выражаются в более мелких единицах, то есть, они численно выросли по сравнению со старыми значениями: Aʹi = 5∙Ai. В результате мы получили, как и ожидали, аналог формулы (15) (с точностью до обозначений), то есть, частный случай (14), а вместе с последней – ковариантный закон преобразования компонент вектора.

(Примечание. Для простоты и наглядности можно представлять себе компоненту вектора Ai как проекцию вектора на соответствующую i-тую координатную ось, и не заморачиваться на этот счёт. Например, ковариантная компонента вектора  А:

            Аi = (Проекция А на ось ei дуального базиса)/|ei|.

В развёрнутом виде:

            А0 = (Проекция А на ось e0 дуального базиса)/|e0|;

            А1 = (Проекция А на ось e1 дуального базиса)/|e1|

и т. д., до исчерпания размерности пространства.

Однако, вообще говоря, компоненты вектора не всегда представляют собой проекции вектора на оси. Например, вектор скорости в сферических координатах r, φ, Θ имеет три компоненты, две из которых – те, которые связаны с изменением углов и – «не могут быть проекциями, в обычном смысле этого слова» поскольку представляют собой не линейную, а угловые скорости [7-353]. Информация в этом Примечании приведена, опять же, для лучшего понимания).

Следует обратить внимание, что в собственной – дуальной – системе координат ковариантный вектор А подчиняется  «вражескому» контравариантному(!) закону преобразования своих компонент. Действительно, в п. 3 компоненты изменяются обратно изменению собственного базиса: векторы дуального базиса уменьшились в 5 раз, а компоненты вектора увеличились в 5 раз, это контравариантный закон. Таким образом, ковариантный закон преобразования обеспечивается в п. 2, именно он является ключевым в этой схеме – без п. 2, в котором реализуется правило-2, не было бы никакого ковариантного закона и ковариантности как таковой. Поэтому, хотя ряд авторов умудряется вводить понятие ковариантности, начисто проигнорировав существование дуальной системы координат, последняя всё равно неявно, незримо, по умолчанию (авторов), но неизбежно присутствует в их рассуждениях и формулах – даже там, где её вроде как и нет. (Примечание. В книге по ОТО [9] авторы также обошлись без дуальной системы координат. Но это отнюдь не означает, что в «тензорном исчислении для физиков» она и в самом деле отсутствует).

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

– компоненты контравариантного вектора изменяются обратно направлению изменения базисных векторов основной системы координат;

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

«При этом не имеет значения, какое преобразование является прямым, а какое обратным. Важно, что эти преобразования являются взаимно обратными по отношению друг к другу» [4-63].

Эти выводы уже проиллюстрированы примерами. Не забудем только, что, как указано выше в Замечании-2 выше, это не сущностное, а сугубо формальное, внешнее отличие.

Взаимная трансформация тензоров

Однако, как нам сообщают в учебниках, «одна и та же векторная физическая величина может быть представлена как в контра-, так и в ковариантных компонентах» [6-299]. Для большей убедительности подкрепим этот тезис ещё одной цитатой: «Всякий вектор А может быть разложен как по векторам базиса еi (тогда компоненты его разложения являются контравариантными), так и по векторам базиса еi (с ковариантными компонентами):

            А = Аiei = Аiei» [10-15].

В качестве примера можно привести уравнения Эйнштейна в ОТО – они записываются и в контравариантной, и в ковариантной, и в смешанной форме [9-105], причём во всех трёх случаях тензоры (как физические величины) одни и те же, а изменение их компонент осуществляется свёрткой с соответствующим метрическим тензором. Что же получается? Для того, чтобы стать ковариантным вектором, не обязательно быть линейным функционалом? А градиент скалярной функции только притворяется ковариантным тензором, а на деле он, как и все остальные тензоры, «и нашим, и вашим»?

Можно подумать: ну вот, говорили-говорили про контравариантный и ковариантный тензоры, а оказывается, это почти одно и то же. На самом деле в этом «почти одно и  то же» и состоит весь смысл. Вспомним, как в начале текста мы «лёгким взмахом руки» превратили рождённый контравариантным вектор Bi в ковариантный Bi (опять можно привести аналогию, но боюсь, редакторы забанят). В этой лёгкости и состоит главное преимущество представления тензоров в двух системах координат – приведённый там пример это наглядно демонстрирует.

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

Что авторы сообщают, так это то, что вектор в своих контравариантных Ai и ковариантных Ai координатах это один и тот же вектор А (это мы уже и так поняли). С формально математической («беспощадно формальной», как выражается один автор)  точки зрения, лишённой какого бы то ни было физического содержания, различие между ковариантными и контравариантными векторами отсутствует. Действительно, абстрактный вектор мы можем представить через компоненты в контравариантном базисе Ai, а затем через посредство метрического тензора превратить его компоненты в ковариантные Ai – см. (16). А можем «отзеркалить» ситуацию в (17):

            Аi = gikАk;       (16)

            Аi = gikАk.       (17)

«Содержательно же векторы и ковекторы различают лишь по тому, какое из представлений для них естественно. Естественным для обычного вектора является контравариантное представление» [13], а для ковектора (линейного функционала) ковариантное. Можно подумать, что указание на «естественность» всё объясняет и закрывает вопрос. Однако оно только провоцирует следующий вопрос: а какое содержание вкладывается в эту «естественность»? Этот термин сам нуждается в подробном пояснении, раскрывающем его суть. Без этого ссылки на естественное и противоестественное не могут рассматриваться в качестве научных аргументов (по крайней мере, в математике и физике).

Алгебраическую иллюстрацию взаимной трансформации тензоров (16) и (17) можно подкрепить геометрической: в самом деле, какая разница, на какие координатные оси проецировать вектор А – оси основной или дуальной систем координат? Ничто не мешает на рис. 3 спроецировать вектор А на оси основной системы (красные; там этого не сделано, так как рис. 3 про другое). Отрезки на осях – это только отрезки, ничем друг от друга они принципиально не отличаются.

Но эти, вроде как понятные, интерпретации оставляют без ответа важные вопросы. Например, выражение (13) получено строго математическим путём, и оно показывает, что градиент, как линейный функционал, подчиняется ковариантному закону преобразования своих компонентов. (Это факт!). А какому закону преобразования будет подчиняться после трансформации (17) контравариантный градиент? Ведь, по определению (14), в базисе основной системы координат он обязан следовать контравариантному закону. Так какому закону из двух он будет подчиняться?! Вот главный вопрос, провоцирующий непонимание при изучении процесса взаимной трансформации тензоров. Раз авторы молчат (им-то, будем надеяться, всё понятно), приходится от «беспощадно формальной» логики до понимания вопроса добираться без их помощи. Тем более, что путь не такой уж и длинный.

Очевидно, что исходный пункт – выражения (16) и (17). Именно они отражают суть процесса взаимной трансформации тензоров. Поиск ответа затрудняется тем, что  эта суть скрыта «туманом» метрического тензора, поэтому необходимо разогнать "туман".

Будем рассуждать применительно к выражению (17), а то, что получится, легко распространить на (16):

            Аi = gikАk.       (17)

Запишем (17) в развёрнутом виде:

            А0 = g00А0 + g01А1 + g02А2 + g03А3;

            А1 = g10А0 + g11А1 + g12А2 + g13А3;

            А2 = g20А0 + g21А1 + g22А2 + g23А3;

            А3 = g30А0 + g31А1 + g32А2 + g33А3.

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

            gik = eiek.               (8)  

Получаем:

            А0 = e0e0А0 + e0e1А1 + e0e2А2 + e0e3А3;

            А1 = e1e0А0 + e1e1А1 + e1e2А2 + e1e3А3;

            А2 = e2e0А0 + e2e1А1 + e2e2А2 + e2e3А3;

            А3 = e3e0А0 + e3e1А1 + e3e2А2 + e3e3А3.

Вынося за скобки:

            А0 = e0∙(А0 e0 + А1 e1 + А2 e2 + А3 e3);

            А1 = e1∙(А0 e0 + А1 e1 + А2 e2 + А3 e3);

            А2 = e2∙(А0 e0 + А1 e1 + А2 e2 + А3 e3);

            А3 = e3∙(А0 e0 + А1 e1 + А2 e2 + А3 e3).               (18)

Во всех четырёх скобках справа присутствует одно и то же выражение, это вектор А собственной персоной:

            А = А0 e0 + А1 e1 + А2 e2 + А3 e3.   

Именно так вектор А выражается в дуальной системе координат – через свои ковариантные компоненты (А0, А1, А2, А3) и дуальный базис (e0, e1, e2, e3). Выделения курсивом призваны подчеркнуть, что в правой части мы имеем величины, связанные исключительно с дуальной системой координат. (Примечание. В источниках вместо Аi часто пишут аi).

Можно при желании записать (18) в краткой форме:

            Аi = eiА.                 (19)

Аналогичная по смыслу формула присутствует, например, в [1-53; 10-11,13], но там она получена из других предпосылок и с другой целью.

В общем-то, мы уже получили формулы, вскрывающие суть взаимной трансформации тензоров, показывающие, что при этом происходит – это формулы (18). Что позволяет сделать такой вывод? А то, что в (18) показано, как контравариантные компоненты вектора (слева) выражаются (вычисляются) через компоненты и базисные векторы дуальной системы координат (справа). Для этого достаточно выразить исходный вектор А в дуальной системе координат (получаем скобки справа в (18)) и умножить его скалярно на ei (при данном значении i).

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

До сих пор все рассуждения строились вокруг формулы (17). Но их можно «зеркально» повторить и для формулы (16), для этого в выкладках потребуется всего лишь «перевесить шильдики» – где индексы внизу, их надо поднять, и наоборот. В конце мы получим формулы, аналогичные (18) и (19), в частности: 

Аi = eiА.

Таким образом, вывод такой. Как контравариантный, так и ковариантный векторы представляются в «родных» для них системах координат, и только в них. А суть формул (16) и (17), описывающих трансформацию векторов, сводится лишь к формальной процедуре расчёта компонент вектора в другой системе координат.

Для полного понимания необходимо сделать некоторые пояснения.

1. Формулы (18) и (19) получены из (17), по существу это одна и та же формула. Но форма записи (17) такова, что в ней «физика» процесса взаимной трансформации тензоров скрыта, тогда как в (18) она проступает более явственно.

2. В формуле (19) вектор А (по определению) инвариант, поэтому изначально он не связан ни с одной системой координат. Это мы по своему желанию выражаем его в основной или дуальной системах. В (18) он представлен в дуальной системе координат (в базисе еi). Что будет, если выразить А в основной системе (в базисе еi):

            А = e0А0 + e1А1 +e2А2 + e3А3?  

Тогда вместо (18) мы будем иметь:

            А0 = e0∙(А0 e0 + А1 e1 + А2 e2 + А3 e3) = А0;

            А1 = e1∙( А0 e0 + А1 e1 + А2 e2 + А3 e3) = А1;

            А2 = e2∙( А0 e0 + А1 e1 + А2 e2 + А3 e3) = А2;

            А3 = e3∙( А0 e0 + А1 e1 + А2 e2 + А3 e3) = А3.             (20)

Результат в правой части (20) получен в соответствии с формулой (10): еiej = δij. (Это повод ещё раз вспомнить добрым словом умных учёных, придумавших дуальную систему координат). Как мы видим, представление А в основном базисе приводит к банальному результату: Аi = Аi. Таким образом, формула (19) имеет содержательный смысл только в том случае, если вектор А выражен в дуальной системе координат. Этот вывод является следствием того, что (18) получена из формулы (17), в которой компоненты Аi в правой части сугубо ковариантны.

3. Градиент скалярной функции естественно ковариантен – тому свидетельством формула (13), выражающая именно ковариантный закон преобразования компонент градиента при смене системы координат. Это своё свойство градиент реализует в дуальном базисе – в этом можно убедиться из рис. 3 и описания к нему. Аналогично обычный вектор, например, вектор перемещения dxi (геометрический вектор) подчиняется контравариантному закону (5), поэтому он естественно представим в основном базисе (это было показано в начале текста). Именно так надо понимать термин «естественно»: векторы естественно выражаются в той системе координат (основной или дуальной), в которой они реализуют неотъемлемо присущий им закон преобразования своих компонент. Трансформация векторов в соответствии с (16) и (17), как мы обнаружили в этом параграфе, не изменяет связь вектора с его законом преобразования компонент, которая остаётся нерушимой. С этой точки зрения контра- и ковариантность можно интерпретировать как свойство самого тензора – обычного или линейного функционала. А закон преобразования компонент в таком случае не более чем формальный признак принадлежности к первому или второму типу. (Об этом уже было сказано выше, но всегда полезно зайти ещё раз, но с другой стороны).

Смешанный монстр

Есть еще один, пожалуй, самый сложный(!) вопрос в рамках обсуждаемой темы – тензор смешанного типа.

Первая реакция: что это за дурь?! Что за монструозное «дитя» (справа) приличных с виду «родителей» (слева):

            АiBk = Аik [16-29]?      (21)

(Формула (21) записана в координатной форме).

В предыдущем параграфе речь шла о трансформации тензоров – контравариантный тензор Ai можно превратить в ковариантный Ai, и наоборот. Но как тензор Aik  может быть одновременно(!) представлен и в основной, и в дуальной системах координат? Как он умудряется стоять «враскорячку» сразу в двух базисах, в одном из которых он естественно контравариантный, то есть «обычный», а в другом ковариантный, то есть – «потомок» линейного функционала? Как в нём могут сочетаться эти два несочетаемые качества? Как смешанный тензор может одновременно подчиняться двум разным законам преобразования координат? Слишком много «каков», явно назрел последний вопрос: как всё это понимать?         

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

1. Как смешанный тензор может быть одновременно представлен в двух системах координат и двух базисах?

2. Как смешанный тензор может сочетать свойства аналога обычного вектора и аналога линейного функционала?

3. Это не вопрос, но было бы неплохо изобразить смешанный тензор графически (на рисунке).

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

(Примечание. Я попытался получить консультацию по тензорному исчислению на профильном сайте. Заявку просмотрели более 50 специалистов. Опуская подробности, приходится констатировать, что квалифицированной консультации я так и не получил. Специалисты самоустранились до (большинство) или после ознакомления со списком вопросов. Сложилось впечатление, допускаю, ошибочное, что тензорным исчислением в полной мере не владеют даже те, кто позиционирует себя в качестве знатока. Похоже, они потому и считают себя знатоками, что не пытаются ставить сущностные вопросы. Это – предупреждение: не надейтесь, что кто-то осветит вам тёмные закоулки тензорного исчисления).

Тензор второго ранга

Для начала надо разобраться с тензором второго ранга, каковым и является смешанный тензор Aik из правой части (21). Как известно, ранг тензора и размерность пространства никак друг с другом не связаны. Размерность пространства определяет число строк/столбцов в матрице тензора. Например, матрица метрического тензора в двумерном пространстве имеет 2 строки и 2 столбца, в трёхмерном 3 и 3, в ОТО 4 и 4, но во всех этих пространствах gik остаётся тензором второго ранга.

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

Напряжение в некоторой точке твёрдого тела требует задания пары векторов n и τ(n), из которых первый вектор (нормаль) задаёт ориентацию площадки, а второй – действующую по этой площадке силу, отнесённую к единице площади. Эта пара векторов составляет единое целое. Каждый вектор по отдельности не характеризует i-тую составляющую напряжения, то есть, его величину и направление; адекватное описание требует объединения двух векторов в единый объект. Для полного описания напряжения в точке необходимы три пары векторов: три ортогональных между собой нормали ni определяют три взаимно ортогональные площадки, в которых действуют векторы напряжения τ(ni). Совокупность этих трёх пар векторов является примером нового тензорного объекта [1-88]. Таким образом, описание напряжения в твёрдом теле требует задания двух признаков – ni и τ(ni), поэтому тензор напряжения имеет второй ранг. Описание кривизны пространства в общем случае предполагает, судя по всему, задание четырёх независимых признаков (мечтаю узнать, каких), в результате имеем у тензора Римана четыре индекса.

Таким образом, ранг определяет размерность не пространства, а матрицы тензора. Например, матрица метрического тензора gik двумерна (размещается на плоскости), а матрица тензора Римана Rijkl четырёхмерна (размещается отнюдь не в любой голове).

Физики, да и большинство математиков тоже, при вводе понятия тензора второго ранга поступают просто – добавляют ещё одну производную в законы преобразования компонент и после этого удовлетворённо выдыхают:

Аналогично вводится и тензор смешанного типа:

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

В механике дело обстоит иначе. Там тензоры второго ранга – инструмент первостепенной важности при анализе механических процессов: «именно механика деформируемых тел давала содержательные импульсы для развития тензорного исчисления» [16-5]. По этой причине тензоры второго ранга выделяются в особую группу и им даже посвящаются отдельные монографии. Так что, если и искать разгадки «секретов» тензоров второго ранга, так у механиков.

В чём состоит принципиальное отличие тензоров второго ранга от всего того, что было сообщено выше относительно векторов? Оно в базисе: если базис вектора составляют отдельные базисные векторы:

            А = Аiei = Аiei,

то «всякий тензор [второго ранга] может быть представлен в виде линейной комбинации диад eiej. Диады eiej образуют базис {eiej} в пространстве тензоров» [5-25]:

            А = Aik eiek.

Знак «⊗» указывает на то, что в данном случае мы имеем дело не со скалярным, а с тензорным произведением векторов. (Разница в том, что в результате скалярного произведения двух векторов в единственной итоговой строке мы складываем все компоненты, пример можно посмотреть под рис. 1; при тензорном произведении получаем квадратную матрицу, описывающую тензор второго ранга, пример приведён ниже). Диада eiej должна рассматриваться как единое целое [17-35].

Из приведённой цитаты очевидно, что базис пространства тензоров второго ранга образуют именно диады, составленные из базисных векторов, взятых попарно. В принципе, диады могут быть образованы из векторов единственного базиса (именно этот случай описан в цитате из [5-25]). Однако «подобно тому, как в пространстве векторов мы вводили сразу же и на паритетных началах два базиса (основной ei и дуальный ei), так же и в пространстве тензоров второго ранга удобно одновременно пользоваться четырьмя базисами, порождёнными базисами ei и ei:

            eiek,   eiekeiek,   eiek .

…С использованием этих базисов тензор второго ранга может быть представлен в четырёх эквивалентных видах:

  А = Aik eiek  =  Aik eiek  =  Aik eiek  =  Aik eiek»  [1-104; 17-42]. (23)  

Откуда берутся диады? Да из того же выражения (21), то есть, из тензорного произведения двух векторов. Левую часть (21) для удобства следует записать в векторной форме (векторный и координатный способы изложения тензорного исчисления обсуждаются в Приложении-2 в конце текста), указав при этом знак «⊗», тогда получаем:

            АВ = (AieiВkek) = AiВkeiek = Aik eiek.

В текущем контексте в (23) нас интересуют два последних выражения, для определённости будем рассматривать только правое. (Примечание. Последовательность векторов и индексов важна: AikeiekAikeiek. Но мы не будем увязать в деталях, нам хотя бы в основном немного разобраться). Обозначение тензора в координатной форме Aik может сбить с толку, поэтому вернёмся к векторному представлению тензоров, в котором Aik не тензор, а координаты тензора А относительно базиса eiek [17-43], то есть, числа. Каждую компоненту принято обозначать буквой. А вот какие индексы мы к этой букве пришпандорим, не имеет никакого значения, они вводятся просто для удобства, обозначая номер столбца и номер строки в матрице компонентов.

Итак, в отличие от векторного базиса ei или ei базис тензора второго ранга представляет собой комбинации двух базисных векторов. (Аналогично, базис тензора третьего ранга составляют комбинации трёх базисных векторов – триад, и т. д. [16-13]). Разложение тензора смешанного типа по базису в развёрнутом виде:

            A  = A00e0e0A01e0e1A02e0e2A03e0e3 +

                + A10e1e0A11e1e1A12e1e2A13e1e3 +

                + A20e2e0A21e2e1A22e2e2A23e2e3 +

                + A30e3e0A31e3e1A32e3e2A33e3e3 .     (24)

Результат каждого тензорного произведения в правой части представляет собой матрицу 4×4. (Важная цитата. «Знак “+” в (24) следует понимать так же как знак “+” в записи комплексного числа x+iy, то есть как символ объединения» [17-37], то есть (24) – «это именно совокупность пар векторов, являющаяся примером нового объекта – тензора второго ранга» [1-88,91; 17-37]).

«Физическая» сущность смешанного тензора

Разобравшись с главным «секретом» смешанного тензора – его базисом, можно попытаться ответить на сформулированные в начале параграфа вопросы. Собственно говоря, на первый вопрос (как смешанный тензор может быть одновременно представлен в двух системах координат и двух базисах?) ответ уже получен: это возможно потому, что таков базис смешанного тензора eiek, от которого он получает контра- и ковариантный индексы. Но как теперь стало понятно, сам вопрос сформулирован неправильно: нельзя сказать, что  смешанный тензор одновременно представлен в двух базисах – в основном ei и в дуальном ei. Его базис – композиция ei и ei, поэтому он не принадлежит ei или ei, взятым по отдельности.

На второй вопрос (как смешанный тензор может сочетать свойства аналога обычного вектора и аналога линейного функционала?) ответить сложнее. Из принадлежности смешанного тензора базису eiek ответ отнюдь не вытекает, поскольку в данном случае дело не в геометрии, в вопросе речь идёт об одновременном сочетании двух различных качеств.

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

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

Сам по себе тензор второго ранга ещё не является линейным оператором, он становится таковым в скалярном произведении с вектором. Например, пусть в евклидовом пространстве существует прямая L с единичным направляющим вектором (ортом) вдоль этой прямой е. (Прямую L можно рассматривать как аналог некой оси в системе координат). Абсолютно формально, даже не подозревая о последствиях своих действий, образуем тензор второго ранга (диаду) Р=ee. И вот оказывается, что результатом скалярного произведения тензора Р на любой вектор u (то есть, Рu) является проекция исходного вектора u на прямую L. Таким образом, тензор второго ранга Р является проектором – «тензором (оператором) проецирования [любого вектора] на прямую L» [5-19]. Аналогичным образом могут быть получены (линейные) операторы проецирования вектора не только на ось, но и на плоскость, операторы поворота, операторы растяжения вдоль осей и множество других. Причём, что принципиально, роль линейного оператора может выполнять тензор второго ранга любого типа – дважды контравариантный, дважды ковариантный и смешанный.

Как всё это понимать? Конечно, можно опять вернуться к выражению (21) АiBkik и представить смешанный тензор как результат тензорного произведения контравариантного и ковариантного векторов. Если нам достаточно лишь формального объяснения, когда всё можно свести к перемещениям индексов, то этим можно и ограничиться. Но для понимания «физической» сути смешанного тензора этого маловато. Остаётся уповать на счастливый случай. Дело в том, что, хотя высокомерные математики и подражающие им физики редко нисходят с сияющих вершин своего знания до нас, «чайников», с понятными объяснениями, но иногда они всё-таки проговариваются. Вот и здесь, явно не озадачиваясь вопросом-2 этого параграфа, они на него всё-таки (неявно) ответили.  

В [5] сформулирована и доказана теорема, устанавливающая «взаимно однозначное соответствие между множеством тензоров и множеством линейных операторов» [5-15,16]. Из этого однозначного соответствия вытекает, что «термины “тензор [второго ранга]” и “линейный оператор” могут применяться как взаимозаменяемые» [5-16]. Всё это означает, что в пространстве тензоров второго ранга различие между «обычными» тензорами и линейными операторами стирается(!). Любой тензор второго ранга (по отношению к векторам) может выполнять функцию линейного оператора.

Действительно, мы только что видели, как обычный, заурядный, ничем не примечательный тензор второго ранга Р=ee в скалярном произведении становится линейным оператором (проектором). Обычный тензор изначально готов выступить в роли линейного оператора, ему недостаёт только вектора в качестве «напарника». Поэтому в том, что он сочетает свойства обычного тензора и линейного оператора нет никакого противоречия – это сочетание заложено в нём с «рождения». Линейный оператор и тензор второго ранга – не синонимы. Но в пространстве тензоров второго ранга эти термины, как сказано выше, взаимозаменяемы. А взаимозаменяемость означает, что это, по существу, одно и то же.

Таким образом, ответ на вопрос, как в смешанном тензоре сочетаются свойства обычного тензора и линейного функционала, звучит примерно так: эти свойства заложены в нём изначально, и они не противоречат друг другу.

Графическое представление смешанного тензора

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

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

Векторное пространство – «обычное», привычное нам пространство, изображаемое графически вплоть до его четырёхмерности. Мы оперируем в нём его элементами – скалярами и векторами. Корень проблемы в том, что пространство тензоров второго ранга не «обычное»(!). Оно представляет собой результат тензорного произведения двух «обычных» пространств (одинаковой размерности). Например, если мы имеем евклидово пространство Т1 с базисом ei, то оно порождает пространство тензоров второго ранга Т2:  Т21⊗Т1 и базис eiek.  Тензоры второго ранга являются элементами пространства Т2, а не Т1 [1-92],  поэтому они и не могут быть изображены графически в Т1. Не имея возможности физически выйти за пределы «обычного» пространства, элементы пространства Т2 мы можем отразить только средствами математики (в виде матриц тензоров второго ранга), но не графики.

О самом пространстве Т2 можно сказать только то, что это «множество» (приходится употребить это противное слово), его размерность совпадает с размерностью Т1. Мы не можем изобразить его графически, поэтому и принадлежащий ему тензор второго ранга также остаётся «бесплотным», лишённым собственного изображения. То же самое относится ко всем тензорам высших рангов. Каждый такой тензор – результат тензорного перемножения нескольких векторных пространств (пространств тензоров первого ранга). Вряд ли даже самый гениальный математик способен графически изобразить получающиеся пространства, хотя бы приблизительно.

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

Но это всё теория, а как всё сказанное выглядит на практике? В качестве примера возьмём простейший случай  – декартову систему на евклидовой плоскости. Базис составляют орты (векторы единичной длины) i1 и i2. (Орт i1 отложен вдоль абсциссы, i2 вдоль ординаты). Поскольку система координат ортогональна, дуальная система отсутствует (совпадает с основной), поэтому не делаем отличия между контра- и ковариантными индексами. Тензор второго ранга в этом случае представляется в виде:

            А = Aikiiik.

Разложение А по базису:

            А = A11i1i1 + A12i1i2 + A21i2i1 + A22i2i2.

Координаты ортов в декартовой системе:

Вычисляем тензорные произведения ортов:

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

Итак, после проведённых расчётов исходная формула выглядит так:

            А = (Aikiiik = A11i1i1 + A12i1i2 + A21i2i1 + A22i2i2) =

                = A11i1 + A12i2 + A21i1 + A22i2.             (26)

Проблема в том, что в (26) мы получили не два члена в итоговом выражении (что было бы нормально для двумерной плоскости), а четыре. Можно подумать: ну, и что? Сейчас мы приведём подобные и получим совсем уж простое выражение для тензора, вполне себе графически представимое в декартовых координатах на плоскости. Однако, не тут-то было! Вспомним то, о чём было сказано выше: знак «+» это не символ сложения, его следует понимать как символ объединения. Мы вычислили значения диад, но смысл знака «+» в разложении тензора А это обстоятельство никак не изменило. А значит, приводить подобные мы не имеем права. (Это всё равно, как складывать действительную и мнимую часть в комплексном числе). Поэтому (26) – это результат, не подлежащий дальнейшему упрощению. В более сложных случаях будет всё то же самое, только, как можно догадаться, последние матрицы в выражениях, аналогичных (25), будут давать уже не один, а несколько векторов – в соответствии с размерностью пространства.

Как можно интерпретировать полученный результат? Выражение (26) описывает тензор второго ранга в пространстве Т2, которое является результатом тензорного произведения евклидовой плоскости Т1 на саму себя: Т21⊗Т1. Поскольку пространство Т2 мы можем выразить только в математической форме, при всём желании мы не способны отобразить выражение (26) в графическом виде. Впрочем, это повторение уже сказанного, но на конкретном примере.

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

Приложение 1. Ко- и контравариантность в единственном базисе

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

Однако для полноты картины следует привести пример нетрадиционного способа ввода понятий ко- и контравариантности – при наличии лишь единственного базиса. Этот случай описан в [10]. Суть отражена на рис. 4 [10-9].

На рис. 4 мы видим косоугольную систему координат с единственным(!) базисом еi. В ней вектор А через свои координаты задан двояко:

– он разложен, как и в декартовой системе, по векторам базиса е1 и е2 и получил координаты А1 и А2,

– также он разложен с помощью ортогональных проекций на оси, получив уже другие значения координат, А1 и А2.

Цель автора, видимо, показать читателям, что координаты вектора можно задавать разными способами. Всё бы ничего, но координаты А1 и А2 названы контравариантными, а А1 и А2 ковариантными. Это сбивает с толку: ведь вектор получает свои ковариантные компоненты в дуальной системе, и только в ней, а она в данном случае отсутствует. Не совпадает с еi, а именно отсутствует – сравните с рис. 1: там дуальный базис  строится, как и положено, по правилам (10). Получается, что признаком ко- и контравариантности вектора является способ проецирования его на координатные оси – в направлении, задаваемой другой осью (получается параллелограмм), или ортогонально. В связи с этим возникает закономерный вопрос: а что мешает нам договориться проецировать вектор не ортогонально, а под любым другим углом? (Это называется проецированием по направлению). Сколько тогда пар «ковариантных» компонент мы получим? Или для каждой пары придётся придумывать новое название? Это к вопросу обоснованности такого способа ввода понятия ковариантности.

Одним словом, на рис. 4 мы имеем единственную систему координат, дуальная система отсутствует. Поэтому называть координаты вектора  А1 и А2 контравариантными, а А1 и А2 ковариантными нет никаких оснований. Но это всё забавы математиков, у них, возможно, на этот счёт имеются свои соображения. Пример приведён на случай, если кто-нибудь набредёт на первоисточник.

(Замечание. Этот случай – косоугольная система координат на евклидовой плоскости – один из простейших. В [18] показано, как для него получить компоненты метрического тензора. В этом нет ничего удивительного: задав координаты базисных векторов в дополнительной декартовой системе, мы легко получаем компоненты, просто скалярно перемножая векторы в соответствии с (7): gik = eiek).

Приложение 2. Способы изложения тензорного исчисления

При изучении тензорного исчисления необходимо иметь в виду и учитывать следующее важное обстоятельство.

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

– (прямой) векторный (инвариантный)

– и координатный (арифметический) [1; 5; 16; 17].

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

Можно указать на внешние признаки, по которым можно различить векторный и координатный варианты изложения. При векторном способе «тензор задаётся как самостоятельный математический объект» [5-3], зачастую получающий реальную интерпретацию, особенно в механике. Вводится понятие базиса, и оно широко используется. Как следствие, вектор разлагается по базису, присутствуют основная и дуальная системы координат. Проводится чёткое смысловое различие между вектором А и его компонентами Ai, Ai, Aik и т. д. (Пример: в строго векторной форме метрический тензор должен(!) изображаться как g, а gik в этом случае – обозначение его компонент. В координатной форме через gik обозначается и сам вектор, и его компоненты). Векторы здесь «направленные отрезки, но отнюдь не совокупности троек чисел» [1-24], как в координатной версии. Широко используется матричная (а не только индексная) форма тензорных выражений. Авторы по мере сил стараются приводить примеры и включать иллюстрации.

«Координатная форма тензорного исчисления была разработана, главным образом, математиками, далёкими от сфер деятельности, в которых, собственно, и зарождались первые представления о векторах и тензорах высших рангов» [1-22]. Примером предельной реализации координатного подхода может служить [9]. В этой книге, посвящённой, в общем-то, ОТО, авторы по ходу дела достаточно подробно (но это не означает, что понятно) рассказывают о тензорах, предполагая, видимо, знание основ векторного исчисления. При этом они допускают фактическое смешение понятий «тензор» и «компоненты тензора». (На это обстоятельство было указано в начале данного текста, который сам не свободен от этого). Понятие «базис» отсутствует «как класс»: «базисы при координатном (арифметическом) подходе остаются как бы за кадром» [1-21]. Поэтому, хотя постоянно речь идёт о координатах, формулы разложения вектора по базису отсутствуют(??!), понятия об основной и дуальной системах координат, естественно, тоже. В представлении компонент в виде матрицы отказано даже метрическому тензору. Тензоры высших рангов вводятся опять же сугубо формально – никаких полиад (аналогов диад) и их линейных комбинаций. Авторы не опускаются до каких бы то ни было пояснений, они сумели обойтись без единого примера (и это в книге по физике!) и рисунка. При таких самоограничениях всё изложение поневоле свелось к математическим манипуляциям, предельно далёким (с виду) от геометрической интерпретации или физической реальности. Вместе с тем «профессионал обязан свободно владеть координатной формой тензорного исчисления, поскольку на его основе написаны очень многие книги по физике и механике» [1-22].

Векторный способ представляет собой, по сути, неизбежный синтез обоих подходов, так как невозможно обойтись без координатного представления тензоров. Поэтому многие авторы пытались как-то примирить оба подхода. Наиболее яркий пример – книга [4]. В ней автор попытался изложить основы векторного и тензорного исчислений более-менее человеческим языком. Он старается объяснить всё как можно понятнее, но вынужден(!) использовать настолько сложную и путаную систему обозначений, что продраться через неё – как через заросли колючего кустарника, в которые за автором полезут только самые отчаянные. Кроме того, неизбежный для монографии академизм изложения (общий и неустранимый недостаток, нет, слабо сказано, изъян(!) всех монографий) не позволяет до конца разрушить стену непонимания, возникающую между автором и его читателями. Поэтому, как мне кажется, по этой причине попытка примирить непримиримое не удалась, но книга всё равно полезная.

В общем, моё мнение такое. Тензорное исчисление следует изучать в три этапа. Начать лучше всего с книг, в которых авторы пытаются хоть что-то объяснять. Среди таких могу указать [3; 4] (с учётом их недостатков). На втором этапе надо прочитать хотя бы одну из книг, написанную в русле векторной версии тензорного исчисления. Причём начать лучше с «механиков» [1; 5; 16; 17], но надо иметь в виду, что они ограничивают изложение в основном трёхмерным евклидовым пространством и декартовой системой (это облегчает понимание, но явно не достаточно для будущих физиков). Потом перейти к «математикам» [7; 10]. И только после этого, уже в значительной мере разобравшись с основами тензорного исчисления, можно браться за книги, написанные авторами, придерживающимися координатного способа изложения, например, [9]. Предупреждение. Можно проигнорировать первый этап и начать сразу со второго. Но крайне не советую начинать изучение тензорного исчисления с третьего этапа, это будет пустой и бесполезной тратой умственных усилий и времени – проверено на себе!

Счастливые обладатели хорошей памяти и математических способностей (первое в данном контексте даже важнее второго) вполне могут по лекциям и книгам быстро изучить тензорное исчисление на уровне сугубо формального знания. Следует заметить, что именно знание материала (то есть, прежде всего память!) тестируют преподаватели на зачётах и экзаменах. Но для понимания тензорного исчисления, другими словами, для глубокого проникновения в его основы, для постижения его сути в деталях, одного знания недостаточно. Попытаемся добавить немного оптимизма: можно достичь стадии понимания и при заурядной памяти и в отсутствие математических способностей. Но для этого необходимо обладать одним неограниченным ресурсом. Этот ресурс – время. Книги надо не просто читать, а штудировать, что означает неоднократное перечитывание текста и постоянное возвращение к уже прочитанному, открывая всякий раз новые нюансы смысла. Боюсь, большинство читателей этого опуса вынуждены изучать тензорное исчисление как раз в условиях ограниченности времени, которое могут уделить этому процессу.

Не хочется завершать на столь печальной ноте. Извините за многословие, но я не виноват – тема такая. «Лучше быть занудным, чем непонятым» [16-7]. Вот этой мудрой мыслью и поспешим закончить. (А то, ведь, есть ещё свёртка...).

П. С. Все публикации автора: https://vk.com/id608846425

Список литературы

1. Жилин П.А. Векторы и тензоры второго ранга в трёхмерных пространствах. – СПб.: Нестор, 2001. – 275 с.

http://www.teormeh.net/Zhilin_New/pdf/Zhilin_Vectors_Tensors_Book.pdf

2. https://avva.livejournal.com/1944537.html

3. С. Гаврилов. Тензорное исчисление для «чайников».

https://caxapa.ru/thumbs/757847/tensor.pdf

4. Речкалов В.Г. Векторная и тензорная алгебра для будущих физиков и техников: учеб. пособие для вузов. – Челябинск, 2008. – 140 с.

https://www.susu.ru/sites/default/files/rechkalov.pdf

5. Волков А.Е, Волкова Н.А., Шихобалов Л.С. Тензоры второго ранга. – СПб: СПГУ, 2020. – 46 с.

6. Ландау Л.Д., Лифшиц Е.М. Теоретическая физика: Учеб. пособие. В 10 т. Т. II. Теория поля. – М.: Наука, 1988. – 512 с.

7. Кочин Н.Е. Векторное исчисление и начала тензорного исчисления. Изд 9-ое. – М.: «Наука», 1965. – 426 с.

https://ikfia.ysn.ru/wp-content/uploads/2018/01/Kochin1965ru.pdf

8. Википедия, статья «Тензор».

9. Алексеев С.О. и др. Общая теория относительности: Введение, современное развитие и приложения. – М.: ЛЕНАНД, 2019. – 400 с.

10. Победря Б. Е. Лекции по тензорному анализу: 3-е изд. – М: Изд-во МГУ, 1986. – 264 с.

            https://ikfia.ysn.ru/wp-content/uploads/2018/01/Pobedrya1986ru.pdf

11. https://habr.com/ru/articles/756604/

12. http://twt.mpei.ac.ru/math/larb/Euclidesp/LA_03070000p.html

13. Википедия, статья «Ковариантность и контравариантность (математика)».

14. Фоменко А.Т. Дифференциальная геометрия и топология. (Конспект лекций). – М. – 137 с.

https://teach-in.ru/file/synopsis/pdf/difgeom-and-topology-fomenko-M.pdf

15. https://dxdy.ru/topic154702.html

16. Пальмов В.А. Элементы тензорной алгебры и тензорного анализа: Учебное пособие. – СПб: Изд-во Политехн. ун-та, 2008. – 109 с.

https://fea.ru/spaw2/uploads/files/Palmov/p_109.pdf

17. Жилин П.А. Векторы и тензоры второго ранга в трёхмерном пространстве. – СПб: СПГТУ, 1992. – 90 с.

http://mech.spbstu.ru/images/8/86/Zhilin_VT2.pdf

18. https://habr.com/ru/articles/261421/

Комментарии (38)


  1. aldekotan
    12.06.2024 17:26
    +3

    Математика остаётся непонятной для многих потому, что нам её объясняют люди, которые понимают её на интуитивном уровне, или, выражаясь более изящно, «на уровне интуитивных образов» [1-7 ≡ Л.1, с. 7]. Нам же, нематематикам, для того, чтобы что-то понять, надо это «что-то» увидеть не в абстрактном («интуитивном»), а в реальном, физически представимом пространстве

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


  1. MasterMentor
    12.06.2024 17:26
    +8

    Оч хорошее расследование (оно же - расследование).

    Математика остаётся непонятной для многих потому, что...

    Тензорное исчисление остаётся тёмным делом, ибо его объясняют (преподают) 99,99% людей, которые его не используют, 99,99%-м людей, которые его использовать не будут. Так что же Вы хотите?

    Кроме того, порядок овладения этим исчислением: векторная алгебра->аналитическая геометрия->дифференциальная геометрия->теория поля (очень желательна, чтобы закрепить предыдущие разделы)->исчисление в терминах тензоров. И никак иначе (ведь это обёртка над перечисленными аппаратами). Не многие пройдут этот марафон (либо увеселительную прогулку - это как посмотреть).

    Например, некто С.Д.Пуассон имел следующее мнение по вопросу чем же украшается наша жизнь

    А хороших книг с ясным объяснением по тензорному исчислению - есть. Вот несколько эталонных в Вашу копилку:

    Рашевский П.К. Введение в риманову геометрию и тензорный анализ - 1936
    Борисенко А.И., Тарапов И.Е. Векторный анализ и начала тензорного исчисления
    Кильчевский Н.А. Элементы тензорного исчисления и его приложения к механике - 1954
    Хатипов А.Э.-А. Основы тензорного исчисления и римановой геометрии - 1956
    Каган В.Ф. Основы теории поверхностей в тензорном изложении
    Мак-Коннел А. Дж. Введение в тензорный анализ. С приложениями к геометрии, механике и физике. 1963
    


    1. MainBelia
      12.06.2024 17:26
      +1

      векторная алгебра->аналитическая геометрия->дифференциальная геометрия->теория поля (очень желательна, чтобы закрепить предыдущие разделы)->исчисление в терминах тензоров

      Не посоветуете ли литературу для любознательного читателя, желающего пройти сей марафон самостоятельно?


      1. xaoc80
        12.06.2024 17:26
        +1

        Книги Рашевского будет почти достаточно для этого "марафона" (имхо)


        1. Arastas
          12.06.2024 17:26

          .


          1. xaoc80
            12.06.2024 17:26
            +1

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


            1. Arastas
              12.06.2024 17:26

              Раз вы все равно ответили, то удаленный вопрос был, а как Решетников покрывает дифференциальную геометрию.


      1. MasterMentor
        12.06.2024 17:26

        Не просто посоветую, а мало того, сейчас делаю это курс, и выложу его на Хабр вместе с архивом соответствующих книг.

        Как говорится: "подписывайтесь, читайте, плюсуйте" (или минусуйте - это уже по вкусу).

        Математика и физика для простой и результативной учёбы (Серия: Сельскому учителю в помощь)

        https://habr.com/ru/articles/781498/


    1. kbtsiberkin
      12.06.2024 17:26
      +1

      Пойду, займусь именно тем, что вы написали про 99.99%

      Полностью поддерживаю, ибо в них вхожу!


  1. dfreev Автор
    12.06.2024 17:26

    Все публикации автора: https://vk.com/id608846425


  1. fujinon
    12.06.2024 17:26
    +7

    Жесть что статья что комментарии. Над совершенно банальным понятием тензора умудрились все максимально усложнить и еще добавить завесу какой-то эзотерики. Тензор - чисто алгебраическое понятие и для его понимания совершенно не требуется дифференциальная геометрия. Достаточно минимальной линейной алгебры. Подумайте о том, что квадратичная форма в линейном векторном пространстве будет ковариантным тензором второго порядка. В частности это может быть метрический тензор, который в линейном пространстве будет постоянной величиной.
    Да, в дифференциальной геометрии, особенно в римановой геометрии, и в соответствующей мат.физике, тензорный аппарат появляется естественным образом. Но утверждать, что для понимания понятия тензора надо сначала освоить дифференциальную геометрию - это бред. Тензоры самодостаточны без дифф. геометрии, как дифф. геометрия может обойтись без тензоров. Они объединяются в тензорном анализе, но мало ли где что и с кем объединяется. Для понимания понятия тензора нет необходимости знать дифф. геометрию. К вопросу о том, что почитать, на удивление в википедии очень хорошо все это изложено. Для начала определитесь что именно вам интересно - тензоры? это один трек. Дифф. геометрия - это другой трек. Мат физика и приложения - это третий трек. Книга Рашевского хороша, но не для понимания того что такое тензор. Эта книга о дифференциальной геометрии и тензоры там используются просто как аппарат.


    1. flx0
      12.06.2024 17:26
      +6

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

      Вот именно поэтому, через нее реально проще понимать откуда это берется и для чего оно нужно. Потому что на "квадратичная форма в линейном векторном пространстве будет ковариантным тензором второго порядка" есть закономерный вопрос - "И что?", тензор второго порядка, сепулька первого, какая польза-то с этого? Этот факт тут же забывается, если его не применить.

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


      1. fujinon
        12.06.2024 17:26

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


        1. vanxant
          12.06.2024 17:26
          +2

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

          У кого-то - за геометрию, рисование и вот это всё.

          В Бауманке нам давали тензоры в курсе линейной алгебры. Ну да, мы доказали какие-то теоремы, зазубрили и сдали какие-то свойства, ну и в общем всё. Когда пришлось считать эти самые тензоры на других предметах, это всё пришлось даже не вспоминать, а фактически осваивать заново. Потому что доказательства теорем на практике никому не нужны, а вот правила суммирования или там поднятия индексов очень даже.

          И потом уже на дипломе я столкнулся с криволинейной геометрией и снова с тензорами, но теперь с точки зрения геометрии. Блин, насколько сразу стало всё понятно и естественно. Метрический тензор называется метрическим, потому что ... тадам! ... с его помощью измеряют длины кривых. У вас есть криволинейные координаты, а физические законы записаны для стандартных Евклидовых. Тадам! Вы подставляете в дифуры формулу сложной производной и бамц - вот у вас метрический тензор для первых производных и тензор кривизны для вторых. Атлас касательных расслоений, которого пугается автор в начале статьи, это вообще элементарщина...


          1. MasterMentor
            12.06.2024 17:26

            И потом уже на дипломе я столкнулся с криволинейной геометрией и снова с тензорами, но теперь с точки зрения геометрии. Блин, насколько сразу стало всё понятно и естественно. Метрический тензор называется метрическим, потому что ... тадам! ... с его помощью измеряют длины кривых. У вас есть криволинейные координаты, а физические законы записаны для стандартных Евклидовых. Тадам! Вы подставляете в дифуры формулу сложной производной и бамц - вот у вас метрический тензор для первых производных и тензор кривизны для вторых. Атлас касательных расслоений, которого пугается автор в начале статьи, это вообще элементарщина...

            Замечательный комментарий!

            ( @aldekotan , он заслуживает того, чтобы добавить его куском статьи, либо именно по изложенному @vanxant плану сделать вторую её часть: Тензоры в приложении к геометрии )


        1. dfreev Автор
          12.06.2024 17:26

          1. fujinon'у. Цель статьи сформулирована в названии. И это - не "попытка объяснить само понятие тензора с нуля". Наоборот, пару раз указано, что текст предполагает некоторое, хотя бы начальное, знакомство с тензорным исчислением.

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


    1. xaoc80
      12.06.2024 17:26
      +2

      Там в первых главах максимально понятно дается понятие тензора. Гораздо понятнее, чем в этой статье. Поэтому. считаю, что это лучшая книга по данной теме для введения в предметную область. Это вообще хороший и понятный учебник.


      1. fujinon
        12.06.2024 17:26
        +1

        Книга хорошая, не спорю. А я знакомился с тензорами по учебнику

        Методы математической физики. В 3-х томах

        Пер. с английского.

        Авторы: Джеффрис Г. (1) Свирлс Б. (1)


  1. Kergan88
    12.06.2024 17:26

    >А трансформация его компонент из ковариантных Аi в контравариантные Аi

    Ну вот это ключевой момент вашего непонимания, из которого следует все остальное. У вектора нет ковариантных или контравариантных координат, вектор и ковектор - это объекты из разныж линейных пространств, и ни какие внутренние преобразования не могут сделать из вектора A_i вектор A^i. А, ну и самое главное - векторы не являются тензорами.


    1. Melirius
      12.06.2024 17:26
      +1

      Согласен почти со всем, кроме "векторы не являются тензорами" - как раз являются, простейшими.


      1. Kergan88
        12.06.2024 17:26
        +1

        Согласен почти со всем, кроме "векторы не являются тензорами" - как раз являются, простейшими.

        Нет, не являются. Тензор над V над k - это, по определению, полилинейная форма на нескольких копиях V и V* в k. Вектор - это элемент V, тензор ранга (0, 1) - линейная форма на V, элемент V*, ковектор. А вот тензор (1, 0) - это линейная форма на V*, элемент V**, "коковектор". Штука в том, что в конечномерном случае V, V* и V** все изоморфны, при этом вдобавок в V** преобразование координат такое же как в V, поэтому мы их отождествляем. Но это разные объекты. И в бесконечномерном случае, например, в V** могут быть элементы, которым в соответствие ни каких V не сопоставится. Поэтому тензор (1, 0) ранга и вектор - вещи разные.

        @dfreev

        Одну и ту же физическую величину можно представлять разными математическими объектами - в данном случае вектором и ковектором (из-за того что, как указано выше, соответствующие пространства канонически изоморфны для случаев конечной размерности, а они нас и волнуют). А вот у самого вектора ни каких "разных координат" быть не может. Так что все в порядке у Ландау.

        @flx0

        Потому что на "квадратичная форма в линейном векторном пространстве будет ковариантным тензором второго порядка"

        тензор (0, 2) ранга - это _по определению_ билинейная форма. Оно не по какой-то причине, а потому что мы так объявили.


        1. Melirius
          12.06.2024 17:26

          А, если вы о векторе из V - то да, правда. Но, кстати, в пространствах с неметричностью векторы и ковекторы - это принципиально разные физическик величины. Потому неметричность и не популярна у физиков :)


        1. dfreev Автор
          12.06.2024 17:26

          По моему не слишком авторитетному мнению. Относительно Ландау и Лифшица: всё-таки они говорят об одной и той же(!) векторной(!) величине. Так что, прямой смысл их цитаты противоречит Вашей трактовке. Однако в тексте автор не ограничивается этой цитатой, а для большей убедительности подкрепляет утверждение Ландау и Лифшица ещё одной цитатой: «Всякий вектор А может быть разложен как по векторам основного базиса (тогда компоненты его разложения являются контравариантными), так и по векторам дуального базиса (с ковариантными компонентами)», и далее приводятся соответствующие формулы разложений [Победря, с. 15]. Но дело не в Победре, а в том, что последняя цитата почти дословно повторяется всеми авторами, которые пишут на обсуждаемую тему.  И ещё (без обид!). Было бы печально, если бы Вы оказались правы, и вектор в самом деле не является тензором: в этом случае придётся переписывать все до единой книги по тензорному исчислению, потому как в них утверждается обратное. Пожелание: похоже, никто не прочитал эту длинную и нудную статью до конца. Не хотите стать первым? С учетом Вашей квалификации Вы могли бы написать действительно содержательную рецензию.


    1. dfreev Автор
      12.06.2024 17:26
      +1

      Относительно "Вашего непонимания". Конечно, текст длинный, вероятно поэтому Вы не удосужились дочитать до того места, где приведена цитата из Ландау и Лифшица: «Одна и та же векторная физическая величина может быть представлена как в контра-, так и в ковариантных компонентах». Так что, Вы обнаружили непонимание не у меня, а у Ландау с Лифшицем.


  1. Asterris
    12.06.2024 17:26

    А объясните на пальцах для чайника - что такое тензор? Это типа многомерная матрица с какими-то доп.прикольчиками внутри?


    1. Yukr
      12.06.2024 17:26

      Это набор данных, которые удобно обрабатывать в матрице. Вот тут по-моему весьма неплохо обьяснено:

      Краткое введение в тензоры https://habr.com/p/261563/


  1. ksbes
    12.06.2024 17:26
    +4

    Техническое!
    Замечание по оформлению статей (не только к автору, но ко всем авторам и администрации Хабра):
    Мне тут Хабр включил тёмную тему. Я не против. НО! Рассматривать чёрные формулы на темно-сером фоне не очень комфортно, мягко говоря.
    Картинки с белым фоном - тоже не очень комфортно - выбиваются из оформления, но их хотя бы можно прочитать, не всматриваясь. Это много лучше, но всё равно плохо
    Надо что-то с этим делать!


    1. Arastas
      12.06.2024 17:26

      .


  1. Porohovnik
    12.06.2024 17:26
    +1

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

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


  1. y_mur
    12.06.2024 17:26
    +1

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


    1. Melirius
      12.06.2024 17:26
      +1

      Нет, не ошибаетесь. Физики тут были первыми.


      1. dfreev Автор
        12.06.2024 17:26
        +1

        Первыми были механики. Эйнштейн стал изучать тензорное исчисление и геометрию Римана только по "наводке" Гильберта - математика. В статье первенство механиков обосновывается, и достаточно убедительно - со ссылками на первоисточники.


        1. Melirius
          12.06.2024 17:26

          Если отделять физиков от механиков - то да, механики. Правда, я никогда особенно не понимал, почему механики так местами стремятся отделиться от физиков (и местами примкнуть к математикам). Возможно, это последствия именно физического базового образования :)


          1. y_mur
            12.06.2024 17:26

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


        1. fujinon
          12.06.2024 17:26
          +1

          По наводке своего друга М. Гроссмана


          1. dfreev Автор
            12.06.2024 17:26

            Согласен. Правильное уточнение, этот факт мне был неизвестен.


  1. y_mur
    12.06.2024 17:26

    Острая для меня тема: абстрактность математики - палка о двух концах. С одной стороны хорошо что математика развивается как универсальный самодостаточный инструмент, не ограниченный узкими прикладными задачами.

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

    Затем следуют абстрактные математические операции (интегрирование, дифференцирование, матричные операции и т.д.) в которых связь с физическим смыслом отсутствует полностью. Увидеть хоть какие-то проблески физического смысла в промежуточных вычислениях задача крайне нетривиальная и обычно никто этим заниматься даже не пытается. И это ещё одно место где математическая модель, сохраняя свою восхитительную математическую строгость, запросто может уплыть очень далеко от моделируемого реального объекта.

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

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

    Планирую к написанию серию статей с конкретными примерами по этой теме, возможно и здесь их тоже размещу.


  1. Tyusha
    12.06.2024 17:26

    Пошло, но точно: вектор — столбец, ковектор — строка. В пространстве Минковского пространственным компонентам ковектора выдать по бесплатному минусу! И всё. Заткнись и считай без вот этой "эстетики" с расслоениями.