Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Abstract

We introduce the notions of Kuratowski-Ulam pairs of topological spaces and universally Kuratowski-Ulam space. A pair (X,Y) of topological spaces is called a Kuratowski-Ulam pair if the Kuratowski-Ulam Theorem holds in X× Y. A space Y is called a universally Kuratowski-Ulam (uK-U) space if (X,Y) is a Kuratowski-Ulam pair for every space X. Obviously, every meager in itself space is uK-U. Moreover, it is known that every space with a countable π-basis is uK-U. We prove the following:  • every dyadic space (in fact, any continuous image of any product of separable metrizable spaces) is uK-U (so there are uK-U Baire spaces which do not have countable π-bases);  • every Baire uK-U space is ccc.