Diferencia entre revisiones de «Base de entornos»

Contenido eliminado Contenido añadido
Sin resumen de edición
Revertidos los cambios de 193.145.124.222 a la última edición de
Línea 1:
En [[Topología]], un [[entorno (topología)|entorno]] de un punto es un conjunto que contiene un abierto al que pertenece el punto. Es decir, si <math>(X,T)</math> es un [[espacio topológico]], <math>a \in X</math> y <math>V \subset X</math>, diremos que <math>V</math> es entorno de <math>a</math> si existe un <math>G \in T</math> (es decir, <math>G</math> es un [[conjunto abierto]] en <math>X</math>) de forma que <math>a \in G \subset V</math>.
 
Dado un punto <math>a \in X</math>, una base de entornos de a es unaun familiaconjunto de<math>\{V: entornos\exist deG a\in deT manera que para cada entorno de| a existe\in unoG básico\subset contenido. Es decir, <math>V\beta (a)}</math> es base de entornos de a si y sólo si: .
 
<math> \forall V \in Ent(a), \exist U \in \beta(a) : U \subset V </math>
 
 
==Clases de bases de entornos==
 
 
*'''Base de entornos abiertos''': Es una base de entornos en la que cada entorno es un [[conjunto abierto]].
Línea 16 ⟶ 12:
*'''Base de entornos simplemente conexos''': Es una base de entornos en la que cada entorno es un [[conjunto simplemente conexo]].
*'''Base de entornos convexos''': En un [[espacio vectorial topológico]] s una base de entornos de un punto en la que cada entorno es un [[conjunto convexo]].
 
 
[[Categoría:Topología algebraica]]