##  [De Rham Theorem](/de-rham-theorem-0) 

 Definition

A theorem establishing a canonical isomorphism between the de Rham cohomology of a smooth manifold (cohomology computed from differential forms modulo exact forms) and its singular cohomology with real coefficients, thus identifying differential-form invariants with topological cohomology classes.

 

 

 

 

 

 





## Principle

Principle

The isomorphism arises from integration of closed forms on singular chains together with the Poincaré lemma and partitions of unity; it organizes topology and analysis by showing closed differential forms detect the same cohomological information as singular cochains with real coefficients.

 

 

 

 

 





## Demonstration

Demonstration

On the circle S1, every closed 1-form has a constant integral around the circle; the space of closed 1-forms modulo exact forms is one-dimensional over R, matching the singular cohomology H1(S1; R) ≅ R, so the de Rham and singular groups agree via integration.

 

 

 

 

## Misapplication

Misapplication

Assuming the same isomorphism holds with integer coefficients, on non-smooth spaces, or for wild topological spaces without partitions of unity; for example, replacing R with Z breaks the theorem because differential forms naturally yield real-valued invariants.

 

 

 

 

 





## Consequence

Consequence

Topological invariants of smooth manifolds can be computed analytically using differential forms; this enables transfer of problems between differential geometry, analysis, and algebraic topology and underlies further results like Hodge theory on Riemannian manifolds.

 

 

 

 

## Reversal

Reversal

Viewed from the inverse perspective, singular cohomology classes with real coefficients admit smooth differential-form representatives; equivalently, topological information determines analytic representatives up to exact forms, though the representative is not unique without extra structure.

 

 

 

 

 





## Boundary

Boundary

Valid for smooth (C∞) manifolds and real coefficients; it requires paracompactness to use partitions of unity and fails in general for singular spaces, nonmanifolds, or with coefficients other than R unless additional structure is imposed.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Closely related to but distinct from the Hodge theorem: De Rham gives an algebraic/topological isomorphism over R, while Hodge identifies canonical harmonic representatives using a Riemannian metric; the two can be conflated but answer different questions.

 

 

 

 

 





## Synthesis

Synthesis

De Rham Theorem coherently links differential forms and algebraic topology by showing that the analytic cohomology built from closed forms modulo exact ones reproduces the manifold's real singular cohomology, enabling analytic methods to compute topological invariants.