PROFILPELAJAR.COM

En mathématiques, et plus précisément en topologie, la sphère cornue d'Alexander est un célèbre exemple de surface pathologique ; elle fut découverte en 1923 par J. W. Alexander.

Motivations et construction

Il semble évident qu'une courbe fermée simple (ne se recoupant pas) du plan le découpe en deux régions (l'intérieur et l'extérieur) et qu'on peut déformer la courbe (et les deux régions séparées) pour la transformer en un cercle. Ce résultat (le théorème de Jordan, ou plus précisément, concernant la possibilité de déformation, le théorème de Jordan–Schoenflies) est correct, mais sa démonstration est fort délicate et très technique. On pouvait penser qu'un résultat analogue concernant les surfaces fermées de l'espace était également vrai : la sphère cornue en est un contre-exemple célèbre, dont la construction, due à James Wadell Alexander, a été obtenue en 1923^[1].

L'idée intuitive de la construction d'Alexander est de rajouter à la sphère usuelle des « cornes » se ramifiant et s'entrelaçant indéfiniment. Plus rigoureusement, la sphère cornue est un plongement (topologique) de la sphère dans l'espace euclidien à 3 dimensions, obtenu par la construction suivante^[2]^,^[3] : partant du tore,

retirer une tranche radiale du tore ;
connecter deux nouveaux tores percés d'un trou de chaque côté de la coupe (voir l'article somme connexe), les deux tores étant entrelacés ;
recommencer les opérations 1 et 2 sur les tores qui viennent d'être ajoutés, et ce indéfiniment (la taille des tores étant divisée par 2 à chaque étape).

En ne considérant que les points ajoutés à l'étape 2 et qui ne sont jamais retirés lors des étapes 1 ultérieures, on obtient un plongement de la sphère à laquelle a été retiré un ensemble de Cantor. Ce plongement peut être prolongé à la sphère entière^[4], car des suites de points s'approchant de deux points distincts de l'ensemble de Cantor, distants de d, restent toujours séparés d'une distance supérieure à d/2.

Propriétés topologiques

La sphère cornue définit un intérieur et un extérieur^[5] (les composantes connexes de son complémentaire dans l'espace euclidien, l'intérieur étant la composante bornée) ; la réunion de la sphère cornue et de son intérieur, la boule cornue d'Alexander, est homéomorphe à la boule unité et est donc simplement connexe, c'est-à-dire que tout lacet de cette boule peut être contracté en un point sans sortir de la boule. En revanche, l'extérieur n'est pas simplement connexe (contrairement à l'extérieur de la boule unité), car un lacet entourant un des tores de la construction précédente ne peut être contracté sans toucher la sphère cornue. Ainsi, l'analogue du théorème de Jordan–Schoenflies est faux en dimension 3, contrairement à ce qu'Alexander avait d'abord conjecturé^[6]. Alexander démontra également qu'en revanche, le théorème reste valable en trois dimensions pour des plongements différentiables ; ce fut l'un des premiers exemples montrant la nécessité de distinguer la catégorie des variétés topologiques de celle des variétés différentiables. Morton Brown a en fait démontré en 1962 un analogue topologique sous l'hypothèse que le plongement de la sous-variété soit localement plat, ce qui n'est pas le cas de la sphère cornue^[7].

On voit aisément qu'il en résulte que la sphère cornue (considérée comme un plongement de la sphère) ne peut être déformée continument en la sphère ordinaire ; on dit qu'elle constitue un nœud de celle-ci, et que ce nœud est sauvage : la sphère usuelle ne peut en effet être nouée dans l'espace euclidien si l'on ne considère que des plongements différentiables (qu'on appelle des nœuds lisses).

Considérant à présent la sphère cornue d'Alexander comme un plongement dans la 3-sphère (vue comme le compactifié d'Alexandroff de l'espace euclidien R³), l'adhérence de la composante non simplement connexe (sa réunion avec la sphère cornue) est connue sous le nom de solide cornu d'Alexander. Bien que cet ensemble ne soit pas une variété, R. H. Bing a montré^[8] que son double (en)^[9] est en fait la 3-sphère.

La construction d'Alexander peut être modifiée, obtenant d'autres sphères cornues, en modifiant le nombre de tores ajoutés à chaque étape, ou en en considérant l'analogue en dimensions supérieures. D'autres constructions fondamentalement distinctes d'espaces « sauvages » similaires existent : ainsi, Alexander lui-même a construit un autre plongement de la sphère appelé la sphère cornue d'Antoine, qui possède un ensemble de Cantor de points non lisses eux-mêmes entrelacés (c'est-à-dire que leur complémentaire dans l'espace euclidien n'est pas simplement connexe), cet ensemble étant un collier d'Antoine.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Alexander horned sphere » (voir la liste des auteurs).

↑ (en) J. W. Alexander, « An Example of a Simply Connected Surface Bounding a Region which is not Simply Connected », PNAS, vol. 10, n^o 1,‎ 1924, p. 8–10, bien que publié en 1924, avait été soumis aux rapporteurs en 1923.
↑ Une illustration visuelle précise de cette construction est donnée dans cette vidéo proposée sur YouTube par l'université de Hanovre.
↑ (en) Dmitry Fuchs et Serge Tabachnikov, Mathematical Omnibus: Thirty Lectures on Classic Mathematics, chap. 26, p. 361-371
↑ Ce prolongement est continu, mais non différentiable, l'image n'étant pas lisse près des points limites ; voir la section suivante
↑ Contrairement à ce qui va suivre, cette propriété plus simple, connue sous le nom de théorème de Jordan-Brouwer, reste vraie en toute dimension
↑ Dans son article de 1923, il rappelle qu'il avait annoncé deux ans auparavant une démonstration d'un théorème de Schoenflies généralisé, démonstration qu'il n'avait heureusement pas publiée, puisque son contre-exemple la démolissait définitivement.
↑ (en) Morton Brown, « Locally flat imbeddings of topological manifolds », Annals of Mathematics, 2^e série, vol. 75,‎ 1962, p. 331–341.
↑ (en) R. H. Bing, « A homeomorphism between the 3-sphere and the sum of two solid horned spheres », Annals of Mathematics. Second Series, vol. 56,‎ 1952, p. 354–362 (ISSN 0003-486X, MR 0049549), JSTOR 1969804
↑ La variété de dimension 3 obtenue en collant deux copies de l'ensemble le long des points correspondants de la sphère cornue qui est leur frontière