Théorème de Rham

Un théorème qui établit un isomorphisme canonique entre la cohomologie de De Rham d'une variété lisse (cohomologie construite à partir des formes différentielles modulo les formes exactes) et sa cohomologie singulière à coefficients réels, identifiant ainsi les invariants issus des formes différentielles aux classes cohomologiques topologiques.

Théorème identifiant la cohomologie de De Rham d'une variété lisse, définie via les formes différentielles, avec sa cohomologie singulière (ou simpliciale) à coefficients réels, par l'accouplement d'intégration.

Résultat fondamental affirmant une isomorphie entre la cohomologie du complexe des formes différentielles lisses sur une variété lisse (cohomologie de De Rham) et la cohomologie singulière (ou la cohomologie de faisceaux) à coefficients réels ; l'isomorphisme respecte des structures algébriques comme le produit cup.