Definición
Resultado fundamental que relaciona la integral de la curvatura de una variedad compacta orientada (o la forma de curvatura apropiada en dimensiones superiores) con un invariante topológico de la variedad, la característica de Euler.
Principio
Principio
La curvatura total, expresada por la integral de una forma de curvatura, es igual a un índice topológico: la clase de Euler evaluada en la clase fundamental; en dos dimensiones la integral de la curvatura gaussiana es 2π por la característica de Euler.
Demostración
Demostración
En la esfera S^2 la curvatura gaussiana es constante 1/R^2 para radio R, y la integral de la curvatura sobre la superficie da 2πχ(S^2)=4π, coincidiendo con χ=2; en dimensiones pares superiores la fórmula de Chern–Gauss–Bonnet expresa χ como la integral de la pfaffiana de la forma de curvatura.
Aplicación incorrecta
Aplicación incorrecta
Aplicar el teorema a espacios no compactos, no orientados o singulares sin incluir términos de contorno o correcciones conduce a conclusiones erróneas; tratar la curvatura puntual como un invariante topológico es un error de categoría.
Consecuencia
Consecuencia
Establece un puente directo entre geometría diferencial y topología: se puede calcular la característica de Euler a partir de datos métricos de curvatura (cuando se satisfacen las hipótesis) y, a la inversa, las integrales de curvatura están restringidas por la topología.
Inversión
Inversión
La topología por sí sola no determina la distribución puntual de la curvatura; métricas distintas con curvaturas locales diferentes pueden dar la misma característica de Euler, por lo que el teorema no invierte hacia una métrica única.
Límite
Límite
Válido para variedades suaves compactas orientadas sin borde (o con una fórmula modificada que incluya términos de borde); las extensiones requieren tratamiento explícito del borde o de singularidades y quedan fuera del enunciado clásico.
Tensión semántica
Tensión semántica
Opone datos analíticos locales (formas de curvatura) a un invariante global topológico (característica de Euler); la tensión aparece cuando se espera determinismo local en lugar de una síntesis local-a-global.
Síntesis
Síntesis
El teorema de Gauss–Bonnet agrupa la información de curvatura local en un único número topológico global: la integral de una forma de curvatura adecuada sobre una variedad compacta orientada reproduce su característica de Euler.