An orientation of a smooth -dimensional manifold can be specified by a nowhere-vanishing smooth -form : an ordered tangent basis is positive precisely when evaluates positively on it. Multiplication by a positive smooth function preserves the orientation. This is the differential-form formulation of the equivalent formulations of orientability of a smooth manifold.
Use the standard convention that the compact connected manifold is nonempty and has no boundary. Choose a positive volume form for its orientation. It is a closed differential form, because there are no nonzero -forms. For , compactness makes its integral finite, and positivity on a coordinate neighborhood together with nonnegativity elsewhere givesIf , the Generalized Stokes theorem would give , a contradiction. ThereforeFor , a nonempty connected manifold is a point, and directly. The boundary hypothesis matters: a closed interval is an oriented compact connected manifold with boundary with . Thus the result is about ordinary boundaryless manifolds, not an unrestricted version including boundary.
Articles by others on the same topic
There are currently no matching articles.