Axiomas de separación en espacios topológicos | |
---|---|
Clasificación de Kolmogorov | |
T0 | (Kolmogórov) |
T1 | (Fréchet) |
T2 | (Hausdorff) |
T2 ½ | (Urisón) |
completamente T 2 | (completamente Hausdorff) |
T3 | (Hausdorff normal) |
T3½ | (Tijonov) |
T4 | (Hausdorff normal) |
T5 | (Hausdorff completamente normal ) |
T6 | (Hausdorff perfectamente normal ) |
En matemáticas , particularmente en topología , un espacio topológico X es localmente normal si intuitivamente se parece localmente a un espacio normal . [1] Más precisamente, un espacio localmente normal satisface la propiedad de que cada punto del espacio pertenece a un vecindario del espacio que es normal bajo la topología del subespacio .
Se dice que un espacio topológico X es localmente normal si y solo si cada punto, x , de X tiene un vecindario que es normal bajo la topología del subespacio . [2]
Nótese que no todos los vecindarios de x tienen que ser normales, pero al menos un vecindario de x tiene que ser normal (según la topología del subespacio).
Sin embargo, cabe señalar que si un espacio se denominase localmente normal si y solo si cada punto del espacio perteneciese a un subconjunto del espacio que fuese normal según la topología del subespacio, entonces todo espacio topológico sería localmente normal. Esto se debe a que el singleton { x } es vacuamente normal y contiene a x . Por lo tanto, la definición es más restrictiva.
Čech, Eduard (1937). "Sobre espacios bicompactos". Anales de Matemáticas . 38 (4): 823–844. doi :10.2307/1968839. ISSN 0003-486X. JSTOR 1968839.