Un teorema de comparación en geometría riemanniana que relaciona triángulos geodésicos en una variedad riemanniana completa con triángulos en un espacio modelo de curvatura seccional constante, dado un cota inferior sobre la curvatura seccional de la variedad.

Principio

Si una variedad riemanniana completa tiene curvatura seccional acotada por debajo por κ, entonces las distancias y los ángulos en triángulos geodésicos pequeños se comportan al menos como en el espacio modelo simplemente conexo de curvatura κ; las desigualdades de triángulos y comparaciones de bisagras traducen información de curvatura en comparaciones métricas.

Demostración

Sea M una variedad completa con curvatura seccional ≥0. Tomando tres puntos unidos por geodésicas minimizantes que forman un triángulo geodésico en M, Toponogov compara ese triángulo con un triángulo euclidiano de las mismas longitudes laterales y obtiene desigualdades angulares que muestran que las sumas de ángulos y las relaciones de lados en M no son menores que en el triángulo de comparación euclidiano.

Aplicación incorrecta

Usar el teorema sin cotas de curvatura, emplear caminos rotos no minimizantes en lugar de geodésicas minimizantes, o aplicar la comparación local sin asegurar la completitud o la cota de curvatura requerida puede producir conclusiones geométricas falsas.

Consecuencia

De las cotas locales de curvatura se siguen conclusiones geométricas y topológicas globales: teoremas de diámetro y de rigidez, control de puntos conjugados, teoremas de la esfera y restricciones sobre la forma métrica a gran escala de la variedad.

Inversión

Invertir la desigualdad sobre la curvatura (cotizaciones superiores en lugar de inferiores) conduce a declaraciones de comparación diferentes; comparar con espacios de mayor curvatura puede invertir desigualdades angulares y producir restricciones métricas opuestas.

Límite

Se aplica a variedades riemannianas completas (y a espacios de Alexandrov adecuados) con una cota inferior especificada de curvatura seccional; no se aplica directamente a espacios singulares sin estructura de Alexandrov, a espacios métricos arbitrarios sin cotas de curvatura, ni a triángulos formados por curvas no minimizantes.

Tensión semántica

Existe tensión entre la información tensorial puntual de la curvatura seccional y las desigualdades métricas, basadas en triángulos, que produce Toponogov; resultados relacionados como la comparación de Rauch usan análisis de campos de Jacobi y ofrecen controles distintos, a veces complementarios.

Síntesis

El teorema de Toponogov convierte una cota inferior de la curvatura seccional en desigualdades métricas concretas para triángulos geodésicos mediante su comparación con triángulos en un modelo de curvatura constante, permitiendo deducir consecuencias geométricas y topológicas globales a partir de hipótesis locales de curvatura.