Let be the set of points with a neighbourhood on which . It is nonempty and open. If is in its closure, continuity and Hausdorffness give . Choose a common target chart and a source disc around on which both images lie in that chart. Their coordinate difference is holomorphic and vanishes at accumulating points from , so the identity theorem makes it vanish on the disc. Thus . Therefore is also closed, and connectedness implies on all of .
Articles by others on the same topic
There are currently no matching articles.