No label defined (Q4495035)

Let \(P\) be a property of topological spaces. Consider the following statement: (*) The \(\sigma\)-product has \(P\) whenever each finite subproduct has \(P\). It is known that \((\ast)\) is true if \(P\) is paracompact or Lindelöf. In this paper, it is shown that \((\ast)\) is false if \(P\) is some of the following: (1) strong paracompactness; (2) orthocompactness; (3) star-Lindelöf property. For example, the counterexample for (1) is as follows: Let \(X_n = [0, 1]\) (the unit interval) for each \(n < \omega\). Define \(X_{\omega}\) as the interval \([0, \omega_{\omega}]\) of ordinals whose topology is obtained from the usual order topology by isolating the points of \([0, \omega_{\omega})\). Then the \(\sigma\)-product of \(\{ X_n : n \leq \omega \}\) is the counterexample.