Punto adherente

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En matemática, y más precisamente en topología, se dice que x es un punto adherente a una parte A de un espacio topológico X, si x pertenece a la cerradura de A, es decir que toda vecindad de x contiene al menos un elemento de A.

Esta definición es más general que la de punto de acumulación, que requiere que todo conjunto abierto que contenga a x contenga al menos un punto de A pero diferente de x. Todo punto de acumulación es un punto adherente, pero el reciproco no es siempre cierto. En este sentido, la noción de punto adherente no es intrínseca, pues depende del espacio topológico del cual A es visto como subconjunto.

Un punto de X que no es adherente a A se llama punto exterior, y es interior a X\A.

Un punto adherente a A es o bien un punto de acumulación de A o bien un elemento de A (o los dos). Un punto adherente que no es un punto de acumulación es un punto aislado.

Ejemplos[editar]

  • En \mathbb R, el 1 es un punto adherente al intervalo [0,1].
  • Más generalmente, en \mathbb R, la cota superior y la cota inferior de un conjunto acotado no vacío son adherentes a este conjunto.
  • El límite de una sucesión o de una función es adherente al conjunto de valores que toma la función.
  • Para todo subconjunto S de un espacio métrico M, S contiene todos sus puntos adherentes si y solo si S es cerrado en M.

Propiedades[editar]

  • Todo elemento de A es adherente a A.
  • Si la topología de X es discreta, solo los puntos de A son adherentes a A.
  • Si la topología de X es trivial y si A es no vacío, todo punto de X es adherente a A.

Referencias[editar]