Об исследованиях на пустом множестве в дифференциальной геометрии

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

1. Малаховский В. С. Теория конгруэнций кривых и поверхностей второго порядка в трехмерном проективном пространстве. Калининград, 1986.

2. Фиников С. П. Теория конгруэнций. М.; Л., 1950.

V. S. Malakhovsky

Holonomic surfaces and line-congruences in three-dimensional projective space

In three-dimensional projective space P3 surfaces and line-congruen-cies with zero values of diagonal components of derivation formulas of their canonical frames are investigated. Such manifolds are defined by completely entegrable Pfaffian systems of equations. Different geometrical characteristics of associated with these manifolds surfaces and line-congruencies are investigated.

УДК 514.75

В. С. Малаховский, Е. А. Щербак

Об исследованиях на пустом множестве в дифференциальной геометрии

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

Ключевые слова: тензор, квазитензор, многообразие, относительная инвариантность, геометрический объект, тождество, неголо-номный, символ Кронекера, обобщенный символ Кронекера.

Введение

Интенсивное развитие дифференциальной геометрии во второй половине ХХ в. на базе тензорного исчисления, методы внешних дифференциальных форм Картана, подвижного репера Г. Дарбу, продолжений и охватов Г. Ф. Лаптева способствовало тому, что геометрический аспект проблемы отступал на второй план, а на первый план выдвинулись аналитические построения, позволяющие осуществлять все более абстрактные обобщения известных геометрических теорий и превращающие дифференциальную геометрию в своеобразную игру символов и индексов.

Не только математики смежных областей, но и сами дифференциальные геометры стали с трудом понимать творения своих коллег. Это привело к потере интереса к геометрии как к науке. Аппарат исследования стал заслонять предмет исследования [12, с. 7].

К сожалению, в конце ХХ и начале ХХ1 в. некоторые геометры стали использовать современный аналитический аппарат без анализа инвариантности рассматриваемых систем дифференциальных уравнений и неравенств относительно изменения свободных (вторичных) групповых параметров, т. е. параметров, оставляющих неизменным образующий элемент исследуемого многообразия. Более того, вспомогательные символы Кронекера 8] и его обобщения 8) , 8", дд, 81а

(т, у,к = 1, т; а,/, у = т +1, п; 1,3, К = 1,п ), не зависящие от фундаментальной группы, стали называть тензорами, квазитензорами и оперировать с ними по правилам тензорного исчисления.

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

1. Исследование многообразий, задаваемых относительно неинвариантными системами уравнений Пфаффа

Определение 1.1. Пусть {ва | (а,Ь, с = 1, — система форм Пфаффа, зависящих от главных и вторичных параметров фундаментальной группы О. Система \ва | называется относительно инвариантной, если

8ва =%авЬ,

где 5 — символ дифференцирования по вторичным параметрам.

Из (1.1) следует, что при произвольном изменении вторичных параметров относительно инвариантная система уравнений Пфаффа

ва = 0 (1.2) преобразуется в эквивалентную ей систему

ва =ва +5ва =5 )вЬ = 0.

Если же система форм { ва | относительно неинвариантна,

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

Рассмотрим несколько конкретных примеров.

1. Пусть Б2 — гладкая поверхность (А) в трехмерном евклидовом пространстве, отнесенная к реперу {А;е1,е2,е3} первого порядка (е3 — орт нормали к поверхности). Уравнение поверхности —

а3 = 0

Дифференциальное уравнение

о2 = 0

не определяет линии на поверхности S2, так как оно относительно неинвариантно:

So2 = со1 Ф 0,

где rf = о12 1 2 .

1 1 с =0, о2 =0

Изменением только вторичного параметра (поворотом репера вокруг нормали е3) уравнение (1.5) превращается в неравенство

«2 =о2 +So2 =о2 -п1сох ^ СО2| 2 =-rf12o1 Ф 0.

I о =0

2. Рассмотрим в трехмерном проективном пространстве Р3 линейчатый комплекс К — трехмерное многообразие прямых.

Располагая вершины А1 и А2 репера {А,,А1,А2,А3} на луче комплекса, запишем его уравнение в виде

о20 = 0 « л«3 ло23 Ф 0) .

Уравнение

о23 = 0

не выделяет в комплексе К двумерного подмногообразия прямых — «неголономную конгруэнцию», так как оно относительно неинвариантно:

So3 =

3. Пусть Sm — m-мерная гладкая поверхность в «-мерном аффинном пространстве Л„. В репере нулевого порядка {Л;e1,...,en} (А — текущая точка поверхности Sm) система пфаффовых уравнений поверхности Sm имеет вид

oa =Л«'

Система m - r пфаффовых уравнений

О = a¡О

не задает на поверхности Бт г-мерного подмногообразия, так как эта система относительно неинвариантна.

Действительно, записывая систему (1.11) в виде

в1 = а-а' = 0,

находим

5в' = -Ц

где & = аЛ1 + а? ЛЛ + ЛЛ;

] . ] . ] а ] а'

О? (5) = 5а1 -а";^?1 + а?л- -а'аЛ -ЛаЛ. +

IV/ ; ? 1 1 ? ; 1 ] 1 ; а

. _ 1 / п а . _1 . па_1 . п а _ ?_1

+а а1 л? + л. + Л л„ + Л? а1 л„

? ; ? ; ; а ? ; а •

Примечание. Во второй половине прошлого века с использованием относительно неинвариантных систем уравнений Пфаффа было опубликовано в различных изданиях (включая труды Парижской АН) свыше двухсот научных работ. В 1968—1973 гг. возникли дискуссии по этому вопросу (Паланга, май 1968; Тбилиси, октябрь 1969; Томск, декабрь 1970; Москва, МГУ, апрель 1971) и появились научные публикации, отражающие противоположные точки зрения (например, [3; 17]). Итоги этих споров были подведены в мае 1973 г. в РЖМат ВИНИТИ АН СССР [18]. Было доказано, что эти исследования — теории на пустом множестве.

2. Исследования с использованием неголономных линейных дифференциальных групп )

При исследовании расслоений Нр (Мп) реперов г/ порядка (р < п) на п-мерном дифференцируемом многообразии Мп (х е Мп) возникает последовательность линейных дифференциальных групп Dln,Dn2,...,Dp порядков 1, 2,...,p, определяемых структурными формами

С,{ С,Ск},...,{ сокС,...} ,

где формы Пфаффа С . (2 < к < р) симметричны по любой паре нижних индексов (ц,/2,...¡р = 1,п) .

Во второй половине ХХ и в начале ХХ1 в. некоторые геометры стали исследовать многообразия с дифференциальными линейными группами Ькп (к = 2, р) с несимметричными по нижним индексам структурными формами с . (2 < к < р) [2].

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

Однако именно вторичные параметры позволяют [4; 5] свести дифференциальные неравенства

с-с. Ф 0, . . .,С. -с . Ф 0, . . .

3 3' ' ' КЧ-- .к VI- - .к ' у '

к дифференциальным тождествам

с -С, - • с. , с -. ., - • •

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

не существует, а построенные на их базе исследования являются теориями на пустом множестве [4; 5].

3. О полях геометрических объектов на дифференцируемом многообразии

При исследовании дифференцируемых многообразий М п с различными фундаментальными группами важную роль играют поля геометрических объектов — совокупностей функций от локальных координат точки х = (х1, х2, .. ., хп )е Мп,

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

по определенным правилам, удовлетворяющим законам взаимности и транзитивности.

В качестве примера рассмотрим объект Г =Г?

аффинной связности, закон преобразования компонент которого имеет вид

Гк, = дх^ д? Г + аУ дх^

1 дх1 дх?" дхк 1 дх1 дх?' дхк .

Здесь мы воспользовались очень удобным способом, предложенным П. К. Рашевским [10]: обозначать новые координаты и новые компоненты геометрических объектов штрихованными индексами (1, ?, к = 1, п; 1', ?', к' = 1, п).

Закон преобразования компонент Гк удовлетворяет зако-

нам взаимности и транзитивности:

Г = дх_ ддх^ + д2хк' дх^ " дх1 дх? дхк' дх1 дх? дхк' ,

дх1 дхдхк" ~ д2хк' дхк"

Г^" __Гк'

1Г дх1' дхг дхк 17 дх!'дх]" дхк' дх1 дх? дхк" „к д2хк дхк"

-П

дх1 дх]" дхк " дх1 дх]" дхк ' Определение 3.1. Дифференцируемое многообразие Мп, снабженное полем объекта аффинной связности | Гк |, называется пространством аффинной связности и обозначается символом Ьп.

Мы ограничимся рассмотрением полей геометрических объектов на пространстве Ьп.

Определение 3.2. Тензором типа (р, д), или р раз ковари-антным и д раз контравариантным, называется упорядоченная совокупность п"+" функций "р" (х1,х2,...,хп), занумерованных р нижними и " верхними индексами и преобразующихся по законам

Т&= ¿ЛдП дх".д? г"

11 "1 дх1 дх12 "' дх1" схА схя "' дх,3" 412'' ,    дх1 дх12 дх1" дг?1 дхя дх]" ' ' '

^кн.--и =их г?!?2"1"

11"" ~ дх1 дх12 "' дх" дхА дхА "' дх11 "1р ' ' '

Тензор типа (1,0) называется ковариантным вектором, тензор типа (0,1) — контравариантным вектором, тензор типа (1,1) — аффинором.

Из формулы (3.1) следует, что система функций

^ ^ -Г%

является на Ьп тензором типа (2,1), т. е. тензором кручения пространства Ьп.

Если з; = 0 , то пространство аффинной связности Ьп —

пространство аффинной связности без кручения, обозначающееся символом 1?п. Система функций

дЛ-дГ

дх3 дх1

образует на Ьп тензор типа (3,1), называемый тензором кривизны пространства аффинной связности.

Определение 3.3. п-мерным римановым пространством называется дифференцируемое многообразие Мп, оснащенное полем дважды ковариантного, невырожденного, симметричного и положительно определенного тензора | gij | — метрического тензора.

->е

пе = — к__Д +ге г" -Ге Г"

^ = ^ я„1 +г 3PГк грг Зk

Риманово пространство обозначается символом Яп. Оно является пространством аффинной связности без кручения,

т. е. Д с Ь".

Объект аффинной связности на Яп задается формулой

1„ ке , ^ Л

Гк =

у 2

дх3 дх' дхе

где — тензор, взаимный метрическому: gJkgk¡ = 3/ .

На римановом пространстве Яп определены поля тензора кривизны

Дуле = Щ^е

и тензора Риччи

Дз = ,

причем

ке = Дке,у ; ,ке = ~ке ; = .

Важно подчеркнуть, что тензор (как и любой геометрический объект) — это упорядоченная совокупность функций от координат х1, х2, .. . , хп точки х е Мп.

При исследовании дифференцируемых многообразий методом Г. Ф. Лаптева [1] продолжений и охватов пользуются обычно не конечными формулами преобразований компонент геометрического объекта, а вполне интегрируемыми системами дифференциальных уравнений, выражающих дифференциалы компонент объекта линейными комбинациями структурных форм фундаментальной группы с коэффициентами — функциями координат данного объекта (при фиксации точки х еМп, т.е. при со1 = 0,С = 0, . . . ,С = 0).

Например, тензор типа (р,q) задается при С = 0, . . ., со" = 0 уравнениями

^       к  М3.  = Л'1. '.Jq + Г2С +...+ .С _

1 - лр ч. - - гр 1 . - - гр к ч . - - гр к

_tJl . '' Jq сук _ _^.  0)к _0

кг2 .. . гр ( ¡1... гр_1к гр

— линейными и однородными относительно своих компонент.

4. Символ Кронекера и его обобщения — идеальные инструменты для построения теорий на пустом множестве

Символ Кронекера

, Г0, если I Ф 3

3 Ч/ 1 3

[1, если I = 3

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

Несмотря на то что символ Кронекера снабжен двумя индексами — нижним и верхним, его нельзя назвать ни тензором типа (1,1), ни геометрическим объектом.

Действительно, символ Кронекера невозможно представить в виде 3/ = 3/ (х1, . . . ,х") (см. определение 3.2), а значит,

он не зависит от группы преобразований рассматриваемого пространства, следовательно, не удовлетворяет основной теореме теории геометрических объектов [1, с. 296].

Даже без учета ошибок, сделанных в работах [8; 9; 13—16] (эти ошибки изложены выше), формальное применение тензорных законов (3.4) и (3.11) к символу Кронекера дает соответственно

= дх_дх_зг=дс_ ,

3 дх3 дх1 3 дх3 3

* / -\

Ад'1 = аз] + 8Кю1к - 5'Ке>К = 0 + &$ = 0 (I,1,К = 1,п) ,

т. е.

Ад1 = 0.

Из выражений (4.2), (4.3) следует, что каждое из чисел, составляющих символ , не изменяется.

Данный факт не учтен в работах [8; 9; 13—16].

В конце прошлого и начале нынешнего века появился цикл научных публикаций [8; 9; 13—16], в которых использовались так называемые обобщенные символы Кронекера

31,5^,51 X (',у,* = 1т; а,р,у = т +1,п;1,1,К = \п ) ,(4.4) где 1 < т < п .

Очевидно, что 5" = 0,5'а = 0, так как множества, пробегаемые индексами ' и а , не пересекаются.

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

Попытки коллег-геометров остановить процесс построения «новых» теорий на пустом множестве [6; 7; 11] полностью бездоказательно отвергались авторами этих публикаций. Опубликованные ими в 2011 г. работы [8; 9; 16] стали наглядной демонстрацией того, как обобщенные символы Кронекера (4.4) искусно используются авторами для создания из тождеств вида 0 = 0 новых теорий на пустом множестве.

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

Основное внимание в работах [8; 9; 16] уделяется формулам

аЗ; +з«са = 0, аЗ; + З;< = 0, аз;_ЗЮ = 0, аз*_З;С = 0, .

где

йе/ йе/

аз; = + зсс _ з'с ; аза = йза + зцаа _ 3сК;

; А3а = + 3а СК °рса •

йе/ йе/

аз;=йз;+зкск _ /с; аза = йза+заас _

Авторы называют формулы (4.5) «дифференциальными уравнениями» или «уравнениями» [15, с. 155; 8, с. 114; 14, с. 157].

Докажем, что формулы (4.5) являются тождествами вида 0 - 0 . Ограничимся доказательством первых двух формул (для двух других доказательство аналогично).

Теорема 4.1. Формулы (4.5) являются тождествами вида 0 - 0.

Доказательство:

1. аЗ; = йз; + зсс _3'КС -

-0+(зс+заа _з>а )_+за <) -

<?к „г яа „г <?г ^  „г „г яа „г

-оТ Ск _от с _осТ -Ст _ст _от с ,

Т К Т а  Т Т Т Т а'

т. е.

аЗ; -_заса

Подставляя (4.7) в левую часть первой формулы (4.5), получим: А3'т +3Ю —3С +3С - 0, т. е. первая формула (4.5) есть тождество вида 0 - 0.

йе/

2. Аза= йзаа+зса _зюк -

- 0+(+зс а _ зс а) _ /с;+ЗЮ ) -

- зКсК _ ЗС _ ЗС - с _ с _ ЗС ,

т. е.

Подставляя (4.8) в левую часть второй формулы (4.5), получим

+5Х = О,

т. е. вторая формула (4.5) также является тождеством вида О = О.

В работе [8, с. 114] сформулировано «Утверждение 1. В проективном пространстве Рп подсистемы Кронекера 8', 8" удовлетворяют дифференциальным уравнениям (1.2), (1.3) (в нашей работе — это первые два тождества (4.5) вида О = О. — В. М., Е. Щ.), т. е. являются квазитензорами, составляющими в совокупности тензор Кронекера 8' ».

Так тождество вида О = О стало дифференциальным уравнением, а обобщенные символы Кронекера стали квазитензорами.

Обобщенные символы Кронекера (4.4) играют существенную роль в построении теорий на пустом множестве при формальной замене форм Пфаффа со' и соа на линейные комбинации форм С . Делается это следующим образом: тождества

С = с, соа=С

записываются в виде

со' =8'кС; соа=8акюк .

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

С"с л с и Сару л с

(в которых множества, пробегаемые индексами ', ] и а,р,у, не пересекаются) к тождественно равным им суммам произведений

С"818с л с1 ; Са88с л с1

[16, с. 163, 169], что позволяет им в дальнейшем выносить формулы с за знак внешнего умножения.

С формальной точки зрения кажется, что все гладко, а фактически при такой замене в первой сумме в принципе не могут появиться формы соа, а во второй — формы со'.

Действительно, авторы таких работ забыли, что

0 -с = 0,0 -ю' = 0.

Имеем

8'кюк =8\С +8'ааа =с' + 0 ст+1 +... + 0-С = с' + 0 + ... + 0;

^ 4-v-'

п—т раз

8акак = 88 С +8арар =С + 0V +... + 0-ат =

= с + 0 + ... + 0.

т раз

Так что переход

Ср со' л С = Ср 8&С л а'; Саргюр л с = Сар$8]С л со'

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

Однако в работе [16, с. 163, 169] осуществлен такой переход и с его помощью доказан ряд лемм и теорем. В заключение проиллюстрируем доказательство леммы 4, приведенное в статье [16, с. 168—169].

В тождестве Л8рр + 8'1юр = 0 , т. е. в тождестве вида 0 = 0, преобразуется его левая часть:

0 = 0 о с!8"— 8рюК + + 8\с = 0 о о й8р — 8ск + 81

о Л8р + 88 вР + 8Рр СРв + 8'ср =0 о

1 1 р рг

о Л8р + 8'вр = —Сар 8рвг о Л8р + вр = 8рХ,

где

¿¿j ,

т. е. выполнена замена

в7 = ¿в = ¿О = ¿¿са + 8Г с' =

J J а г

= а r + 0 -С +... + 0 -ст = с r + 0 +.. . + 0.

m раз

А где же С ? Получив из тождества вида 0 = 0 формулу (4.13), которая, как следует из приведенного доказательства, является таким же тождеством вида 0 = 0, сформулирована лемма 4 [16, с. 169]: «Компоненты обобщенного символа Кро-некера ¿а удовлетворяют дифференциальным уравнениям (40.1) (в нашей работе — тождествам (4.13). — В. М., Е.Щ.), т. е. ¿а является квазитензором, присоединенным к главному полуприклеенному расслоению Gr+|ц (Bm+п ), причем его поле по базе Вт+п характеризуется постоянными пфаффовыми производными ¿¿J (40.2) (у нас (4.14). — В.М., Е. Щ.), которые

антисимметричны по нижним индексам».

Таким образом, мы показали, как манипулирование с обобщенными символами Кронекера позволяет, исходя из тождеств вида 0 = 0, получать формально правильными вычислениями тождества и формулы, использование которых порождают теории, построенные на пустом множестве. Обобщенные символы Кронекера ¿J ,¿¿,¿1 ¿га действительно выступают идеальным инструментом для создания таких теорий.

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

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

Символы Кронекера можно использовать только как вспомогательные символы, позволяющие упрощать запись формул и дифференциальных уравнений, но ни в коем случае ни как тензоры или квазитензоры, так как таковыми они не являются, даже если их обобщать. Они не зависят от фундаментальной группы исследуемого многообразия и, следовательно, не могут быть геометрическими объектами (см. [1, с. 296]).

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

1. Лаптев Г. Ф. Дифференциальная геометрия погруженных многообразий // Тр. Моск. матем. о-ва. М., 1953. Т. 2. С. 275—382.

2. Лумисте Ю. Г. Связности в однородных расслоениях // Матем. сб. 1966. Т. 69. С. 434—469.

3. Малаховский В. С. К геометрии касательно оснащенных подмногообразий // Известия высш. учеб. заведений. Математика. 1972. № 9 (124). С. 54—65.

4. Малаховский В. С. О голономности расслоения реперов на дифференцируемом многообразии // Диф. геом. многообр. фигур. Калининград, 2004. Вып. 35. С. 69—78.

5. Malakhovsky V.S. About some restrictions of application of Car-tan's method of exterior forms and the method of the moving frame in differential geometry // Избранные вопросы современной математики. Калининград, 2005. С. 31—33.

6. Малаховский В. С. Об особенностях применения ковари-антного дифференцирования к обобщенным символам Кронеке-ра // Диф. геом. многообр. фигур. Калининград, 2010. Вып. 41. С. 85—87.

7. Малаховский В. С. О принципиальных ошибках использования обобщенных символов Кронекера в дифференциальной геометрии // Там же. Вып. 42. С. 106—111.

8. Петешов К. В. Действие тензорного дифференциального оператора на подобъектах // Там же. Вып. 42. С. 111—116.

9. Полякова К. В. Применение обобщенных символов Кронекера к теории поверхностей // Там же. Вып. 42. С. 117—121.

10. Рашевский П. К. Риманова геометрия и тензорный анализ. М., 1953. С. 636.

11. Столяров А. В. Замечания к применению в научных исследованиях обобщенных символов Кронекера // Диф. геом. многообр. фигур. Калининград, 2010. Вып. 41. С. 144—145.

12. Фиников С. П. Теория поверхностей. М.; Л., 1934. С. 205.

13. Шевченко Ю. И. Нормальная связность Столярова, ассоциированная с распределением поверхностей // Диф. геом. многообр. фигур. Калининград, 2008. Вып. 39. С. 157—166.

14. Шевченко Ю. И. Плоскостная аффинная связность Столярова, ассоциированная с распределением // Там же. Вып. 40. С. 152—160.

15. Шевченко Ю. И. Проективная связность Лаптева — Остеану, ассоциированная с распределением плоскостей // Там же. Вып. 41. С. 159—165.

16. Шевченко Ю. И. Обобщенная связность Картана // Там же. Вып. 42. С. 159—172.

17. Щербаков Р. Н., Слухаев В. В. Репераж и расслоения // Тр. Томск. ун-та. 1972. № 212. С. 5—9.

18. Щербаков Р. Н., Слухаев В.В. Репераж и расслоения // РЖМат ВИНИТИ АН СССР. № 5, 13А, 5А 654. С. 88.

V. Malakhovsky, E. Shcherbak About reseaches on empty set in differential geometry

It is shown that theories on empty set may appear if during re-seach relativaly noninvariant systems of Pfaffian equations or uniqualities were used and Kronecker symbols (ordinary Sf or generalized SJSjX,Sj, i,j,k = 1,m; a,p,y = m +1,n; I,J, K = 1,n) not as system of scalars, but as geometrical objects are considered.