CAT (k) пробел - CAT(k) space

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

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

Определения

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

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

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

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

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

Геодезическое метрическое пространство ${displaystyle (X,d)}$ считается ${displaystyle mathbf {operatorname { extbf {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}$ (и постоянная кривизна ${displaystyle {frac {1}{r^{2}}}}$) это ${displaystyle operatorname {CAT} ({frac {1}{r^{2}}})}$ Космос. Обратите внимание, что диаметр сферы равен ${displaystyle pi r}$ (при измерении на поверхности сферы) не ${displaystyle 2r}$ (при измерении через центр сферы).
• В проколотый самолет ${displaystyle Pi =mathbf {E} ^{2}ackslash {mathbf {0} }}$ это не ${displaystyle operatorname {CAT} (0)}$ пространство, поскольку оно не является геодезически выпуклым (например, точки ${displaystyle (0,1)}$ и ${displaystyle (0,-1)}$ не может быть соединен геодезической в ${displaystyle Pi }$ с длиной дуги 2), но каждая точка ${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)|x>0,y>0{ ext{ and }}z>0}}$

с метрикой индуцированной длины не а ${displaystyle operatorname {CAT} (k)}$ место для любого ${displaystyle k}$.

• Любой продукт ${displaystyle operatorname {CAT} (0)}$ пробелы ${displaystyle operatorname {CAT} (0)}$. (Это не относится к отрицательным аргументам.)

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

Основная статья: Пространство Адамара

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

${displaystyle tmapsto d{ig (}sigma _{1}(t),sigma _{2}(t){ig )}}$

выпуклый в т.

Свойства ${displaystyle operatorname {CAT} (k)}$ пробелы

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

• Учитывая любые две точки ${displaystyle x,yin 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 {ig {}d(x,m'),d(y,m'){ig }}leq {frac {1}{2}}d(x,y)+delta ,}$

тогда ${displaystyle d(m,m')<epsilon }$.

• Из этих свойств следует, что при ${displaystyle kleq 0}$ универсальная обложка каждого ${displaystyle operatorname {CAT} (k)}$ пространство сжимаемо; в частности, высшие гомотопические группы такого пространства банальный. В качестве примера ${displaystyle n}$-сфера ${displaystyle mathbf {S} ^{n}}$ показывает, в целом надежды на ${displaystyle operatorname {CAT} (k)}$ пространство быть сокращаемым, если ${displaystyle k>0}$.

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

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

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

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

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

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

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

ж(т) = d(а,c(т))² − т²

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

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

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

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

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

ты² + ЧАС⁻¹ЧАС_рv² ≥ 1,

где (ты,v) соответствует единичному вектору ċ(т). Это следует из неравенства ЧАС_р ≥ ЧАС, следствие неотрицательности производной от Вронскиан из ЧАС и р от Теория Штурма – Лиувилля.^[1]

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

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

использованная литература

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

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