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

Cartan–Hadamard theorem

В математике Теорема Картана – Адамара. это заявление в Риманова геометрия относительно структуры полного Римановы многообразия неположительных секционная кривизна. Теорема утверждает, что универсальный чехол такого многообразия диффеоморфный к Евклидово пространство через экспоненциальная карта в любой момент. Впервые это было доказано Ганс Карл Фридрих фон Мангольдт за поверхности в 1881 г. и независимо Жак Адамар в 1898 г. Эли Картан обобщил теорему на римановы многообразия в 1928 г. (Хелгасон 1978; ду Карму 1992; Кобаяси и Номидзу 1969). Теорема была далее обобщена на широкий класс метрические пространства к Михаил Громов в 1987 г .; подробные доказательства были опубликованы Баллманн (1990) для метрических пространств неположительной кривизны и Александр и епископ (1990) для общих локально выпуклых метрических пространств.

Риманова геометрия

Теорема Картана – Адамара в традиционной римановой геометрии утверждает, что универсальное перекрытие из связаны полный Риманово многообразие неположительных секционная кривизна является диффеоморфный к рп. Фактически для полных многообразий неположительной кривизны экспоненциальная карта в любой точке многообразия лежит накрывающее отображение.

Теорема верна и для Гильбертовы многообразия в том смысле, что экспоненциальное отображение неположительно искривленного геодезически полного связного многообразия является накрывающим отображением (Макалпин 1965; Lang 1991, IX, §3). Полнота здесь понимается в том смысле, что экспоненциальное отображение определено в целом. касательное пространство точки.

Метрическая геометрия

В метрическая геометрия, теорема Картана – Адамара - это утверждение, что универсальное покрытие связаны полное метрическое пространство неположительной кривизны Икс это Пространство Адамара. В частности, если Икс является односвязный тогда это геодезическое пространство в том смысле, что любые две точки соединены единственной минимизирующей геодезической, и, следовательно, стягиваемый.

Метрическое пространство Икс называется неположительно изогнутой, если каждая точка п есть район U в котором любые две точки соединены геодезический, и для любой точки z в U и геодезическая с постоянной скоростью γ в U, надо

Это неравенство полезно представить в виде геодезического треугольника Δ =zγ (0) γ (1). Левая часть - квадратное расстояние от вершины. z до середины противоположной стороны. Правая сторона представляет собой квадратное расстояние от вершины до середины противоположной стороны в евклидовом треугольнике, имеющем такую ​​же длину стороны, что и Δ. Это состояние, называемое CAT (0) условие это абстрактная форма Теорема сравнения треугольников топоногова.

Обобщение на локально выпуклые пространства

Предположение о неположительной кривизне можно ослабить (Александр и Епископ 1990), хотя и с более слабым выводом. Назовите метрическое пространство Икс выпуклый, если для любых двух постоянных скоростей минимизирует геодезические а(т) и б(т), функция

это выпуклая функция из т. Тогда метрическое пространство является локально выпуклым, если каждая точка имеет выпуклую в этом смысле окрестность. Теорема Картана – Адамара для локально выпуклых пространств утверждает:

  • Если Икс является локально выпуклым полным связным метрическим пространством, то универсальное покрытие Икс является выпуклым геодезическим пространством относительно метрика индуцированной длины d.

В частности, универсальное покрытие такого пространства стягиваемо. Выпуклость функции расстояния вдоль пары геодезических - хорошо известное следствие неположительной кривизны метрического пространства, но не эквивалентно (Ballmann 1990).

Значимость

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

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

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

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

  • Макалпин, Джон (1965), "Бесконечномерные многообразия и теория Морса", Тезис, Колумбийский университет.
  • Александр, Стефани Б.; Бишоп, Ричард Л. (1990), "Теорема Адамара-Картана в локально выпуклых метрических пространствах", Enseign. Математика., Серия 2, 36 (3–4): 309–320.
  • Баллманн, Вернер (1995), Лекции о пространствах неположительной кривизны, Семинар DMV 25, Базель: Birkhäuser Verlag, стр. Viii + 112, ISBN 3-7643-5242-6, МИСТЕР 1377265.
  • Bridson, Martin R .; Хефлигер, Андре (1999), Метрические пространства неположительной кривизны, Grundlehren der Mathematischen Wissenschaften 319, Berlin: Springer-Verlag, pp. Xxii + 643, ISBN 3-540-64324-9, МИСТЕР 1744486.
  • ду Карму, Манфреду Пердигау (1992), Риманова геометрия, Математика: теория и приложения, Бостон: Birkhäuser, стр. Xvi + 300, ISBN 0-8176-3490-8.
  • Кобаяси, Шошичи; Номидзу, Кацуми (1969), Основы дифференциальной геометрии, Vol. II, Tracts in Mathematics 15, New York: Wiley Interscience, pp. Xvi + 470, ISBN 0-470-49648-7.
  • Хельгасон, Сигурдур (1978), Дифференциальная геометрия, группы Ли и симметрические пространства, Чистая и прикладная математика 80, Нью-Йорк: Academic Press, стр. Xvi + 628, ISBN 0-12-338460-5.
  • Ланг, Серж (1999), Основы дифференциальной геометрии, Тексты для выпускников по математике, 191, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-98593-0, МИСТЕР 1666820.