Let and be open and connected sets in the complex plane , and be a holomorphic function with . Suppose that is a proper map from to , i.e., is compact, whenever is compact. Show that then is surjective.
By the open mapping theorem, is open. If is also closed, then is a non-empty open and closed set in the connected set , so . Otherwise, there exists some , so let be a sequence which converges to . Then is compact so by assumption, is compact as well. For each , let be such that , which exist by assumption, and by compactness, there exists a convergent subsequence which converges to some . But by continuity, we get
a contradiction. Thus, no could have existed to begin with, so was open and closed in to begin with.