Кавагути пространство

- гладкое n-мерное многообразие Vn, в к-ром элемент дуги ds регулярной кривой x=x(t), [img: http://localhost:8080/file/021201-1.jpg] выражается формулой: [img: http://localhost:8080/file/021201-2.jpg] причем метрическая функция Fподчиняется условиям Цермело: [img: http://localhost:8080/file/021201-3.jpg] где [img: http://localhost:8080/file/021201-4.jpg] Условия (2) обеспечивают независимость элемента дуги ds от параметризации кривой x=x(t). Общая теория К. п. впервые изложена А. Кавагути (см. [1]). Основанием для рассмотрения К. п. послужило то, что элементы дуги вида (1) встречались в различных однородных пространствах (напр., афинная дуга, проективная дуга). Впоследствии было установлено (см. [2]), что в любом однородном пространстве существует инвариантная метрика Кавагути (1), группа автоморфизмов к-рой совпадает с группой преобразований однородного пространства. Основы общей теории К. п. развивались на формальном пути обобщения тензорного аппарата и параллельного перенесения. А. Кавагути в качестве основного пространства рассматривал расслоенное пространство, базой к-рого является пространство линейных элементов (х i, x(s)i), s=l,2,..., q, порядка q=2p- 1, а слоями - n-мерные векторные пространства Т n, касательные к Vn. Ковариантное дифференцирование контравариантных векторов Vi(xk, x(s)k) определяется с помощью операторов ковариантного дифференцирования [img: http://localhost:8080/file/021201-5.jpg] где [img: http://localhost:8080/file/021201-6.jpg] [img: http://localhost:8080/file/021201-7.jpg] [img: http://localhost:8080/file/021201-8.jpg] зависят от линейного элемента порядка q=2р-1. Эти операторы могут быть построены с помощью трехкратного продолжения метрич. функции и определяемого ею метрич. тензора qij, зависящего также от линейного элемента порядка 2р-1. Так, построенная общая теория К. п. не получила глубокого развития отчасти ввиду того, что порядок qбазисного пространства линейных элементов оказался выше, чем порядок рпространства, на к-ром задана метрич. функция Fи на к-ром должны определяться все дифференциальные инварианты К. п. Другие возможности исследования К. п. основаны на современной теории расслоенных пространств, теории струй и теории нелинейных связностей. На этом пути с применением дифференциально-алгебраич. метода продолжений и охватов для широкого класса К. п. найдена нек-рая редуктивная линейная связность в подходящим образом подобранном расслоенном пространстве, базой к-рого служит пространство линейных элементов порядка р. Структурные уравнения форм этой связности дают полную систему тензорных инвариантов К. п., на основе к-рой формулируются инвариантные признаки нек-рых важных классов К. п. В дифференциальной геометрии обобщенных пространств большое место занимает исследование специальных К. п. с [img: http://localhost:8080/file/021201-9.jpg] метрикой вида где А i и В- функции х i и х'i, что сближает такие пространства с финслеровыми пространствами. В этом случае общая теория А. Кавагути оказывается неприменимой, так как метрич. тензор gij становится вырожденным. Поэтому вводится несимметрич. тензор [img: http://localhost:8080/file/021201-10.jpg] к-рый в общем случае не вырожден. В отличие от таких пространств, К. п. общего типа представляют собой дифференциально-геометрич. структуру высшего порядка. Изучение К. п. служит также для поиска геометрич. подходов к исследованию вариационной задачи для интегралов вида [img: http://localhost:8080/file/021201-11.jpg]