Русская Википедия:Неравенство Пу

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Неравенство Пу даёт нижнюю оценку на площадь проективной плоскости с римановой метрикой через длину кратчайшей нестягиваемой замкнутой кривой. Является одним из фундаментальных утверждений систолической геометрии.

Неравенство доказал Баомин Пу в своей диссертации защищённой под руководством Чарльза Левнера

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

Оригинальная

Пусть <math> g</math> есть риманова метрика на вещественной проективной плоскости <math>\R\mathrm{P}^2</math>. Тогда

<math> S \geq \frac{2}{\pi} \cdot \ell^2,</math>

где <math> S</math> — площадь <math>(\R\mathrm{P}^2,g)</math>, a <math>\ell</math> — его ситоль, то есть длина кратчайшей нестягиваемой кривой в <math>(\R\mathrm{P}^2,g)</math>.

Более того равенство достигается только для канонической метрики с точностью до умножения на положительную постоянную.

Через филинг-объём

Филинг окружности длины <math>2{\cdot}\pi</math> диском имеет площадь не меньше чем площадь полусферы. Более того, в случае равенства диск изометричен полусфере.

Замечание

  • Гипотеза Громова состоит в том, что тоже неравество выполняется для произвольных филингов (не обязательно гомеоморфных диску).

Литература