Гиперболичность в смысле Громова или -гиперболичность — глобальная характеристика метрического пространства, грубо говоря, напоминающая отрицательность кривизны; в частности пространство Лобачевского гиперболично в смысле Громова.
Гиперболичность в смысле Громова в основном применяется в геометрической теории групп. Она даёт удобную геометрическую интерпретацию для .
Определение
Пространство является -гиперболичным если для любых точек выполнялось
где обозначает произведение Громова:
Последнее неравенество эквивалентно выполнению
для любых точек .
Есть много других определений (иногда отличающихся изменением в несколько раз). Например следующее: если пространство геодезическое, то это условие эквивалентно тому, что для любых точек x, y, z пространства отрезок геодезической [xy] лежит в -окрестности объединения [xz] и [yz]. Иными словами — на кратчайшей [xy] найдётся точка t такая, что [xt] лежит в -окрестности [xz], а [ty] лежит в -окрестности [zy].
Свойства Гиперболичность является инвариантом квазиизометричных преобразований. Благодаря этому, гиперболичность группы не зависит от выбора системы образующих, использованной для задания словарной метрики. Если пространство содержит изометричную копию , оно не может быть гиперболичным. В частности, декартово произведение почти никогда не может быть гиперболическим. Инъективная оболочка -гиперболического пространства -гиперболическая. В частности, любое -гиперболическое пространство изометрично подмножеству в геодезическом -гиперболическом пространстве.
Примеры Любое компактное пространство гиперболично. Любое дерево является 0-гиперболическим пространством. Плоскость Лобачевского гиперболична в смысле Громова. Полагая, что кривизна равна плоскость Лобачевского является -гиперболической (в смысле четырёхточеного определения). Более того, любое пространство -гиперболично.
Примечания
Ссылки
П. де ля Арп, Э. Гис, Гиперболические группы по Михаилу Громову
Mikhail Gromov, Hyperbolic groups. Essays in group theory, 75—263, Math. Sci. Res. Inst. Publ., 8, Springer, New York, 1987.
Категория:Метрическая геометрия Категория:Александровская геометрия Категория:Геометрическая теория групп