Compacité (mathématiques)
Notion de topologie générale évaluant le caractère "fini" d'un ensemble topologique / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Compacité (mathématiques)?
Résumez cet article pour un enfant de 10 ans
En mathématiques, et plus précisément en topologie, on dit d'un espace qu'il est compact s'il est séparé et vérifie la propriété de Borel-Lebesgue. La compacité revêt une importance fondamentale en topologie, et possède des applications dans de nombreux domaines des mathématiques. Plusieurs propriétés des segments de la droite réelle ℝ se généralisent aux espaces compacts, ce qui les rend par exemple utiles pour prouver qu'une fonction admet des extrema.
La notion de compacité admet plusieurs variantes en topologie générale. Un espace quasi-compact est un espace qui vérifie la propriété de Borel-Lebesgue, sans être nécessairement séparé. Certains résultats sur les espaces compacts demeurent vrais pour les espaces quasi-compacts, comme le théorème des bornes généralisé ou le théorème de Tychonov. On définit également les espaces dénombrablement compacts et les espaces séquentiellement compacts. Ces variantes sont équivalentes à la compacité dans un espace métrique.
Le nom « propriété de Borel-Lebesgue » rend hommage aux mathématiciens français Émile Borel et Henri Lebesgue, car le théorème homonyme établit que tout segment de ℝ est compact et, plus généralement, que les compacts de ℝn sont les fermés bornés.