Espace localement compact
En topologie, un espace localement compact est un espace séparé qui, sans être nécessairement compact lui-même, admet des voisinages compacts pour tous ses points. On peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov.
Sommaire |
Motivations [modifier]
La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante. En particulier, le fait qu'un espace métrique doit être borné pour être compact fait que les résultats concernant les espaces compacts ne sont presque jamais applicables aux espaces métriques rencontrés, qui sont très rarement bornés.
Cependant on peut appliquer ces résultats à certains espaces métriques non bornés (notamment aux espaces vectoriels normés) à condition que l'objet étudié respecte certaines propriétés supplémentaires, qui permettent d'y appliquer les outils développés pour les espaces compacts.
Par exemple, toute suite de points d'un compact admet une valeur d'adhérence ; le cas élémentaire du théorème de Bolzano-Weierstrass dit qu'une suite de points de ℝ (ou plus généralement de ℝn) qui est bornée admet une valeur d'adhérence. Or ni ℝ ni ℝn ne sont compacts, mais en ajoutant « bornée » on peut conclure quelque chose, car ℝ et ℝn sont localement compacts. Il n'est pas vrai en général qu'une suite bornée d'un espace métrique a une valeur d'adhérence dans cet espace. Il suffit de regarder le sous-espace ℚ des nombres rationnels.
Autre exemple, peut-être plus parlant : un théorème connu dit que si une fonction est une bijection continue d'un espace compact vers un espace séparé, alors sa réciproque est aussi continue (et donc c'est un homéomorphisme). C'est faux en général pour un espace topologique mais dans le cas de ℝ on a le théorème de la bijection : « si une fonction est une bijection continue d'un intervalle de ℝ vers un autre intervalle, alors sa réciproque est aussi continue », que l'intervalle soit compact ou non.
Le fait que ces deux résultats typiques de la compacité s'adaptent partiellement dans le cas d'espaces non compacts tient justement à la notion de compacité locale.
Définitions [modifier]
Un espace topologique X est dit localement compact s’il est séparé (cette condition de séparation est parfois omise)[réf. nécessaire] et si tout point de X admet un voisinage compact, autrement dit si pour tout point x de X, il existe dans X un ouvert U et un compact K tels que x appartient à U et U est inclus dans K.
Cette définition implique immédiatement la caractérisation suivante (parfois prise comme définition) : un espace topologique séparé X est localement compact si et seulement si tout point de X admet un système fondamental de voisinages compacts.
Propriétés [modifier]
Tout espace compact est localement compact mais la réciproque est fausse.
Comme (par définition) toute « propriété topologique », la compacité locale est conservée par homéomorphismes.
Un sous-espace Y d'un espace localement compact X est lui-même localement compact si et seulement s’il peut s'écrire comme la différence de deux fermés de X : Y = F1\F2.
En particulier tous les ouverts et les fermés d'un espace localement compact sont localement compacts.
Tout espace localement compact est complètement régulier, mais pas nécessairement normal (la planche de Tychonoff épointée est un contre-exemple).
Tout espace localement compact est un espace de Baire, c'est-à-dire que la conclusion du théorème de Baire s'y applique : une union dénombrable de parties nulle part denses (c'est-à-dire dont l'intérieur de l'adhérence est vide) est d'intérieur vide.
Les quotients d'espaces localement compacts sont les k-espaces.
Exemples [modifier]
L'espace ℝ des nombres réels, l'espace ℂ des nombres complexes, ou les espaces produit ℝn et ℂn, sont les premiers exemples d'espaces localement compacts ; d'après un théorème cité plus haut, tous leurs ouverts et leurs fermés le sont aussi. En particulier l'intervalle ]0, 1[ ou le disque ouvert {z ∈ ℂ | |z| < 1} du plan complexe sont des exemples typiques d'espaces localement compacts mais pas compacts. Des espaces comme l'ensemble de Cantor ou le cube de Hilbert sont bien entendu localement compacts, puisqu'ils sont même compacts.
En revanche, l'espace ℚ des nombres rationnels, ou les espaces vectoriels topologiques séparés de dimension infinie (rencontrés en analyse fonctionnelle), ne sont pas localement compacts. Un autre contre-exemple, plus visuel, est formé par le « demi-plan ouvert plus un point » : {(0,0)} ∪ {(x, y) ∈ ℝ2 | x > 0} c'est-à-dire les points du plan d'abscisse strictement positive plus l'origine. Dans ce cas c'est justement l'origine qui pose problème, car elle n'a aucun voisinage compact.
