El teorema de comparación de Rauch es un resultado fundamental de la geometría de Riemann . Probado por Rauch [1] .
El teorema establece que en espacios con mayor curvatura seccional , las geodésicas tienden a converger más rápido. La formulación precisa utiliza campos de Jacobi .
Sean y sean variedades riemannianas . Sean y geodésicas con velocidad unitaria tal que no tiene puntos conjugados a lo largo de , y sean campos de Jacobi normales a lo largo de y , tal que y . Supongamos que las curvaturas de la sección y en todas partes satisfacen , donde es un plano de 2 que contiene y es un plano de 2 que contiene . Entonces para todos .
Sea una variedad de Riemann y la geodésica no tenga puntos conjugados, entonces: