Compacité

La compacité est l'abstraction topologique de la finitude : un espace est compact lorsque tout recouvrement ouvert admet un sous-recouvrement fini, une propriété qui transforme de nombreux problèmes infinis en problèmes finis.

Definition

Un espace topologique est compact si toute collection d'ensembles ouverts dont l'union est l'espace entier (un recouvrement ouvert) admet une sous-collection finie qui recouvre toujours l'espace.

Scope

Ce sujet définit la compacité via les recouvrements ouverts et développe ses formes équivalentes et apparentées — la compacité par points limites, la compacité séquentielle et la compacité dénombrable — ainsi que leurs relations sous des hypothèses de dénombrabilité et de métrisabilité. Il aborde les conséquences de la compacité (les images continues d'espaces compacts sont compactes, les fonctions réelles continues atteignent leurs extrema, les sous-ensembles compacts des espaces de Hausdorff sont fermés), la caractérisation de Heine-Borel dans l'espace euclidien, et le théorème de Tychonoff selon lequel les produits d'espaces compacts sont compacts. La compacité locale et les compactifications sont également incluses.

Core questions

• Pourquoi la définition par recouvrement ouvert est-elle la bonne abstraction de la finitude plutôt que la bornitude ou les limites séquentielles ?
• Quand la compacité séquentielle, la compacité par points limites et la compacité par recouvrement ouvert coïncident-elles, et quand divergent-elles ?
• Comment la compacité se propage-t-elle à travers les applications continues, les produits et les sous-espaces ?
• Qu'est-ce qui rend le théorème de Tychonoff — et sa dépendance à l'axiome du choix — central en topologie générale ?

Key concepts

• Recouvrements ouverts et sous-recouvrements finis
• Compacité séquentielle, par points limites et dénombrable
• Théorème de Heine-Borel dans l'espace euclidien
• Théorème de Tychonoff pour les produits arbitraires
• Compacité locale et compactification d'Alexandroff

Clinical relevance

La compacité est à la base de résultats d'existence dans l'ensemble des mathématiques — l'atteinte des extrema (théorème des valeurs extrêmes), l'existence de sous-filets convergents, les opérateurs compacts en analyse fonctionnelle, et la fermeture des espaces de modules et de paramètres en géométrie.

History

La notion est née du théorème de Heine-Borel sur les intervalles fermés bornés ; la définition moderne par recouvrement ouvert a été abstraite dans les années 1920, et le théorème de Tychonoff de 1930 sur les produits a établi la compacité comme une propriété robustement préservée sous des produits arbitraires, équivalente en force à l'axiome du choix.

Key figures

• Eduard Heine
• Émile Borel
• Andrey Tychonoff

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

La compacité est-elle équivalente à la fermeture et à la bornitude ?

Seulement dans l'espace euclidien de dimension finie, où le théorème de Heine-Borel les rend équivalents. Dans les espaces métriques et topologiques généraux, les ensembles fermés et bornés ne sont pas nécessairement compacts.

Pourquoi le théorème de Tychonoff nécessite-t-il l'axiome du choix ?

Prouver qu'un produit arbitraire (potentiellement non dénombrable) d'espaces compacts est compact est logiquement équivalent à l'axiome du choix, de sorte que le théorème ne peut être établi sans une certaine forme de choix.