Seja $(X, \tau)$ um espaço topológico. Dizemos que $(V_x)_{x \in X}$ é uma atribuição de vizinhanças abertas (ava) se cada $V_x$ é aberto e $x \in V_x$.
Seja $(X, \tau)$ espaço topológico. Dizemos que $X$ é um $D$-espaço se, para toda $(V_x)_{x \in X}$ atribuição de vizinhanças abertas, existe $D \subset X$ discreto fechado tal que $X = \bigcup_{x \in D} V_x$.
A pergunta mais importante sobre $D$-espaços provavelmente é esta:
Todo espaço de Lindelöf regular é um $D$-espaço?
Feita indiretamente aqui.
Existem alguns resultados parciais relacionados:
Alguns outros problemas:
Considere $\mathbb R_S$ a reta de Sorgenfrey. É verdade que $\mathbb R_S^\omega$ é um $D$-espaço?
Ver aqui.