Bourbaki

Remark

Tag 0B19, permanent. Cite it as [Bourbaki, Tag 0B19].

General Topology, chapter I, § 3. Subspaces, quotient spaces

Let (Ui)i∈I(U_i)_{i \in I} be an open covering of a topological space XX, and for each i∈Ii \in I let Bi\mathfrak{B}_i be a base of the topology of the subspace UiU_i of XX; then it is clear that B=⋃i∈IBi\mathfrak{B} = \bigcup_{i \in I} \mathfrak{B}_i is a base of the topology of XX.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.