Bout (topologie)

En mathématiques, un bout d'un espace topologique est de manière informelle une « composante connexe à l'infini » de cet espace. Dans les bons cas, ajouter un point pour chaque bout induit une compactification de dimension nulle de l'espace, on parle de compactification par les bouts ou Endenkompaktifiezierung en allemand, ou encore end compactification en anglais.

Un bout d'un groupe topologique est une classe d'équivalence de bouts de l'espace topologique sous-jacent pour une relation d'équivalence liée à l'action du groupe.

Historique[modifier | modifier le code]

C'est le mathématicien Hans Freudenthal qui est à l'origine de la théorie des bouts d'un espace topologique. En 1931 il définit ainsi les bouts d'un espace topologique localement compact (séparé), connexe et localement connexe comme étant (les classes d'équivalence de) certaines suites décroissantes d'ouverts connexes^[1]. En 1942 il élargit cette notion en retirant les conditions de connexité sur l'espace ; un bout est alors une base de filtre constituée d'ouverts de bord compact et maximale pour certaines propriétés^[2]. En 1945 il étudie les bouts d'espaces qu'il qualifie de "discrets" (une notion différente de celle d'espace topologique discret utilisée aujourd'hui) et en particulier des groupes (discrets) finiment engendrés : un bout d'un tel groupe est alors un bout de son graphe de Cayley^[3]. Heinz Hopf^[4], Ernst Specker^[5], John R. Stallings^[6], Peter Scott et Terry Wall^[7] entre autres vont démontrer d'autres résultats concernant les bouts d'espaces topologiques et de groupes topologiques finiment engendrés, en particulier donner des conditions pour qu'un groupe ait plus qu'un ou deux bouts.

Dans le contexte précédent se donner un filtre maximal est équivalent à se donner un idéal premier d'une certaine sous-algèbre de Boole ${\mathcal {U}}^{+}$ de l'algèbre des parties de l'espace $X$ considéré. En considérant toutes les sous-algèbres de Boole de ${\mathcal {U}}^{+}$ , Herbert Abels classifie en 1974 toutes les « compactifications de dimension nulle » d'un espace topologique localement compact, la compactification par les bouts est la « plus grande » de ces compactifications^[8]. Les mêmes idées appliquées à la sous-algèbre ${\mathcal {U}}^{G}$ des parties « compactement quasi-invariantes » d'un groupe topologique $G$ localement compact lui permettent alors de généraliser la notion de bout à un groupe topologique. La compactification par les bouts d'un tel groupe est alors la plus grande compactification de dimension nulle admettant des « bonnes » actions du groupe $G$ , c'est un quotient de la compactification par les bouts de l'espace topologique sous-jacent.

Il est intéressant de remarquer qu'à un groupe topologique sont attachées deux notions différentes de bouts : les bouts de l'espace topologique sous-jacent et les bouts du groupe topologique. Ces deux notions coïncident si et seulement si le groupe est connexe^[8].

Première définition[modifier | modifier le code]

Soit $X$ un espace topologique localement compact (séparé), connexe et localement connexe.

On considère la famille des suites décroissantes $G_{0}\supset G_{1}\supset \dots \supset G_{n}\supset \dots$ d'ouverts connexes non compacts, de bord compact et telles que $\bigcap _{i\in \mathbb {N} }{\bar {G}}_{i}=\varnothing$ , sur laquelle on définit une relation d'équivalence comme suit : $\left(G_{0}\supset G_{1}\supset \dots \right)\sim \left(H_{0}\supset H_{1}\supset \dots \right)$ si $\forall n,\exists m:G_{m}\subset H_{n}{\text{ et }}H_{m}\subset G_{n}$ .

Les classes d'équivalence pour cette relation sont les bouts de l'espace, on note ${\mathcal {E}}(X)$ l'ensemble des bouts de $X$ ^[1].

En décrétant ouvertes les parties $A\subset X\cup {\mathcal {E}}(X)$ satisfaisant : $A\cap X$ est ouvert dans $X$ , et pour tout $G_{0}\supset G_{1}\supset \dots$ (dont la classe d'équivalence est) dans $A\cap {\mathcal {E}}(X)$ il existe $i\in \mathbb {N}$ tel que $G_{i}\subset A$ , on obtient une topologie sur $X\cup {\mathcal {E}}(X)$ .

L'espace topologique $X\cup {\mathcal {E}}(X)$ ainsi obtenu est une compactification de $X$ , appelée compactification par les bouts de $X$ . L'espace des bouts ${\mathcal {E}}(X)$ est totalement discontinu et compact, donc de dimension nulle.

Définition alternative plus intuitive[modifier | modifier le code]

Michael Spivak propose la définition et l'exercice suivants^[9]^,^[10] :

Soit $X$ un espace topologique. Un bout de $X$ est une application $\varepsilon$ qui à chaque sous-ensemble compact $K\subset X$ associe une composante connexe de $X\setminus K$ de sorte que $\forall K_{1}\subset K_{2}:\varepsilon (K_{2})\subset \varepsilon (K_{1})$ . On note ${\mathcal {E}}'(X)$ l'ensemble des bouts de $X$ et on définit une topologie sur $X\cup {\mathcal {E}}(X)$ comme suit : $X$ est un ouvert et une base de voisinages d'un bout $\varepsilon$ est donnée par la famille des $\varepsilon _{0}(C)\cup \{\varepsilon \in {\mathcal {E}}'(X)~|~\varepsilon (C)=\varepsilon _{0}(C)\}$ pour $C\subset X$ compact.

Montrer que lorsque $X$ est localement compact, connexe et localement connexe, l'espace $X\cup {\mathcal {E}}(X)$ est compact.

L'application naturelle ${\mathcal {E}}(X)\rightarrow {\mathcal {E}}'(X)$ est injective, montrer que les deux définitions coïncident revient alors à montrer que c'est un homéomorphisme.

Cette définition de bout d'un espace topologique correspond bien à la notion intuitive de « composante connexe à l'infini ».

Compactifications de dimension nulle[modifier | modifier le code]

Soit $X$ un espace topologique localement compact (et séparé).

Une compactification de dimension nulle de $X$ est une compactification $Y$ de $X$ telle que le bord $Y\setminus X$ est totalement discontinu. Deux compactifications de dimension nulle sont dites équivalentes si l'application identité de $X$ s'étend en un homéomorphisme entre ces compactifications.

Par ailleurs, notons ${\mathcal {U}}^{+}$ la famille des parties $A\subset X$ dont le bord $\partial A$ est compact, c'est une algèbre de Boole pour les opérations différence symétrique et intersection. La famille ${\mathcal {R}}$ des parties de $X$ d'adhérence compacte est un idéal de ${\mathcal {U}}^{+}$ .

Il existe alors une bijection explicite associant à chaque classe d'équivalence de compactifications de dimension nulle de $X$ une sous-algèbre de Boole de ${\mathcal {U}}^{+}$ contenant ${\mathcal {R}}$ ^[8]. Dans cette bijection, une inclusion d'algèbres ${\mathcal {U}}_{1}\subset {\mathcal {U}}_{2}$ induit une application $Y_{2}\rightarrow Y_{1}$ (entre les compactifications correspondantes) qui est continue, surjective, et qui étend l'identité de $X$ .

En particulier, la compactification par les bouts $X^{+}$ de $X$ est la compactification correspondant à l'algèbre ${\mathcal {U}}^{+}$ , elle vérifie la propriété universelle suivante : pour toute compactification de dimension nulle $Y$ de $X$ il existe une unique application $X^{+}\rightarrow Y$ continue, surjective, et qui étend l'identité de $X$ . L'espace des bouts de $X$ est alors le bord ${\mathcal {E}}(X)=X^{+}\setminus X$ .

Compactifications de Specker[modifier | modifier le code]

Soit $G$ un groupe topologique localement compact (et séparé).

Une compactification de Specker $Y$ de $G$ est une compactification de dimension nulle de (l'espace topologique) $G$ satisfaisant les deux propriétés suivantes :

pour tout $g\in G$ , la multiplication par $g$ à gauche $L_{g}:G\rightarrow G,h\mapsto g\cdot h$ s'étend en une application ${\hat {L}}_{g}:X\rightarrow X$ continue,
l'application ${\hat {R}}:G\times Y\rightarrow Y,(g,y)\mapsto {\begin{cases}y\cdot g&{\text{si }}y\in G\\y&{\text{sinon}}\end{cases}}$ est continue (dit autrement, étendre toutes les multiplications à droite par l'identité au bord donne une application globale continue).

Notons alors ${\mathcal {K}}$ la famille des parties compactes non vides de $G$ et ${\mathcal {U}}^{G}=\{A\in {\mathcal {U}}^{+}~|~\forall K\in {\mathcal {K}},~(A+A\cdot K)\in {\mathcal {R}}\}$ (où $+$ désigne la différence symétrique entre parties de $G$ ). La famille ${\mathcal {U}}^{G}$ est une sous-algèbre de Boole de ${\mathcal {U}}^{+}$ contenant ${\mathcal {R}}$ , de plus l'action naturelle à droite de $G$ sur son algèbre des parties laisse ${\mathcal {U}}^{G}$ invariante (i.e. $\forall A\in {\mathcal {U}}^{G},\forall g\in G,A\cdot g\in {\mathcal {U}}^{G}$ ).

La bijection du paragraphe précédent induit alors par restriction une bijection entre les classes d'équivalence de compactifications de Specker de $G$ et les sous-algèbres de Boole de ${\mathcal {U}}^{G}$ contenant ${\mathcal {R}}$ et invariantes par l'action de $G$ à droite^[8].

En particulier, la compactification de Specker ${\hat {G}}_{u}$ correspondant à ${\mathcal {U}}^{G}$ est universelle au sens suivant : pour toute compactification de Specker $Y$ de $X$ il existe une unique application ${\hat {G}}_{u}\rightarrow Y$ continue, surjective, $G$ -équivariante et qui étend l'identité de $G$ . L'espace des bouts du groupe topologique $G$ est alors le bord ${\mathcal {E}}(G)={\hat {G}}_{u}\setminus G$ .

Propriétés et exemples[modifier | modifier le code]

L'ensemble des bouts d'un espace topologique est vide si et seulement si l'espace est compact.
La droite réelle $\mathbb {R}$ et le groupe discret $\mathbb {Z}$ ont exactement deux bouts.
En fait, un groupe localement compact et compactement engendré a deux bouts si et seulement si il est quasi-isométrique^[11] à $\mathbb {Z}$ (ou $\mathbb {R}$ ), ce qui est aussi équivalent au fait que le groupe est hyperbolique et que son bord a deux points.
Lorsque G est un groupe localement compact et finiment (ou compactement) engendré, les bouts de G sont exactement les bouts de l'un de ses graphes de Cayley.
Pour $n>1$ l'espace euclidien $\mathbb {R} ^{n}$ et le groupe abélien libre $\mathbb {Z} ^{n}$ ont exactement un bout.
Pour $n>1$ le graphe de Cayley du groupe libre à $n$ générateurs $\mathbb {F} _{n}$ est l'arbre (infini) de degré constant $2n$ et l'espace des bouts du groupe discret $\mathbb {F} _{n}$ est un ensemble de Cantor.
Les bouts d'un groupe localement compact G coïncident avec les bouts de l'espace topologique sous-jacent G si et seulement si G est connexe^[8].
Un groupe localement compact, non compact et compactement engendré possède 1, 2 ou une infinité de bouts^[8].
Le théorème de Stallings sur la structure des groupes dit qu'un groupe discret de type fini possède plus que deux bouts si et seulement si il admet une certaine^{[Laquelle ?]} décomposition.

Bouts de graphes[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Voir l' article détaillé End (graph theory) (en)

Références[modifier | modifier le code]

↑ ^{a et b} (de) Hans Freudenthal, « Über die Enden topologischer Räume und Gruppen », Mathematische Zeitschrift, vol. 33,‎ 1^er décembre 1931, p. 692–713 (ISSN 0025-5874 et 1432-1823, DOI 10.1007/BF01174375, lire en ligne, consulté le 26 février 2016)
↑ (de) H. Freudenthal, « Neuaufbau der Endentheorie », Annals of Mathematics (2),‎ 1942, p. 261-279 (ISSN 0003-486X)
↑ (de) H. Freudenthal, « Über die Enden diskreter Raüme und Gruppen », Comment. Math. Helv., n^o 17,‎ 1945, p. 1-38 (ISSN 0010-2571)
↑ (de) H. Hopf, « Enden offener Raüme und unendliche diskontinuierliche Gruppen », Comment. Math. Helv., n^o 16,‎ 1944, p. 81-100 (ISSN 0010-2571)
↑ (de) E. Specker, « Endenverbände von Raümen und Gruppen », Math. Ann., n^o 122,‎ 1950, p. 167-174 (ISSN 0025-5831)
↑ (en) John Stallings, Group theory and three-dimensional manifolds, 1971, 65 p. (ISBN 0-300-01397-3)
↑ (en) P. Scott et T. Wall, « Topological methods in group theory », London Math. Soc. Lecture Note Ser., n^o 36,‎ 1977, p. 137-203
↑ ^{a b c d e et f} (de) H. Abels, « Specker-Kompaktifizierungen von lokal kompakten topologischen Gruppen », Math. Z., n^o 135,‎ 1974, p. 325-361 (ISSN 0025-5874)
↑ (en) M. Spivak, A Comprehensive Introduction to Differential Geometry, vol. 1, Publish or Perish, 1999, 3^e éd. (lire en ligne), p. 23, Problem 19.
↑ (en) « Ends of topological spaces. Why independent of choice of ascending sequence of compact subsets? », sur MathOverflow, mars 2011.
↑ Une application $f:(X,d)\rightarrow (Y,\delta )$ entre espaces métriques est quasi-isométrique s'il existe deux constantes $K\geqslant 0$ et $C\geqslant 1$ telles que $\forall x_{1},x_{2}\in X,~C^{-1}d(x_{1},x_{2})\leqslant \delta (f(x_{1}),f(x_{2}))\leqslant Cd(x_{1},x_{2})+K$ . C'est une quasi-isométrie si son image est cobornée, c'est-à-dire s'il existe une constante $M\geqslant 0$ telle que : $\forall y\in Y,\exists x\in X,~\delta (f(x),y)\leqslant M$ . Deux espace métriques sont quasi-isométriques s'il existe une quasi-isométrie entre les deux.

Portail des mathématiques

[:0-1] {a et b} (de) Hans Freudenthal, « Über die Enden topologischer Räume und Gruppen », Mathematische Zeitschrift, vol. 33,‎ 1^er décembre 1931, p. 692–713 (ISSN 0025-5874 et 1432-1823, DOI 10.1007/BF01174375, lire en ligne, consulté le 26 février 2016)

[2] (de) H. Freudenthal, « Neuaufbau der Endentheorie », Annals of Mathematics (2),‎ 1942, p. 261-279 (ISSN 0003-486X)

[3] (de) H. Freudenthal, « Über die Enden diskreter Raüme und Gruppen », Comment. Math. Helv., n^o 17,‎ 1945, p. 1-38 (ISSN 0010-2571)

[4] (de) H. Hopf, « Enden offener Raüme und unendliche diskontinuierliche Gruppen », Comment. Math. Helv., n^o 16,‎ 1944, p. 81-100 (ISSN 0010-2571)

[5] (de) E. Specker, « Endenverbände von Raümen und Gruppen », Math. Ann., n^o 122,‎ 1950, p. 167-174 (ISSN 0025-5831)

[6] (en) John Stallings, Group theory and three-dimensional manifolds, 1971, 65 p. (ISBN 0-300-01397-3)

[7] (en) P. Scott et T. Wall, « Topological methods in group theory », London Math. Soc. Lecture Note Ser., n^o 36,‎ 1977, p. 137-203

[:1-8] {a b c d e et f} (de) H. Abels, « Specker-Kompaktifizierungen von lokal kompakten topologischen Gruppen », Math. Z., n^o 135,‎ 1974, p. 325-361 (ISSN 0025-5874)

[9] (en) M. Spivak, A Comprehensive Introduction to Differential Geometry, vol. 1, Publish or Perish, 1999, 3^e éd. (lire en ligne), p. 23, Problem 19.

[10] (en) « Ends of topological spaces. Why independent of choice of ascending sequence of compact subsets? », sur MathOverflow, mars 2011.

[11] Une application $f:(X,d)\rightarrow (Y,\delta )$ entre espaces métriques est quasi-isométrique s'il existe deux constantes $K\geqslant 0$ et $C\geqslant 1$ telles que $\forall x_{1},x_{2}\in X,~C^{-1}d(x_{1},x_{2})\leqslant \delta (f(x_{1}),f(x_{2}))\leqslant Cd(x_{1},x_{2})+K$ . C'est une quasi-isométrie si son image est cobornée, c'est-à-dire s'il existe une constante $M\geqslant 0$ telle que : $\forall y\in Y,\exists x\in X,~\delta (f(x),y)\leqslant M$ . Deux espace métriques sont quasi-isométriques s'il existe une quasi-isométrie entre les deux.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]