En topología y áreas afines de las matemáticas , una vecindad (o vecindad ) es uno de los conceptos básicos en un espacio topológico . Está muy 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 y donde uno puede alejarse una cierta cantidad en cualquier dirección de ese punto sin salir del conjunto.
Definiciones
Barrio de un punto
Si es un espacio topológico y es un punto en entonces una vecindad [1] de es un subconjunto de que incluye un conjunto abierto que contiene ,
La vecindad no necesita ser un subconjunto abierto de Cuando está abierto (o cerrado, compacto, etc.) en él se llamabarrio abierto [2](respectivamente barrio cerrado, barrio compacto, etc.). Algunos autores[3]exigen que los barrios sean abiertos, por lo que es importante tener en cuenta sus convenciones.
Un conjunto que es barrio 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 cerrado, 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.
La colección de todas las vecindades de un punto se llama sistema de vecindad en el punto.
Barrio de un conjunto
Si es un subconjunto de un espacio topológico , entonces una vecindad de es un conjunto que incluye un conjunto abierto que contiene ,
En un espacio métrico un conjunto es una vecindad de un punto si existe una bola abierta con centro y radio tales que
Se llama vecindad uniforme de un conjunto si existe un número positivo tal que para todos los elementos de
Bajo la misma condición, para la vecindad de un conjunto es el conjunto de todos los puntos en que están a una distancia menor que de (o equivalentemente, es la unión de todas las bolas abiertas de radio que están centradas en un punto en ):
De ello se sigue directamente que una vecindad es una vecindad uniforme, y que un conjunto es una vecindad uniforme si y sólo si contiene una vecindad para algún valor de
La definición anterior es útil si la noción de conjunto abierto ya está definida. Existe una forma alternativa de definir una topología, definiendo primero el sistema de vecindad y luego los conjuntos abiertos como aquellos conjuntos que contienen una vecindad de cada uno de sus puntos.
Un sistema de vecindad es la asignación de un filtro de subconjuntos de a cada uno de tal manera que
el punto es un elemento de cada uno en
cada entrada contiene algo de tal que para cada entrada está en
Se puede demostrar que ambas definiciones son compatibles, es decir, la topología obtenida a partir del sistema de vecindad definido mediante conjuntos abiertos es la original, y viceversa cuando se parte de un sistema de vecindad.
Barrios uniformes
En un espacio uniforme se llama vecindad uniforme de si existe un entorno tal que contiene todos los puntos de que están cerca de algún punto de que es, para todos
Barrio eliminado
Una vecindad eliminada de un punto (a veces llamada vecindad perforada ) es una vecindad de sin. Por ejemplo, el intervalo es una vecindad de en la línea real , por lo que el conjunto es una vecindad eliminada de Una vecindad eliminada de un punto dado no está en De hecho, una vecindad del punto. El concepto de vecindad eliminada ocurre en la definición del límite de una función y en la definición de puntos límite (entre otras cosas). [4]
Ver también
Punto aislado : punto de un subconjunto S alrededor del cual no hay otros puntos de S
Sistema de vecindarios : (para un punto x) colección de todos los vecindarios para el punto xPáginas que muestran descripciones de wikidata como alternativa
Región (matemáticas) : subconjunto abierto conectado de un espacio topológicoPáginas que muestran descripciones breves de los objetivos de redireccionamiento
Vecindad tubular : vecindad de una subvariedad homeomorfa al paquete normal de esa subvariedadPáginas que muestran descripciones de wikidata como alternativa
Notas
^ Willard 2004, Definición 4.1.
^ Dixmier, Jacques (1984). Topología general . Textos de Pregrado en Matemáticas. Traducido por Sterling K. Berberian. Saltador. pag. 6.ISBN 0-387-90972-9. Según esta definición, una vecindad abierta de no es más que un subconjunto abierto de que contiene
^ Engelking 1989, pág. 12.
^ Peters, Charles (2022). "Profesor Charles Peters" (PDF) . Matemáticas de la Universidad de Houston . Consultado el 3 de abril de 2022 .