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

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

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

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

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

§ 1. Основные определения

1.1.Понятие тензора

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

Особенно важную роль играет рассмотрение таких функций, которые обладают свойством линейности.

Будем говорить, что задана скалярная функция векторного аргумента x, если всякому значению x поставлено в соответствие число

ω=ω(x).

Эта функция называется линейной, если для всяких значений x_1 и x_2 ее аргумента выполняется условие

ω(x_1+x_2)=ω(x_1)+ω(x_2)

и для всякого значения аргумента x и числа λ – условие

ω(λ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 .

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