##  [Théorème de Rham](/fr/node/61417) 

 Définition

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.

 

 

 

 

 

 





## Principe

Principe

L'isomorphisme provient de l'intégration des formes fermées sur des chaînes singulières combinée au lemme de Poincaré et aux partitions de l'unité ; il organise l'interaction entre topologie et analyse en montrant que les formes différentielles fermées détectent la même information cohomologique que les cochaînes singulières à coefficients réels.

 

 

 

 

 





## Démonstration

Démonstration

Sur le cercle S1, toute 1-forme fermée a une intégrale constante autour du cercle ; l'espace des 1-formes fermées modulo les formes exactes est de dimension un sur R, ce qui coïncide avec H1(S1; R) ≅ R, montrant l'accord entre groupes de De Rham et singuliers par intégration.

 

 

 

 

## Mauvaise application

Mauvaise application

Supposer que le même isomorphisme vaut à coefficients entiers, sur des espaces non lisses ou pour des espaces topologiques pathologiques sans partitions de l'unité ; par exemple, remplacer R par Z fait échouer le théorème car les formes différentielles donnent naturellement des invariants à valeurs réelles.

 

 

 

 

 





## Conséquence

Conséquence

Les invariants topologiques des variétés lisses peuvent être calculés analytiquement à l'aide des formes différentielles ; cela permet de transférer des problèmes entre géométrie différentielle, analyse et topologie algébrique et sous-tend des résultats ultérieurs comme la théorie de Hodge.

 

 

 

 

## Inversion

Inversion

Vu à l'inverse, les classes de cohomologie singulière à coefficients réels admettent des représentants par des formes différentielles lisses ; en d'autres termes, l'information topologique détermine des représentants analytiques modulo formes exactes, même si le représentant n'est pas unique sans structure supplémentaire.

 

 

 

 

 





## Limite

Limite

Valable pour les variétés lisses (C∞) et les coefficients réels ; requiert la paracompacticité pour utiliser des partitions de l'unité et échoue en général pour les espaces singuliers, les non-variétés ou pour des coefficients autres que R sauf si des structures additionnelles sont présentes.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Proche mais distinct du théorème de Hodge : De Rham fournit un isomorphisme algébrique/topologique sur R, tandis que Hodge identifie des représentants harmoniques canoniques grâce à une métrique riemannienne ; les deux sont liés mais répondent à des questions différentes.

 

 

 

 

 





## Synthèse

Synthèse

Le théorème de De Rham relie de manière cohérente les formes différentielles et la topologie algébrique en montrant que la cohomologie analytique construite à partir des formes fermées modulo les formes exactes reproduit la cohomologie singulière réelle de la variété, permettant de calculer les invariants topologiques par des méthodes analytiques.