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 T₁ et a fortiori s'il est séparé (T₂), 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 T₁, 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.

Article connexe

Valeur d'adhérence

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Pour un espace non T₁, 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.