Радиус инъективности

Радиус инъективности — размер максимальной проколотой окрестности точки полного риманова многообразия, на которой расстояние до этой точки является гладкой функцией.

Радиус инъективности всего риманова многообразия определяется как точная нижняя грань радиусов инъективности во всех его точках.

Радиус инъективности в точке $\text{[math]}$ $\text{[math]}$ $p$ $p$ риманова многообразия $\text{[math]}$ $\text{[math]}$ $M$ $M$ обычно обозначается $\text{[math]}$ $\text{[math]}$ $i_{p}$ $i_{p}$ или $\text{[math]}$ $\text{[math]}$ $i_{p}(M)$ $i_{p}(M)$ . Радиус инъективности всего многообразия обозначается как $\text{[math]}$ $\text{[math]}$ $i(M)$ $i(M)$ .

Точное определениеПравить

Радиус инъективности в точке $\text{[math]}$ $\text{[math]}$ $p$ риманова многообразия — наибольший радиус шара в касательном пространстве, сужение на который экспоненциального отображения $\text{[math]}$ $\text{[math]}$ $\exp _{p}$ в $\text{[math]}$ $\text{[math]}$ $p$ является диффеоморфизмом.

СвойстваПравить

Радиус инъективности полунепрерывен сверху и положителен.

Радиус инъективности в точке равен расстоянию от точки до её множества раздела.

Для полных римановых многообразий, если радиус инъективности в точке $\text{[math]}$ $\text{[math]}$ $p$ является конечным числом $\text{[math]}$ $\text{[math]}$ $R$ , то существует геодезическая петля длиной $\text{[math]}$ $\text{[math]}$ $2\cdot R$ , которая начинается и заканчивается в $\text{[math]}$ $\text{[math]}$ $p$ , или имеется точка $\text{[math]}$ $\text{[math]}$ $q$ , сопряжённая с $\text{[math]}$ $\text{[math]}$ $p$ и находящаяся на расстоянии $\text{[math]}$ $\text{[math]}$ $R$ от $\text{[math]}$ $\text{[math]}$ $p$ .

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

ЛитератураПравить

Бураго Ю. Д., Залгаллер В. А. Введение в риманову геометрию. — СПб.: Наука, 1994. — 318 с.