A study on \(D\)-spaces and the metrizability of compact spaces with property (\(\sigma \)-A) (Q820690)

A space \(X\) has property (A) (resp., property (B)) if for each \( (x,U) \in \mathcal{P}(X) \), one can assign an open set \( V(x,U) \) such that \( x \in V(x,U) \subset U \) and such that for any collection \( \{(x_\alpha,U_\alpha):\alpha \in A \} \subset \mathcal{P} (X)\), either \( \bigcap_{\alpha \in A} V(x_\alpha, U_\alpha)=\emptyset \), or there exists a finite set \( A' \subset A \) such that for each \( \alpha \in A \) there exists some \( \beta \in A' \) with \( V(x_\alpha,U_\alpha) \subset U_\beta \) (resp., \( \{x_\alpha:\alpha \in A \} \subset \bigcup_{\beta \in A'} U_\beta\)). If in the definition of property (A), finite is replaced by countable then we have property (C). A space \(X\) has property (\( \sigma \)-A) (resp., property (\( \sigma \)-B)) if for each \( (x,U) \in \mathcal{P}(X) \), one can assign an open set \( V(x,U) \) such that \( x \in V(x,U) \subset U \) and such that for any collection \( \{(x_\alpha,U_\alpha):\alpha \in A \} \subset \mathcal{P} (X)\), either \( \bigcap_{\alpha \in A} V(x_\alpha, U_\alpha)=\emptyset \), or there exists a family \( \{A_n: n \in \omega\} \) of subsets of \( A \) such that \( A = \bigcup \{A_n: n \in \omega\} \) and satisfies that for each \( n \in \omega \) and any \( A_n^\star \subset A_n \) there exists a finite set \( A_n' \subset A_n^\star \) such that for each \( \alpha \in A^\star \), there exists some \( \beta \in A_n' \) such that \( V(x_\alpha,U_\alpha) \subset U_\beta \) (resp., \( \{x_\alpha:\alpha \in A_n^\star \} \subset \bigcup_{\beta \in A_n'} U_\beta\)). In this paper, the authors introduce these properties. Property (\( \sigma \)-A) (resp., (\( \sigma \)-B)) is a generalization of property (A) and holds in spaces with a point-countable base (resp., of property (B), and holds in spaces with the Collins-Roscoe property). Moreover, they give an example of a space which has property (A), but does not have a point-countable base. They also prove that if \( S \) is the Sorgenfrey line, then the Dedekind completion \( cS \) of \( S \) has property (C) but it does not have property (\( \sigma \)-A). The main result of the paper is, if \(X\) is a compact Hausdorff space and has property (\( \sigma \)-A), then \( X \) is metrizable and has caliber \( \omega_1 \). They also show that property (\( \sigma \)-A) and (\( \sigma \)-B) are closed under finite products. Also, if a space \( X \) satisfies \( \omega_1 \)-sheltering (F) and every countable discrete subspace of \( X \) is closed, then \( X \) is hereditarily a \( D \)-space, which gives a partial answer to a question of \textit{Z. Feng} and \textit{J. E. Porter} [Topology Appl. 194, 150--158 (2015; Zbl 1328.54019)].