+μjμtWkt+1/4μjλkμtWt-1/4μjλtμkWt+μjμktWt.
dgjk=(λkλt+μkμt)Wjt+(λjλt+μjμt)Wkt+gjktWt, (7.2)
где gjkt=1/2λjλkμt-1/2μjμkλt-1/4λkλtμj-1/4λjλtμk+1/4λjμkμt+1/4μjλkμt+λkλjt+λjλkt+
+μkμjt+μjμkt (7.3)
Таким образом, система величин {gjk}образует двухвалентный тензор. Он задает в А2инвариантную метрику g:
dS2=gjkWjWk (6’.4)
Из (7.1) и (2.5) вытекает, что метрика (6’.4) соответствует при отображении fметрике:
dS2=2(θ2+W2) (6’.5)
в R(p1,p2)
Из (6’.5)вытекает, что метрика g является римановой метрикой.
Единичная окружность, построенная для точки Р определяется уравнением:
GjkXjXk=1 (6’.6)
или (λjXj)2+(μjXj)2=1 (6’.7)
Из (6’.7) вытекает:
Предложение 7.1: Единичная окружность метрики gс центром в точке Р является эллипсом, касающимся в концах основных векторов прямых, параллельных этим векторам.
Заметим, что сформулированное здесь свойство единичной окружности полностью определяет эту окружность, а следовательно и метрику g.
V1
V2 рис.3.Пусть gjk=λjλk+μjμk (6.8)
В силу (2.7) имеем:
gjtgtk=(λjλt+μjμt)(λtλk+μtμk)=λjλk+μjμk=δkj (6’.9)
Таким образом, тензор gjkявляется тензором взаимных к gjk. Как известно, метрика ставит в соответствие каждому векторному полю поле ковектора и наоборот.
Предложение 7.2: Поле основного вектора {λj}(вектора {μj})соответствует в метрике g полю основного ковектора {λj} (ковектора {μj}).
Доказательство: Основные векторы ортогональны друг другу и имеют единичную длину в метрике g.
Доказательство:
λjλkgjk=λjλkλjλk+λjλkμjμk=1,
μjμkgjk=μjμkλjλk+μjμkμjμk=1,
λjμkgjk=λjμkλjλk+λjμkμjμk=0.
Таким образом, fзадает на А2 структуру риманова пространства (A2,gf).
В работе <2> был построен охват объекта
γjkl=1/2gtl(gtkj+gjtk-gjkt)
римановой связности γ фундаментальным объектом
Г2={λj,μj,Λjk,Μjk}
Он определяется формулой:
γjkl=λlΛjk+μlMjk+Gjk(λl-μl)+1/2(λl+μl)(μjμk-λjλk),
где Gjk=1/2(λjμk+λkμj).