Espacio regular

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Espacio regular, un espacio topológico X es regular o  T_3 cuando, dados un cerrado F de la topología y un punto x que no pertenece a F, existen un entorno U de x y un entorno V de F que no se cortan,   U\cap V =\emptyset .

En otras palabras, un punto y un cerrado siempre pueden ser separados por entornos disjuntos.

La propiedad de ser regular es uno de los axiomas de separación.