Lemma 2
Tag 00XO, permanent. Cite it as [Bourbaki, Tag 00XO].
Lie Groups and Lie Algebras, chapter VII, Appendix 2. A connectedness property
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.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
- General Topology, Chap. I, §11, no. 1, Prop. 1 not in this corpus
- General Topology, Chap. IX, §5, no. 2, Def. 2 not in this corpus