Orthocompactness implies \(\varDelta\)-paracompactness for the product of a \(\varDelta\)-paracompact normal space and a compact space (Q2017864): Difference between revisions

In what follows, \(X\) is always supposed to be a \(T_2\) (or \textit{Hausdorff}\,) topological space (or, equivalently, we assume that the \textit{diagonal} \(\Delta_X = \{\langle x,x \rangle: x \in X\}\) is a closed subset of \(X \times X\)). \(X\) is \textit{monotonically normal}\, if for every pair \((E,F)\) of disjoint closed subsets of \(X\) one can assign an open set \(O(E,F)\) such that: \((i)\) \(E \subseteq O(E,F) \subseteq \overline{O(E,F)} \subseteq X \setminus F\); and \((ii)\) whenever \((E',F')\) is a pair of disjoint closed subsets satisfying \(E \subseteq E'\) and \(F' \subseteq F\) then \(O(E,F) \subseteq O(E',F')\). A family \(\mathcal U\) of open subsets of \(X\) is said to be \textit{interior preserving} if \(\bigcap \mathcal{U}'\) is open for every \(\mathcal{U}' \subseteq \mathcal{U}\), and \(X\) is said to be an \textit{orthocompact space} if every open cover has an interior preserving open refinement. \(\Delta\)-paracompactness is a topological property introduced in [\textit{R. Z. Buzyakova}, Topology Appl. 157, No. 2, 352--358 (2010; Zbl 1187.54020)]. \(X\) is said to be a \(\Delta\)-paracompact space if for every closed subset \(C \subseteq X \times X\) which is disjoint from \(\Delta_X\) there is a locally finite open cover \(\mathcal{U}\) of \(X\) such that \(\bigcup\{U \times U: U \in \mathcal{U}\}\) is disjoint from \(C\). Previous results due to the author and Y. Yajima ensure that, for a monotonically normal space \(X\) and for a compact space \(K\), if \(X \times K\) is orthocompact then \(X \times K\) is normal and \(\Delta\)-paracompact. In the paper under review, the author proves that the requirement on \(X\) in the previous result can be relaxed to ``\(X\) is normal and \(\Delta\)-paracompact''. A number of related results are also established.