Integration on an orientable differentiable n-manifold is defined using a partition of unity and a global nowhere vanishing n-form called volume form. If the manifold is not orientable, no such form exists and the concept of a density is introduced, with which we can integrate both on orientable and non-orientable manifolds. My question is: On a non-orientable n-manifold, every n-form vanishes somewhere, but shouldn't I be able to chose an n-form with say a countable number of zeros, which would then constitute a set of measure zero and thus allow me to use n-forms (with zeros) for global integration also on non-orientable n-manifolds?
removed deprecated (geometry) tag - see the tag info: http://mathoverflow.net/tags/geometry/info; if there are some other geometry-related tags which are suitable, please use some of them instead
Martin Sleziak
- 4.7k
- 4
- 35
- 40