Appendix II a connectedness property
Lemma 1 00XN
Let X be a connected topological space and a dense open subset of X. If, for any , there exists a neighbourhood V of such that is connected, then is connected.
Indeed, let be a non-empty open and closed subset of . Let and let V be a neighbourhood of such that is connected. If ,
so . Thus, since is dense in is a neighbourhood of . Consequently, is non-empty, open and closed, and since X is connected, . Since is closed in , this implies that , which proves that is connected.
Lemma 2 00XO
Let U be an open ball in and a holomorphic function, not identically zero. Let A be a subset of U such that on A. Then U -- A is dense in U and connected.
The density of U-- A follows from Differentiable and Analytic Manifolds, Results, 3.2.5. Assume first that . If , the power series expansion of about Differentiable and Analytic Manifolds, Results, 3.2.1) is not reduced to 0, and it follows that there exists a neighbourhood of in U such that does not vanish on -- . Thus, is isolated in A, which proves that A is a discrete subset of U, hence countable since U is countable at infinity. Let -- A. The union of the real affine lines joining (resp. ) to a point of A is meagre (General Topology, Chap. IX, §5, no. 2, Def. 2). Hence, there exists -- A such that neither of the segments and meets A. The points thus belong to the same connected component of U -- A, which proves the lemma in the case . We turn to the general case. We can assume that A is the set of zeros of General Topology, Chap. I, §11, no. 1, Prop. 1). Let -- A and let L be an affine line containing and . The restriction of to is not identically zero since . By what has already been proved, and belong to the same connected component of -- and hence to the same connected component of U -- A.
Lemma 3 00XP
Let X be a finite dimensional connected complex-analytic manifold and let A be a subset of X satisfying the following condition:
For any , there exists an analytic function germ , not vanishing
at , such that the germ of A at is contained in the germ at of the set
of zeros of .
Then X -- A is dense in X and connected.
The density of X-- A follows from Differentiable and Analytic Manifolds, Results, 3.2.5. We can assume that A is closed (General Topology, Chap. I, §11, no. 1, Prop. 1). For any , there exists an open neighbourhood V of and an isomorphism from V to an open ball in such that is contained in the set of zeros of a holomorphic function not identically zero on . Then, by Lemma -- A) is connected. In view of Lemma 1, this proves that X -- A is connected.
Exercises
See the exercises for Appendix 2.