Springer GTM 82.
"The guiding principle in this book is to use differential forms as an aid in exploring some of the less digestible aspects of algebraic topology. Accordingly, we move primarily in the realm of smooth manifolds and use the de Rham theory as a prototype of all of cohomology."
Chapter I: de Rham Theory
Section I.1: The de Rham Complex on
- Exercise 1.6 It wasn't immediately clear to me that
To see this, assume that f dx and g dx are compactly-supported one-forms on R, and that
Then it follows that (f-g) dx is a compactly supported one-form (its support is contained in the union of supp f and supp g) with integral zero, and therefore
Therefore the equivalence class of a compactly-supported one-form in is completely determined by its integral.
Section I.2: The Mayer-Vietoris Sequence
- The commutativity with d defines uniquely: We need the assumption that will be an -algebra homomorphism here -- i.e., it should be -linear and preserve multiplication.
http://math.stackexchange.com/questions/94691/why-is-the-pullback-completely-determined-by-d-f-ast-f-ast-d-in-de-rham-co/94702#94702