Bourbaki

Corollary 2

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

Topologie algébrique, chapter I, § 4. Revêtements

Let B be a topological space, let E be a B-space and let pp be its projection. Suppose that pp is étale and separated and that the space B is connected. In order that E be a trivializable covering of B, it is necessary and sufficient that, for every point xx of E, there exist a continuous section s:B→Es: B\rightarrow E of pp such that s∘p(x)=xs\circ p(x) =x.

This is obviously necessary. Conversely, for every continuous section ss of pp, the set s(B)s(B) is open and the mapping pp induces a homeomorphism of s(B)s(B) onto B (I, p. 30, Cor. 3 of Prop. 6). Moreover, when ss ranges over the set S(B;E)\mathscr{S}(B; E) of sections of pp, the sets s(B)s(B) are pairwise disjoint, since B is connected (I, p. 34, Cor. 1 of Prop. 11). It then follows from proposition 1 that if the sets s(B)s(B) cover E, the space E is a trivializable covering of B.

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.