CAT(k) пространство

Тип метрического пространства в математике

В математике пространство , где – действительное число, представляет собой особый тип метрического пространства . Интуитивно понятно, что треугольники в пространстве (с ) «тоньше», чем соответствующие «модельные треугольники» в стандартном пространстве постоянной кривизны . В пространстве кривизна ограничена сверху величиной . Примечательным частным случаем является ; полные пространства известны как « пространства Адамара » в честь французского математика Жака Адамара . ${\displaystyle \mathbf {\operatorname {\textbf {CAT}} } (k)}$ ${\displaystyle k}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle k<0}$ ${\displaystyle k}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle k}$ ${\displaystyle k=0}$ ${\displaystyle \operatorname {CAT} (0)}$

Первоначально Александров назвал эти пространства « доменами». Терминология была придумана Михаилом Громовым в 1987 году и является аббревиатурой от Эли Картана , Александра Даниловича Александрова и Виктора Андреевича Топоногова (хотя Топоногов никогда не исследовал в публикациях кривизну, ограниченную выше). ${\displaystyle {\mathfrak {R}}_{k}}$ ${\displaystyle \operatorname {CAT} (k)}$

Определения

Смоделируйте треугольники в пространствах положительной (вверху), отрицательной (средней) и нулевой (внизу) кривизны.

Для действительного числа через обозначим единственную полную односвязную поверхность (вещественное двумерное риманово многообразие ) постоянной кривизны . Обозначим через диаметр , который равен if и равен if . ${\displaystyle k}$ ${\displaystyle M_{k}}$ ${\displaystyle k}$ ${\displaystyle D_{k}}$ ${\displaystyle M_{k}}$ ${\displaystyle \infty }$ ${\displaystyle k\leq 0}$ ${\displaystyle {\frac {\pi }{\sqrt {k}}}}$ ${\displaystyle k>0}$

Пусть — геодезическое метрическое пространство , т.е. метрическое пространство, для которого каждые две точки могут быть соединены геодезическим сегментом, параметризованной длиной дуги непрерывной кривой , длина которой ${\displaystyle (X,d)}$ ${\displaystyle x,y\in X}$ ${\displaystyle \gamma \colon [a,b]\to X,\ \gamma (a)=x,\ \gamma (b)=y}$

${\displaystyle L(\gamma )=\sup \left\{\left.\sum _{i=1}^{r}d{\big (}\gamma (t_{i-1}),\gamma (t_{i}){\big )}\right|a=t_{0}<t_{1}<\cdots <t_{r}=b,r\in \mathbb {N} \right\}}$

это точно . Пусть – треугольник с геодезическими отрезками в качестве сторон. Говорят, что он удовлетворяет неравенству, если в пространстве модели существует треугольник сравнения со сторонами той же длины, что и стороны , такой, что расстояния между точками на меньше или равны расстояниям между соответствующими точками на . ${\displaystyle d(x,y)}$ ${\displaystyle \Delta }$ ${\displaystyle X}$ ${\displaystyle \Delta }$ ${\displaystyle \mathbf {\operatorname {\textbf {CAT}} } (k)}$ ${\displaystyle \Delta '}$ ${\displaystyle M_{k}}$ ${\displaystyle \Delta }$ ${\displaystyle \Delta }$ ${\displaystyle \Delta '}$

Геодезическое метрическое пространство называется пространством, если каждый геодезический треугольник с периметром меньше , чем удовлетворяет неравенству . Метрическое пространство (не обязательно геодезическое) называется пространством кривизны, если каждая точка имеет геодезически выпуклую окрестность . Можно сказать, что пространство с кривизной имеет неположительную кривизну . ${\displaystyle (X,d)}$ ${\displaystyle \mathbf {\operatorname {\textbf {CAT}} } (k)}$ ${\displaystyle \Delta }$ ${\displaystyle X}$ ${\displaystyle 2D_{k}}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle (X,\,d)}$ ${\displaystyle \leq k}$ ${\displaystyle X}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle \leq 0}$

Примеры

• Любое пространство – это также пространство для всех . На самом деле верно обратное: если есть пространство для всех , то это пространство. ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle (X,d)}$ ${\displaystyle \operatorname {CAT} (\ell )}$ ${\displaystyle \ell >k}$ ${\displaystyle (X,d)}$ ${\displaystyle \operatorname {CAT} (\ell )}$ ${\displaystyle \ell >k}$ ${\displaystyle \operatorname {CAT} (k)}$
• -мерное евклидово пространство со своей обычной метрикой является пространством . В более общем смысле любое реальное пространство внутреннего продукта (не обязательно полное) является пространством; и наоборот, если действительное нормированное векторное пространство является пространством для некоторого действительного , то это пространство внутреннего продукта. ${\displaystyle n}$ ${\displaystyle \mathbf {E} ^{n}}$ ${\displaystyle \operatorname {CAT} (0)}$ ${\displaystyle \operatorname {CAT} (0)}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle k}$
• -мерное гиперболическое пространство со своей обычной метрикой является пространством , а значит, и пространством. ${\displaystyle n}$ ${\displaystyle \mathbf {H} ^{n}}$ ${\displaystyle \operatorname {CAT} (-1)}$ ${\displaystyle \operatorname {CAT} (0)}$
• -мерная единичная сфера представляет собой пространство. ${\displaystyle n}$ ${\displaystyle \mathbf {S} ^{n}}$ ${\displaystyle \operatorname {CAT} (1)}$
• В более общем смысле стандартное пространство — это пространство. Так, например, независимо от размерности сфера радиуса (и постоянной кривизны ) является пространством. Обратите внимание, что диаметр сферы (измеренный на поверхности сферы) не (измеренный через центр сферы). ${\displaystyle M_{k}}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle r}$ ${\textstyle {\frac {1}{r^{2}}}}$ ${\textstyle \operatorname {CAT} \left({\frac {1}{r^{2}}}\right)}$ ${\displaystyle \pi r}$ ${\displaystyle 2r}$
• Проколотая плоскость не является пространством, поскольку она не геодезически выпукла (например, точки и не могут быть соединены геодезической с длиной дуги 2), но каждая точка имеет геодезически выпуклую окрестность, поэтому является пространством кривизны. . ${\displaystyle \Pi =\mathbf {E} ^{2}\backslash \{\mathbf {0} \}}$ ${\displaystyle \operatorname {CAT} (0)}$ ${\displaystyle (0,1)}$ ${\displaystyle (0,-1)}$ ${\displaystyle \Pi }$ ${\displaystyle \Pi }$ ${\displaystyle \operatorname {CAT} (0)}$ ${\displaystyle \Pi }$ ${\displaystyle \leq 0}$
• Замкнутое подпространство данного , снабженное индуцированной метрикой длины, не является пространством ни для какого . ${\displaystyle X}$ ${\displaystyle \mathbf {E} ^{3}}$ ${\displaystyle X=\mathbf {E} ^{3}\setminus \{(x,y,z)\mid x>0,y>0{\text{ and }}z>0\}}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle k}$
• Любое произведение пространств есть . (Это не относится к отрицательным аргументам.) ${\displaystyle \operatorname {CAT} (0)}$ ${\displaystyle \operatorname {CAT} (0)}$

Пространства Адамара

В частном случае полное пространство CAT(0) также известно как пространство Адамара ; это по аналогии с ситуацией для многообразий Адамара . Пространство Адамара стягиваемо (оно имеет гомотопический тип одной точки), и между любыми двумя точками пространства Адамара существует единственный соединяющий их геодезический отрезок (фактически оба свойства справедливы и для общего, возможно, неполного, CAT (0) пробелы). Самое главное, что функции расстояния в пространствах Адамара выпуклы : если две геодезические в X определены на одном и том же интервале времени I , то функция, заданная формулой ${\displaystyle \sigma _{1},\sigma _{2}}$ ${\displaystyle I\to \mathbb {R} }$

${\displaystyle t\mapsto d{\big (}\sigma _{1}(t),\sigma _{2}(t){\big )}}$

выпукло по t .

Свойства пространств CAT( k )

Пусть будет пространство. Тогда выполняются следующие свойства: ${\displaystyle (X,d)}$ ${\displaystyle \operatorname {CAT} (k)}$

• Учитывая любые две точки (с if ), существует уникальный геодезический сегмент, который соединяется с ; более того, этот отрезок непрерывно меняется в зависимости от его конечных точек. ${\displaystyle x,y\in X}$ ${\displaystyle d(x,y)<D_{k}}$ ${\displaystyle k>0}$ ${\displaystyle x}$ ${\displaystyle y}$
• Любая локальная геодезическая длиной не более является геодезической. ${\displaystyle X}$ ${\displaystyle D_{k}}$
• - шары радиусом меньше, чем ( геодезически) выпуклые. ${\displaystyle d}$ ${\displaystyle X}$ ${\displaystyle D_{k}/2}$
• -Шарики радиуса меньше, чем сжимаемые. ${\displaystyle d}$ ${\displaystyle X}$ ${\displaystyle D_{k}}$
• Приближенные середины близки к серединам в следующем смысле: для всякого и всякого существует такое, что если — середина геодезического отрезка от до с и ${\displaystyle \lambda <D_{k}}$ ${\displaystyle \epsilon >0}$ ${\displaystyle \delta =\delta (k,\lambda ,\epsilon )>0}$ ${\displaystyle m}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle d(x,y)\leq \lambda }$
  $${\displaystyle \max {\bigl \{}d(x,m'),d(y,m'){\bigr \}}\leq {\frac {1}{2}}d(x,y)+\delta ,}$$
  затем . ${\displaystyle d(m,m')<\epsilon }$
• Из этих свойств следует, что универсальная оболочка всякого пространства стягиваема; в частности, высшие гомотопические группы такого пространства тривиальны . Как показывает пример -сферы , вообще говоря, нет никакой надежды на сжимаемость пространства, если . ${\displaystyle k\leq 0}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle n}$ ${\displaystyle \mathbf {S} ^{n}}$ ${\displaystyle \operatorname {CAT} (k)}$ ${\displaystyle k>0}$

Поверхности неположительной кривизны

В области, где кривизна поверхности удовлетворяет K ≤ 0 , геодезические треугольники удовлетворяют CAT(0) неравенствам геометрии сравнения , изученным Картаном , Александровым и Топоноговым , и рассмотренным позже с другой точки зрения Брюа и Титсом . Благодаря видению Громова , эта характеристика неположительной кривизны в терминах основного метрического пространства оказала глубокое влияние на современную геометрию и, в частности, на геометрическую теорию групп . Многие результаты, известные для гладких поверхностей и их геодезических, такие как метод Биркгофа построения геодезических с помощью его процесса укорочения кривых или теорема Ван Мангольдта и Адамара о том, что односвязная поверхность неположительной кривизны гомеоморфна плоскости, одинаково справедливы в этой более общая установка.

Неравенство сравнения Александрова

Медиана в треугольнике сравнения всегда длиннее фактической медианы.

Простейшая форма неравенства сравнения, впервые доказанная для поверхностей Александровым около 1940 года, гласит, что

Расстояние между вершиной геодезического треугольника и серединой противоположной стороны всегда меньше соответствующего расстояния в треугольнике сравнения в плоскости с одинаковыми длинами сторон.

Неравенство следует из того, что если c ( t ) описывает геодезическую, параметризованную длиной дуги, и a — фиксированная точка, то

ж ( т ) знак равно d ( а , c ( т )) ² - т ²

является выпуклой функцией , т.е.

${\displaystyle {\ddot {f}}(t)\geq 0.}$

Взяв геодезические полярные координаты с началом в точке a так, что ‖ c ( t )‖ = r ( t ) , выпуклость эквивалентна

${\displaystyle r{\ddot {r}}+{\dot {r}}^{2}\geq 1.}$

При переходе к нормальным координатам u , v в точке c ( t ) это неравенство принимает вид

ты ² + ЧАС ^-1 ЧАС _р v ² ≥ 1 ,

где ( u , v ) соответствует единичному вектору ċ ( t ) . Это следует из неравенства H _r ≥ H , являющегося следствием неотрицательности производной вронскиана H и r из теории Штурма – Лиувилля . ^[1]

Смотрите также

• Теорема Картана–Адамара.

Рекомендации

1. Бергер 2004; Йост, Юрген (1997), Неположительная кривизна: геометрические и аналитические аспекты , Лекции по математике, ETH Zurich, Birkhäuser, ISBN 978-0-8176-5736-9

• Александр, Стефани; Капович, Виталий; Петрунин Антон. «Александровская геометрия, глава 7» (PDF) . Проверено 7 апреля 2011 г.
• Александр, Стефани; Капович, Виталий; Петрунин Антон. «Приглашение к геометрии Александрова: пространства CAT[0]». arXiv : 1701.03483 [math.DG].
• Баллманн, Вернер (1995). Лекции о пространствах неположительной кривизны . Семинар DMV 25. Базель: Birkhäuser Verlag. стр. VIII+112. ISBN 3-7643-5242-6. МР  1377265.
• Бергер, Марсель (2004). Панорама римановой геометрии . Берлин: Springer-Verlag. ISBN 978-3-540-65317-2.
• Бридсон, Мартин Р .; Хефлигер, Андре (1999). Метрические пространства неположительной кривизны . Grundlehren der Mathematischen Wissenschaften [Основные принципы математических наук] 319. Берлин: Springer-Verlag. стр. XXII+643. ISBN 3-540-64324-9. МР  1744486.
• Громов, Михаил (1987). «Гиперболические группы». Очерки по теории групп . Математика. наук. Рез. Инст. Опубл. 8. Нью-Йорк: Спрингер. стр. 75–263. МР  0919829.
• Хиндави, Мохамад А. (2005). Асимптотические инварианты многообразий Адамара (PDF) . Пенсильванский университет: докторская диссертация.