En matemáticas , la desigualdad de Bishop-Gromov es un teorema de comparación en geometría de Riemann , que lleva el nombre de Richard L. Bishop y Mikhail Gromov . Está estrechamente relacionado con el teorema de Myers y es el punto clave en la demostración del teorema de compacidad de Gromov . [1]
Sea una variedad de Riemann n -dimensional completa cuya curvatura de Ricci satisface el límite inferior
para una constante . Sea el espacio completo n -dimensional simplemente conectado de curvatura seccional constante (y por tanto de curvatura de Ricci constante ); así es la n - esfera de radio si , o el espacio euclidiano n -dimensional si , o una versión apropiadamente reescalada del espacio hiperbólico n -dimensional si . Denota por la bola de radio r alrededor de un punto p , definido con respecto a la función de distancia de Riemann .
Entonces, para cualquiera y , la función
no es creciente en .
Cuando r tiende a cero, la relación se acerca a uno, por lo que junto con la monotonicidad esto implica que
Esta es la versión probada por primera vez por Bishop. [2] [3]