Corollary 4
Tag 01PK, permanent. Cite it as [Bourbaki, Tag 01PK].
Topologie algébrique, chapter I, § 4. Revêtements
Let B be a connected and locally connected topological space, let be a covering of B, and let be a point of B. In order that E be a trivializable covering, it is necessary and sufficient that every point of the fibre belong to the image of a continuous section of .
The condition is necessary. Let be the union of the images of the continuous sections of , and let be its complement in E. The set is open and closed in E (cf. I, p. 79). Hence is a covering of B (Corollary 1), and this covering is trivializable by virtue of Corollary 2 (I, p. 70). Suppose that contains and let us prove that is empty. Since is open and closed in E, is open and closed in B (Corollary 1). Since B is connected and does not belong to , hence .
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.