Homepage › Solution manuals › James Munkres › Topology › Exercise 53.3
Exercise 53.3
Let be a covering map; let be connected. Show that if has elements for some , then has elements for every . In such a case, is called a -fold covering of .
Answers
Proof. Since is a covering map, for any with there exists a neighborhood such that is the disjoint union of open neighborhoods homeomorphic to , for each contains a unique preimage of , which must be one point since are homeomorphic. By the same argument, all are such that . Thus, we can partition into disjoint open sets where each are such that (note that can be any cardinal since the argument above does not depend on being finite), and is one of the ; however, since is connected, , for otherwise the will be a separation of . □