Math-Net.

Ru
All Russian mathematical portal

G. Ya. Perel’man, Elements of Morse theory on Aleksandrov

spaces, Algebra i Analiz, 1993, Volume 5, Issue 1, 232–241

Use of the all-Russian mathematical portal Math-Net.Ru implies that you have
read and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 46.232.50.49
February 23, 2024, 11:59:46
Алгебра и анализ
Том 5 (1993), вып. 1

1993 г
© - К 80-летию А. Д . Александрова

НАЧАЛА ТЕОРИИ МОРСА НА

ПРОСТРАНСТВАХ АЛЕКСАНДРОВА

Г. Я . ПЕРЕЛЬМАН

В работе строится вариант элементарной теории Морса д л я дистанционных

функций на пространстве Александрова с ограниченной снизу кривизной. До­
казывается, что 1) малая шаровая окрестность точки в пространстве Алексан­
дрова гомеоморфна конусу над своей границей и 2) пространство Александрова
обладает канонической стратификацией на топологические многообразия.

ВВЕДЕНИЕ

С т а т ь я посвящена изучению топологических свойств конечномерных про­

странств Александрова с ограниченной снизу кривизной. Э т о метрические
п р о с т р а н с т в а с внутренней метрикой, имеющие конечную хаусдорфову раз­
мерность и такие, что д л я них, г р у б о говоря, выполняется заключение теоре­
мы сравнения Топоногова. В [1] эти п р о с т р а н с т в а обозначались К П О С К . Мы
будем свободно использовать относящиеся к ним основные понятия и факты,
изложенные в [1]. Главные р е з у л ь т а т ы р а б о т ы можно сформулировать в виде
следующих двух теорем.

I. Л о к а л ь н а я т е о р е м а . Малая шаровая окрестность точки в пространстве

Александрова гомеоморфна конусу, открытому над своей границей.

II. Т е о р е м а о с т р а т и ф и к а ц и и . Пространство Александрова обладает канони­

ческой стратификацией, страты которой являются топологическими многообра­
зиями.

Э т и утверждения вместе с рядом других были анонсированы в [1, 13.2 Ь),

с)] и доказаны в препринте а в т о р а [П] "A. D. Alexandrov's spaces with curvatures
bounded from below. II" (1991 г., 35 с ) . К сожалению, изложение в [П] отягоще­
но большим количеством технических деталей. В этой р а б о т е мы постарались

Ключевые слова: пространство Александрова, стратифицированное пространство, крити­

ческие и регулярные точки.

232
 Н А Ч А Л А ТЕОРИИ МОРСА 233

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

торой потерей общности. Ч т о касается теоремы устойчивости, анонсированной
в [1, 13.2 d)], то ее несколько упрощенное по сравнению с [П] доказательство
также может быть получено на основе результатов настоящей р а б о т ы , однако
это упрощение не столь велико.
Теоремы I и II я в л я ю т с я очевидными следствиями приведенной ниже струк­
турной теоремы III, формулировке которой мы предпошлем одно определение.
О п р е д е л е н и е . Метрическое пространство X называется MCS- пространств ом
(MCS-multiple conic singularities) размерности п, если к а ж д а я точка х Е X имеет
окрестность, гомеоморфную открытому конусу над своей границей — компакт­
ным MCS-пространством размерности п — 1. (При этом гомеоморфизм должен
переводить саму точку х в вершину конуса). MCS-пространством размерности
— 1 считаем пустое множество.

З а м е ч а н и я . 1. О т к р ы т а я коническая окрестность (но не ее граница!) един­

ственна с точностью до гомеоморфизма, сохраняющего вершину, см. [4].
2. Отметим, что надстройка над компактным MCS-пространством размерно­
сти п — 1 является компактным MCS-пространством размерности п.
3. MCS-пространство обладает канонической стратификацией: /-мерная
с т р а т а состоит из таких точек i G l , коническая окрестность которых допуска­
ет топологическое расщепление R m x C o n e ( E n - m _ 1 ) , (где S n - m _ 1 — компактное
MCS-пространство размерности п — т — 1) при всех значениях га, не превос­
ходящих /, и только при таких значениях. Ясно, что /-мерная с т р а т а является
/-мерным топологическим многообразием.

III. С т р у к т у р н а я т е о р е м а . Пространство Александрова является MCS-npo-

странством. При этом в каждой точке в роли конической окрестности может
выступать малая шаровая окрестность этой точки.

Д о к а з а т е л ь с т в о теоремы III состоит из двух частей — метрической и то­

пологической. Р е з у л ь т а т о м метрической ч а с т и , изложенной в §2,3, является
проверка некоторых свойств так называемых допустимых отображений из про­
с т р а н с т в а Александрова в евклидово пространство (свойства 1.0-1.3). Основ­
ным средством доказательства служит (соответствующим образом модифици­
рованная) элементарная теория М о р с а д л я дистанционных функций, которая
уже н а ш л а многочисленные применения в изучении топологии римановых мно­
гообразий с ограниченной снизу кривизной, см. [3, 2].
Топологическая же ч а с т ь изложена в §1, где из упомянутых свойств 1.0—
1.3 и одной теоремы Зибенмана выводится основная теорема 1.4, формальным
следствием которой является теорема III.

§1. ОСНОВНАЯ ТЕХНИЧЕСКАЯ ТЕОРЕМА

В §3 мы определяем понятие регулярной точки д л я достаточно широкого

класса „допустимых" отображений из пространства Александрова Мп в евкли­
дово пространство R . В частности, как и в случае риманова многообразия,
 НАЧАЛА ТЕОРИИ МОРСА 235

значение. Т о г д а из п. (С) основной теоремы 1.4 следует, что Мп есть MCS-

п р о с т р а н с т в о . Э т и м доказана первая ч а с т ь теоремы III (а с ней и т е о р е м а II).
В т о р а я ч а с т ь (а с ней — теорема I) вытекает из 1.4 (В) и (С), так как функция
dist(p) не имеет критических точек вблизи р, кроме самой точки р. •
Д о к а з а т е л ь с т в о основной т е о р е м ы 1.4. Будем доказывать все т р и утвержде­
ния (А),(В) и (С) совместно, применяя обратную индукцию по размерности к
о б л а с т и значений Кк допустимого отображения д. Б а з а — с л у ч а й к = п —
непосредственно вытекает из свойства 1.2 (при к > п утверждения бессодер­
жательны, так как в силу 1.2 у д нет регулярных точек).
Д л я д о к а з а т е л ь с т в а индукционного перехода проверим две импликации:

( A t + 1 ) + ( B t + 1 ) + ( C t + i ) = > (A*) + ( C t ) ==• (В,)-

В т о р а я импликация есть частный случай одной теоремы Зибенмана [5, 6.14,

5.4], поскольку всякое MCS-пространство является WCS-множеством в смысле
[5, 5.1].
П р о в е р я я первую импликацию, воспользуемся тем, что (А) и (С) — локаль­
ные утверждения. Пусть р — р е г у л я р н а я точка отображения д: Мп —> R^,
к < п. Если д дополняемо в р, то импликация очевидна. В противном случае
построим функцию gk+i и компакт Кр, г а р а н т и р у е м ы е свойством 1.3, и заме­
тим, ч т о согласно (Bk+i) и условию 1.3(d) существует т р и в и а л и з а ц и я

<р: П , х Dkg(p)(p) х \-2р,0) - КР \ д^(0),

где

П„ = д-Чя(р)) Пд£г(-Р), Dkg{p){p) = { » £ ! ' : \v - д(р)\ < р).

(Отметим, что Кр \ <7^+1(0) ф 0 при к < п, так как Мп имеет размерность п в

каждой своей точке).
Б л а г о д а р я условию 1.3(c) этот гомеоморфизм можно продолжить на <7fc+i(0),
получив т р и в и а л и з а ц и ю

Гр: С ^ ( П „ ) х D!g{p)ip) -» К„,

к о т о р а я и доказывает (А*) и (С к) в отношении точки р и отображения д. ©

§2. П Р О И З В О Д Н Ы Е Д О П У С Т И М Ы Х ФУНКЦИЙ

В этом п а р а г р а ф е мы изучаем функции, возникающие как производные ди­

станционных функций и их положительных линейных комбинаций.
Тг--'С1^ ^2Ч — полное пространство ,-ллексакдрова мнтвизны ^ 1, п ^ 0. ( Ч т о б ы
I- -.'"):^!;а,т> лишних оговопок в выдг исключения -''-мпшыми пространствам!
з >ы i-iH .. > 1 оуд«-\ считать точь-' к папу тмче». к-' '>лсстоянии тг). Как обычно
-. . ^ . ' ш : ' " - гтп,ч*-^,йгтС"гчм H*I«-•»,** в лени-* 'оч.. • - ."'„/.;'; - - п р о и з в о д и л '
236 Г. Я. ПЕРЕЛЬМАН

О п р е д е л е н и е 2 . 1 . Функцией класса DER называется сумма в и д а

/ = Yl ~ a « cos(dist(A e )), (2.1)

Of

где а п р о б е г а е т конечное множество индексов, аа ^ 0, Yla а<* ^ 1» а ^<* С Е п —

компактные подмножества. Подчеркнем, что, говоря о функции к л а с с а DER,
мы всегда имеем в виду не только отображение из Е п в Е , но и конкретное
представление (2.1). Множество всех функций класса DER обозначим через
DER(En).
Е с л и / Е D E R ( E n ) , то очевидно, что \f(x)\ ^ 1 и \f(x)-f(y)\ ^ \ху\ для любых
х,у € Е п . Кроме того, / удовлетворяет условию сферической вогнутости:

sin \xz\f(y) ^ sin \xy\f(z) + sin \yz\f(x), (2.2)

если у л е ж и т на к р а т ч а й ш е й xz. (Это утверждение есть просто переформули­

ровка теоремы сравнения д л я пространств кривизны ^ 1).
Функции класса DER дифференцируемы по направлениям, и если / =
£ a - a a c o s ( d i s t ( A a ) ) , то

где А'а С Ер, как обычно, обозначает множество направлений к р а т ч а й ш и х ,

р е а л и з у ю щ и х расстояние от р до Аа. Таким образом, / / ч Е D E R ( E P ) .
Д л я п а р ы / , g Е D E R ( E n ) можно определить скалярное произведение: если
/ = Yla ~ a « cos(dist(A a )), g = Y*p ~aP cos(dist(A^)), то

(/»Я) = Yl а<*ар cos |A a A/j|.

Я с н о , ч т о это скалярное произведение положительно билинейно, и всегда

1(/>#)1 ^ 1- Д д я «характеристических» функций ХА = — cos(dist(A)), где А —
точка, скалярное произведение с любой функцией класса DER можно вычи­
слить по формуле (/, ХА) = -f(A)-
Т е о р е м а сравнения позволяет связать между собой скалярные произведения
двух функций и их производных при помощи неравенства

(f',9')(p)<(f,9}-f(pMp)- (2.3)

В самом деле, достаточно просуммировать с соответствующими коэффициен­

тами н е р а в е н с т в а

cos |A a A/?| ^ cos \Aap\ cos \App\ + sin \Aap\ sin \App\ cos |A' a A^|,

которые и в ы р а ж а ю т теорему сравнения.

У т в е р ж д е н и я о функциях класса DER часто сводимы к соответствующим
утверждениям о характеристических функциях. При этом полезно следующее
 Н А Ч А Л А ТЕОРИИ МОРСА 237

П р е д л о ж е н и е 2.2. Для данной функции f Е D E R ( E n ) можно построить такую

функцию f = — acos(dist(A)), где A Е Е п — точка, 0 ^ а ^ 1, что (f,g) ^ (f,g) &ля
любой функции g Е D E R ( E n ) .
Д о к а з а т е л ь с т в о . Достаточно рассмотреть случай, когда / = — а\ cos(dist(Ai)) —
a 2 cos(dist(A 2 )), где A i , А 2 — точки. Имеем т р и варианта:
a) А\ — А 2 . Т о г д а А — А\ = А 2 , a = a\ 4- а 2 •
b) |AiA21 = 7г. Тогда А = А\ и a = ai — a 2 либо А = А 2 и a = a 2 — a i .
^Л 0 < | A i A 2 | < 7Г. Т о г д а А — точка на к р а т ч а й ш е й AiA 2 т а к а я , что для
подходящего а выполняется соотношение

a/sin|AiA2| = a]/sin|AA2| = a2/sin|AAi|.

Наше утверждение следует теперь из свойства сферической вогнутости (2.2). •

И з доказанного предложения следует, в частности, что (/, / ) ^ 0 д л я любой
/ Е D E R ( E n ) , откуда легко получаем, что

Теперь мы в состоянии сформулировать и доказать утверждение, из которо­

го будет следовать открытость допустимых отображений вблизи регулярных
точек (свойство 1.2).
Л е м м а 2 . 3 . Пусть Е п — полное пространство Александрова кривизны ^ 1,
п ^ 0. Пусть fi £ D E R ( E n ) , i = 0 , 1 , . . . , k -f 1, и предположим, что е —
т т ^ { ~ ( / , - , / ; ) } > 0 . Тогда
(a) 3? Е Е п с fi(q) ^ e npuO^i^k,
(b) k ^ п,
(c) Зр Е Е п с /,-(р) = 0 при 1 ^ г < А;, / 0 (р) ^ б, /*+i(p) ^ - £ •
Д о к а з а т е л ь с т в о . Утверждение (а) сразу следует из доказанного выше пред­
ложения, так как в качестве q можно взять построенную по fk+i точку А.
Утверждение (Ь) доказывается индукцией по п. Д л я доказательства индук­
ционного перехода заметим, что если точка q такова, как требуется в (а), то по
неравенству (2.3) производные / t ', 0 ^ г ^ к, удовлетворяют условиям леммы в
Eg. Б а з а п — 0 очевидна.
Д л я д о к а з а т е л ь с т в а утверждения (с) при п ^ 1 (случай п = 0 очевиден)
рассмотрим множество

X = {х Е E n : fi(x) ^ 0 при г = 1,...,1к}

и обозначим через р точку максимума функции /о на X. Согласно (а), X непусто

и
/о(р) ^ £ - Предположим, что /j(p) > 0 д л я некоторого j,l ^ j ^ к. По неравен­
ству (2.3) производные / t ', 0 ^ г ^ fc, удовлетворяют условию леммы в Е р . При­
меняя (а), найдем направление £ Е Е р такое, что //(£) > 0, г = 0 , 1 , . . . , j , . . . , к.
238 Г. Я. ПЕРЕЛЬМАН

Тогда, подвинув точку р в направлении £, мы не выйдем за пределы X , но

увеличим значение /о — противоречие. Аналогично, если /fc+i(p) > — е, то по
неравенству (2.3) имеем {foJ'k+1)P < ( / o , / * + i > + £ < 0 и ( / / , / £ + 1 ) р ^ (fiJk+i) <О
при 1 ^ г ^ А;, ибо /,-(р) = 0. Таким образом, производные /,-, 0 ^ г ^ А; + 1 удо­
влетворяют условиям леммы в Е р , и мы можем найти направление ( 6 Е р ,
для которого //(£) > 0 при 0 ^ г^ к, что ведет к противоречию. Лемма 2.3
доказана. •

§3 Д О П У С Т И М Ы Е ОТОБРАЖЕНИЯ И ИХ РЕГУЛЯРНЫЕ ТОЧКИ

В этом параграфе мы даем точные определения допустимых отображений

и их регулярных точек и доказываем свойства. 1.0-1.3, тем самым завершая
метрическую часть доказательства основной теоремы 1.4, а с ней — теоремы
III.

О п р е д е л е н и е 3 . 1 . Функция / : Мп —• R называется Х-вогнутой в области U,

если для любой кратчайшей j : [a,b] —> U, параметризованной длиной дуги,
функция / о 7 ( 0 + At2 вогнута.
О п р е д е л е н и е 3.2. Функция / : Мп —• Е называется допустимой в области U,
если для любой точки р Е U существует производная по направлениям / ' Е
DER(Sp) и при некотором А Е Е для любой пары (различных) точек p,q Е U
выполняется неравенство

/(?К ЯР)-(/',x,Vbel--Мир. ( зл )
Заметим, что второе требование (3.1) несколько сильнее А-вогнутости, ко­
торая означает лишь, что f(q) ^ / ( р ) + / / ) ( £ ) ' I P ^ I ~~ A!pg|2 Д Л Я любого £ Е q' С Е р .
Базисным примером допустимых вблизи точки р функций я в л я ю т с я выра­
жения в и д а <£>(dist(A)), где Л — компакт, не содержащий р, а </? — дважды
дифференцируемая функция т а к а я , что 0 ^ ip' ^ 1.
Очевидно, что всякая допустимая функция липшицева с константой 1.
О п р е д е л е н и е 3 . 3 . Отображение g: Мп —> Жк допустимо в области U Е М п ,
если оно р а з л о ж и м о в композицию вида g — Go/, где координатные функции
о т о б р а ж е н и я / : Мп —* R* допустимы в U, a G' — Липшицев гомеоморфизм
между открытыми множествами в Е*. Допустимым отображением назовем и
сужение д\ц.

О п р е д е л е н и е 3.4. Т о ч к а р Е U называется е-регулярной точкой допустимого

в о б л а с т и U отображения д: Мп —> E/v\ если д л я некоторого представление
с — G о / выполнены следующие- два условия'
ai 1'ЛЯ л ю б о й точкт. с достаточно 6'шзкти ]-, Р ВЫГ/ОЛН'^Г HI'I^WM-. r t
[J'*.J\" ' ~~z ПТ)И
все:. ? --
:
ь • Г.. — Ъ. гд-' - т обознчча' 1 лпюли '.тьс, <; i - -* * " "
 НАЧАЛА ТЕОРИИ МОРСА 239

О п р е д е л е н и е 3.5. Т о ч к а р Е U называется регулярной точкой отображения д,

если она б-регулярна при каком-нибудь е > 0.
В частности, как и в случае риманова многообразия, точка р является ре­
г у л я р н о й д л я дистанционной функции / = dist(g), если р ф q и т а х £ е £ р / ( £ ) > 0.
Приступим к проверке свойств 1.0-1.3, указанных в §1. Так как композиция
с G ничего не меняет, мы будем считать, что G = Id, a g = / .
Свойства 1.0 и 1.1 тривиальны.,
Д л я д о к а з а т е л ь с т в а свойства 1.2 заметим, что д л я любой точки д, близкой
к р, производные f[ вместе с функцией х о г Д е $ G S J , удовлетворяют в Е д
условиям леммы 2.3. Поэтому мы можем найти к пар направлений ^ Е Е д ,
1 < г ^ к, таких, что ±f'i(£f) > е и /j(f f ) = 0, 1 ^. i ф j ^ fc. Теперь открытость
/ вблизи р очевидна. Б о л е е того, / даже ^-открыто, т.е. если u G R * достаточно
близко к / ( g ) , то можно найти такое г Е / _ 1 ( v ) , что e\qr\ ^ |/(<?)/( r )l ( С Р- [1?
5.3]).
Осталось проверить свойство 1.3. Начнем с построения функции /i, допу­
стимой и сильно вогнутой вблизи р. Зафиксируем точку q вблизи р . т а к у ю ,
что fi(q) > fi{p) + s\pq\ — МРЯ\2i 1 ^ * ^ ^, и
•"'MPtfl < 5
/4, так что для лю­
п
бой точки х Е Bq{e\pq\/A) С М и д л я г, достаточно близких к р, выполняется
/ i ( * ) > / i ( r ) + e|pr|/4-A|pr|2.
Зафиксируем 6 > 0. Во всех дальнейших рассуждениях мы предполагаем,
что S достаточно м а л о . Будем обозначать через с различные не зависящие от 8
положительные константы (они могут зависеть от £, A, \pq\, / и от п р о с т р а н с т в а
Мп).
Выберем в Bq(e\pq\/A) максимальный набор точек qa таких, что Lq^pq^ > 8
при а ф /3. Нетрудно показать, что количество таких точек допускает оценку
снизу вида N ^ с81~п.
Р а с с м о т р и м функцию h — i V - 1 ^ а ha, где ha = y? a (dist(g a )), <p'Q(t) = 1 при t ^
\PQa\-6, ¥>*(*) = 1/2 при t ^ \рЯа\+6п<р'№) = -I/AS'1 при \pqa\-S < t < \pqa\ + 6.
Ясно, что h допустима вблизи р, и д л я любой точки г вблизи р выполнено
ih'Jt)r < - е / 8 , 1 ^ г ^ к.
Л е м м а 3.6. Функция h является с8~х -вогнутой в Вр(8) С Мп.

Д о к а з а т е л ь с т в о . К а ж д а я из функций ha (—с)-вогнута в Вр(6). Однако она во­

гнута г о р а з д о сильнее вдоль тех кратчайших, где она сильно отличается от
постоянной. Точнее, если у середина кратчайшей xz С Вр(8) и | cos Z.qayx\ > /1,
то
2ha(y) - ha(x) - ha(z) > (сб-1 - c)v2\xz\2. (3.2)

Так как количество точек с попарными расстояниями не меньше 8 в множестве

{ £ Е Еу : —\i ^ cos|£;r'| ^ \х ] не может превосходить с/л81~п, то при подхо­
дящем выборе ц неравенство (3.2) выполнено для подавляющего большинства
значений о\ и, следовательно, 2h(ij) — h(x) — h(z) ^ c8~l\xz\2, что и требуется. •

; _,- o.irvKUM теперь, что / не дополняемо в р. Это значит, что diam E° ^ тг/2
240 Г. Я. ПЕРЕЛЬМАН

Л е м м а 3.7. Если diamEp ^ тг/2, то для любой точки г £ Вр(8) выполняется

неравенство
h(r) ^ h(p) - с\рг\ + с • max { 0, /,-(р) - /<(г) }. (3.3)

Д о к а з а т е л ь с т в о . Ввиду е-открытости / мы можем свести наше утверждение

к с л у ч а ю , когда fi(r) ^ / t ( p ) - А|рг| 2 , 1 ^ г ^ k, r £ Вр(с8). В этом с л у ч а е
г' С Е° и, следовательно, \г'^а\ ^ 7г/2 и Д а (г) ^ ^а(р) — А|рг| 2 . Б о л е е того, если
cos|r'g^| ^ //, то Д а (г) ^ ha(p) — Х\рг\2 — 1/2 • р.\рг\. У ч и т ы в а я , что количество
точек с попарными расстояниями ^ 8 в множестве { £ £ Е я : 0 ^ cos \r'q'a\ ^ // ) не
может превосходить сц81~п, при подходящем выборе // п о л у ч а е м /i(r) ^ h(p) —
с|рг|, что и требуется. •
Теперь мы в состоянии описать окрестность U и функцию gk+i, удовлетво­
ряющие условиям 1.3(a-d). Положим U — Вр(8). Д л я произвольного v £ Rk
обозначим ч е р е з Uv множество { х £ U : f(x) = и } , а через U* — множество
{х £ U : / t ( z ) ^ и,-, 1 ^ г ^ &}. Положим <7*+i = h — Gof, где <7(г>) = max x e t/ v Л(х).
Отметим, ч т о ввиду е-открытости отображения / функция G — Липшицева ,
так что представление (д,дь+\) = (/, h — G о / ) определяет допустимое отобра­
жение U —> R* + 1 . Очевидно, что <7*+1 ^ 0 на U. И з неравенства (3.3) следу­
ет, что gk+\(p) — 0. И з этого же неравенства и ^-открытости / следует, что
Кр С Вр(8/2) при р ^ 82. Таким образом, условия 1.3 (а, Ь) выполнены.
Ч т о б ы проверить условия (с) и (d) нам потребуется еще одна лемма.
Л е м м а 3.8. Пусть z £ ^ П ^ ^ О ) и предположим, что | / ( р ) — v\ ^ 82, I ^i ^ к.
Тогда для любой точки х 6 Uv П Вр(8/2) выполняется неравенство

h(z) ^ h{x) + c8-l\xz\2. (3.4)

П о д л е м м а 3.9. 5 условиях леммы 3.8 гшесм

max/г = max h = max /i = /I(JZ).

£/+ U+nBp(6/2) ия.Г)Вр(6/2)

Д о к а з а т е л ь с т в о . Первое и последнее равенства следуют из ^-открытости /

и неравенства (3.3). Если бы среднее равенство было нарушено, нашлась бы
т о ч к а максимума г £ Вр{8/2) П £/+, д л я которой / j ( r ) > Vj д л я некоторого j . Но
тогда, применяя лемму 2.3 к производным Л', / / в Е г , мы найдем направление
£ £ Е г такое, что h'(£) > 0 и /,-(£) > 0 при г ф j», а это противоречит тому, ч т о
г — точка максимума. •

Д о к а з а т е л ь с т в о л е м м ы 3.8. Рассмотрим середину у к р а т ч а й ш е й xz. Имеем

Л(у) > A(z) + 1/2 • (Л(х) - Л(*)) + cS-l\xz\3, Ш > /,-(*) - c\xz\\

Применяя е-открытость / , мы найдем такую точку s вблизи у, что s £ £/+, но

h(s) ^ h(z) + 1/2 (h(x) - h(z)) + c8~l\xz\2.

 Н А Ч А Л А ТЕОРИИ МОРСА 241

Теперь утверждение леммы следует из гарантируемого подлеммой 3.9 нера­

венства h(s) ^ h(z). •
Теперь условие 1.3(c) очевидно. Д л я проверки же условия 1.3(d) в отношении
точки х G U найдем точку z = Uv П у ^ 1 ( 0 ) и, пользуясь только что доказанной
леммой 3.8 и б-открытостью / , построим точку s вблизи z такую, что

fi(s) > fi(x) - X\xs\2, l^i^k, и h(s) > h(x) + С(5 _1 |хз| 2 .

Ясно, что направление £ Е Т,х кратчайшей xs удовлетворяет неравенствам

/,-(£) > 0, 1 ^ г ^ А : , и h'(£) > 0. На этом проверка регулярности точки х
заканчивается, так как неравенства (/ t -,/i ; )r < ~s/S для г, близких к р, были
установлены ранее. Таким образом, свойство 1.3 полностью доказано. •
Б л а г о д а р н о с т и . В заключение я хотел бы поблагодарить М. Л . Г р о м о в а з а
полезные обсуждения, А. В. Чернавского и Ш. У э й н б е р г е р а за консультации
по топологии. Я особенно признателен Ю . Д . Б у р а г о , который возбудил мой
интерес к пространствам Александрова.

СПИСОК ЛИТЕРАТУРЫ
[1] Бураго Ю., Громов М., Перельман Г., Пространства А. Д. Александрова с ограниченны­
ми снизу кривизнами, Успехи мат. наук 47, N* 2 (284) (1992), 3-51.
[2] Cheeger J., Critical points of distance functions and applications to geometry, Preprint (1990).
[3] Grove K., Shiohama K., A generalized sphere theorem, Ann. Math. 106 (1977), 201-211.
[4] Kwun K. W., Uniqueness of the open cone neighborhood, Proc. Amer. Math. Soc. 15 (1964), 476-479.
[5] Siebenmann L. C , Deformation of homeomorphisms on stratified, Comment. Math. Helv. 47 (1972),
123-163.

С.-Петербургское отделение Поступило

Математического института им. В. А. Стеклова РАН 2 сентября 1992 г.
191011, Санкт-Петербург, наб. Фонтанки, 27

16 Алгебра и анализ. 1993, Т. 5, вып, 1.