Développement #694

Titre : Théorème de Niemytzki-Tychonoff (aka théorème de Bing)

Contenu : Soit $(X,d)$ un espace métrique. Il est compact si et seulement si pour toute métrique $d'$ topologiquement équivalente à $d$, l'espace $(X,d')$ est complet. \r\rCe résultat s'appelle théorème de Niemytzki-Tychonoff sur Wikipédia, théorème de Bing dans le Queffélec (Topologie).

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42