Loading AI tools
De Wikipedia, la enciclopedia libre
En matemáticas, y más concretamente en topología general, se dice que un espacio topológico X es un espacio regular cuando es posible separar todo conjunto cerrado de cualquiera de sus puntos exteriores, en el sentido de que pertenecen a vecindades separadas.
La condición de regular, que se denota por T3, es uno de los denominados axiomas de separación. En ocasiones se reserva la denominación T3 para los espacios de Hausdorff regulares, es decir, que además son espacios de Hausdorff.[1]
Un espacio topológico X es un espacio regular cuando para cada conjunto cerrado F de X y cada punto x que no pertenece a F, existen dos entornos abiertos, U de x y V de F, que son disjuntos: .[2]
Consideremos un espacio topológico (X, T) . Entonces los siguientes enunciados son equivalentes:
En general a un espacio topológico regular y se les denomina .
Es claro que si X es un espacio T1 y regular entonces es de Hausdorff (ya que en los espacios T1 los conjuntos unipuntuales son conjuntos cerrados). Sin embargo, hay ejemplos de espacios Hausdorff no regulares. Para el caso de espacios compactos, ser Hausdorff y ser regular son propiedades equivalentes.
Una caracterización de los espacios regulares (no se necesita que los puntos sean cerrados) está dada por la siguiente proposición: un espacio X es regular si y solo si para todo y U entorno de z existe un entorno V de z tal que .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.