A note on productively paracompact spaces (Q2405098)

The author discusses properties of productively paracompact spaces and considers spaces whose product with any paracompact space is paracompact. The following theorem is proved. Let \(X\) be a paracompact space which is paracompact at infinity. The following conditions are mutually equivalent: (1) \(X\) is productively paracompact; (2) \(X\times Y\) is strongly collectionwise Hausdorff for every paracompact space \(Y\); (3) \(X\) has a neighbornet \(U\) such that \(\overline{U^{-1}\{x\}\setminus LC(X)}\) is compact for every \(x\in X\); (4) Player I has a winning strategy in the game \(G(\mathcal{DC}, X)\). The author also considers productive paracompactness of spaces which are paracompact at infinity and constructs (strongly) co-compact neighbornets for certain productively paracompact spaces. The following results are proved: (1) Assume that \(X\) is productively paracompact and paracompact at infinity. Then the subspace \(X\setminus LC(X)\) of \(X\) has a strongly co-compact neighbornet; (2) Let \(X\) be a productively paracompact space which is Lindelöf at infinity. Then \(X\) has a strongly co-compact neighbornet; (3) Let \(X\) be a productively paracompact suborderable space of point-countable type. Then \(X\) has a co-compact neighbornet.