Un teorema que establece un isomorfismo canónico entre la cohomología De Rham de una variedad suave (cohomología construida a partir de formas diferenciales modulo formas exactas) y su cohomología singular con coeficientes reales, identificando invariantes analíticos con clases cohomológicas topológicas.

Principio

El isomorfismo se obtiene integrando formas cerradas sobre cadenas singulares junto con el lema de Poincaré y particiones de la unidad; organiza topología y análisis al mostrar que las formas diferenciales cerradas detectan la misma información cohomológica que las co-cadenas singulares con coeficientes reales.

Demostración

En el círculo S1, toda 1-forma cerrada tiene una integral constante alrededor del círculo; el espacio de 1-formas cerradas modulo formas exactas es de dimensión uno sobre R, coincidiendo con H1(S1; R) ≅ R, por lo que los grupos de De Rham y singulares concuerdan mediante la integración.

Aplicación incorrecta

Suponer que el mismo isomorfismo vale con coeficientes enteros, en espacios no suaves o en espacios topológicos patológicos sin particiones de la unidad; por ejemplo, reemplazar R por Z rompe el teorema porque las formas diferenciales producen invariantes de valor real.

Consecuencia

Los invariantes topológicos de variedades suaves pueden calcularse analíticamente usando formas diferenciales; esto permite transferir problemas entre geometría diferencial, análisis y topología algebraica y sustenta resultados posteriores como la teoría de Hodge.

Inversión

Visto inversamente, las clases de cohomología singular con coeficientes reales admiten representantes por formas diferenciales suaves; la información topológica determina representantes analíticos modulo formas exactas, aunque el representante no es único sin estructura adicional.

Límite

Válido para variedades suaves (C∞) y coeficientes reales; requiere paracompacticidad para usar particiones de la unidad y falla en general para espacios singulares, no-variedades o con coeficientes distintos de R salvo que se impongan estructuras adicionales.

Tensión semántica

Relacionado pero distinto del teorema de Hodge: De Rham da un isomorfismo algebraico/topológico sobre R, mientras que Hodge identifica representantes armónicos canónicos usando una métrica riemanniana; ambos están ligados pero responden a preguntas diferentes.

Síntesis

El teorema de De Rham une las formas diferenciales y la topología algebraica mostrando que la cohomología analítica formada por formas cerradas modulo exactas reproduce la cohomología singular real de la variedad, permitiendo calcular invariantes topológicos mediante métodos analíticos.