Products of sequential CLP-compact spaces are CLP-compact (Q2433753)

The class of spaces which have the property that every cover by clopen sets has a finite subcover was introduced by A. Šostak under the name \textit{CB-compact}. These spaces are now known as \textit{CLP-compact} spaces and it has emerged that much of the interesting behaviour of this class derives from the possibility that the product of two topological spaces contains clopen sets which do not belong to the algebra generated by the product of the algebras of clopen sets in each factor. For a topology \(\tau\) on a set \(X\), \(\tau^{clp}\) denotes the set of all clopen sets in the space \((X,\tau)\). If \((X_1,\tau_1)\) and \((X_2,\tau_2)\) are topological spaces, then \(\tau_1\otimes\tau_2\) denotes the product topology on \(X_1\times X_2\). The author proves that if \((X_1,\sigma_1)\) and \((X_2,\sigma_2)\) are compact, topological spaces and \(\tau_1\supseteq\sigma_1\) and \(\tau_2\supseteq\sigma_2\) are finer topologies on \(X_1\) and \(X_2\) such that \((X_1,\tau_1)\) is sequential and \(\sigma_i^{clp}=\tau_i^{clp}\) for each \(i=1,2\), then \((\sigma_1\otimes\sigma_2)^{clp}=(\tau_1\otimes\tau_2)^{clp}\). It follows from this theorem that the product of a finite number of sequential, \(CLP\)-compact spaces is \(CLP\)-compact. This is an affirmative answer to Question 6.1 of \textit{J. Steprāns} and \textit{A. P. Šostak} [Topology Appl. 101, 213--229 (2000; Zbl 0962.54020)].