Русская Википедия:Радиус инъективности
Радиус инъективности — размер максимальной проколотой окрестности точки полного риманова многообразия, на которой расстояние до этой точки является гладкой функцией.
Радиус инъективности всего риманова многообразия определяется как точная нижняя грань радиусов инъективности во всех его точках.
Радиус инъективности в точке <math>p</math> риманова многообразия <math>M</math> обычно обозначается <math>i_p</math>, <math>i_p(M)</math> или <math>r_i(p)_M</math>. Радиус инъективности всего многообразия обозначается как <math>i(M)</math>.
Точное определение
Радиус инъективности в точке <math>p</math> риманова многообразия — наибольший радиус шара в касательном пространстве, сужение на который экспоненциального отображения <math>\exp_p</math> в <math>p</math> является диффеоморфизмом.
Свойства
- Радиус инъективности полунепрерывен сверху и положителен.
- Радиус инъективности в точке равен расстоянию от точки до её множества раздела.
- Теорема Клингенберга. Для полных римановых многообразий, если радиус инъективности в точке <math>p</math> является конечным числом <math>R</math>, то существует геодезическая петля длиной <math>2\cdot R</math>, которая начинается и заканчивается в <math>p</math>, или имеется точка <math>q</math>, сопряжённая с <math>p</math> и находящаяся на расстоянии <math>R</math> от <math>p</math>.[1]
- Для замкнутых римановых многообразий радиус инъективности равен половине минимальной длины замкнутой геодезической, то есть минимальному расстоянию между сопряжёнными точками на геодезической.
Примечания
Литература
- ↑ см. 24.1.6. в книге Бураго—Залгаллера.
