Lemma 1
Tag 02UU, permanent. Cite it as [Bourbaki, Tag 02UU].
Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach
Let E be a separated topological vector space of dimension over , and let X be a denumerable subset of E. The complementary set E - X is connected.
Suppose first that E is of dimension 2. One may suppose that endowed with the euclidean norm (TVS, I, p. 14, Theorem 2). Since X is denumerable, there exists a real number such that the circle C with center 0 and radius does not meet X. Let - X; if , there exists a point such that the straight line joining and does not meet X, since X is denumerable. The set E - X is the union of C, which is connected, and of the connected sets for - ; these sets all contain C, and therefore E- X is connected (TG, I, p. 81, Proposition 2).
Consider the general case. Replacing X by for an element - X, one is reduced to the case where . Since E - X is the union of the sets F - when F runs through the set of 2-dimensional subspaces of E, and since these are connected by the preceding case and contain 0, the set E - X is connected (loc. cit.).
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
Nothing.