Let \(\omega \) be a compactly supported smooth \(n\)-form on \(\mathbb {R}^n\). Prove that the following two statements are equivalent.
- There exists a compactly supported smooth \((n-1)\)-form \(\eta \) such that \(\omega =d\eta \).
- \(\displaystyle \int _{\mathbb {R}^n}\omega =0\).
Note: You are allowed to use the fact that \(H^n(S^n)=\mathbb {R}\), but you are not allowed to quote the fact that \(H_c^n(\mathbb {R}^n)=\mathbb {R}\).