Un point d'un ensemble pour lequel il existe un voisinage ne contenant aucun autre point de l'ensemble ; il constitue un élément discret de l'ensemble et n'est donc pas un point d'accumulation.

Principe

L'isolement capture la discrétion : l'existence d'un voisinage évitant les autres membres de l'ensemble sépare le point des comportements limites ou denses de l'ensemble.

Démonstration

Dans l'ensemble {0} ∪ {1/n : n ∈ N} ⊂ R, chaque point 1/n est isolé car on peut trouver un petit intervalle autour de 1/n ne contenant aucun autre élément de l'ensemble ; les entiers vus comme sous-ensemble de R sont des points isolés de ce sous-ensemble.

Mauvaise application

Qualifier un point d'isolé alors qu'il existe des points distincts arbitrairement proches (par ex. confondre un espacement fini avec un véritable isolement), ou supposer que les points isolés sont négligeables pour la mesure sans vérifier le contexte mesure-théorique.

Conséquence

Les points isolés indiquent qu'un ensemble possède une composante discrète ; ils affectent l'ensemble dérivé (ils en sont exclus), influencent les mesures de comptage et la discrétion spectrale, et permettent des constructions locales (choix de coordonnées) sans complications d'accumulation.

Inversion

Un point d'accumulation, où aucun voisinage n'évite d'autres membres de l'ensemble ; isolement et accumulation sont mutuellement exclusifs en un point donné pour un ensemble.

Limite

Défini relativement à une topologie : un point peut être isolé dans la topologie relative d'un sous-ensemble même s'il n'est pas isolé dans l'espace ambiant ; dans les topologies discrètes tout point est isolé, tandis que dans des milieux denses ou continus les points isolés peuvent manquer.

Tension sémantique

Tension entre 'isolé' en tant que notion topologique et emplois en analyse ou en théorie spectrale où 'valeur propre isolée' porte un sens supplémentaire de trou spectral ; entre intuition de comptage/discrétion et signification en théorie de la mesure.

Synthèse

Un point isolé est un membre localement solitaire d'un ensemble : il existe un voisinage ne contenant que ce point, signalant une composante discrète de l'ensemble et s'opposant directement au comportement d'accumulation, avec des conséquences contextuelles en topologie, mesure et théorie spectrale.