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

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

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

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

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

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

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

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

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.