Espace localement connexe

Espace localement connexe : encyclopédie mathématiques

Cet article est issu de l'encyclopédie libre Wikipedia.
Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.

Aller à : Navigation, Rechercher

[modifier] Définition d'un espace localement connexe

Soit $(X,O) \,$ un espace topologique. On dit que $X \,$ est localement connexe si tout voisinage de tout point $x \,$ de $X \,$ contient un voisinage connexe de $x \,$ (pour la topologie induite par la topologie de $X \,$ ).

Cela signifie que tout point de cet espace topologique admet une base de voisinages connexes.

La connexité locale n'est pas préservée par image continue.

Un espace topologique est localement connexe si et seulement si, pour tout ouvert $U \,$ , les composantes connexes de $U \,$ sont ouvertes.

[modifier] Exemples

Les exemples les plus classiques d'espace topologique localement connexes sont $\R$ , $\mathbb C$ , $\R^{n}$ ...

Un exemple d'espace connexe qui n'est pas localement connexe: dans $\mathbb{R}^{2}$ muni de la topologie usuelle on considère la partie $A=(\{0\} \times \mathbb{R}) \cup (\mathbb{R} \times \mathbb{Q})$ . Alors A est connexe mais n'est pas localement connexe. En particulier, tout point de A possède dans A un voisinage connexe (à savoir A lui-même) mais ne possède pas forcément de base de voisinages connexes.