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 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.
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.