## [Théorème de Tychonoff](/fr/node/62205) Définition L'énoncé selon lequel tout produit (muni de la topologie produit) d'espaces topologiques compacts est compact ; dans la théorie ZF cet énoncé est équivalent à l'Axiome du Choix. ## Principe Principe La compacité est préservée par des produits arbitraires lorsque le produit est muni de la topologie produit ; les preuves utilisent des filets, des ultrafiltreurs ou le théorème de la sous-base d'Alexander et font appel au choix pour la généralité totale. ## Démonstration Démonstration Le cube de Tychonoff [0,1]^I (produit de copies de l'intervalle compact [0,1] indexées par I) est compact pour toute famille d'indices I dans la topologie produit ; des arguments par ultrafiltre ou sous-base établissent la compacité. ## Mauvaise application Mauvaise application Appliquer le théorème à la topologie boîte ou supposer que des produits d'espaces seulement localement compacts sont compacts est une mauvaise application ; la topologie produit et la compacité de chaque facteur sont des hypothèses essentielles. ## Conséquence Conséquence Le théorème de Tychonoff soutient de nombreux résultats d'existence (par exemple des mesures produit et des compactifications) et son équivalence à l'Axiome du Choix met en évidence des implications fondamentales profondes pour les constructions en topologie et analyse. ## Inversion Inversion L'échec de la compacité du produit dans des topologies alternatives (par exemple la topologie boîte) ou sans choix souligne le contraste : les produits finis préservent banalement la compacité, mais les produits infinis requièrent le théorème complet et, du point de vue set-théorique, le choix. ## Limite Limite Le théorème concerne spécifiquement la topologie produit sur des familles d'indices arbitraires et la compacité des facteurs ; il ne s'étend pas à d'autres topologies de produit et n'est pas valable en ZF sans choix sauf pour des classes particulières d'espaces. ## Tension sémantique Tension sémantique Il existe une tension entre la topologie produit et la topologie boîte, entre les preuves par recouvrements et celles par ultrafiltres/filets, et entre le contenu topologique du théorème et son équivalence set-théorique à l'Axiome du Choix. ## Synthèse Synthèse Le théorème de Tychonoff affirme que des produits arbitraires d'espaces compacts sont compacts dans la topologie produit ; il est à la fois un outil puissant pour construire des espaces compacts et un énoncé de force set-théorique précise équivalente au choix.