Arens Richard Friederich

Imaginez un point particulier entouré d'une infinité de points rangés en lignes et en colonnes. Dans l'espace d'Arens-Fort, les voisinages de ce point doivent contenir presque toute chaque ligne, mais ils peuvent laisser de côté une quantité variable de points au début des lignes. Cette règle produit un espace où les suites ne racontent pas toute l'histoire de la convergence.

L'espace est un contre-exemple utile pour comprendre pourquoi compacité et convergence séquentielle ne se confondent pas : une suite de points peut se comporter différemment de ce que suggérerait une intuition fondée uniquement sur les suites, tandis que la compacité se teste avec des recouvrements ouverts. Cette distinction le rend utile en topologie.

L'espace d'Arens-Fort est un espace topologique construit sur un ensemble de points isolés organisé comme une grille, auquel on ajoute un point p. Tous les points de la grille sont isolés. Un voisinage de p contient p et, sur chaque ligne, tous les points sauf un nombre fini d'entre eux ; le nombre de points éventuellement omis peut dépendre de la ligne, sans qu'aucune ligne soit exemptée de cette condition. Cette description définit la topologie avec les voisinages des points isolés et ceux de p.

La construction est attribuée à Richard Arens et Marion Kirk Fort. Elle fournit un contre-exemple classique pour comparer la compacité, notion qui concerne les recouvrements ouverts, et la convergence séquentielle, notion qui ne teste que les suites. Dans cet espace, ces deux notions doivent être distinguées : l'examen des seules suites ne suffit pas à caractériser tous les phénomènes topologiques liés aux recouvrements ouverts.

Le point important est la dissymétrie de la règle au voisinage de p. La grille donne une infinité de directions, et le seuil autorisé sur une ligne peut varier d'une ligne à l'autre. Une suite, qui ne visite qu'une liste dénombrée de points, ne suffit donc pas automatiquement à représenter tous les voisinages de p.

Prenons une grille dont les points sont notés (m,n), avec m et n des entiers naturels, et ajoutons le point p. La ligne m est l'ensemble des points (m,n) lorsque n varie. Chaque point (m,n) est isolé ; la seule difficulté consiste donc à tester si une partie contient un voisinage de p.

Considérons la partie U qui contient p et, sur chaque ligne m, tous les points (m,n) sauf ceux pour lesquels n est inférieur ou égal à m. Sur la ligne m, les points exclus sont donc en nombre fini. La règle des voisinages autorise précisément cette omission ligne par ligne : U est un voisinage de p.

À présent, une suite qui parcourt une diagonale, par exemple (1,1), (2,2), (3,3), puis (4,4), ne suffit pas à décider de la convergence vers p. Pour la tester, choisissez sur chaque ligne m un seuil s_m, puis construisez le voisinage qui garde les points (m,n) avec n > s_m. Comparez alors chaque terme de la suite à ce seuil sur sa ligne : une conclusion de convergence devrait montrer qu'à partir d'un certain rang tous les termes restent dans ce voisinage. Comme les seuils peuvent varier avec la ligne, cette vérification explique pourquoi la diagonale seule ne suffit pas.

Le calcul est surtout un comptage : sur la ligne m, U laisse de côté m+1 points si les indices commencent à 0. Ce nombre est fini pour chaque ligne, mais il n'est pas borné par une même constante lorsque m augmente. La distinction entre « fini sur chaque ligne » et « borné uniformément » est le mécanisme concret de la construction.

En pratique, l'espace d'Arens-Fort sert de banc d'essai pour une preuve de topologie générale. Lorsqu'un argument remplace une propriété portant sur tous les voisinages par un argument portant seulement sur les suites, cet exemple oblige à vérifier que le passage est réellement autorisé.

Pour l'étudier, on sépare trois tâches. On vérifie d'abord la règle des voisinages de p, puis on traite les points isolés, enfin on compare le comportement des recouvrements ouverts et celui des suites. Cette séparation évite de conclure trop vite qu'une propriété de l'espace découle d'un simple test séquentiel.

Compacité et compacité séquentielle. La compacité s'exprime avec des recouvrements ouverts : de tout recouvrement, on doit pouvoir extraire un sous-recouvrement fini. La compacité séquentielle demande qu'une suite possède une sous-suite convergente. Ces notions coïncident dans certains espaces familiers, mais l'espace d'Arens-Fort rappelle qu'elles ne sont pas synonymes sans hypothèse supplémentaire.

Convergence et accumulation. Dire qu'une suite converge vers p impose que la suite entre dans chaque voisinage de p à partir d'un certain rang. Dire que p est un point d'accumulation d'une partie concerne l'intersection des voisinages avec cette partie et ne fournit pas, à lui seul, une suite convergente dans tout espace topologique.

Point isolé et point p. Les points (m,n) de la grille sont isolés : leur singleton est ouvert. Le point p n'a pas ce comportement, car ses voisinages doivent contenir une grande partie de nombreuses lignes. Appliquer la règle de p à un point de la grille serait donc une confusion de structure.

La description « presque tous les points de chaque ligne » doit être précisée : l'omission est finie sur chaque ligne, mais le nombre de points omis peut dépendre de la ligne. Remplacer cette condition par une borne finie commune donne une autre topologie et peut faire disparaître le contre-exemple.

Le mot compact ne signifie pas que toute suite converge. Il concerne les recouvrements ouverts et doit être vérifié avec la définition appropriée. De même, une suite qui évite successivement certains voisinages ne réfute pas seule une propriété de recouvrement ; il faut construire l'objet topologique demandé par la propriété étudiée.

Les indices de la grille peuvent commencer à 0 ou à 1. Ce choix modifie les noms des points et le nombre exact de points exclus dans un exemple, mais pas le mécanisme : chaque ligne autorise une omission finie, sans borne uniforme imposée à toutes les lignes. Les énoncés doivent garder la même convention d'indices.

Enfin, l'exemple ne permet pas de conclure que compacité et propriétés séquentielles sont toujours distinctes. Il établit seulement qu'une implication intuitive échoue dans cet espace particulier. Dans un espace à première dénombrabilité, les suites détectent l'adhérence et les points d'accumulation ; elles offrent donc un relais plus fiable entre voisinages et suites, sans remplacer automatiquement la définition de la compacité par les recouvrements ouverts. Cette hypothèse doit être énoncée avant toute généralisation.

La fiche compacité - topologie - permet de reprendre la définition par les recouvrements ouverts, qui est le point de comparaison central de l'espace d'Arens-Fort.

La fiche analyse fonctionnelle replace le travail de Richard Arens dans le domaine où il a principalement enseigné et publié.

Pour poursuivre en topologie, on peut comparer cette construction à des espaces possédant de meilleures propriétés séquentielles. La question directrice reste la même : quelle information est conservée lorsqu'on remplace tous les voisinages ou tous les recouvrements par le seul langage des suites ?