«Методика изучения синектической метрики в T(E_2)»

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

ω(λx)=λω(x).

Выражая вектор x через его координаты и пользуясь свойствами линейности, мы получим

ω(x)=ω(x^1 m_1+x^2 m_2)=ω(x^1 m_1)+ω(x^2 m_2 )=

= x^1 ω(m_1 )+x^2 ω(m_2 )=x^i ω(m_i )

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

a_i=ω(m_i ).

В таком случае мы будем иметь

ω=ω(x)=a^i x_i .

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

2. Скалярная функция многих векторных аргументов

ω=ω(x,y,…)

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

{█(ω(x_1+x_2,y,…)=ω(x_1,y,…)+ω(x_2,y,…),@ω(x_1+x_2,y,…)=ω(x_1,y,…)+ ω(x_2,y,…))┤

и т. д.

{█(ω(λx,y,…)=λω(x,y,…),@ω(x,λy,…)=λω(x,y,…))┤

и т. д.

По аналогии с тем, как функции одного аргумента соответствует некоторый вектор, считается, что всякой линейной функции многих векторных аргументов соответствует величина особого рода, которая называется тензором.

Число независимых аргументов, входящих под знак линейной функции, называется валентностью тензора; с точки зрения этого определения вектор есть одновалентный тензор.

Подставляя в выражение линейной функции координатные векторы во всевозможных комбинациях, мы получим систему величин, которые будем обозначать одной буквой с индексами внизу так, чтобы эти индексы соответствовали индексам подставленных координатных векторов:

a_11…=ω(m_1, m_1,…),a_12…=ω(m_1, m_2,…),

a_21…=ω(m_2, m_1,…),a_22…=ω(m_2, m_2,…),

вообще

a_ij…=ω(m_i, m_j,…).

Величины a_ij… , получающиеся в результате подстановки координатных векторов в выражение линейной векторной функции, называются ковариантными координатами тензора, соответствующего этой функции. Одновалентный тензор, как нам уже известно, имеет две ковариантные координаты:

a_1=am_1 и a_2=am_2,

двухвалентный тензор имеет четыре координаты:

a_11,a_12,a_21,a_22,

трехвалентный тензор имеет восемь координат:

a_111,a_122,a_112,a_121,

a_211,a_222,a_221,a_212.

Вообще n-валентный тензор имеет 2^n координат.

Значение всякой линейной функции можно выразить через ковариантные координаты соответствующего тензора и контравариантные координаты векторных аргументов. Для этого выразим каждый аргумент через его координаты и подставим его значение в выражение функции.

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

ω=ω(x^i m_i,y^j m_j,z^k m_k)

в виде многократной (в данном случае трехкратной) суммы

ω=x^i y^j z^k ω(m_i,m_j,m_k).

Но величины

a_ijk= ω(m_i,m_j,m_k)

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

ω=ω(x, y, z)=a_ijk x^i y^j z^k

или в развернутом виде

ω=a_111 x^1 y^1 z^1+a_122 x^1 y^2 z^2+a_112 x^1 y^1 z^2+a_121 x^1 y^2 z^1+

+a_211 x^2 y^1 z^1+a_222 x^2 y^2 z^2+a_212 x^2 y^1 z^2+a_221 x^2 y^2 z^1.

Пользуясь терминологией, принятой в алгебре, мы можем сказать, что значение линейной функции n векторных аргументов выражается

n-линейной формой, содержащей n рядом переменных, значения которых равны контравариантным координатам векторных аргументов

x^1 x^2, y^1 y^2, z^1 z^2,

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

3. Перейдем к рассмотрению примеров.

Скалярное произведение двух векторов

ω=xy

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

g_ij=m_i m_j;

они удовлетворяют условиям

g_ij=g_ji,

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

Косое произведение двух векторов

ω=〈xy〉

тоже является линейной функцией этих векторов, и следовательно, ему также соответствует некоторый тензор второй валентности. Этот тензор называется дискриминантным. Ковариантные координаты этого тензора равны косым произведениям координатных векторов, т. е. элементам дискриминантной матрицы

e_ij=〈m_i m_j 〉;

они удовлетворяют условиям

e_ij=〖-e〗_ji

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

1.2. Аффинор

Аффинор – тензор типа (1¦1).

Аффинор - оператор, посредством которого выражается линейное (аффинное) преобразование(линейная однородная вектор-функция). Вектору a(a^1, a^2, . . ., a^n) аффинор ставит в соответствие вектор b(b^1,b^2, . . ., b^n), определяемый формулой:

b^i= ∑_(j=1)^n▒A_j^i a^j(i = 1, 2, …, n)

где координаты векторов а и b взяты относительно некоторого базиса линейного пространства. Аффинор является тензором второй валентности, один раз ковариантным и один раз контравариантным. При преобразовании координат линейного пространства числа A_j^i изменяются по закону, характерному именно для таких тензоров.

1.3.Производная Ли

Производная Ли тензорного поля Q по направлению векторного поля X — главная линейная часть приращения тензорного поля Q при его преобразовании, которое индуцировано локальной однопараметрической группой диффеоморфизмов многообразия, порождённой полем X .

Обычно обозначается .