Example 2

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

General Topology, chapter I, § 9. Compact spaces and locally compact spaces

\* The real line $\mathbf{R}$ is locally compact and $\sigma$ -compact, since it is the union of the compact intervals $[ -n, +n ]$ for $n \in \mathbf{N}$ . \*

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

Cited by

Nothing.

Cites

Nothing.