Théorème de Tykhonov
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour l’article homonyme, voir Théorème du point fixe de Tychonoff.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b9/Tykhonov.svg/220px-Tykhonov.svg.png)
Le théorème de Tychonov (ou Tychonoff) est un théorème de topologie qui affirme qu'un produit d'espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a plusieurs applications en topologie algébrique et différentielle, particulièrement en analyse fonctionnelle, pour la preuve du théorème de Banach-Alaoglu-Bourbaki et le compactifié de Stone-Čech.
Si ce théorème est relativement élémentaire dans le cas d'un produit fini[1], sa validité dans le cas d'un produit infini est plus étonnante, et se démontre par une méthode non constructive faisant appel à l'axiome du choix. Dans le cas d'un produit dénombrable d'espaces métriques compacts, une forme faible de cet axiome suffit.
Démonstration dans le cas d'un produit dénombrable de métriques
Dans le cas du produit dénombrable de métriques, l'idée essentielle est de faire de ce produit un espace lui aussi métrique en le munissant d'une distance appropriée, ce qui permet ensuite d'utiliser le théorème de Bolzano-Weierstrass et le fait que la compacité séquentielle est stable par produits dénombrables.
Démonstration dans le cas général
Un espace est compact si seulement s'il est séparé et s'il est quasi-compact (c'est-à-dire s'il vérifie la propriété de Borel-Lebesgue). Comme tout produit de séparés est séparé pour la topologie produit, il reste à prouver que tout produit de quasi-compacts est quasi-compact et ce, en utilisant l'axiome du choix ou, ce qui est équivalent, le lemme de Zorn.
Soit une famille d'espaces quasi-compacts. Pour prouver que leur produit X est quasi-compact, il suffit, d'après un théorème d'Alexander, de montrer que pour toute partie C de la prébase naturelle du produit, si C ne contient aucun recouvrement fini de X alors C ne recouvre pas X. Pour ce faire, on utilise pour commencer le lemme de Zorn (déjà employé pour démontrer le théorème d'Alexander) et pour finir, l'axiome du choix[2],[3],[4].
Par la théorie des filtres
On peut donner une démonstration élégante[5],[6],[7],[4] de ce théorème en utilisant la théorie des filtres.
Par l'utilisation de suites généralisées
Une démonstration du théorème de Tykhonov généralise la démonstration usuelle utilisée dans le cas d'un produit fini ou dénombrable. Elle utilise la caractérisation de la compacité par les suites généralisées. À partir d'une suite généralisée de l'espace produit, elle consiste, par une récurrence transfinie sur les composantes, à extraire une sous-suite généralisée convergente, ce qui prouve la compacité[8].
Par la propriété de Borel-Lebesgue pour les fermés
On peut utiliser le fait qu'un espace X est quasi-compact si et seulement si, pour toute famille de fermés de X dont les intersections finies sont non vides, est non vide.
Soient une famille de quasi-compacts, X leur produit, et une famille de fermés de X dont toute intersection finie d'éléments est non vide. On notera la projection de X sur .
Considérons l'ensemble des familles de parties de X contenant (au sens de l'inclusion) et dont les intersections finies d'éléments sont non vides. C'est un ensemble ordonné par l'inclusion et inductif. Il vérifie donc les hypothèses du lemme de Zorn et admet par conséquent un élément maximal .
Soit fixé. Comme l'intersection finie d'éléments de est non vide, c'est aussi le cas de l'intersection finie de projections sur d'éléments de , donc de l'adhérence de tels éléments ; ainsi la famille vérifie les hypothèses de la propriété de Borel-Lebesgue dans qui est quasi-compact, donc l'ensemble est non vide.
On va alors considérer un élément du produit de tous ces ensembles non vides (on utilise donc à nouveau l'axiome du choix) et montrer qu'il est dans l'intersection des éléments de , qui sera alors non vide, ce qui achèvera la preuve.
On remarque tout d'abord que :
- (L1) est stable par intersection finie.
En effet, soit une intersection finie d'éléments de . Alors l'ensemble contient et ses intersections finies font partie de celles de donc sont non vides, si bien que (par maximalité de ) , c.-à-d. .
Par un argument similaire, on en déduit que
- (L2) si un sous-ensemble de X intersecte tous les éléments de , alors il appartient à .
Soit V ouvert de contenant x : il existe ouverts respectifs de tels que l'ouvert élémentaire contienne x et soit inclus dans V.
Alors soit , on a , ainsi , or ouvert donc , donc . Alors par (L2), .
Donc par (L1), , donc U intersecte tous les éléments de . A fortiori, V intersecte tous les éléments de .
Ainsi, x est dans l'adhérence de tous les éléments de , qui sont fermés, donc x appartient à tous les éléments de , dont l'intersection est donc non vide, ce qui achève la preuve.
Équivalence avec l'axiome du choix
Nous avons précédemment évoqué l'équivalence du théorème de Tychonov avec l'axiome du choix. Il est important de noter que cette équivalence n'a lieu que si l'on considère la définition anglophone de la compacité, qui correspond à la quasi-compacité francophone (l'espace vérifie la propriété de Borel-Lebesgue mais n'est pas séparé a priori). Dans le cas de la compacité francophone (on impose de plus que l'espace soit séparé), le théorème de Tychonov est équivalent à une version strictement plus faible de l'axiome du choix : le théorème de l'idéal premier dans une algèbre de Boole.
Pour prouver cette équivalence[9] (dans le cas anglophone), nous allons utiliser une légère variante de la topologie cofinie qui possède une propriété très intéressante : tout espace est quasi-compact pour la topologie cofinie.
Soit donc une famille d'ensembles non vides, nous voulons montrer . On se donne un élément, noté , n'appartenant pas à la réunion des Ai, on pose , et l'on munit de la topologie formée de l'ensemble vide, de tous les ensembles de complémentaire fini, et du singleton (on vérifie qu'alors, on a bien une topologie et est quasi-compact). Par Tychonov (anglophone), le produit des est quasi-compact.
On remarque que, en notant la i-ème projection, on a : . Or est quasi-compact : pour montrer que , on va se servir de la contraposée de la propriété de Borel-Lebesgue pour les fermés : si chaque est fermé et si toute intersection finie de est non vide, alors l'intersection des est non vide, ce qui achèvera la preuve.
Or, pour tout , comme est fermé dans et est continue, est fermé. D'autre part, soit une partie finie de , alors : en effet, en choisissant, pour chaque , un élément de , on peut définir un élément de cette intersection par si et si : on a donc bien la propriété annoncée.
Notes et références
- ↑ Voir l'article Lemme du tube, ou Hervé Queffélec, Topologie : cours et exercices corrigés, Dunod, , 6e éd. (lire en ligne), p. 88.
- ↑ a et b (en) John L. Kelley, General Topology, Van Nostrand, (lire en ligne), p. 143.
- ↑ Suivre le lien (voir infra) vers Wikiversité.
- ↑ a et b Olivier Brinon, « Le théorème de Tychonoff », . (Dans ce texte, le nom d'Alexander est remplacé par erreur par le nom Alexandrov, et le terme de prébase d'ouverts est remplacé par le terme base d'ouverts.)
- ↑ N. Bourbaki, Éléments de mathématique, Topologie générale, chap. I.
- ↑ Georges Skandalis, Topologie et analyse 3e année, Dunod, coll. Sciences Sup, 2001.
- ↑ Claude Wagschal, Topologie et analyse fonctionnelle, Édition Hermann, Collection Méthodes, 1995.
- ↑ Étienne Matheron, « Three Proofs of Tychonoff's Theorem », American Mathematical Monthly, vol. 127, no 5, , p. 437-443 (DOI 10.1080/00029890.2020.1718951)
- ↑ (en) J. L. Kelley, « The Tychonoff product theorem implies the axiom of choice », Fund. Math., vol. 37, no 1, , p. 75-76 (lire en ligne).
Voir aussi
Sur les autres projets Wikimedia :
- Produit d'espaces compacts, sur Wikiversity
- Théorème de Tychonov dans les ensembles flous
- Théorème de De Bruijn-Erdős (théorie des graphes)
Portail des mathématiques