WikiSort.ru - Не сортированное

Теорема сравнения Топоногова — классическая теорема римановой геометрии в целом.

В двумерном случае теорема была доказана Пиццетти (англ.)^[1], независимо передоказана Александровым^[2] и обобщена Топоноговым^[3] на старшие размерности.

Необходимые определения

Для формулировки теоремы нам потребуется пара определений. Пусть ${\displaystyle M}$ — полное риманово многообразие размерности хотя бы 2 и с секционной кривизной не меньше некоторой константы ${\displaystyle \kappa }$ .

Обозначим через ${\displaystyle \mathbb {M} _{\kappa }}$ модельную плоскость кривизны ${\displaystyle \kappa }$ . При ${\displaystyle \kappa =0}$ это евклидова плоскость, при ${\displaystyle \kappa >0}$ , ${\displaystyle \mathbb {M} _{\kappa }}$ изометрично поверхности сферы радиуса ${\displaystyle {\tfrac {1}{\sqrt {\kappa }}}}$ и при ${\displaystyle \kappa <0}$ , ${\displaystyle \mathbb {M} _{\kappa }}$ есть плоскость Лобачевского кривизны ${\displaystyle \kappa }$ .

Треугольником в ${\displaystyle M}$ называется тройка кратчайших соединяющие попарно три очки. При этом каждая из трёх точек называется вершиной треугольнка, а величина угла между парой исходящих из вершины кратчайших называется углом при этой вершине.

Пусть ${\displaystyle \triangle }$ есть треугольник в ${\displaystyle M}$ . Предположим в ${\displaystyle \mathbb {M} _{\kappa }}$ существует треугольник ${\displaystyle {\tilde {\triangle }}_{\kappa }}$ , с равными соответствующими сторонами и при этом такой треугольник ${\displaystyle {\tilde {\triangle }}_{\kappa }}$ является единственным с точностью до конгруэнтности. В этом случае треугольник ${\displaystyle {\tilde {\triangle }}_{\kappa }}$ называется модельным треугольником треугольника ${\displaystyle \triangle }$ в ${\displaystyle M}$ .

Заметим, что модельный треугольник ${\displaystyle {\tilde {\triangle }}_{\kappa }}$ всегда определён в случае если ${\displaystyle \kappa \leq 0}$ . В случае если ${\displaystyle \kappa >0}$ , это верно если периметр ${\displaystyle \triangle }$ строго меньше ${\displaystyle 2\cdot \pi /{\sqrt {\kappa }}}$ .

Пусть ${\displaystyle \triangle {\tilde {x}}{\tilde {y}}{\tilde {z}}}$ в ${\displaystyle \mathbb {M} _{\kappa }}$ есть модельный треугольник ${\displaystyle \triangle xyz}$ в ${\displaystyle M}$ . Определим модельный угол ${\displaystyle {\tilde {\measuredangle }}_{\kappa }xyz}$ как угловую меру ${\displaystyle \measuredangle {\tilde {x}}{\tilde {y}}{\tilde {z}}}$ .

Формулировка

Теорема. Пусть ${\displaystyle M}$ — полное риманово многообразие и с секционной кривизной не меньше некоторой константы ${\displaystyle \kappa }$ . Тогда для углы любого треугольника ${\displaystyle \triangle }$ в M не меньше соответствующих углов его модельного треугольника ${\displaystyle {\tilde {\triangle }}_{\kappa }}$ . Иначе говоря

${\displaystyle {\tilde {\measuredangle }}_{\kappa }xyz\leq \measuredangle xyz}$

для любого треугольника ${\displaystyle \triangle xyz}$ .

Следствия

• Предположим ${\displaystyle M}$ — полное риманово многообразие с неотрицательной секционной кривизной. Тогда для любой точки ${\displaystyle p\in M}$ , функция ${\displaystyle f(x)=|p-x|_{M}^{2}}$ является 2-вогнутой; то есть, для любой нормальной геодезической ${\displaystyle \gamma }$ функция ${\displaystyle t\mapsto f\circ \gamma (t)-t^{2}}$ является вогнутой.

Вариации и обобщения

• Обратная теорема также верна, то есть если сравнение углов верно для любого треугольника в римановом многообразии ${\displaystyle M}$ то ${\displaystyle M}$ имеет кривизну хотя бы ${\displaystyle \kappa }$ .

• Для каждой точки x на стороне треугольника ${\displaystyle \triangle }$ , обозначим через ${\displaystyle {\tilde {x}}}$ соответственную точку на стороне ${\displaystyle {\tilde {\triangle }}\kappa }$ . Тогда утверждение теоремы эквивалентно выполнению следующего неравенства

  ${\displaystyle |{\tilde {x}}-{\tilde {y}}|_{\mathbb {M} _{\kappa }}\leq |x-y|_{M}}$

где ${\displaystyle |x-y|_{M}}$ обозначает расстояние между точками ${\displaystyle x}$ и ${\displaystyle y}$ в римановом многообразии ${\displaystyle M}$ .

• Утверждение теоремы эквивалентно выполнению следующего неравенства

  ${\displaystyle {\tilde {\measuredangle }}_{\kappa }xpy+{\tilde {\measuredangle }}_{\kappa }ypz+{\tilde {\measuredangle }}_{\kappa }zpx\leq 2\cdot \pi }$

для произвольной четвёрки точек ${\displaystyle p,x,y,z\in M}$

См. также

• Теорема сравнения Рауха

Литература

• Громол Д., Клингенберг В., Мейер В., Риманова геометрия в целом, Мир, 1971, с. 343.
• Бураго Ю.Д., Залгаллер В.А., Введение в риманову геометрию 1991, с. 320

Ссылки