Punto de acumulación

En topología, el concepto de punto de acumulación (también denominado punto límite o punto de aglomeración ^[1]​) de un conjunto en un espacio captura la noción informal de punto que está arbitrariamente próximo al conjunto sin pertenecer necesariamente a él. Informalmente hablando, un punto de acumulación de un conjunto S en un espacio topológico X es un punto x en X que puede ser aproximado por puntos de S distintos a x tanto como se desee.

Este concepto generaliza la noción de límite y puede ser base de conceptos como conjunto cerrado y cerradura topológica. Ciertamente, un conjunto es cerrado si y solo si contiene todos sus puntos de acumulación, y la operación topológica de cerradura puede considerarse como el resultado de agregar a un conjunto todos sus puntos de acumulación.

Sea ${displaystyle (X, au )}$ un espacio topológico y S un subconjunto de X. Diremos que x es un punto de acumulación de S si y solamente si para cualquier subconjunto abierto U del espacio X que contenga al punto x, ${displaystyle U_{x}}$ se tiene que ${displaystyle Scap (U_{x}-{x}) eq emptyset }$.

x es un punto límite de S si y solo si está en la cerradura de S {x}. 'Demostración: Partamos del hecho de que un punto está en la cerradura de un conjunto si y solo si toda vecindad del punto tiene intersección no vacía con el conjunto. Ahora, x es un punto límite de S ssi toda vecindad de x contiene un punto de S distinto a x ssi toda vecindad de x contiene un punto de S {x} sii x está en la cerradura de S {x}.

Recíprocamente, si x está en S, entonces toda vecindad de x claramente tiene intersección no vacía con S, así que x está en la cerradura de S. Si x está en L(S), entonces toda vecindad de x contiene un punto de S (distinto de x), así que x está en la cerradura de S. Esto completa la prueba.

Válido para cualquier espacio (métricos, topológicos, etc).