Пространство Адамара - Hadamard space

В пространстве Адамара треугольник гиперболический; то есть средний на картинке. Фактически, любое полное метрическое пространство, где треугольник гиперболический, является пространством Адамара.

В геометрия, Пространство Адамара, названный в честь Жак Адамар, является нелинейным обобщением Гильбертово пространство. В литературе они также равнозначно определяются как полные CAT (0) пробелы.

Пространство Адамара определяется как непустое[1] полный метрическое пространство так что, учитывая любые точки Икс, у, существует точка м так что для каждой точкиz,

Смысл м тогда середина Икс и у: .

В гильбертовом пространстве указанное выше неравенство является равенством (с ), и вообще пространство Адамара называется плоский если указанное выше неравенство равно равенству. Плоское пространство Адамара изоморфно замкнутому выпуклому подмножеству гильбертова пространства. В частности, нормированное пространство является пространством Адамара тогда и только тогда, когда оно является гильбертовым пространством.

Геометрия пространств Адамара похожа на геометрию гильбертовых пространств, что делает их естественным местом для изучения теоремы о жесткости. В пространстве Адамара любые две точки могут быть соединены уникальным геодезический между ними; в частности, это стягиваемый. В общем, если B является ограниченным подмножеством метрического пространства, то содержащий его центр замкнутого шара минимального радиуса называется центр окружности из B.[2] Каждое ограниченное подмножество пространства Адамара содержится в наименьшем замкнутом шаре (который совпадает с замыканием его выпуклой оболочки). Если это группа из изометрии пространства Адамара, оставляя инвариантным B, тогда фиксирует центр окружности B. (Теорема Брюа – Титса о неподвижной точке)

Основным результатом для многообразия неположительной кривизны является Теорема Картана – Адамара.. Аналог верен для пространства Адамара: полное связное метрическое пространство, локально изометричное пространству Адамара, имеет пространство Адамара в качестве универсальный чехол. Его вариант применяется для неположительно изогнутых орбифолды. (ср. Лурье.)

Примеры пространств Адамара: Гильбертовы пространства, то Диск Пуанкаре, полный метрические деревья (например, заполнить Здание Брюа – Титса ), (п, q)-Космос с п, q ≥ 3 и 2pq ≥ п + q, и Многообразия Адамара, т.е. полные односвязные Римановы многообразия неположительных секционная кривизна. Важными примерами многообразий Адамара являются односвязные неположительно искривленные симметричные пространства.

Приложения пространств Адамара не ограничиваются геометрией. В 1998 г. Дмитрий Бураго и Серж Ферлегер [3] использовал CAT (0) геометрия решить проблему в Динамический бильярд: в газе твердых шаров есть ли единообразное ограничение на количество столкновений? Решение начинается с построения конфигурационного пространства для динамическая система, полученный соединением копий соответствующего биллиардного стола, который оказывается пространством Адамара.

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

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

  1. ^ Предположение о «непустом» имеет смысл: теорема о неподвижной точке часто утверждает, что множество неподвижных точек является пространством Адамара. Основное содержание такого утверждения состоит в том, что множество непусто.
  2. ^ Курс метрической геометрии, стр. 334.
  3. ^ Бураго Д., Ферлегер С. Равномерные оценки числа столкновений в полурассеивающих бильярдах. Анна. математики. 147 (1998), 695-708
  • Bridson, Martin R .; Хефлигер, Андре (1999), Метрические пространства неположительной кривизны, Springer
  • Пападопулос, Атанас (2014), Метрические пространства, выпуклость и неположительная кривизна, ИРМА Лекции по математике и теоретической физике, 6 (Второе изд.), Европейское математическое общество, ISBN  978-3-03719-132-3
  • Бураго, Дмитрий; Юрий Бураго и Сергей Иванов. Курс метрической геометрии. Американское математическое общество. (1984)
  • Джейкоб Лурье: Заметки по теории пространств Адамара
  • Александр С., Капович В., Петрунин А. Заметки о геометрии Александрова