Espace localement compact - Définition

En topologie, un espace localement compact est un espace qui, à défaut d'être compact, 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'Alexandroff.

Motivations

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 (et notamment les espaces vectoriels normés) non borné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 théorème de Bolzano-Weierstrass dit qu'une suite de points de (ou plus généralement de ) qui est bornée admet une valeur d'adhérence. Or ni ni ne sont compacts, mais en ajoutant " bornée " on peut conclure quelque chose, car et 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. Il suffit de regarder les suites bornées à valeurs dans .

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 autre, 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.

Espaces localement compacts

Définitions

Un espace topologique est dit localement compact si et seulement s’il est séparé et tout point de admet un voisinage compact. Autrement dit, en notant l'ensemble des ouverts de  :

avec compact.

Cette définition implique immédiatement la caractérisation suivante (parfois prise comme définition) : un espace topologique est localement compact si et seulement si tout point de admet une base de voisinages compacts.

On note que dans ces définitions le mot " compact " peut être remplacé par exemple par " connexe " ou " connexe par arcs " pour obtenir d'autres notions ; c'est le procédé de définition des espaces " localement truc ". Voir Espace localement connexe, Espace localement connexe par arcs.

Propriétés

La première propriété des espaces localement compacts, la plus évidente, est que si un espace est compact alors il est localement compact. On verra avec les exemples que la réciproque est fausse ; la compacité locale est donc une notion strictement plus faible que la compacité (c'est-à-dire moins restrictive).

Comme la plupart des propriétés topologiques, la compacité locale est conservée par homéomorphisme : si est un homéomorphisme entre deux espaces topologiques et si est localement compact, alors l'est aussi.

Un sous-espace d'un espace localement compact est lui-même localement compact si et seulement s’il peut s'écrire comme la différence de deux fermés de  : .

En particulier tous les ouverts et les fermés d'un espace localement compact sont localement compacts :

• Si est fermé, on écrit
• Si est un ouvert, on écrit , où et sont fermés.

Un 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.

Exemples

L'ensemble des nombres réels , l'ensemble des nombres complexes , ou les espaces produit et sont les premiers exemples d'espace localement compacts ; d'après un théorème cité plus haut tous leurs ouverts ou leurs fermés le sont aussi. En particulier l'intervalle ou le disque ouvert 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'ensemble des nombres rationnels , ou les espaces vectoriels de dimension infinie rencontrés en analyse fonctionnelle ne sont pas localement compacts. Un autre contre-exemple, plus " ludique ", est formé par le " demi-plan ouvert plus un point " : 0 \right\} \,\!" > 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.