Point d'accumulation (mathématiques)
En mathématiques, un point d'accumulation d'une partie A d'un espace topologique E est un point x de E qui peut être « approché » par des points de A au sens où chaque voisinage de x – pour la topologie de E – contient un point de A distinct de x. Un tel point x n'est pas nécessairement un point de A. Ce concept généralise la notion de limite, et permet de définir des notions comme les espaces fermés et l'adhérence. De fait, pour qu'un espace soit fermé, il faut et il suffit qu'il contienne tous ses points d'accumulation.
DĂ©finition
Dans un espace topologique, un point d'accumulation d'une partie A est un point x de l'adhérence de A\{x}, c'est-à -dire tel que tout ouvert contenant x contient au moins un autre point de A.
Si l'espace est T1 et a fortiori s'il est séparé (T2), alors tout voisinage d'un point d'accumulation contient une infinité d'éléments de A[1].
L'ensemble des points d'accumulation d'une partie s'appelle son ensemble dérivé.
Note
- Pour un espace non T1, la terminologie est fluctuante : certains auteurs appellent « point limite » ce qui est appelé ici « point d'accumulation » et réservent l'expression « point d'accumulation » pour la propriété en général plus forte signalée ici. C'est cette autre terminologie qui est adoptée dans l'article Point adhérent.