## [Teorema de Rham](/es/node/61417) Definición 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 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 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 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 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 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 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 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 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.