De Rham complex

Definition

Given a differential manifold $X$, the de Rham complex is a chain cocomplex of $X$ is defined as follows:

• The $n^{th}$ chain group is defined as the group of differential forms of order $n$ under addition.
• The boundary map is the de Rham derivative.