collier d'Antoine

Imaginez un tore plein, semblable à un anneau épais. À l’intérieur, placez une chaîne fermée de tores plus petits, entrelacés. Recommencez la même opération dans chacun d’eux, puis poursuivez sans fin.

À chaque niveau, les sous-tores sont disjoints et leur plus grand diamètre est choisi de façon à tendre vers zéro. Ainsi, le long de chaque suite de tores emboîtés, les diamètres se réduisent à zéro et il reste à la limite un ensemble de points : le collier d’Antoine. Pris seul, cet ensemble ressemble topologiquement à l’ensemble de Cantor. Mais son entrelacement persistant laisse une trace dans l’espace qui l’entoure.

Le collier d’Antoine est un sous-ensemble compact de l’espace R³, totalement discontinu et sans point isolé. « Totalement discontinu » signifie que ses seules composantes connexes sont des points. L’absence de point isolé signifie que tout point du collier est approché par d’autres points du collier.

La construction part d’un tore plein. À chaque étape, chacun des tores conservés contient dans son intérieur une chaîne fermée finie de plusieurs tores pleins deux à deux disjoints, disposée autour de son âme, chaque sous-tore étant enlacé avec ses voisins dans la chaîne. L’étape suivante ne conserve que ces nouveaux tores. On choisit les chaînes de sorte que le plus grand diamètre des tores tende vers zéro au fil des étapes. Le collier est l’ensemble des points qui restent dans tous les stades emboîtés.

Comme espace considéré en lui-même, le collier d’Antoine est homéomorphe à l’ensemble de Cantor ordinaire. La différence vient du plongement dans R³ : son complémentaire n’est pas simplement connexe. Il existe donc dans l’espace extérieur des lacets qui ne peuvent pas être contractés en un point tout en restant dans ce complémentaire. Aucun homéomorphisme de R³ ne transforme ce plongement en celui de l’ensemble de Cantor ordinaire.

On suit deux points du tore initial à travers les stades de la construction. Plaçons P dans l’un des sous-tores conservés au premier stade, et Q dans la partie située entre ces sous-tores, qui sera retirée. À l’intérieur de chaque tore conservé, la même substitution par une chaîne de sous-tores entrelacés est répétée indéfiniment, en imposant que leur plus grand diamètre tende vers zéro.

1. Au stade initial, P et Q appartiennent tous deux au tore de départ : aucun des deux n’est encore éliminé.

2. Au premier stade de substitution, P passe le contrôle puisqu’il appartient à un sous-tore conservé. Q échoue : situé hors de tous ces sous-tores, il est éliminé de la construction.

3. Au stade suivant, on examine P dans le sous-tore qui le contient : il passe encore s’il appartient à l’un des nouveaux sous-tores conservés, sinon il est éliminé à son tour. On répète exactement ce contrôle à chaque stade. Le schéma de construction montre la substitution ; le nombre et les proportions dessinés n’en sont pas des paramètres.

4. Q n’appartient donc pas au collier. Pour P, passer les premiers contrôles ne suffit pas : il appartient au collier seulement s’il reste dans un sous-tore conservé à tous les stades. Manquer un seul stade suffit pour l’exclure de l’ensemble limite. L’entrelacement, lui, doit être suivi d’un stade au suivant pour analyser le complémentaire.

Pour reconnaître le collier d’Antoine, on ne regarde pas seulement l’ensemble de points obtenu. On suit aussi les chaînes de tores et leur entrelacement à chaque stade.

Pour comparer deux ensembles de Cantor plongés dans R³, un homéomorphisme entre les ensembles ne suffit pas. On étudie leur espace environnant, notamment les lacets du complémentaire.

Si seul le type intrinsèque de l’ensemble compte, l’ensemble de Cantor ordinaire est un modèle plus simple. Si le plongement ambiant compte, le collier d’Antoine révèle une information que ce modèle efface.

Avec l’ensemble de Cantor ordinaire. Les deux ensembles sont homéomorphes lorsqu’on les considère seuls. Le critère qui les sépare est ambiant : dans R³, le complémentaire du collier d’Antoine n’est pas simplement connexe. Un lacet extérieur impossible à contracter tranche donc la comparaison.

Avec une chaîne finie de tores. Une étape de la construction contient encore des objets épais. Le collier est l’ensemble limite commun à tous les stades, totalement discontinu et sans point isolé ; une étape isolée ne possède pas ces caractéristiques.

Totalement discontinu ne signifie pas discret. Le symptôme de l’erreur est d’imaginer chaque point séparé de tous les autres. Or le collier n’a aucun point isolé : il faut distinguer composantes réduites à un point et points isolés.

La non-simple connexité concerne le complémentaire. Elle ne décrit pas le collier comme un chemin noué. Il faut retirer le collier de R³, puis examiner les lacets qui restent dans l’espace extérieur.

Un stade fini n’est pas l’ensemble final. Voir des tores entrelacés à une profondeur donnée ne suffit pas à voir le compact limite. Il faut conserver uniquement les points présents à tous les stades emboîtés.

L’ensemble de Cantor donne le modèle intrinsèque auquel le collier d’Antoine est homéomorphe. Sa présentation permet de séparer les propriétés de l’ensemble lui-même de celles de son plongement dans R³.