Countable compactness of hyperspaces and Ginsburg's questions (Q1886713): Difference between revisions

In [Can. J. Math. 27, 1392--1399 (1975; Zbl 0314.54007)], \textit{J. Ginsburg} has asked whether, for a topological space \(X\), there is any relation between the pseudocompactness (respectively countable compactness) of the countable product \(X^\omega\) and the hyperspace \(2^X\) (equipped with the Vietoris topology). Here the following interesting (partial) answers are given. Theorem 1. Let \(X\) be a homogeneous regular \(T_1\)-space. If \(2^X\) is countably compact, then \(X^\omega\) is countably compact. Theorem 2. Let \(X\) be a homogeneous completely regular \(T_1\)-space. If \(2^X\) is pseudocompact, then \(X^\alpha\) is pseudocompact for every cardinal \(\alpha\). Example 1. There exists a countably compact completely regular \(T_1\)-space \(X\) such that \(X^\omega\) (even \(X^{\omega_1}\)) is countably compact but \(2^X\) is not countably compact. The following example has stronger properties than a similar example by Z. Frolík. Example 2. There exists a completely regular \(T_1\)-space \(X\) such that all finite powers of \(X\) are countably compact and \(X^\omega\) is pseudocompact, but \(X^\omega\) is not countably compact. Additionally it is pointed out that the proof of the main result of a closely related paper by \textit{M. A. Natsheh} [Quest. Answers Gen. Topology 16, No. 2, 213--217 (1998; Zbl 0924.54012)] has a gap.