Théorème de Tykhonov

Carte Commune · n° 348592

Le théorème de Tykhonov (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, 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.

Lire sur Wikipédia · Image Fschwarzentruber, CC BY-SA 4.0