The cup product for the de Rham cohomology of a smooth manifold \(M\) is defined as \[ \cup :H^k(M)\times H^\ell (M)\to H^{k+\ell }(M) \] where \([\omega ]\cup [\theta ]=[\omega \wedge \theta ]\). Show that the cup product is well-defined.
Question
Math 6510 • Differentiable Manifolds
Spring 2013 • Question 3