Definicin

Si (X,) es un espacio topolgico y p es un punto perteneciente a X, un entorno de p es un

conjunto V que contiene un conjunto abierto U; este tiene como elemento al punto p,
Ntese que el entorno V no necesita ser un conjunto abierto. Si V es abierto se lo llama un
entorno abierto. Algunos autores especifican que los entornos deben ser abiertos, por lo
que es importante prestar cuidado a las diferentes notaciones.
El conjunto de todos los entornos de un punto forma una base de entornos del punto.
Si S es un subconjunto de X, un entorno de S es un conjunto V, que contiene un conjunto
abierto U que contiene a S. Se deduce que un conjunto V es un entorno de S si y solo si es
un entorno de todos los puntos de S.

Clases de entorno

Entorno reducido: un entorno de un punto es un entorno reducido si el propio

punto no pertenece al mismo. Es decir, est compuesto solamente por los puntos
cercanos a

Entornos abiertos: un entorno de un punto es entorno abierto de si es un conjunto

abierto (es decir, ).

Entornos cerrados: un entorno de un punto es entorno cerrado de si es un conjunto

cerrado.

Entorno compacto: un entorno de un punto es entorno compacto de si es un

conjunto compacto.

Entorno conexo: un entorno de un punto es entorno conexo de si es un conjunto

conexo

Entorno conexo por caminos: un entorno de un punto es entorno conexo por

caminos de si es un conjunto conexo por caminos.

Entorno simplemente conexo: un entorno de un punto es entorno simplemente

conexo de si es un conjunto simplemente conexo.

Entorno convexo: un entorno de un punto en un espacio vectorial topolgico es

entorno convexo de si es un conjunto convexo.

En el espacio mtrico

Un conjunto en el plano y un entorno uniforme de .

En un espacio mtrico M = (X,d), un conjunto V es un entorno de un punto p si existe una
bola abierta con centro p y radio r,
que es contenida en V.
V es llamado entorno uniforme de un conjunto S si existe un nmero positivo r tal que
para todos los elementos p de S,
estn contenidos en V.
Para r>0 el r-entorno de un conjunto S es el conjunto de todos los puntos en X que distan
menos de r desde S (o equivalentemente, es la unin de todas las bolas abiertas de radio r
que tienen centro en un punto de S).
Se deduce entonces que un r-entorno es un entorno uniforme, y que un conjunto es un
entorno uniforme si y solo si contiene un r-entorno para algn valor de r.

Ejemplo

Entorno de centro a y radio .

Dado el conjunto de nmeros reales con la distancia euclideana y un subconjunto V
definido como:
entonces V es un entorno del conjunto de nmeros naturales, pero no es un entorno
uniforme de este conjunto.

Topologa de entornos
La definicin superior es til si la nocin de conjunto abierto est previamente definida.
Existe una forma alternativa de definir una topologa, primeramente definiendo su base de

entornos, y entonces los conjuntos abiertos como aquellos conjuntos que contienen un
entorno para cada uno de sus puntos.
Una base de entornos en X es la asignacin de un filtro N(x) (en el conjunto X) para cada x
en X tal que:
1. el punto x es un elemento de cada U en N(x).
2. cada U en N(x) contiene algn V en N(x) tal que para cada y en V, U est en N(y).

Entorno uniforme
En un espacio uniforme S:=(X, ) V es denominado entorno uniforme de P si P no es
cercano a X \ V, tal que all no exista un espacio uniforme que contenga a P y X \ V.

Entorno reducido
Un entorno reducido de un punto p es un entorno de p, menos {p}. Por ejemplo, el
intervalo (1, 1) = {y : 1 < y < 1} es un entorno de p = 0 en la recta real, entonces el
conjunto (1, 0) (0, 1) = (1, 1) {0} es un entorno reducido de 0.

Propiedades
Sea (X, T) un espacio topolgico, Vc(x) familia de vecindades del punto x.
1. El punto x est en V para cada V elemento de Vc(x). Un punto est en cualquiera de
sus vecindades.
2. Si las vecindades V y U estn en Vc(x), entonces la interseccin de V y U est en la
familia Vc(x).
3. Si U est en Vc(x) entonces existe una vecindad V de Vc(x), tal que U est en Vc(y)
para cada y miembro de V.
4. Si U est en Vc(x) y U es subconjunto de V, entonces V est en Vc(x).Un
hiperconjunto de una vecindad tambin es vecindad.