Propriete locale

Propriété locale

On dit d'une certaine propriété mathématique qu'elle est localement vérifiée en un point d'un espace topologique s'il existe une base de voisinages de ce point sur lequel la propriété est vraie.

On dit d'une certaine propriété mathématique qu'elle est localement vérifiée si elle est localement vérifiée en tout point de l'espace topologique considéré.

Cette notion se retrouve dans tous les domaines des mathématiques qui utilisent la topologie, en particulier en analyse.

Souvent, il suffit que la propriété soit vraie pour un voisinage du point pour qu'elle soit vraie localement en ce point, par exemple :

• On dit qu'une fonction $\ f : X \to \R$ définie sur un espace topologique $\ X$ admet en en point $\ a$ de $\ X$ un maximum local s'il existe un voisinage $\ V$ de $\ a$ tel que $\ f(a)$ soit la plus grande valeur de $\ f$ sur $\ V$.
• On dit qu'un espace topologique est localement compact s'il est séparé et si chacun de ses points possède un voisinage compact.

Cependant, c'est faux en général, par exemple :

• On ne peut pas dire que la fonction $\ x\mapsto\frac{1}{x}$ est localement non bornée au point $\ x=1$ sous prétexte qu'elle est non bornée sur $\ ]0,2[$ (qui est un voisinage du point considéré).
• Il existe des espaces connexes qui ne sont pas localement connexes en un point, on peut par exemple prendre l'adhérence du graphe de $\ x\mapsto \sin\frac{1}{x} , x>0$, dans $\ \mathbb{R}^2$, et le point $\ (0,1)$. Pourtant, l'espace tout entier est un voisinage connexe de ce point.

Ce document provient de « Propri%C3%A9t%C3%A9 locale ».