Bourbaki

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 Cn\mathbf{C}^n and f:U→Cf: U\rightarrow \mathbf{C} a holomorphic function, not identically zero. Let A be a subset of U such that f=0f= 0 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 n=1n= 1. If a∈Aa\in A, the power series expansion of ff about a(a(Differentiable and Analytic Manifolds, Results, 3.2.1) is not reduced to 0, and it follows that there exists a neighbourhood VaV_a of aa in U such that ff does not vanish on VaV_a -- {a}\{a\}. Thus, aa is isolated in A, which proves that A is a discrete subset of U, hence countable since U is countable at infinity. Let x,y∈Ux, y\in U -- A. The union of the real affine lines joining xx (resp. yy) to a point of A is meagre (General Topology, Chap. IX, §5, no. 2, Def. 2). Hence, there exists z∈Uz\in U -- A such that neither of the segments [x,z][x, z] and [y,z][y, z] meets A. The points x,y,zx, y, z thus belong to the same connected component of U -- A, which proves the lemma in the case n=1n= 1. We turn to the general case. We can assume that A is the set of zeros of f(f(General Topology, Chap. I, §11, no. 1, Prop. 1). Let x,y∈Ux, y\in U-- A and let L be an affine line containing xx and yy. The restriction of ff to L∩UL\cap U is not identically zero since x∈L∩Ux\in L\cap U. By what has already been proved, xx and yy belong to the same connected component of (L∩U)(L\cap U) -- (L∩A)(L\cap A) 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
Transcribed from the printed volume. Not translated.