Compacité (mathématiques)

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 ℝⁿ sont les fermés bornés.

Propriété de Borel-Lebesgue

Définition préalable : Soit ${\displaystyle E}$ un ensemble et ${\displaystyle A}$ une partie de ${\displaystyle E}$. On dit qu'une famille ${\displaystyle (U_{i})_{i\in I}}$ de parties de ${\displaystyle E}$ recouvre ${\displaystyle A}$ si sa réunion ${\displaystyle \bigcup _{i\in I}U_{i}}$ contient ${\displaystyle A}$.

Propriété de Borel-Lebesgue pour les segments : soit un segment ${\displaystyle [a,b]}$ de la droite réelle. De tout recouvrement ouvert de ce segment, on peut extraire un sous-recouvrement fini. C'est-à-dire que pour toute famille ${\displaystyle (U_{i})_{i\in I}}$ d'ensembles ouverts recouvrant ${\displaystyle [a,b]}$, il existe une partie finie ${\displaystyle J}$ de ${\displaystyle I}$ telle que la sous-famille ${\displaystyle (U_{i})_{i\in J}}$ recouvre déjà ${\displaystyle [a,b]}$.

Pour une démonstration de cette propriété voir le théorème de Borel-Lebesgue, aussi appelé théorème de Heine-Borel.

La propriété de Borel-Lebesgue est étroitement liée à une propriété des suites bornées de réels : de toute suite bornée de réels, on peut extraire une suite convergente. Le lien entre les deux propriétés est explicité plus bas (dans la section « Théorème de Bolzano-Weierstrass et compacité séquentielle »).

De l'une ou l'autre de ces propriétés il est possible de tirer quelques conséquences importantes sur les fonctions numériques. Notamment : l'image d'un segment par une application continue est non seulement (d'après le théorème des valeurs intermédiaires) un intervalle, mais c'est même un segment (théorème des bornes), et la fonction est alors uniformément continue (théorème de Heine).

La propriété de Borel-Lebesgue (de même que la compacité séquentielle) peut se formuler comme une propriété intrinsèque de l'espace topologique étudié (ici : l'espace ${\displaystyle [a,b]}$ muni de sa topologie usuelle), indépendamment du fait que celui-ci soit, éventuellement, inclus dans un espace topologique « plus gros » (ici : ${\displaystyle \mathbb {R} }$) et soit muni de ce fait de la topologie induite. En ce sens, la notion de « partie compacte » (d'un espace topologique) diffère fondamentalement de celle, par exemple, de « partie fermée ».

Axiome de Borel-Lebesgue et définition générale des compacts

Un espace topologique ${\displaystyle E}$ est dit quasi-compact s'il vérifie l'axiome de Borel-Lebesgue : de tout recouvrement ouvert de ${\displaystyle E}$, on peut extraire un sous-recouvrement fini. L'espace est dit compact quand il est en outre séparé au sens de Hausdorff (${\displaystyle T_{2}}$). Une partie ${\displaystyle K}$ de E est dite (quasi-)compacte si K muni de la topologie induite est (quasi-)compact.

Pour que ${\displaystyle E}$ soit quasi-compact, il suffit que tout recouvrement de ${\displaystyle E}$ par des ouverts d'une base fixée possède un sous-recouvrement fini.

Démonstration

Soient ${\displaystyle {\mathcal {B}}}$ une base de ${\displaystyle E}$ vérifiant cette hypothèse et ${\displaystyle (U_{i})_{i\in I}}$ un recouvrement ouvert arbitraire de ${\displaystyle E}$. Notons ${\displaystyle {\mathcal {C}}}$ l'ensemble des ouverts ${\displaystyle O\in {\mathcal {B}}}$ inclus dans au moins un ${\displaystyle U_{i}}$:

${\displaystyle {\mathcal {C}}=\{O\in {\mathcal {B}}\quad \exists i\in I\quad O\subset U_{i}\}}$

et montrons que ${\displaystyle {\mathcal {C}}}$ recouvre ${\displaystyle E}$.

Puisque ${\displaystyle {\mathcal {B}}}$ est une base, chaque ${\displaystyle U_{i}}$ est une réunion d'ouverts ${\displaystyle O\in {\mathcal {B}}}$, et même ${\displaystyle O\in {\mathcal {C}}}$ puisque ${\displaystyle O\in U_{i}}$, donc chaque ${\displaystyle U_{i}}$ est inclus dans la réunion ${\displaystyle \bigcup _{O\in {\mathcal {C}}}O}$, si bien que la réunion ${\displaystyle E=\bigcup _{i\in I}U_{i}}$ l'est aussi, donc ${\displaystyle {\mathcal {C}}}$ recouvre bien ${\displaystyle E}$.

Par hypothèse sur ${\displaystyle B}$, ${\displaystyle {\mathcal {C}}}$ possède alors un sous-recouvrement fini ${\displaystyle {\mathcal {F}}}$. Pour chaque ${\displaystyle O\in {\mathcal {F}}}$, si l'on note ${\displaystyle i_{O}}$ l'un des ${\displaystyle i\in I}$ pour lesquels ${\displaystyle O\subset U_{i}}$, la famille ${\displaystyle (U_{i_{O}})_{O\in {\mathcal {F}}}}$ est un sous-recouvrement fini de ${\displaystyle U_{i}}$.

Il suffit même qu'il en soit ainsi pour une prébase (cf. Propriétés des prébases, théorème d'Alexander).

Par passage aux complémentaires, la propriété de Borel-Lebesgue équivaut à : si ${\displaystyle (F_{i})_{i\in I}}$ est une famille^[1] de fermés telle que ${\displaystyle \bigcap _{i\in I}F_{i}=\emptyset }$, alors on peut extraire une famille finie (${\displaystyle (F_{i})_{i\in J}}$, avec ${\displaystyle J\subset I}$, telle que ${\displaystyle \bigcap _{i\in J}F_{i}=\emptyset }$. Ou encore, par contraposition : si ${\displaystyle (F_{i})_{i\in I}}$ est une famille de fermés dont toute sous-famille finie a une intersection non vide, alors ${\displaystyle \bigcap _{i\in I}F_{i}}$ est non vide. De façon équivalente : toute famille non vide de fermés non vides stable par intersections finies a une intersection non vide.

Un espace topologique ${\displaystyle X}$ est quasi-compact si^[2] (et seulement si) l'intersection de toute chaîne^[3] non vide de fermés non vides de ${\displaystyle X}$ est non vide.

Démonstration

• Seulement si : immédiat car toute chaîne est stable par intersections finies.
• Si : soient ${\displaystyle X}$ un espace dans lequel l'intersection de toute chaîne de fermés non vides est non vide, ${\displaystyle (F_{i})_{i\in I}}$ une famille non vide de fermés non vides de ${\displaystyle X}$ stable par intersections finies et ${\displaystyle F}$ son intersection. Il s'agit de montrer que ${\displaystyle F\neq \emptyset }$. Notons ${\displaystyle M}$ l'ensemble de tous les fermés non vides ${\displaystyle G}$ de ${\displaystyle X}$ tels que ${\displaystyle \forall i\in I,G\cap F_{i}\neq \emptyset }$ et ${\displaystyle F\subset G\cap F_{i}}$. Tous les ${\displaystyle F_{i}}$ appartiennent à ${\displaystyle M}$, qui est donc non vide. Par hypothèse sur ${\displaystyle X}$, toute chaîne non vide d'éléments de ${\displaystyle M}$ a pour intersection un élément de ${\displaystyle M}$. D'après le lemme de Zorn, ${\displaystyle M}$ possède donc au moins un élément ${\displaystyle G}$ minimal pour l'inclusion. Or ${\displaystyle M}$ est stable par intersection avec chaque ${\displaystyle F_{i}}$ donc il contient tous les ${\displaystyle G\cap F_{i}}$. Par minimalité, ${\displaystyle G}$ est par conséquent inclus dans tous les ${\displaystyle F_{i}}$ donc dans ${\displaystyle F}$, ce qui prouve que ${\displaystyle F}$ n'est pas vide.

NB : En terminologie anglo-saxonne, la définition est légèrement différente. Sauf mention contraire, le compact anglophone est un quasi-compact francophone (les anglophones précisent "compact Hausdorff" s'ils veulent la séparation). Toutes les propriétés ne s'appliquent donc pas en général, sauf sous l'hypothèse que l'espace est séparé.

Définition par la théorie des filtres

Si ${\displaystyle E}$ est un espace topologique, les trois propriétés suivantes sont équivalentes :

1. ${\displaystyle E}$ est quasi-compact ;
2. tout filtre sur ${\displaystyle E}$ possède un point adhérent ;
3. tout ultrafiltre sur ${\displaystyle E}$ est convergent.

Démonstration

1. ⇒ 2. Soit ℱ un filtre sur ${\displaystyle E}$. Alors ${\displaystyle \bigcap \nolimits _{F\in {\text{ℱ}}}\!{\bar {F}}\neq \varnothing }$.
En effet l'intersection d'un nombre fini d'éléments de ℱ étant non vide, toute intersection finie ${\displaystyle {\overline {F_{1}}}\cap \ldots \cap {\overline {F_{n}}}}$ est non vide (où ${\displaystyle F_{1},\ldots ,F_{n}\in {\text{ℱ}}}$). Par compacité de ${\displaystyle E}$ l'intersection ci-dessus est non vide et possède donc un élément ${\displaystyle a}$. Cet élément est adhérent à tout ${\displaystyle F\in {\text{ℱ}}}$, c'est-à-dire que tout voisinage de ${\displaystyle a}$ rencontre ${\displaystyle F}$ ; c'est la définition-même de l'adhérence d'un point à un filtre.

2. ⇒ 3. Soit 𝒰 un ultrafiltre sur ${\displaystyle E}$, et ${\displaystyle a}$ l'un de ses points adhérents, qui existe par hypothèse. Soit ${\displaystyle V}$ un voisinage quelconque de ${\displaystyle a}$ ; par maximalité de 𝒰 on a : ou bien ${\displaystyle V\in {\text{𝒰}}}$ ou bien ${\displaystyle E\smallsetminus V\in {\text{𝒰}}}$. Si cette dernière assertion était vérifiée, le fait que ${\displaystyle V\cap (E\setminus V)=\varnothing }$ contredirait l'adhérence de ${\displaystyle a}$ à 𝒰. C'est alors ${\displaystyle V}$ qui est élément de 𝒰, et donc 𝒰 converge vers ${\displaystyle a}$.

3. ⇒ 1. Considérons ${\displaystyle (F_{i})_{i\in I}}$, une famille de fermés de ${\displaystyle E}$ dont l'intersection de toute sous-famille finie est non vide.
L'ensemble des intersections ${\displaystyle \bigcap \nolimits _{1\leqslant k\leqslant n}\!F_{i_{k}}}$ (où ${\displaystyle i_{1},\ldots ,i_{n}\in I}$) constitue donc une base de filtre, laquelle engendre un filtre qui est lui-même inclus dans un ultrafiltre 𝒰. Par hypothèse 𝒰 converge vers un point ${\displaystyle a}$. Soit ${\displaystyle i\in I}$, et soit ${\displaystyle V}$ un voisinage quelconque de ${\displaystyle a}$, alors ${\displaystyle V\cap F_{i}\neq \varnothing }$ car ces deux ensembles sont éléments de 𝒰 ; on en déduit que ${\displaystyle a\in {\overline {F_{i}}}=F_{i}}$. Il en résulte que ${\displaystyle a\in \bigcap \nolimits _{i\in I}\!F_{i}}$ ; ce dernier ensemble est donc non vide et la propriété de Borel-Lebesgue (version en termes de fermés) est satisfaite pour ${\displaystyle E}$.

Un espace topologique séparé est compact si et seulement si toute suite généralisée possède au moins une valeur d'adhérence, autrement dit une sous-suite généralisée convergente. Cette définition équivalente est rarement utilisée. Elle est particulièrement adéquate pour prouver que tout produit de compacts est compact.

Dans tout espace quasi-compact, un filtre qui n'a qu'un point adhérent converge vers ce point ; dans un espace compact donc séparé, cette condition suffisante de convergence est évidemment nécessaire^[4].

Exemples

• Tout espace fini est quasi-compact puisqu'il n'a qu'un nombre fini d'ouverts.
• Dans un espace séparé, étant donné une suite convergente, l'ensemble constitué des termes de la suite ainsi que de la limite est compact. En effet, de tout recouvrement ouvert, on peut extraire un ouvert contenant la limite ; comme il n'existe qu'un nombre fini de termes hors de cet ouvert, il est aisé de trouver un sous-recouvrement fini.
• Tout ensemble muni de la topologie cofinie est quasi-compact.
• L'ensemble de Cantor est compact, comme fermé du compact [0, 1].
• Le cube de Hilbert est compact, comme produit d'une famille (dénombrable) de copies du compact [0, 1].

Propriétés

Compacts et fermés

• Dans un espace séparé, deux parties compactes disjointes sont toujours incluses dans deux ouverts disjoints^[5].
• Toute partie compacte d'un espace séparé est fermée^[6].
• Toute partie fermée d'un espace (quasi-)compact est (quasi-)compacte^[6].

On déduit facilement des deux propriétés précédentes que dans un espace séparé, toute intersection d'une famille non vide de compacts est compacte^[7].

Dans un espace quasi-compact, l'intersection de toute suite décroissante de fermés non vides est non vide^[8], donc :

• « théorème des compacts emboîtés » : dans un espace topologique quelconque, l'intersection de toute suite décroissante de compacts non vides est (un compact) non vide
  (en considérant ces compacts comme des fermés du premier d'entre eux).

N. B. : la plupart de ces propriétés ne s'étendent pas au cas non séparé.

Contre-exemples

• dans la paire {0, 1} munie de la topologie grossière, {0} et {1} sont compacts mais pas fermés ;
• dans le produit de cette paire par ℝ (muni de sa topologie usuelle), {1}×[–1, 1] et ({0}×[–1, 0])∪({1}×]0, 1]) sont canoniquement homéomorphes à [–1, 1] donc compacts (mais non fermés) et leur intersection, {1}×]0, 1], n'est même pas quasi-compacte ;
• ce même exemple montre que la compacité n'est pas préservée par réunions finies (seule la quasi-compacité l'est).

• Un espace compact est normal,

ce qui permet d'affiner le théorème des compacts emboîtés :

• Toute intersection d'une suite décroissante de compacts connexes est connexe.

Démonstration de ces deux propriétés

• Un espace compact est normal : dans un espace compact E, soient A, B deux fermés disjoints. D'après les propriétés ci-dessus, A et B sont alors deux compacts disjoints et E est séparé, si bien que A et B sont inclus dans deux ouverts disjoints, ce qui prouve que E est normal.
• Toute intersection d'une suite décroissante de compacts connexes est connexe : soit (F_n) une suite décroissante de compacts ; supposons que son intersection K n'est pas connexe. Il existe donc deux fermés F et G de F₀ tels que F⋂K et G⋂K soient non vides et complémentaires dans K. Par normalité de F₀, il existe alors deux ouverts disjoints U et V de F₀ qui contiennent respectivement F⋂K et G⋂K. Notons W la réunion de ces deux ouverts et G_n le fermé F_n\W. Les G_n forment une suite décroissante de compacts d'intersection vide, donc l'un des G_n est vide. Le F_n correspondant est alors inclus dans la réunion disjointe W = U⋃V. Comme ce F_n rencontre chacun des deux ouverts U et V, il n'est pas connexe, ce qui démontre la contraposée de la proposition.

Autres propriétés

Un espace vectoriel normé réel est de dimension finie si et seulement si ses compacts sont ses fermés bornés.

Le produit cartésien de compacts, muni de la topologie produit, est compact.

Plus précisément : tout produit de quasi-compacts est quasi-compact ; ce résultat, connu sous le nom de théorème de Tykhonov, est équivalent à l'axiome du choix.

Toute partie discrète et fermée d'un quasi-compact est finie.

Théorème de Kuratowski^[9]-Mrówka^[10] : Un espace séparé X est compact si et seulement si pour tout espace Y, la projection p_Y : X×Y → Y est une application fermée.

Plus généralement, un espace X est quasi-compact si et seulement s'il vérifie cette propriété^[11].

Démonstration

• Si X est quasi-compact alors la projection p_Y : X×Y → Y est fermée pour tout Y : voir « Lemme du tube ».
• Réciproquement, supposons que la projection p_Y : X×Y → Y est fermée pour tout Y et montrons que X est quasi-compact. Soit (U_i)_i∈I un recouvrement ouvert de X. Notons
  • ∞ un élément arbitraire n'appartenant pas à X,
  • Y l'union disjointe de X et du singleton {∞},
  • E l'ensemble des parties de X qui sont des réunions d'un nombre fini de U_i,
  • B l'ensemble des parties de Y qui ou bien ne contiennent pas ∞, ou bien sont complémentaires dans Y d'un élément de E,
  • ∆ la diagonale de X (c.-à-d. l'ensemble des couples (x, x) quand x parcourt X), qui est une partie de X×X donc de X×Y.

On vérifie sans peine que B constitue la base d'une topologie sur Y et on applique l'hypothèse à cet espace topologique Y : l'image par p_Y du fermé ∆ est un fermé de Y. De plus, p_Y(∆) (qui contient X) ne contient pas ∞ (car X×{∞} est inclus dans un ouvert disjoint de ∆ : la réunion des U_i×(Y\U_i)). Ceci prouve que {∞} est un ouvert de Y. On en déduit que X appartient à E, ce qui conclut.

Il en résulte que toute application de graphe fermé d'un espace quelconque dans un espace quasi-compact est continue^[12].

Démonstration^[13]

Soit f : A → B avec B quasicompact et Gr(f) fermé dans A×B, et soit F un fermé de B. Alors f⁻¹(F) est un fermé de A, comme image du fermé (A×F)∩Gr(f) par l'application fermée p_A : A×B → A.

Compacité et continuité

• L'image d'un compact, par une application continue à valeurs dans un espace séparé, est compacte^[14].
  Cette propriété permet d'exhiber des extrema globaux pour les fonctions continues à valeurs réelles. En voici quelques exemples :
  • théorème des bornes (ou théorème de Weierstrass) : « toute application continue d'un segment réel dans ℝ est bornée et atteint ses bornes » (joint au théorème des valeurs intermédiaires, il assure que cette image est en fait un segment) ;
  • problème du point de Fermat. Un triangle ABC étant donné, il est demandé de prouver qu'il existe un point M tel que la somme des distances AM + BM + CM soit minimale. On remarque d'abord qu'il est inutile de chercher M trop loin des points A,B,C. La considération de l'application continue M ↦ AM + BM + CM sur un disque fermé de rayon suffisamment grand permet d'appliquer le théorème : il existe un minimum global. Ce constat peut servir de point de départ à une construction explicite ;
  • distance d'un point à un fermé de ℝⁿ. Soient F une partie fermée non vide de ℝⁿ et x un point de ℝⁿ. Il s'agit de prouver qu'il existe un point f de F plus proche de x que tous les autres. De nouveau, il est inutile de chercher f trop loin de x. On peut donc se limiter à l'intersection de F et d'une boule fermée, ce qui constitue un compact d'après le théorème de Borel-Lebesgue, et introduire la fonction distance à x, qui est continue ;

Une fonction à valeurs réelles continue sur un compact atteint toujours son maximum.

• caractère isopérimétrique d'un polygone régulier, question ouverte depuis l'antiquité. L'objet est de savoir quel est le polygone à n côtés qui possède la plus grande aire, pour un périmètre donné. Des raisonnements géométriques assez simples montrent que l'unique candidat possible est le polygone régulier, résultat démontré depuis l'antiquité grecque. En revanche, l'existence d'une solution à cette question est restée ouverte jusqu'au XIX^e siècle.
  Pour comprendre la nature de la démonstration, le plus simple est de considérer le cas du triangle, illustré sur la figure de droite. Les triangles considérés sont tous de périmètre 3, ils sont identifiés à un couple (c, φ) où c désigne la longueur d'un côté et φ l'angle entre deux côtés dont l'un est celui de longueur c. La fonction f est celle qui, à un couple, associe la surface du triangle. Il n'est nécessaire que d'étudier la zone où c est compris entre 0 et ³⁄₂ et φ entre 0 et π. Cette zone est un compact de ℝ². L'application f est continue, elle atteint donc son maximum, en l'occurrence au point (1, ^π⁄₃). L'existence de ce maximum était le « chaînon manquant » pour une démonstration complète.
  Pour le triangle, un peu d'analyse permet tout aussi bien de démontrer le résultat. Pour le cas général du polygone à n côtés, il n'est pas bien difficile de construire une démonstration analogue à celle présentée ici, grâce à la notion de compact. La solution analytique est en revanche vraiment lourde. Une démonstration détaillée est présentée dans l'article « Théorème isopérimétrique ».

• Un corollaire du théorème sur l'image continue d'un compact est :
  Toute application continue d'un espace compact dans un espace séparé est fermée. En particulier, si elle est bijective alors c'est un homéomorphisme.
  Des liens entre compacts et fermés on déduit par ailleurs immédiatement qu'une telle application est même propre.
• Pour toute application continue f d'un espace métrique compact X dans un espace séparé, le compact f(X) est métrisable (par exemple : l'image de tout chemin dans un espace séparé est métrisable). Grâce à une caractérisation générale de la métrisabilité de l'image d'un espace métrique par une application continue fermée^[15],[16], on a même l'équivalence : un espace métrique X est compact si et seulement si toutes ses images continues séparées sont métrisables.

Théorème de Bolzano-Weierstrass et compacité séquentielle

Dans un espace compact, toute partie infinie possède au moins un point limite. Plus généralement, tout espace X quasi-compact est dénombrablement compact, c'est-à-dire que toute partie infinie de X possède au moins un point d'accumulation ou encore que, dans X, toute suite a au moins une valeur d'adhérence^[17]. La réciproque est fausse en général, mais vraie si l'espace est métrisable : lorsque K est un espace métrisable (automatiquement séparé), le théorème de Bolzano-Weierstrass énonce que K est compact si et seulement s'il est séquentiellement compact, c'est-à-dire si, dans K, toute suite possède une sous-suite convergente.

Le premier ordinal non dénombrable (muni de la topologie de l'ordre) et la longue droite sont séquentiellement compacts mais non compacts (ils sont cependant localement compacts). Inversement, l'espace produit [0, 1]^ℝ (c'est-à-dire l'espace des applications de ℝ dans [0, 1], muni de la topologie de la convergence simple) et le compactifié de Stone-Čech de ℕ (c'est-à-dire le spectre de l'algèbre ℓ^∞ des suites bornées) sont compacts mais non séquentiellement compacts. Ces quatre espaces sont donc dénombrablement compacts et non métrisables.

Notes et références

1. Si l'on ne précise pas « famille non vide », il faut convenir que dans ce contexte, l'intersection d'une famille vide de parties d'un espace ${\displaystyle X}$ est égale à ${\displaystyle X}$.
2. (en) Günter Bruns, « A lemma on directed sets and chains », Archiv der Mathematik, vol. 18, n^o 6,‎ 1967, p. 561-563 (lire en ligne).
3. Une chaîne de parties de ${\displaystyle X}$ est une famille de parties de ${\displaystyle X}$ totalement ordonnée par inclusion.
4. Bourbaki, TG I.60, Gustave Choquet, Cours d'analyse, tome II : Topologie, p. 35 et Hervé Queffélec, Topologie, Dunod, 2007, 3^e éd., p. 70.
5. Pour une démonstration (utilisant une généralisation du lemme du tube), voir par exemple cet exercice corrigé sur Wikiversité.
6. Pour une démonstration, voir par exemple Jacques Dixmier, Topologie générale, PUF, 1981, 4.2.6 et 4.2.7, p. 53, ou le cours Compacité : premières propriétés sur Wikiversité.
7. Pour une démonstration, voir par exemple le cours Compacité : premières propriétés sur Wikiversité.
8. Autrement dit : tout quasi-compact est dénombrablement compact.
9. Casimir Kuratowski, « Evaluation de la classe borélienne ou projective d'un ensemble de points à l'aide des symboles logiques », Fundamenta Mathematicae, vol. 17, n^o 1,‎ 1931, p. 249-272 (lire en ligne).
10. (en) S. Mrówka, « Compactness and product spaces », Colloquium Mathematicae, vol. 7, n^o 1,‎ 1959, p. 19-22 (lire en ligne).
11. (en) M. M. Choban, « Closed maps », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2004 (ISBN 978-0-44450355-8, lire en ligne), p. 89 (en traduisant l'anglais compact par notre quasi-compact).
12. (en) James Munkres, Topology, Prentice Hall, 2000, 2^e éd. (lire en ligne), p. 171.
13. Cette preuve est étendue aux multifonctions dans l'article « Hémicontinuité ».
14. Pour une démonstration, voir par exemple le cours Compacité et applications continues sur Wikiversité.
15. (en) Stephen Willard, « Metric spaces all of whose decompositions are metric », Proc. Amer. Math. Soc., vol. 21,‎ 1969, p. 126-128 (lire en ligne).
16. (en) Kiiti Morita et Sitiro Hanai, « Closed mappings and metric spaces », Proc. Japan Acad., vol. 32, n^o 1,‎ 1956, p. 10-14 (lire en ligne).
17. On en déduit que dans un tel espace, toute suite qui n'a qu'une valeur d'adhérence converge vers cette valeur.

Bibliographie

• N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], chapitre I
• Jean-Paul Pier, « Genèse et évolution de l'idée de compact », Revue d'histoire des sciences et de leurs applications, vol. 14, n^o 2,‎ 1961, p. 169-179 (lire en ligne)
• Jean-Paul Pier, « Historique de la notion de compacité », Historia Mathematica, vol. 7, n^o 4,‎ novembre 1980, p. 425-443 (DOI 10.1016/0315-0860(80)90006-3)
• Georges Skandalis, Topologie et analyse 3^e année, Dunod, coll. « Sciences Sup », 2001
• Claude Wagschal, Topologie et analyse fonctionnelle, Hermann, coll. « Méthodes », 1995

Articles connexes

• Compactification
• Élément compact (en), en théorie des ordres
• Espace compactement engendré
• Espace de Lindelöf
• Espace localement compact
• Espace métacompact (en)
• Espace noethérien
• Espace paracompact
• Espace précompact
• Espace pseudo-compact
• Partie relativement compacte