Bourbaki

Lemma 1

Tag 00XN, permanent. Cite it as [Bourbaki, Tag 00XN].

Lie Groups and Lie Algebras, chapter VII, Appendix 2. A connectedness property

Let X be a connected topological space and Ω\Omega a dense open subset of X. If, for any x∈Xx\in X, there exists a neighbourhood V of xx such that V∩ΩV\cap \Omega is connected, then Ω\Omega is connected.

Indeed, let Ω0\Omega_0 be a non-empty open and closed subset of Ω\Omega. Let x∈Xx\in X and let V be a neighbourhood of xx such that V∩ΩV\cap \Omega is connected. If x∈Ω‾0x\in \overline{\Omega}_0,

(V∩Ω)∩Ω0=V∩Ω0≠∅ (V\cap \Omega )\cap \Omega_0= V\cap \Omega_0\not=\emptyset

so V∩Ω⊂Ω0V\cap \Omega \subset \Omega_0. Thus, since Ω\Omega is dense in X,Ω‾0X,\overline{\Omega}_0 is a neighbourhood of xx. Consequently, Ω0\Omega_0 is non-empty, open and closed, and since X is connected, Ω‾0=X\overline{\Omega}_0= X. Since Ω0\Omega_0 is closed in Ω\Omega, this implies that Ω0=Ω∩Ω‾0=Ω\Omega_0=\Omega \cap \overline{\Omega}_0=\Omega, which proves that Ω\Omega is connected.

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

Cites

Nothing.

Transcribed from the printed volume. Not translated.