Pseudocompactness of hyperspaces (Q2460839)

Pour tout espace \(X\), soit \(2^X\) l'espace des fermés non vides de \(X\) muni de la topologie de Vietoris. Les auteurs étudient la question de savoir si la pseudocompacité du produit dénombrable \(X^\omega\) entraîne la pseudocompacité de \(2^X\), et construisent un exemple montrant que ce n'est pas toujours le cas. Ils considèrent en particulier le cas des espaces de Mrówka-Isbell \(\Psi(\mathcal A)\), pour lesquels le produit \((\Psi(\mathcal A))^\omega\) est toujours pseudocompact, et montrent que, pour ces espaces, la réponse dépend de la théorie des ensembles: il est compatible avec ZFC que \(2^{\Psi(\mathcal A)}\) soit toujours pseudocompact, mais il est aussi compatible avec ZFC qu'il existe une famille \(\mathcal A\) telle que \(2^{\Psi(\mathcal A)}\) ne le soit pas.