Bourbaki

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 (Ai)i∈I(A_i)_{i\in I} be a covering of B; let A denote the sum space of the family (Ai)i∈I(A_i)_{i\in I}, and let p:A→Bp: A\rightarrow B be the canonical mapping. The mapping pp is universally strict under each of the following two assumptions:

(i) For every point b∈Bb\in B, there exists i∈Ii\in I such that bb is an interior point of AiA_i;

(ii) The family (Ai)(A_i) is locally finite and the AiA_i are closed subsets of B.

Under assumption (i), the mapping pp possesses in a neighbourhood of every point a continuous section. Under assumption (ii), the mapping pp 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.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.