Квазиизометрия

Квазиизометрия — обобщение понятия изометрии на метрических пространствах, игнорирующая конечные отклонения, как абсолютные, так и относительные. Это понятие особенно важно в геометрической теории групп. Введено Михаилом Громовым.

Определение

Отображение $f:X\to Y$ (не обязательно непрерывное) отображение из одного метрического пространства в другое называется квазиизометрией если существуют константы $A\ge 1$, $B\ge 0$ и $C\ge 0$ такие, что следующие два свойства выполнены:

1. Для любых двух точек $x,x^{\prime }\in X$ выполняется

   $\frac{1}{A}\cdot |x-x^{\prime }{|}_X-B\le |f(x)-f(x^{\prime }){|}_Y\le A\cdot |x-x^{\prime }{|}_X+B.$

2. Для любой точк $y\in Y$ найдётся точка $x\in X$ такая, что

   $|f(x)-y{|}_Y\le C.$

Связанные определения

• Отображение удовлетворяющее только первому условию называется квазиизометрическим вложением.

• Пространства между которыми существует квазиизометрия называются квазиизометрические.

Применение в теории групп

Пусть $S$ конечное порождающее множество группы $G$. Рассмотрим соответствующий граф Кэли. Этот граф превращается в метрическое пространство, если мы заявляем, что длина каждого ребра равен 1.

Для другого порождающего множества $S^{\prime }$ эта конструкция даёт другое другое метрическое пространство, однако два полученных пространства квазиизометричны. Таким образом квазиизометрический класс этого пространства, является инвариантом группы $G$. То есть, не зависит от выбора порождающего множества.

Свойства

• Любая группа квазиизометрична любой своей подгруппе конечного индекса.
• Любая группа квазиизометрична любой своей фактор-группе по конечной нормальной подгруппе.

Литература

• Шаблон:Книга