Barrio (matemáticas)


En topología y áreas relacionadas de las matemáticas , una vecindad (o vecindad ) es uno de los conceptos básicos en un espacio topológico . Está íntimamente relacionado con los conceptos de decorado abierto e interior . Intuitivamente hablando, una vecindad de un punto es un conjunto de puntos que contienen ese punto donde uno puede moverse una cierta cantidad en cualquier dirección alejándose de ese punto sin salir del conjunto.

Si es un espacio topológico y es un punto en una vecindad de es un subconjunto de que incluye un conjunto abierto que contiene

Esto también es equivalente al punto perteneciente al interior topológico de en

El vecindario no necesita ser un subconjunto abierto , pero cuando está abierto , se llama unbarrio abierto . [1] Se sabe que algunos autores requieren que los vecindarios estén abiertos, por lo que es importante tener en cuenta las convenciones.

Un conjunto que es vecindad de cada uno de sus puntos es abierto ya que puede expresarse como la unión de conjuntos abiertos que contienen cada uno de sus puntos. Un rectángulo, como se ilustra en la figura, no es una vecindad de todos sus puntos; los puntos en los bordes o esquinas del rectángulo no están contenidos en ningún conjunto abierto que esté contenido dentro del rectángulo.

Si es un subconjunto del espacio topológico, entonces una vecindad de es un conjunto que incluye un conjunto abierto que contiene Se deduce que un conjunto es una vecindad de si y solo si es una vecindad de todos los puntos en Además, es una vecindad de si y solo si es un subconjunto del interior de Un vecindario de que también es un subconjunto abierto de se llama un vecindad abierta de La vecindad de un punto es solo un caso especial de esta definición.


Un conjunto en el plano es una vecindad de un punto si un pequeño disco alrededor está contenido en
Un rectángulo cerrado no tiene vecindad en ninguna de sus esquinas ni en su límite.
Un conjunto en el plano y un entorno uniforme de
La vecindad épsilon de un número en la recta numérica real.
El conjunto M es una vecindad del número a , porque hay una vecindad ε de a que es un subconjunto de M.