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
There are currently no matching articles.