# De Rham complex

From Topospaces

## Definition

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

- The chain group is defined as the group of differential forms of order under addition.
- The boundary map is the de Rham derivative.