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 be its projection. Suppose that 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 of E, there exist a continuous section of such that .
This is obviously necessary. Conversely, for every continuous section of , the set is open and the mapping induces a homeomorphism of onto B (I, p. 30, Cor. 3 of Prop. 6). Moreover, when ranges over the set of sections of , the sets 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 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.