For the double covering and the antipodal map , every pulled-back top form satisfies . Since , its integral over the sphere is its own negative and hence vanishes. It is therefore exact on the sphere. Averaging a primitive under and descending it proves that is exact on real projective space.
Articles by others on the same topic
There are currently no matching articles.