Bourbaki

Corollary

Tag 01RU, permanent. Cite it as [Bourbaki, Tag 01RU].

Topologie algébrique, chapter I, § 6. Espaces simplement connexes

Let B be a locally connected topological space. Let bb be a point of B and let (E,x)(E, x) be a universal covering of (B,b)(B, b). For a subspace A of B, the following two properties are equivalent:

(i) The covering E is trivializable over A;

(ii) Every covering of B is trivializable over A.

Property (ii) obviously implies property (i). The converse follows from the fact that every covering of B can be associated with the covering E (I, p. 105, Proposition 7).

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.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.