Espacio regular - Historial de revisiones

Irma gt en 19:43 29 ago 2024

2024-08-29T19:43:42Z

Irma gt en 19:43 29 ago 2024

2024-08-29T19:43:11Z

Pararin: tarea de fin de semana y se traslada de EL

2019-10-21T14:17:25Z

tarea de fin de semana y se traslada de EL

Página nueva

Entre tantos casos de los axiomas de separación, en topología general, dada la necesidad de tener que separar, mediante conjuntos abiertos , conjuntos cerrados de los puntos de su complemento, se nos presenta una nueva clase de espacios topológicos, la llamada clase de los ''espacios regulares''.

==Definición==
Se dice que un espacio topológico S es un espacio regular cuando para cada conjunto cerrado O de S y cada punto w que no pertenece a O, existen un entorno K de w y un entorno L de O, siendo los entornos, conjuntos disjuntos. <ref>Clara M. Neira U. Notas de Topología 2003</ref>.

==Teorema==
Consideremos un espacio topológico (X, T) . Entonces las siguientes afirmaciones son equivalentes:

#X es un espacio regular.
#Si U es un abierto de X y t ∈ U, entonces existe un abierto W de X tal que t ∈ W y la adherencia de W está contenida en U
#Cualquier punto de X tiene un sistema fundamental de vecindades cerradas.<ref>Clara M. Neira U. Op, cit</ref>

===Advertencia y definición===
En general a un espacio topológico regular y T1 se les denomina T3 .

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 T3 está dada por la siguiente proposición: un espacio X es T3 si y solo si para todo z en X y U entorno de z existe un entorno V de z tal que la adherencia de V es subconjunto de U.

==Verbigracias==
*El espacio topológico ℝ con la topología usual es un espacio regular.
*Sea S un conjunto provisto de topología trivial. Entonces S es un espacio regular <ref>Clara M. Neira U. Obra citada</ref>
*Sea el conjunto ℝ y la topología sobre él, T = {∅, ℚ, ℝ\ℚ, ℝ}, entonces (ℝ, T) es un espacio regular, pero no es un espacio de Hausdorff <ref>Clara M. Neira U. Op. cit</ref>
* El espacio de Sierpinski no es T3.

==Consúltese además==
*Axiomas de separación
*Espacio de Kolmogórov (T0)
*Espacio de Fréchet (T1)
*Espacio de Tíjonov (T3½)
*Espacio normal

==Fuentes==
* Kolmogórov- Fomín: Elementos de la Teoría de Funciones y del análisis Funcional
* Ayala-Domínguez y Montero. Elementos de la topología general.

==Referencias==
<references/>

[[Categoría:Matemáticas]]
[[Categoría:Topología]][[Categoría:Axiomas de separación]]

@@ Línea 1: / Línea 1: @@
 {{Normalizar|motivo=Colocar plantilla correspondiente al tema}}
-'''Espacio regular'''.  Entre tantos casos de los axiomas de separación, en topología general, dada la necesidad de tener que  separar, mediante conjuntos abiertos , conjuntos cerrados de los puntos de su complemento,  se nos presenta una nueva clase de espacios topológicos, la llamada clase de los ''espacios regulares''.
+'''Espacio regular'''.  Entre tantos casos de los axiomas de separación, en [[topología]] general, dada la necesidad de tener que  separar, mediante conjuntos abiertos , conjuntos cerrados de los puntos de su complemento,  se nos presenta una nueva clase de espacios topológicos, la llamada clase de los ''espacios regulares''.
 ==Definición==

← Revisión anterior		Revisión del 19:43 29 ago 2024
Línea 1:		Línea 1:
−	Entre tantos casos de los axiomas de separación, en topología general, dada la necesidad de tener que separar, mediante conjuntos abiertos , conjuntos cerrados de los puntos de su complemento, se nos presenta una nueva clase de espacios topológicos, la llamada clase de los ''espacios regulares''.	+	{{Normalizar\|motivo=Colocar plantilla correspondiente al tema}}
		+
		+	'''Espacio regular'''. Entre tantos casos de los axiomas de separación, en topología general, dada la necesidad de tener que separar, mediante conjuntos abiertos , conjuntos cerrados de los puntos de su complemento, se nos presenta una nueva clase de espacios topológicos, la llamada clase de los ''espacios regulares''.

	==Definición==		==Definición==