L'espace d'Arens-Fort, nommé d'après les mathématiciens Richard Friederich Arens et , est un espace topologique particulier qui sert souvent de contre-exemple.

Définition On considère l'ensemble ℕ des couples d'entiers naturels. Pour tout entier n, appelons « n-ième colonne » le sous-ensemble de tous les couples dont la première composante est égale à n. L'espace d'Arens-Fort est l'ensemble ℕ muni de la topologie dont les ouverts sont les parties qui ne contiennent pas le point (0, 0), les parties dont « presque toute » colonne contient « presque tous » les entiers, où « presque tous » signifie ici : tous sauf un nombre fini.

Propriétés L'espace d'Arens-Fort est complètement normal. Seules ses parties finies sont compactes. Il en résulte qu'il n'est pas compactement engendré, si bien qu'il n'est ni localement compact, ni séquentiel (en particulier, il n'est pas métrisable). Il est trivialement séparable, σ-compact et de Lindelöf. Tout point autre que (0, 0) est isolé, donc toute partie contenant (0, 0) est fermée et l'espace est de dimension zéro. Aucun voisinage de (0, 0) n'est connexe. Le point (0, 0) n'a pas de base de voisinages dénombrableLe singleton {(0,0)} est cependant intersection d'une famille dénombrable de voisinages de (0, 0).. Les seules suites convergentes sont les suites stationnaires, car une suite (v) à valeurs distinctes de (0, 0) ne peut pas converger vers ce point : c'est immédiat si (v) ne prend ses valeurs que dans un nombre fini de colonnes et sinon, soit (w) une sous-suite de (v) comportant au plus un point par colonne, alors ℕ privé de l'ensemble des w est un voisinage de (0, 0) donc (w) ne converge pas vers (0, 0) et a fortioti (v) non plusCette démonstration est extraite de Lynn Arthur Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, § II.26. Arens-Fort space.. Le point (0, 0) est pourtant valeur d'adhérence de toute suite exhaustive d'éléments de ℕ\{(0, 0)}. L'espace n'est pas extrêmement discontinu, car l'adhérence de l'ouvert U constitué par exemple des colonnes impaires n'est pas un ouvert : c'est l'ensemble U∪{(0, 0)}. Notes et références

Article connexe Espace de Fort

Arens-Fort