Bourbaki

Corollary 4

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

Topologie algébrique, chapter I, § 2. Applications étales

Let p:E→Bp: E\rightarrow B be an étale and separated mapping. Suppose that E is connected and that pp admits a section. Then pp is a homeomorphism.

Let ss be a section of pp; since pp is étale, the image of ss is open in E (Corollary 3); it is also closed, since pp is separated (I, p. 27, Prop. 3). Since E is connected, we have s(B)=Es(B) = E and pp is a homeomorphism.

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.