В математике неравенство Бишопа –Громова — теорема сравнения в римановой геометрии , названная в честь Ричарда Л. Бишопа и Михаила Громова . Она тесно связана с теоремой Майерса и является ключевым моментом в доказательстве теоремы Громова о компактности . [1]
Пусть — полное n -мерное риманово многообразие, кривизна Риччи которого удовлетворяет нижней границе
для константы . Пусть будет полным n -мерным односвязным пространством постоянной секционной кривизны (и, следовательно, постоянной кривизны Риччи ); таким образом, является n -сферой радиуса , если , или n -мерным евклидовым пространством , если , или соответствующим образом перемасштабированной версией n -мерного гиперболического пространства , если . Обозначим через шар радиуса r вокруг точки p , определенный относительно римановой функции расстояния .
Тогда для любых и функция
не возрастает на .
Когда r стремится к нулю, отношение приближается к единице, поэтому вместе с монотонностью это означает, что
Эту версию впервые доказал Бишоп. [2] [3]