Espacio sobrio
De Wikipedia, la enciclopedia libre
En matemáticas, particularmente en topología, un espacio topológico X es sobrio si para todos los subconjuntos cerrados C de X que no contienen estrictamente un conjunto cerrado no vacío más pequeño, existe un único punto x en X tal que C es la clausura del singulete {x}.
Cualquier espacio de Hausdorff T2 es sobrio, y todos los espacios sobrios son Kolmogorov T0. La sobriedad no es comparable a T1.
La sobriedad de X es precisamenteo la condición que fuerza al anillo C0 (X, R) de funciones continuas real - valoradas en X para determinar X salvo un homeomorfismo. La sobriedad hace el (pre)orden de especialización un orden parcial.