Bourbaki

Proposition 3

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

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

Let f:X→Yf: X\rightarrow Y be a continuous and separated mapping. Every continuous section of ff induces a homeomorphism of Y onto a closed subset of X.

Let s:Y→Xs: Y\rightarrow X be a continuous section of ff. The mapping ss induces a homeomorphism of Y onto the subspace s(Y)s(Y) of X (TG, I, p. 22, prop. 9). The identity mapping of X and the mapping s∘fs\circ f are continuous and one has f∘f\circ IdX=f∘(s∘f)_X=f\circ (s\circ f). Since the mapping ff is separated, the set s(Y)s(Y), which is the set of points xx of X such that x=s∘f(x)x=s\circ f(x), is closed in X (prop. 1, (ii)).

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.