Тензоры. Что может быть проще? - страница 39

Шрифт
Интервал



Дуальный базис сохраняет своё свойство в новых масштабах.


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


Векторы преобразуются как надо,

умножаясь на матрицы как столбцы справа.


Для ковекторов всё тоже отлично работает!


Преобразование смешанного тензора.


Допустим, нам нужно перейти к новому базису. Совокупность базисных векторов мы будем записывать в виде строки и умножать на матрицу как ковектор. Такую матрицу перехода к новому базису будем называть F в честь слова Forward (вперёд). Матрицу обратного перехода назовём B в честь Backward (обратно). Это правило возьмём за основу. Из него всё остальное будет следовать автоматически. Разложив вектор по базисным векторам и перейдя к новому базису, мы убедимся, что новые компоненты вектора получены через матрицу обратного преобразования B. В противоположность базисным векторам. Так и должно быть. Если же мы теперь вспомним, что базисным векторам дуальны базисные ковекторы, и найдём их коэффициенты преобразования, то увидим, что их преобразует к новому базису тоже обратное преобразование. А вот уже не базисные ковекторы преобразуются к новому базису по прямому преобразованию. В общем, всё идеально складывается. Красиво и непротиворечиво.


Закон преобразования тензоров.


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

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