Неравенство гноя - Pus inequality - Wikipedia

Анимация Римская поверхность представляющий RP2 в р3

В дифференциальная геометрия, Неравенство Пу, доказано Пао Мин Пу, связывает площадь произвольного Риманова поверхность гомеоморфен реальная проективная плоскость с длина замкнутых кривых, содержащихся в нем.

Заявление

Студент Чарльз Лёвнер Пу доказал в своей диссертации 1950 г. (Пу 1952 г. ), что каждая риманова поверхность гомеоморфен реальная проективная плоскость удовлетворяет неравенству

куда это систола из Равенство достигается именно тогда, когда метрика имеет постоянную Гауссова кривизна.

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

В статье Пу также впервые говорится Неравенство Лёвнера, аналогичный результат для римановых метрик на тор.

Доказательство

Оригинальное доказательство Пу опирается на теорема униформизации и использует аргумент усреднения следующим образом.

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

куда - элемент евклидовой длины, а функция , называется конформный фактор, удовлетворяет .

Точнее универсальный чехол из является , петля несокращаемо тогда и только тогда, когда его подъем идет от одной точки к противоположной, и длина каждой кривой является

При условии ограничения, что каждая из этих длин не менее , мы хотим найти что сводит к минимуму

куда это верхняя половина сферы.

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

и неравенство строгое, если только функции равны.

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

Переформулировка

В качестве альтернативы, каждая метрика на сфере инвариантный относительно антиподального отображения допускает пару противоположных точек на римановом расстоянии удовлетворение

Более подробное объяснение этой точки зрения можно найти на странице Введение в систолическую геометрию.

Гипотеза области заполнения

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

Чтобы объяснить эту формулировку, мы начнем с наблюдения, что экваториальная окружность блока -сфера это Риманов круг длины . Точнее, функция риманова расстояния от индуцируется окружающим римановым расстоянием на сфере. Обратите внимание, что это свойство не выполняется при стандартном вложении единичной окружности в евклидову плоскость. В самом деле, евклидово расстояние между парой противоположных точек окружности равно только , а в римановом круге это .

Считаем все пломбы по -мерный диск такой, что метрика, индуцированная включением окружности в качестве границы диска, является римановой метрикой окружности длины . Включение круга в качестве границы тогда называется сильно изометрическим вложением окружности.

Громов предполагаемый что круглое полушарие дает "лучший" способ заполнения круга, даже когда заполняющей поверхности разрешено иметь положительный род (Громов 1983 ).

Изопериметрическое неравенство

Неравенство Пу имеет любопытное сходство с классическим изопериметрическое неравенство

за Кривые Иордании в самолете, где - длина кривой, а это площадь области, которую он ограничивает. А именно, в обоих случаях 2-мерная величина (площадь) ограничена (квадратом) 1-мерной величины (длины). Однако неравенство идет в обратном направлении. Таким образом, неравенство Пу можно рассматривать как «противоположное» изопериметрическое неравенство.

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

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

  • Громов, Михаил (1983). «Заполняющие римановы многообразия». J. Differential Geom. 18 (1): 1–147. Дои:10.4310 / jdg / 1214509283. МИСТЕР  0697984.CS1 maint: ref = harv (связь)
  • Громов, Михаил (1996). «Систолы и межсистолические неравенства». В Бессе, Артур Л. (ред.). Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992) [Материалы круглого стола по дифференциальной геометрии]. Séminaires et Congrès. 1. Париж: Soc. Математика. Франция. С. 291–362. ISBN  2-85629-047-7. МИСТЕР  1427752.
  • Громов, Миша (1999) [1981]. Метрические структуры для римановых и неримановых пространств. Успехи в математике. 152. С приложениями М. Каца, П. Пансу и С. Семмеса. Перевод с французского Шона Майкла Бейтса. Бостон, Массачусетс: Birkhäuser Boston, Inc. ISBN  0-8176-3898-9. МИСТЕР  1699320.
  • Кац, Михаил Г. (2007). Систолическая геометрия и топология. Математические обзоры и монографии. 137. С приложением Дж. Соломона. Провиденс, Род-Айленд: Американское математическое общество. Дои:10.1090 / Surv / 137. ISBN  978-0-8218-4177-8. МИСТЕР  2292367.
  • Пу, Пао Мин (1952). «Некоторые неравенства в некоторых неориентируемых римановых многообразиях». Pacific J. Math. 2 (1): 55–71. Дои:10.2140 / pjm.1952.2.55. МИСТЕР  0048886.CS1 maint: ref = harv (связь)