Productivity of paracompactness in the class of the first-countable GO-spaces with certain dense subsets (Q2437650): Difference between revisions

Paracompactness behaves badly under products in the category of topological spaces (this is one of the many claims to introduce the category of point-free spaces -- i.e., locales: in the category of locales paracompactness is inherited by products though not in the category of topological spaces). It has become a key problem, concerning paracompactness in the category of topological spaces, to characterize the class \(\mathcal P\) of all spaces whose product with every paracompact space is paracompact. This problem has been extensively studied by many authors. The Telgársky conjecture asserts that a paracompact space \(X\) belongs to \(\mathcal P\) if and only if the first player in the \(G\)(\textbf{DC},\(X\)) game has a winning strategy (the implication ``\(\Leftarrow\)'' was proved by \textit{R. Telgársky} [Fundam. Math. 88, 193--223 (1975; Zbl 0311.54025)]). The present paper provides a few results in support of Telgársky's conjecture. Namely, it is proven that if \(X\) is a paracompact, first-countable generalized-ordered space with a dense \(\sigma\){\textbf{DC}}-subset (i.e., countable union of {\textbf{DC}}-sets) then \(X\in\mathcal{P}\) if and only if \(X\) is a \(\sigma\){\textbf{DC}}-set, and that if \(Y\) is a metric generalized-ordered space and \(X\) is a generalized-ordered space defined on \(Y\) then \(X\) is metrizable provided \(X\in\mathcal{P}\).