Русская Википедия:Теорема Адамара — Картана

Материал из Онлайн справочника
Версия от 18:44, 19 сентября 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} '''Теорема Адамара — Картана''' — утверждение о том, что универсальное накрытие риманова многообразия с неположительной кривизной диффеоморфно Евклидово пространство|евклидову простр...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Теорема Адамара — Картана — утверждение о том, что универсальное накрытие риманова многообразия с неположительной кривизной диффеоморфно евклидову пространству.

История

Для поверхностей в евклидовом пространстве теорема была доказана фон Мангольдтом в 1881 году[1], и независимо Адамаром в 1898 году[2]. Общий случай был доказан Картаном в 1928 году[3].

Обобщения на метрические пространства в разной общности были получены Буземаном[4][5] и Риновом[6], Громовым[7], а также Александер и Бишопом[8].

Формулировка

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

Вариации и обобщения

  • Теорема обобщается на гильбертовы многообразия в том смысле, что экспоненциальное отображение является универсальным накрытием. При этом полнота понимается в том смысле, что экспоненциальный отображение определено на всём касательном пространстве к точке.
  • Теорема Картана — Адамара для метрических пространств: метрическое пространство Х с неположительной кривизной в смысле Александрова является CAT(0)-пространством.
    • В частности, если X односвязно, то любые две точки в нём соединяются единственной геодезической, а значит, X является стягиваемым.

Предположение о неположительной кривизны может быть ослаблено[8]. Назовём метрическое пространство X выпуклым, если для любых двух геодезических a(t) и b(t) функция

<math>t\mapsto d(a(t),b(t))</math>

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

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

Примечания

Шаблон:Примечания

  1. Шаблон:Статья
  2. Шаблон:Статья
  3. Шаблон:Книга
  4. Busemann, H. Spaces with non-positive curvature. Acta Mathematica 80 (1948), 259--310.
  5. Шаблон:Книга
  6. Rinow, W. Die innere Geometrie der metrischen Raume. Springer, Berlin, Geidelberg, New York, 1961.
  7. 7,0 7,1 Шаблон:Статья
  8. 8,0 8,1 Шаблон:Статья