Bourbaki

Example

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

General Topology, chapter I, § 1. Open sets, neighbourhoods, closed sets

If XX and X′X' are two discrete spaces, any bijection of XX onto X′X' is a homeomorphism.

The following criterion follows immediately from the definition of a homeomorphism: for a bijection ff of a topological space XX onto a topological space X′X' to be a homeomorphism, it is necessary and sufficient that the image under ff of each open set in XX is an open set in X′X', and that the inverse image under ff of each open set in X′X' is an open set in 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.