Corollaire 1
Étiquette 0EA8, permanente. À citer comme [Bourbaki, Tag 0EA8].
General Topology, chapter IV, § 2. Propriétés topologiques fondamentales de la droite numérique
Pour qu’une partie de la droite numérique soit relativement compacte, il faut et il suffit qu’elle soit bornée.
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.