New types of separation properties and countably \(w\)-paracompact spaces (Q1379792)

Following K. Morita, the reflector \(\tau: \text{TOP}\to \text{TYCH}\) from the category TOP of topological spaces into the category TYCH of Tychonoff spaces is called a Tychonoff functor. Continuing his earlier work on the relationships between a topological space \(X\) and its image \(\tau(X)\) under the Tychonoff functor the author introduces the notions of countably \(w\)-paracompact spaces, countably \(w\)-compact spaces, and \(w\)-metrizable spaces and proves the following results. Theorem 1: A topological space \(X\) is \(w\)-metrizable iff it is an \(S_3\)-space and \(\tau(X)\) is metrizable. Theorem 2: A topological space \(X\) is \(w\)-compact iff it is an \(S_3\)-space and \(\tau(X)\) is compact. Theorem 3: A topological space \(X\) is \(w\)-paracompact iff it is an \(S_3\)-space and \(\tau(X)\) is paracompact. Theorem 4: A topological space \(X\) is countably \(w\)-compact iff it is an \(S_2\)-space and \(\tau(X)\) is countably compact. Theorem 5: A topological space \(X\) is countably \(w\)-paracompact iff it is an \(S_2\)-space and \(\tau(X)\) is countably paracompact. Whereas the notions of \(w\)-compact and \(w\)-paracompact spaces were introduced in two earlier papers by the same author, the separation properties \(S_3\) and \(S_2\) appearing in the above theorems are new. It is shown that a topological space \(X\) is an \(S_3\)-space iff \(\tau(X\times Y)\) is homeomorphic to \(\tau(X)\times Y\) for every Tychonoff space \(Y\). It is an \(S_2\)-space iff \(\tau(X\times Y)\) is homeomorphic to \(\tau(X)\times \tau(Y)\) is every \(w\)-metrizable space \(Y\). The property of being an \(S_3\)-space is preserved by arbitrary products.