Punto adherente

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

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

Definición[editar]

Un punto se denomina punto de adherencia de un conjunto si para todo entorno se cumple que .

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 , es un punto de adherencia del intervalo cerrado . También lo es del intervalo abierto
  • Más generalmente, en , la cota superior y la cota inferior de un conjunto acotado no vacío son adherentes a este conjunto; observe que en ese caso son elementos del conjunto, luego adherentes a él. Más generalmente, el supremo y el ínfimo son puntos adherentes a un conjunto acotado.
  • 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]