Barrio (matemáticas)

Conjunto abierto que contiene un punto dado

Un conjunto en el plano es un vecindario de un punto si un pequeño disco alrededor está contenido en El pequeño disco alrededor es un conjunto abierto ${\displaystyle V}$ ${\displaystyle p}$ ${\displaystyle p}$ ${\displaystyle V.}$ ${\displaystyle p}$ ${\displaystyle U.}$

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

Definiciones

Vecindario de un punto

Si es un espacio topológico y es un punto en entonces un vecindario ^[1] de es un subconjunto de que incluye un conjunto abierto que contiene , ${\displaystyle X}$ ${\displaystyle p}$ ${\displaystyle X,}$ ${\displaystyle p}$ ${\displaystyle V}$ ${\displaystyle X}$ ${\displaystyle U}$ ${\displaystyle p}$ $${\displaystyle p\in U\subseteq V\subseteq X.}$$

Esto es equivalente al punto que pertenece al interior topológico de en ${\displaystyle p\in X}$ ${\displaystyle V}$ ${\displaystyle X.}$

El vecindario no necesita ser un subconjunto abierto de Cuando es abierto (resp. cerrado, compacto, etc.) en él se llama un ${\displaystyle V}$ ${\displaystyle X.}$ ${\displaystyle V}$ ${\displaystyle X,}$Vecindario abierto ^[2](resp. vecindario cerrado, vecindario compacto, etc.). Algunos autores^[3]exigen que los vecindarios sean abiertos, por lo que es importante tener en cuenta sus convenciones.

Un rectángulo cerrado no tiene vecindad en ninguna de sus esquinas ni en su límite ya que no existe ningún conjunto abierto que contenga ninguna esquina.

Un conjunto que es un vecindario 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 un vecindario 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.

El conjunto de todos los vecindarios de un punto se denomina sistema de vecindarios en el punto.

Vecindario de un conjunto

Si es un subconjunto de un espacio topológico , entonces un vecindario de es un conjunto que incluye un conjunto abierto que contiene , De ello se deduce que un conjunto es un vecindario de si y solo si es un vecindario de todos los puntos en Además, es un vecindario de si y solo si es un subconjunto del interior de Un vecindario de que también es un subconjunto abierto de se llama ${\displaystyle S}$ ${\displaystyle X}$ ${\displaystyle S}$ ${\displaystyle V}$ ${\displaystyle U}$ ${\displaystyle S}$ $${\displaystyle S\subseteq U\subseteq V\subseteq X.}$$ ${\displaystyle V}$ ${\displaystyle S}$ ${\displaystyle S.}$ ${\displaystyle V}$ ${\displaystyle S}$ ${\displaystyle S}$ ${\displaystyle V.}$ ${\displaystyle S}$ ${\displaystyle X}$vecindad abierta de La vecindad de un punto es sólo un caso especial de esta definición. ${\displaystyle S.}$

En un espacio métrico

Un conjunto en el plano y un entorno uniforme de ${\displaystyle S}$ ${\displaystyle V}$ ${\displaystyle S.}$

El vecindario épsilon de un número en la recta de números reales. ${\displaystyle a}$

En un espacio métrico un conjunto es un vecindario de un punto si existe una bola abierta con centro y radio tal que está contenida en ${\displaystyle M=(X,d),}$ ${\displaystyle V}$ ${\displaystyle p}$ ${\displaystyle p}$ ${\displaystyle r>0,}$ $${\displaystyle B_{r}(p)=B(p;r)=\{x\in X:d(x,p)<r\}}$$ ${\displaystyle V.}$

${\displaystyle V}$Se denomina vecindad uniforme de un conjunto si existe un número positivo tal que para todos los elementos de está contenido en ${\displaystyle S}$ ${\displaystyle r}$ ${\displaystyle p}$ ${\displaystyle S,}$ $${\displaystyle B_{r}(p)=\{x\in X:d(x,p)<r\}}$$ ${\displaystyle V.}$

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 ): ${\displaystyle r>0,}$ ${\displaystyle r}$ ${\displaystyle S_{r}}$ ${\displaystyle S}$ ${\displaystyle X}$ ${\displaystyle r}$ ${\displaystyle S}$ ${\displaystyle S_{r}}$ ${\displaystyle r}$ ${\displaystyle S}$ $${\displaystyle S_{r}=\bigcup \limits _{p\in {}S}B_{r}(p).}$$

De ello se deduce directamente que un -vecindario es un vecindario uniforme, y que un conjunto es un vecindario uniforme si y sólo si contiene un -vecindario para algún valor de ${\displaystyle r}$ ${\displaystyle r}$ ${\displaystyle r.}$

Ejemplos

El conjunto M es un vecindario del número a , porque existe un ε-vecindario de a que es un subconjunto de M.

Dado el conjunto de números reales con la métrica euclidiana habitual y un subconjunto definido como entonces es un vecindario para el conjunto de números naturales , pero no es un vecindario uniforme de este conjunto. ${\displaystyle \mathbb {R} }$ ${\displaystyle V}$ $${\displaystyle V:=\bigcup _{n\in \mathbb {N} }B\left(n\,;\,1/n\right),}$$ ${\displaystyle V}$ ${\displaystyle \mathbb {N} }$

Topología de barrios

La definición anterior es útil si ya se ha definido el concepto de conjunto abierto . Existe una forma alternativa de definir una topología: primero se define 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 ${\displaystyle X}$ ${\displaystyle N(x)}$ ${\displaystyle X}$ ${\displaystyle x}$ ${\displaystyle X,}$

1. El punto es un elemento de cada uno en ${\displaystyle x}$ ${\displaystyle U}$ ${\displaystyle N(x)}$
2. cada en contiene algunos en tal que para cada en es en ${\displaystyle U}$ ${\displaystyle N(x)}$ ${\displaystyle V}$ ${\displaystyle N(x)}$ ${\displaystyle y}$ ${\displaystyle V,}$ ${\displaystyle U}$ ${\displaystyle N(y).}$

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 son -cercanos a algún punto de que es, para todo ${\displaystyle S=(X,\Phi ),}$ ${\displaystyle V}$ ${\displaystyle P}$ ${\displaystyle U\in \Phi }$ ${\displaystyle V}$ ${\displaystyle X}$ ${\displaystyle U}$ ${\displaystyle P;}$ ${\displaystyle U[x]\subseteq V}$ ${\displaystyle x\in P.}$

Barrio eliminado

Un vecindario eliminado de un punto (a veces llamado un vecindario perforado ) es un vecindario de sin Por ejemplo, el intervalo es un vecindario de en la línea real , por lo que el conjunto es un vecindario eliminado de Un vecindario eliminado de un punto dado no es de hecho un vecindario del punto. El concepto de vecindario eliminado aparece en la definición del límite de una función y en la definición de puntos límite (entre otras cosas). ^[4] ${\displaystyle p}$ ${\displaystyle p,}$ ${\displaystyle \{p\}.}$ ${\displaystyle (-1,1)=\{y:-1<y<1\}}$ ${\displaystyle p=0}$ ${\displaystyle (-1,0)\cup (0,1)=(-1,1)\setminus \{0\}}$ ${\displaystyle 0.}$

Véase también

• Punto aislado  – Punto de un subconjunto S alrededor del cual no hay otros puntos de S
• Sistema de vecindad  – (para un punto x) conjunto de todas las vecindades para el punto xPáginas que muestran descripciones de wikidata como alternativa
• Región (matemáticas)  – Subconjunto abierto conexo de un espacio topológicoPáginas que muestran descripciones breves de los objetivos de redireccionamiento
• Vecindario tubular  : vecindario de una subvariedad homeomorfa al fibrado normal de esa subvariedadPáginas que muestran descripciones de wikidata como alternativa

Notas

1. Willard 2004, Definición 4.1.
2. Dixmier, Jacques (1984). Topología general . Textos de pregrado en matemáticas. Traducido por Sterling K. Berberian. Springer. pág. 6. ISBN. 0-387-90972-9Según esta definición, un vecindario abierto de no es más que un subconjunto abierto de que contiene ${\displaystyle x}$ ${\displaystyle E}$ ${\displaystyle x.}$
3. Engelking 1989, pág. 12.
4. Peters, Charles (2022). "Profesor Charles Peters" (PDF) . Universidad de Houston Math . Consultado el 3 de abril de 2022 .

Referencias

• Bredon, Glen E. (1993). Topología y geometría . Nueva York: Springer-Verlag. ISBN 0-387-97926-3.
• Engelking, Ryszard (1989). Topología general . Heldermann Verlag, Berlín. ISBN 3-88538-006-4.
• Kaplansky, Irving (2001). Teoría de conjuntos y espacios métricos . Sociedad Matemática Americana. ISBN 0-8218-2694-8.
• Kelley, John L. (1975). Topología general . Nueva York: Springer-Verlag. ISBN. 0-387-90125-6.
• Willard, Stephen (2004) [1970]. Topología general. Mineola, NY : Dover Publications . ISBN 978-0-486-43479-7.OCLC 115240  .