11
votes
2answers
1k views

Two fancy ways of defining differential forms: How does one show that they are equivalent?

Given a smooth manifold M, the following procedures yield the differential graded algebra (Ω*(M),ddR) of differential forms: Procedure 1 (synthetic geometry). For each n, consider the object ...