Example
Tag 01MC, permanent. Cite it as [Bourbaki, Tag 01MC].
Topologie algébrique, chapter I, § 1. Produits fibrés et carrés cartésiens
Let B be a topological space and let be a covering of B; let A denote the sum space of the family , and let be the canonical mapping. The mapping is universally strict under each of the following two assumptions:
(i) For every point , there exists such that is an interior point of ;
(ii) The family is locally finite and the are closed subsets of B.
Under assumption (i), the mapping possesses in a neighbourhood of every point a continuous section. Under assumption (ii), the mapping is proper by definition of the sum space (resp. from TG, I, p. 6, prop. 4 and TG, I, p. 75, th. 1). It is therefore universally strict.
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.