Геометрия касательного конуса к G-пространству неположительной кривизны по Буземану Текст научной статьи по специальности «Математика»

Андреев П.Д., Старостина В.В. Геометрия касательного конуса к G-пространству.

УДК 515.16

АНДРЕЕВ Павел Дмитриевич, кандидат физико-математических наук, доцент кафедры информационной безопасности института математики, информационных и космических технологий Северного (Арктического) федерального университета имени М.В. Ломоносова. Автор 44 научных публикаций

СТАРОСТИНА Вера Валерьевна, аспирант кафедры алгебры и геометрии института математики, информационных и космических технологий Северного (Арктического) федерального университета имени М.В. Ломоносова

ГЕОМЕТРИЯ КАСАТЕЛЬНОГО КОНУСА К G-ПРОСТРАНСТВУ НЕПОЛОЖИТЕЛЬНОЙ КРИВИЗНЫ ПО БУЗЕМАНУ

В статье изучаются геометрические свойства касательного конуса к G-пространству неположительной кривизны в смысле Буземана. Авторы рассматривают конструкцию касательного конуса как основной инструмент для доказательства гипотезы Буземана о топологическом строении G-пространств в классе пространств неположительной кривизны.

Ключевые слова: G-nросmрансmво, неположительная кривизна, касательный конус, гипотеза Буземана.

Введение. В цикле работ Герберта Буземана середины XX века [6, 7] разрабатывается геометрический подход к качественным проблемам дифференциальной геометрии, отличный от подхода, основанного на дифференциальном исчислении и тензорном анализе на гладких многообразиях. Работы Буземана во многом перекликаются с фундаментальными исследованиями А.Д. Александрова, начало которых положено в статье [1], и значительно дополняют их. В основе геометрического подхода Александрова-Буземана лежит понятие геодезической, обобщающее соответствующее понятие дифференциальной геометрии.

© Андреев П.Д., Старостина В.В., 2013

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

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

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

В нашей статье мы определяем касательный конус КХ к О-пространству неположительной кривизны в смысле Буземана X в заданной точке р как предел семейства метрических пространств, гомотетичных данному с центром р и изучаем его геометрические свойства. Заметим, что все условия на геометрию пространства X при определении конуса КХ являются существенными: отсутствие какого-либо из условий влечет некорректность определения.

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

о топологическом строении О-пространств в случае пространств неположительной кривизны в смысле Буземана.

Предварительные сведения и постановка задачи. Метрическое пространство (X, d) называется О-пространством Буземана, если выполняются следующие аксиомы (см. [3, с. 54]):

G1. X конечно компактно, то есть всякое ограниченное бесконечное подмножество в X имеет предельную точку;

G2. X выпукло по Менгеру, то есть для любых различных точек р, q е X существует точка г, лежащая строго между ними:

^ q) = ^ г) + ^ q);

G3. X обладает свойством локальной продолжаемости отрезков: для любой точки х е X существует такое число гх > 0, что в открытом шаре и=и(х, гх) для любых р, q е и существует точка у е и такая, что q лежит между

р и у;

G4. X обладает свойством единственности продолжения отрезков: если для точек р, q, у1, у2 е и выполнены условия

^ у1) = ^ q) + У,Х 1=1,2;

У1) = У 2) ,

то УГУ2.

Свойство О1 эквивалентно тому условию, что в X всякое ограниченное замкнутое под-

множество компактно. Из свойств О1-О2 легко следует, что всякое О-пространство является геодезическим пространством, то есть любые две точки в X можно соединить отрезком.

Мы будем рассматривать О-пространства, удовлетворяющие дополнительно условию неположительности кривизны по Буземану. Геодезическое пространство X называется пространством неположительной кривизны в смысле Буземана, если в X средняя линия любого треугольника не больше половины основания.

В книге [3, с. 69] приводится гипотеза о топологическом строении О-пространств: всякое О-пространство является топологическим многообразием. В настоящее время гипотеза Буземана доказана в некоторых частных случаях. В частности, она справедлива для пространств малой топологической размерности. В источнике [3, с. 72] эта гипотеза доказывается для топологически двумерных О-пространств. Также гипотеза доказана в случае трехмерных (см. [8]) и четырехмерных (см. [9]) О-пространств. В статье [2] она доказана для О-пространств ограниченной сверху кривизны в смысле А.Д. Александрова. Довольно полный обзор исследований по геометрии О-пространств приведен в работе Берестовского и соавторов [5].

В настоящей статье определяется понятие касательного конуса к О-пространству неположительной кривизны в смысле Буземана и изучаются его геометрические свойства. Авторы рассматривают касательный конус как важный инструмент, позволяющий доказать гипотезу Буземана для указанного класса О-пространств.

Определение касательного конуса.

Пусть (X, d) - О-пространство неположительной кривизны в смысле Буземана. Выберем в X отмеченную точку р. Для положительного числа 1<1 и точек у, z е X обозначим ух, z1 точки, соответственно, на отрезках [ру] и [рг], удаленные от начала р на расстояния, соответственно, АЛ(р, у) и АЛ(р, z). Положим d1(y,z) = =1/1^^, г^). Тем самым на множестве X опре-

делена метрика ^, подобная исходной метрике d с коэффициентом 1/1.

Лемма 1. Если 11<12, то для любых у,г е X верно неравенство

^ (У, 2) ^ d12 (У, 2). (1)

Доказательство. Пусть 11=112. При таком обозначении мы имеем ^ = ()1 и

= (21г )я . Свойство неположительности кривизны по Буземану влечет выпуклость метрики d. В частности, имеем

d (У11,) ^(У12,%).

Отсюда легко получить

1 1 ’

^ (У1,) ^ d (У1,, ,)

что эквивалентно неравенству (1).^ Следствие 1. Для любых у,ъ є X существует предел

D(у, z) = Ііт dі (у, z) > 0.

Несложно заметить, что функция D, определенная на ХєХ, является псевдометрикой, причем

Щу ъ) є d(y, ъ) (2)

для любых у, ъ є X. . Покажем, что D в действительности является метрикой.

Лемма 2. Функция D - метрика на X. Доказательство. Покажем методом от противного, что D(y, ъ) > 0 при у є ъ. Действительно, пусть D(y, ъ) = 0 для различных у, ъ є X. Заметим, что, если точка р лежит на прямой уъ, то D(y, ъ) = d(y, ъ). Поэтому нам достаточно рассматривать случай, когда точки р, у и ъ не лежат на одной прямой в смысле метрики d. Из неравенства треугольника следует, что d(p, у) = d(p, ъ). Выберем на продолжении отрезка [ур] за точку р точку х, для которой d(p, х) = d(p, у). По предположению, для любого е > 0 существует § > 0, что для любого 1 < 5 выполняется неравенство d(y1, ъ^) < 1е. Поэтому

ф, ъ) > 1/1 ъ1) > 1/1 уі) -

-%1 ъ1)) > 1/1 d(x, у) - е.

В силу произвольности е > 0 получаем d(x, г) = d(x, у), что противоречит аксиоме единственности продолжения отрезков G4. □

Определение 1. Метрическое пространство (X, D) называется касательным конусом к пространству (X, d) в точке р. Точка р при этом называется вершиной касательного конуса. Для касательного конуса к (X, d) в точке р примем обозначение К X.

р

Замечание 1. В случае, когда X является полным римановым многообразием неположительной секционной кривизны, его касательный конус в произвольной точке р в точности совпадает с касательным пространством ТрХ.

Геометрические свойства касательного конуса. В этом параграфе мы приводим некоторые следствия из определения касательного конуса к О-пространству неположительной кривизны в смысле Буземана X. А именно, будет показано, что конус КХ топологически эквивалентен X и сам является О-пространством неположительной кривизны в смысле Буземана. При этом КХ допускает действие группы гомотетий с центром р.

Лемма 3. Тождественное отображение id: (X, d) ^ (X, D) есть гомеоморфизм.

Доказательство. Непрерывность отображения id следует из неравенства (2). В силу конечной компактности замкнутые шары в (Х^) компактны. Поэтому для любого г > 0 ограничение МВ(рг) является гомеоморфизмом на образ. Отсюда сразу следует, что обратное отображение id-1 также непрерывно на X. □

Лемма 4. Пространство КХ конечно компактно.

Доказательство. Для произвольной точки х е X справедливо равенство расстояний D(p, х) = d(p, х). Поэтому всякое ограниченное множество в смысле метрики D ограничено и в смысле метрики d. Кроме того, из леммы 3 следует, что сходимость в смысле метрики D эквивалентна сходимости в смысле метрики d. Следовательно, из конечной компактности пространства (X, d) следует конечная компактность конуса К X.

Лемма 5. Пространство КрХ является пространством неположительной кривизны в смысле Буземана.

Доказательство. Заметим, что КрХ является хаусдорфовым пределом пространств неположительной кривизны в смысле Буземана (X, d1). Каждое из пространств (X, d1) подобно пространству (X, d) с коэффициентом 1/1. Отсюда легко следует, что последовательность пространств (X, d1/n) является унимодулярно выпуклой в смысле определения, данного в [4, с. 31]. Поэтому мы можем воспользоваться теоремой 4.3 из статьи [4, с. 31], из которой следует утверждение леммы. □

Свойство G3 в определении О-пространства подразумевает локальную продолжаемость отрезков. Но в случае О-пространств неположительной кривизны в смысле Буземана несложно заметить, что выполнено даже глобальное свойство продолжаемости отрезков, причем каждый отрезок можно продолжить до прямой линии. Поэтому соответствующее свойство пространства КрХ можно сформулировать в следующей лемме.

Лемма 6. Пространство К X обладает свойством продолжения отрезков.

Доказательство. Зафиксируем точки у, г е X и убывающую бесконечно малую последовательность 1п. Для каждого п мы построим точку wn так, что г в метрике dn будет серединой между у и wn. Точка wn существует именно в силу того, что в (X, d) любой отрезок можно продолжать до бесконечности. Все точки wn содержатся в шаре В(р, г), где г = d(p, у) + 2d(y, г).

Переходя, если необходимо, к подпоследовательности, получим точку

w = 11т wn.

Изучение предельной процедуры позволяет показать, что точка г будет серединой (в смысле метрики D) между у и w. □

Заметим, что пространство (X, D) допускает действие группы положительных гомотетий ^ с центром р. При X < 1 образом произвольной точки х при гомотетии ^ служит точка х а при X > 1 - такая точка у, что х = у1Д.

Лемма 7. В пространстве К X выполнено свойство единственности продолжения отрезков.

Доказательство. Метрики d и D обладают одним и тем же семейством прямых, проходящих через точку р. Поэтому пространство КрХ обладает свойством единственности продолжения отрезков за точку р. Далее мы покажем, что если некоторый отрезок допускает не единственное продолжение, то это противоречит единственности продолжения отрезков за точку р.

Предположим, что х1, х2, у, г е X - такие различные четыре точки, что

х1) = ^ г) + D(z, х1),

D(У, х2) = ^ г) + D(z, х2)

D(z, х1) = D(z, х^) = D(z, у) = 1 .

Выберем убывающую бесконечно малую последовательность 1п и при каждом п рассмотрим точки (х1 )1 , (х2 )1 , У1П и . Во-первых, воспользуемся тем, что ^ Р при п — да. Рассмотрим также такие точки (х1 )п , (х2 )п и уп , что ()1 соответственно лежат между ^1п и (х )п, У1 лежит между ^ и Уп и

d(21п ,(X )п ) = d(21п , Уп ) = 1

Оценка расстояния D(( х1 )п,(х2 )п) дает

D((х1 )п,(Х2 )п ) > ^ШХ1 )п,(Х2 )п ) = ЩХ1, Х2 ) > 0 1 п

Переходя к пределу подпоследовательности при п —— да, получим предельные точки

Х1 = 1™ (Х1 )п ’ *2 = 1™ (*2)п и У = ^У)п • При

этом р лежит на отрезках [у], верно равенство расстояний

D( Х1, р) = D( Х2, р) = D( у, р) = 1 и неравенство

D(х1, х2) > D(х1, х2) > 0 .

Получается, что отрезок [ ур] в смысле метрики D допускает не единственное продолжение за точку р. Противоречие. □

Соединяя воедино леммы 3 - 7, получаем в итоге описание геометрии касательного конуса КХ. р

Теорема. Пусть X - О-пространство неположительной кривизны в смысле Буземана. Тогда его касательный конус К X в произвольной точке ре X также является О-пространством неположительной кривизны в смысле Буземана. При этом К X имеет общее с X семейство прямых линий, проходящих через точку р, и допускает действие группы положительных гомотетий ^ с центром р.

Заключение. В статье описана конструкция касательного конуса к О-пространству неположительной кривизны. Тот факт, что касательный конус допускает действие группы положительных гомотетий, имеет важное следствие. Рассматривая повторное построение касательного конуса, можно прийти к выводу, что такой повторный конус имеет структуру слоения, слои которого - прямые линии. Этот факт в итоге приводит к доказательству гипотезы Буземана в рассматриваемом нами случае.

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

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

1. Александров А.Д. Одна теорема о треугольниках в метрическом пространстве и некоторые ее приложения // Труды мат. института АН СССР им. В.А. Стеклова. 1951. № 38. С. 5-23.

2. Берестовский В.Н. Пространства Буземана ограниченной сверху кривизны по Александрову // Алгебра и анализ. 2002. № 14 (5). С. 3-18.

3. БуземанГ. Геометрия геодезических. М., 1962.

4. Andreev P.D. Geometric Constructions in the Class of Busemann Nonpositively Curved Spaces // J. Math. Ph. An. Geom. 2009. № 5 (1). P. 25-37.

5. Berestovskii VN., Halverson Denise V., Repovs D. Locally G-homogeneous Busemann G-spaces // Diff. Geom. Appl. 2011. № 29 (3). Р. 299-318.

6. Busemann H. Metric Methods in Finsler Geometry and in the Foundations of Geometry // Ann. Math. Study. 1942. Vol. 8.

7. Busemann H. On Spaces in Which Two Points Determine a Geodesic // Trans Amer Math. Soc. 1943. Vd. 54. P. 171-184.

8. Krakus B. Any 3-dimensional G-space is a Manifold // Bull. Acad. Pol. Sci. 1968. № 16. P. 737-740.

9. Thurston P. 4-Dimensional Busemann G-spaces are 4-manifolds // Diff. Geom. Appl. 1996 № 6 (3) P. 245-270.

References

1. Aleksandrov A.D. Odna teorema o treugol’nikakh v metricheskom prostranstve i nekotorye ee prilozheniya [A Theorem on Triangles in a Metric Space and Some of Its Applications]. Trudy Mat. instituta AN SSSR im. V.A. Steklova [Collected Papers of Steklov Institute of Mathematics, Academy of Sciences USSR]. 1951, vol. 38, pp. 5-23.

2. Berestovskiy V.N. Prostranstva Buzemana ogranichennoy sverkhu krivizny po Aleksandrovu [Busemann Spaces with Upper Bounded Aleksandrov Curvature]. Algebra i analiz, 2002, vol. 14, no. 5, pp. 3-18.

3. Busemann H. Geometry of Geodesics. 1955 (Russ. ed.: Buzeman G. Geometriya geodezicheskikh. Moscow, 1962. 503 p.).

4. Andreev P.D. Geometric Constructions in the Class of Busemann Nonpositively Curved Spaces. J. Math. Ph. An. Geom., 2009, vol. 5, no. 1, pp. 25-37.

1З?

5. Berestovskii V.N., Halverson D.M., Repovs D. Locally G-homogeneous Busemann G-spaces. Diff Geom. Appl., 2011, vol. 29, no. 3, pp. 299-318.

6. Busemann H. Metric Methods in Finsler Geometry and in the Foundations of Geometry. Ann. Math. Study, 1942. vol. 8.

7. Busemann H. On Spaces in Which Two Points Determine a Geodesic. Trans. Amer. Math. Soc., 1943, vol. 54, pp. 171-184.

8. Krakus B. Any 3-dimensional G-space is a Manifold. Bull. Acad. Pol. Sci., 1968, vol. 16, pp. 737-740.

9. Thurston P. 4-dimensional Busemann G-spaces are 4-manifolds. Diff. Geom. Appl., 1996, vol. 6, no. 3, pp. 245-270.

Andreev Pavel Dmitrievich

Institute of Mathematics, Information and Space Technologies, Northern (Arctic) Federal University named after M.V. Lomonosov (Arkhangelsk, Russia)

Starostina Vera Valeryevna

Postgraduate Student, Institute of Mathematics, Information and Space Technologies, Northern (Arctic) Federal University named after M.V. Lomonosov (Arkhangelsk, Russia)

GEOMETRY OF THE TANGENT CONE TO BUSEMANN NON-POSITIVELY CURVED

G-SPACE

The geometric properties of the tangent cone to Busemann non-positively curved G-space are studied in the paper. The authors consider the construction of the tangent cone as a basic tool for proving Busemann conjecture about the topological structure of G-spaces in the class of non-positively curved spaces.

Keywords: G-space, non-positive curvature, tangent cone, Busemann conjecture.

Контактная информация: Андреев Павел Дмитриевич Адрес: 163060, г. Архангельск, ул. Урицкого, д. 68 е-mail: pdandreev@mail.ru

Старостина Вера Валерьевна Адрес: 163060, г. Архангельск, ул. Урицкого, д. 68 e-mail: irrefragable@yandex.ru

Рецензент - Попов В.Н., доктор физико-математических наук, доцент, заведующий кафедрой математики института математики, информационных и космических технологий Северного (Арктического) федерального университета имени М.В. Ломоносова