At a point where is surjective, choose charts and reorder the domain coordinates so that an minor of the derivative is invertible. The map has invertible derivative. By the inverse function theorem it gives local coordinates, in which is the projection . This is the submersion theorem.
Coordinate projections are open maps, so the local form of the submersion proves that is open. If is compact and nonempty, its continuous image is compact and hence closed in the Hausdorff manifold . Therefore is a nonempty set both open and closed in connected , giving .
A submersion from a nonempty compact manifold to , , would be surjective by the preceding result, since the target is connected. Its image would also be compact, contradicting noncompactness of . Thus no such submersion exists. The nonempty-domain qualification excludes the vacuous empty-manifold case.

Articles by others on the same topic (0)

There are currently no matching articles.