Math-Net.

Ru
Общероссийский математический портал

В. А. Шарафутдинов, О выпуклых множе-

ствах в многообразии неотрицательной кри-
визны, Матем. заметки, 1979, том 26, вы-
пуск 1, 129–136

Использование Общероссийского математического портала

Math-Net.Ru подразумевает, что вы прочитали и согласны
с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 31.223.129.41
11 октября 2020 г., 20:57:35
 МАТЕМАТИЧЕСКИЕ ЗАМЕТКИ
т. 26, № 1 (1979)
" I ILL!; . ;" * J-

О ВЫПУКЛЫХ МНОЖЕСТВАХ
Ш МЙШ)ОБРАЗИИ НЕОТРИЦАТЕЛЬНОЙ КРИВИЗНЫ
В. А. Шарафутдинов

Множество С риманова многообразия М называется

выпуклым, если для любых двух точек р, q ЕЕ С любая
кратчайшая, соединяющая эти точки, лежит целиком в С.
С называется локально выпуклым, если каждая точка
р ЕЕ С обладает такой окрестностью U, что U f] С вы­
пукло. Всякое замкнутое, локально выпуклое множество
СаМ, рассматриваемое с топологией, индуцированной из
Мч является топологическим многообразием с (возможно
пустым) краем дС, причем С \ дС является вполне гео­
дезическим подмногообразием в М.
Пусть М — риманово многообразие неотрицательной
кривизны, С — связное, компактное, локально выпуклое
множество в М. Если ОС Ф 0 , то можно рассмотреть
функцию /: С ->• R расстояния до края, т. е. функцию,
определенную формулой / (р) = р (р, дС), где р — внут­
ренняя метрика на С, индуцированная метрикой М (т. е.
р (р, q) для р, q ЕЕ С определяется как точная нижняя
грань длин кривых, лежащих в С и соединяющих ри q).
Как известно [1], / является геодезически выпуклой, т. е.
;для любой геодезической у: [0, 1] ->• С функция / ° Y
выпукла (вверх). В частности, множество С1, состоящее
из точек, на которых /принимает максимальное значение,
абсолютно выпукло в С, т. е. любая геодезическая, лежа­
щая в С, концы которой принадлежат С1, лежит целиком
в С1. Отсюда вытекает, что С1 связно, локально выпукло и
внутренняя метрика множества С1 совпадает с р. Очевид­
но, dim С1 < dim С. Если дС1 Ф 0 , то к С1 снова при-

5 Матем. заметки, т. 26, П \ © Главная редакция 129

физико-математической литературы
издательства «Наука»,
«Математические заметки», 1979
менима эта конструкция. Рассуждая по индукции, полу­
чим последовательность компактных, локально выпуклых
множеств
С = С0 Z) С1 Z) • . . Z) Cn+1 = 5 (1)
i+1
таких, что dim C < dim С* (i = 0, . . ., гс), dS = 0 ,
т. е. 5 является вполне геодезическим подмногообразием
в М. Следуя Дж. Чигеру и Д. Громолу [1], будем называть
S душой множества С. Если ОС = 0 , то полагаем S =• С.
В этой заметке будут доказаны следующие две теоремы.
ТЕОРЕМА 1. Пусть С, С0 — два компактных, связ­
ных, локально выпуклых множества в римановом много­
образии неотрицательной кривизны М\ S, S0 — их души;
NS, NSQ — нормальные расслоения подмногообразий S
и S0 в М. Если S0 а С а С0 и dim S0 = dim S, то су­
ществует такая изометрия h: S0 ~> S, что расслоение
h* (NS) изоморфно NS0.
Другими словами, эта теорема утверждает существо­
вание коммутативного квадрата
NS0 - ^ NS

в котором р0, р — проекции нормальных расслоений, h —

изометрия риманова многообразия S0 на S, а К — диф­
феоморфизм, линейный на слоях.
З а м е ч а н и е . Из включений SQ а С а С0 легко
следует, что dim S0 ^ dim S. Возможно, из этих включе­
ний вытекает и равенство dim S0 = dim S, однако дока­
зательство этого автору не известно.
ТЕОРЕМА 2. Пусть выполнены предположения тео­
ремы 1, и пусть дополнительно известно, что S0 Ф S.
Тогда расслоение NS0 имеет ненулевое параллельное (в
смысле связности Леей — Чивита на М) сечение.
Пусть теперь М — полное, открытое многообразие
неотрицательной кривизны. Душой М Чигер и Громол
назвали компактное, вполне геодезическое подмногообра­
зие S, получаемое с помощью некоторой специальной кон­
струкции, приводить которую мы здесь не будем. Для
нас важны лишь следующие свойства S:
1) Существует диффеоморфизм М на пространство нор­
мального расслоения NS, тождественный на S [2].

130
 2) Для любого компактного множества В а М можно
указать связное, компактное, локально выпуклое мно­
жество С а М, содержащее В и такое, что S является ду­
шой С в смысле сформулированного выше определения.
Конструкция души S содержит некоторый элемент
произвола, так что, вообще говоря, душа многообразия М
не единственна. Из теорем 1 и 2 немедленно вытекают сле­
дующие две теоремы.
ТЕОРЕМА 3. Пусть SQ и S — две души полного от­
крытого многообразия неотрицательной кривизны М.
Тогда существует диффеоморфизм М на себя, который S0
отображает изометрично на S.
ТЕОРЕМА 4. Пусть S — душа полного открытого
многообразия неотрицательной кривизны М. Для того
чтобы S была единственной душой М, достаточно, чтобы
нормальное расслоение NS не допускало ненулевого парал­
лельного сечения.
Основным инструментом при доказательстве теоремы 1
будет нам служить теорема 3 работы [3], доказательство
которой приведено в [4]. Отметим одновременно, что в фор­
мулировке этой теоремы в [3] допущена неточность, а
именно, в число ее утверждений должно быть включено
следующее: 3) отображение <р* тождественно на Ct. Для
доказательства нам понадобятся также следующие два
утверждения общего характера.
ЛЕММА 1. Пусть X — компактное многообразие без
края. Любое непрерывное, гомотопное тождественному
отображение /: X -*• X сюръективно.
ЛЕММА 2. Пусть X — компактное метрическое про­
странство с метрикой р. Если /: X ->• X — сюръективное
отображение, удовлетворяющее условию
Р (/ (Р), f (?)) < Р (Р, Я) (Р, Ч €= X),
то f — изометрия.
Лемм"а 1 следует из того, что если бы / не было сюръек-
тивным, то его степень была бы равна нулю, в то время
как степень любого гомотопного тождественному отобра­
жения равна единице. Лемма 2 следует из [5, гл. 9, § 2,
упр. И ] .
Доказательство т е о р е м ы 1. Для мно­
жества С построим последовательность (1) компактных,
локально выпуклых множеств, как описано выше. Для
каждого i = 0, . . ., п определим функцию /V Сг -> В

5* 131
расстояния до края, т. е. // (р) = р (р, дСг), где р — внут­
ренняя метрика на С. Положим /тгг = sup / ь т = т0 +
+ . . . + тп. Тогда Сг+1 = /i"1 (га^). Функция /* удов­
летворяет всем условиям теоремы 3 работы [3]. Пусть
Ф {: С -> С\ = {р е С1 | /, (р) > 0 (* ЕЕ [0, тю J )
— семейство отображений существование которого ут­
верждает эта теорема. Д л я каждого t ЕЕ [0, т] определим
теперь отображение ф<: С-+С в соответствии с формулами

ф« = ф? Для t e [0, т0],

фто+...+т|_ 1 + г = Ц>]°Ч>то+...+т1_1 ДЛЯ f ^ [О, т * ] , I = 1 , . . ., П.

Семейство отображений ф, обладает следующими свойст­

вами:
i) ф, не увеличивает расстояний, т. е.
р (Ф* (р), % (?)) < р (Р, д) (Р, g e С). (2)
ii) Отображение Ф: С X [0, га] ->- С, определенное
формулой Ф (р, £) = ф4 (р), непрерывно.
ш ) ф = ф т отображает С на S и тождественно на 5 .
iv) Д л я t е [0, т 4 ] отображение Фтв+...+т4_]+* тож­
дественно на С], в частности, ф 0 — тождественное отоб­
ражение множества С.
Аналогично отображению ф = ф т : С —>• S можно по­
строить отображение я|): С 0 ->• 5 0 , тождественное на £ 0
и удовлетворяющее условию
Ро (ф (р), Ф (?)) < Ро (р. ?) (р, g е с 0 ), (3)
где р 0 — внутренняя метрика на С0.
Так как С (Z С0, то
ро (p. g ) < p (р. д) (р. g е С)- (4)
Заметим теперь, что на £ 0 метрики р и р 0 совпадают. Дей­
ствительно, пусть /?, g E S0. Так как С 0 замкнуто и ло­
кально выпукло, то существует геодезическая у длины
Ро (Р» #)> лежащая в С 0 и соединяющая р и д. Поскольку
5 0 абсолютно выпукло в С 0 , то у лежит в S0. А так
как So d С, то отсюда следует обратное неравенство
Р (Р,?) < Ро (Р, ?)• Итак,
ро (р, д) = р ( Р , д) (Р, д е£0)« <5)

132
 Обозначим теперь че]эез ht: S0->- С (t ЕЕ [О, т\) ог­
раничение отображения cpf на S0. Зафиксируем некоторое
t ЕЕ [0, т] и рассмотрим отображение г|> о ht: £ 0 -> S0.
Из (2) — (5) получаем, что для любых р, q ЕЕ S0
Ро (1>(ВД), 1> №*(?))) < Ро (Ы (р), ht (g)) <
< р (ht (р), А, (д)) < р (р, д) = р 0 (р, д). (6)
Отображение ty ° ht гомотопно тождественному, соот­
ветствующую гомотопию дает семейство я> | о ht> (t' ЕЕ
EztO, £]). Применяя леммы 1 и 2, получаем, что для любого
t ЕЕ [0, т] отображение ty ° ht является изометрией и в
(6) везде имеет место знак равенства. Следовательно, мет­
рики р и р 0 совпадают на St = ht (S0) и ht является изо­
метрией S0 на St. Поскольку Sm CZ' S и dim S0 = dim S,
то Sm = S и отображение h = hm является изометрией
S0 на 5.
Из того, что £ 0 — вполне геодезическое подмногообра­
з и е ^ ht — изометрия S0 на St, следует, как легко видеть,
что St — вполне геодезическое подмногообразие в М,
а отображение ht — гладкое. Пусть я 0 : TS0 ->• S0, л:
ТМ-+М— касательное расслоения многообразий SQ и
М соответственно. Определим отображение g: TS0 X
X [0, т] -*- ТМ формулой g (и, t) = (ht)*v, где (А,)# —
дифференциал отображения ht. Докажем, что g непрерыв­
но. Действительно, поскольку g линейно на слоях рас­
слоения
я 0 X 1: TS0 X [0, m]-+ S0 X [0, m],
то достаточно установить непрерывность g в некоторой ок­
рестности нулевого сечения этого расслоения. А посколь­
ку отображение п X ехр: ТМ-> М X М является диф­
феоморфизмом в некоторой окрестности нулевого сечения
касательного расслоения, то для доказательства непрерыв­
ности g достаточно установить, что отображения я о g
и ехр о g непрерывны. Непрерывность последних двух
отображений вытекает из коммутативности следующих
квадратов:

TS0 х [0, m] - ^ ТМ TS0 x [0, m]-UTM

Jt0Xl| jrt expxij Jexp (7)
SoX [0,1Й]ЛМ So X [0, m] - ^ A/

133
!де непрерывное отображение Н определено формулой
Нт(р, t) = ht (р). Коммутативность первого квадрата
очевидна, а второго — следует из того, что ht является
изометрией.
Для завершения доказательства отметим, что, как из­
вестно [6J, два гладких векторных расслоения изоморфны
в категории гладких расслоений тогда и только тогда, ког­
да они изоморфны в категории непрерывных векторных
расслоений. Таким образом, достаточно установить изо-
морфность NS0 и ft* (NS) как непрерывных векторных
расслоений. А для этого в свою очередь достаточно по­
строить непрерывное векторное расслоение над S0 X
X [0, т], ограничение которого на S0 X О изоморфно
NS0, а ограничение на SQ X т изоморфно ft* (NS)
[7, гл. 3, следствие 4.6]. Обозначим для краткости через
£ векторное расслоение я 0 X 1: TS0 X [0, т] -> S0 X
X [0, т], а через т расслоение п: ТМ ->- М. Как видно
из (7), пара (g, H) является морфизмом \ в % и, следова­
тельно [7, гл. 2, предложение 5.5], определяет (S0 X [О,
ш]) — морфизм и: £ ->- Н* (т). Из того, что ht — изомет-
рия, вытекает, что и является мономорфизмом и, следова­
тельно [8, лемма 1.3.1], определено фактор-расслоение
Н* (х)1и (£). Очевидно, что ограничение этого расслоения
на S0 X 0 изоморфно NSQ, а ограничение на S0 X m
изоморфно ft* (NS). Тем самым теорема 1 полностью до­
казана.
Д о к а з а т е л ь с т в о т е о р е м ы 2. Будем ис­
пользовать обозначения из доказательства теоремы 1.
Рассмотрим последовательность (1) и положим к =
= max {i | S0 CZ С1}. Докажем, что функция fk постоян­
на на S0. Действительно, поскольку S0 связно и вполне
геодезично, то для любых двух точек р, q€E S0 найдется
геодезическая у: R -> S0, проходящая через эти точки.
Функция /fe о у выпукла и ограничена и, следовательно,
постоянна, т. е. fk (р) = fH (q). Обозначим через [х зна­
чение //с на S о и положим tQ = m0 + . . . + T%_I + fx.
Так как S0 ф С*+\ то u. < mk.
Напомним [4], что в каждой точке р ЕЕ С*, для которой
fk (p) <C mki определен ненулевой вектор Vfk (p) — обоб­
щенный градиент выпуклой функции /fc. Поскольку fk
постоянна на 5 0 , то, как следует из леммы 3 работы [4],
V/fc (р) ЕЕ NVS0 для любой точки р ЕЕ S0. Определим
сечение х\ S0 ->- NS0, полагая х (р) = Vfk (p) I | V/fc (p) |2.

134
Покажем, что х является искомым параллельным сече­
нием.
Из сформулированного выше свойства iv) следует, что
отображение ht тождественно для всех tEz [О, t0]. Кроме
того, согласно определению отображения ср?, приведен­
ному в [4], для любой точки р ЕЕ S0кривая фр: [t0,m] ->
—>- С, определяемая формулой фр (£) = ht (p), имеет в точ­
ке t0 правый касательный вектор, равный х (р).
Зафиксируем точку р ЕЕ S0 и выберем такую окрест­
ность С/ точки р в Af, чтобы любые две точки из U соеди­
няла единственная лежащая в U геодезическая, гладко
зависящая от своих концов. Пусть у: [0, 1J ->- S0 — про­
извольная геодезическая, лежащая в U. Выберем гладкие
кривые с0, сг: [t0, t0 + е) ->- U так, чтобы ct (t0) = у (i),
ct (t0) = x (у (i)) (i = 0, 1) и для каждого t е= [t0, t0 + e)
рассмотрим геодезическую yt: [0, 1] ->- С/, для которой
Y* (0 = сг (*) (* = °> !)• Отображение V: [0, 1] X
X [t0,t0 + е) - * С/, определяемое формулой V (5, £) = у* (s),
является геодезической вариацией Y> и, следовательно,
поле 2/ (5) = -^7 (5> ^о) — поле Якоби вдоль у. С другой сторо­
ны, ПОСКОЛЬКУ Обе КрИВЫе ф7(|) И Ct ВЫХОДЯТ ИЗ ОДНОЙ ТОЧ­
КИ и имеют общий касательный вектор в этой точке, то
Р (<Pv(i> (*о + t), ct (t0 + t)) = o (t) (i = 0, 1). (8)
Так как отображение ht — изометрия, то кривая
yt: [0, 1] ->- Uу определенная формулой yt (s) = ht (у (s)) =
= фу(в) (t), является геодезической для любого t ЕЕ [t0l
t0 -j- е). Так как в силу (8) концы геодезических yt и yt
близки, то и сами эти геодезические близки, т. е.
р (V (*, t0 + *), Фу(0 (*0 + t)) = о (t) ( S E [0, 1]).
Это равенство означает, что кривые ф7(8) и £ ->• V (s, t) имеют
общий касательный вектор в точке £0, т. е. что х (у (s)) =
= у (s). Тем самым мы установили, что для любой геоде­
зической у: R -> S0 поле х (у (s)) является якобиевым
вдоль у. Отсюда вытекает, в частности, что функция | х (р) \
непрерывна и, следовательно, ограничена на S0.
Снова рассмотрим произвольную геодезическую у:
R ->- S0 и положим у (s) =x(y(s)). Поле у (s) удовлетворяет
уравнению Якоби
y° + R (у, у) у = 0.

W
Как следует из теоремы 3 работы [1], второе слагаемое в ле­
вой части этого уравнения тождественно равно нулю
(в [1] эта теорема доказана для абсолютно выпуклого мно­
жества, однако это доказательство с очевидными изме­
нениями проходит и для локально выпуклого множества).
Таким образом, из этого уравнения следует, что поле у'
параллельно вдоль 7- Если бы у' Ф 0, то из равенства
<*/, уУ = 2 <*/', */'> + 2 <у, */"> = 2 <*/', у'у = const > 0
мы получили бы, что функция | у (s) | неограничена на Л,
что противоречило бы ранее установленному факту. Сле­
довательно, у' = 0 и тем самым теорема доказана.

Новосибирский государственный Поступило

педагогический институт 3.V.1977

ЦИТИРОВАННАЯ ЛИТЕРАТУРА
[1] G h e e g e r J., G r o m o l l D., On the structure of complete
manifolds of nonnegative curvature, Ann. of Math., 96, № 3 (1972),
413-443.
[2] Ш а р а ф у т д и н о в В. А., Полные открытые многообразия
неотрицательной кривизны, Сиб. матем. ж., 15, № 1 (1974),
177—191.
[3] Ш а р а ф у т д и н о в В. А., Радиус инъективности полного
открытого многообразия неотрицательной кривизны, Докл. АН
СССР, 231, № 1 (1976), 46—48.
[4] Ш а р а ф у т д и н о в В. А., Теорема Погорелова — Клинген-
берга для многообразий, гомеоморфных Rn, Сиб. матем. ж.,
18, № 4 (1977), 915-925.
[5] Б у р б а к и Н., Общая топология, Использование вещест­
венных чисел в общей топологии, М., «Наука», 1975.
[6] М i 1 п о г J., Lectures on Differential Topology Prinseton,
N. Y., Prinseton University Press, 1958.
[7] X ь ю з м о л л е р Д., Расслоение пространства, М., «Мир»,
1970.
[8] А т ь я М., Лекции по Я-теории, М., «Мир», 1967.