Proposition 6
Tag 01S8, permanent. Cite it as [Bourbaki, Tag 01S8].
Topologie algébrique, chapter I, § 6. Espaces simplement connexes
Let X be a topological space. Let and be open ( resp. closed) subspaces of X such that . Suppose that and are simply connected and that their intersection is connected and nonempty. Then the space X is simply connected.
Let be a covering of X and let be a point of E. It is enough to prove that there exists a continuous section of such that (I, p. 70, cor. 2 of prop. 1). Suppose for example that belongs to . There then exists a continuous section of such that . Let be a point of ; there exists a continuous section of such that . By corollary 3 of proposition 11 of I, p. 34, there exists a continuous section of extending both and .
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.