GAMES AND HEREDITARY BAIRENESS IN HYPERSPACES AND SPACES OF PROBABILITY MEASURES

We establish that the existence of a winning strategy in certain topological games, closely related to a strong game of Choquet, played in a topological space $X$ and its hyperspace $K(X)$ of all nonempty compact subsets of $X$ equipped with the Vietoris topology, is equivalent for one of the players. For a separable metrizable space $X$ , we identify a game-theoretic condition equivalent to $K(X)$ being hereditarily Baire. It implies quite easily a recent result of Gartside, Medini and Zdomskyy that characterizes hereditary Baire property of hyperspaces $K(X)$ over separable metrizable spaces $X$ via the Menger property of the remainder of a compactification of $X$ . Subsequently, we use topological games to study hereditary Baire property in spaces of probability measures and in hyperspaces over filters on natural numbers. To this end, we introduce a notion of strong $P$ -filter ${\mathcal{F}}$ and prove that it is equivalent to $K({\mathcal{F}})$ being hereditarily Baire. We also show that if $X$ is separable metrizable and $K(X)$ is hereditarily Baire, then the space $P_{r}(X)$ of Borel probability Radon measures on $X$ is hereditarily Baire too. It follows that there exists (in ZFC) a separable metrizable space $X$ , which is not completely metrizable with $P_{r}(X)$ hereditarily Baire. As far as we know, this is the first example of this kind.

Infinite Powers and Cohen Reals

We give a consistent example of a zero-dimensional separable metrizable space Z such that every homeomorphism of Zω acts like a permutation of the coordinates almost everywhere. Furthermore, this permutation varies continuously. This shows that a result of Dow and Pearl is sharp, and gives some insight into an open problem of Terada. Our example Z is simply the set of ω1 Cohen reals, viewed as a subspace of 2ω.

THE TUKEY ORDER ON COMPACT SUBSETS OF SEPARABLE METRIC SPACES

One partially ordered set, Q, is a Tukey quotient of another, P, if there is a map (a Tukey quotient) $\phi :P \to Q$ carrying cofinal sets of P to cofinal sets of Q. Two partial orders which are mutual Tukey quotients of each other are said to be Tukey equivalent. Let ${\cal D}_{\rm{}} $ be the partially ordered set of Tukey equivalence classes of directed sets of size $ \le {\rm{}}$. It is shown that ${\cal D}_{\rm{}} $ contains an antichain of size $2^{\rm{}} $, and so has size $2^{\rm{}} $. The elements of the antichain are of the form ${\cal K}\left( M \right)$, the set of compact subsets of a separable metrizable space M, ordered by inclusion. The order structure of such ${\cal K}\left( M \right)$’s under Tukey quotients is investigated. Relative Tukey quotients are introduced. Applications are given to function spaces and to the complexity of weakly countably determined Banach spaces and Gul’ko compacta.

Countable Dense Homogeneity in Powers of Zero-dimensional Definable Spaces

We show that for a coanalytic subspace X of 2ω, the countable dense homogeneity of Xω is equivalent to X being Polish. This strengthens a result of Hruˇs´ak and Zamora Avilés. Then, inspired by results of Hernández-Guti´errez, Hruˇs´ak, and van Mill, using a technique of Medvedev, we construct a non-Polish subspace X of 2ω such that Xω is countable dense homogeneous. This gives the ûrst ZFC answer to a question of Hruˇs´ak and Zamora Avil´es. Furthermore, since our example is consistently analytic, the equivalence result mentioned above is sharp. Our results also answer a question of Medini and Milovich. Finally, we show that if every countable subset of a zero-dimensional separable metrizable space X is included in a Polish subspace of X, then Xω is countable dense homogeneous.

A Hilbert cube compactification of the function space with the compact-open topology

Let X be an infinite, locally connected, locally compact separable metrizable space. The space C(X) of real-valued continuous functions defined on X with the compact-open topology is a separable Fréchet space, so it is homeomorphic to the psuedo-interior s = (−1, 1)ℕ of the Hilbert cube Q = [−1, 1]ℕ. In this paper, generalizing the Sakai-Uehara’s result to the non-compact case, we construct a natural compactification $$ \bar C $$(X) of C(X) such that the pair ($$ \bar C $$(X), C(X)) is homeomorphic to (Q, s). In case X has no isolated points, this compactification $$ \bar C $$(X) coincides with the space USCCF(X,) of all upper semi-continuous set-valued functions φ: X → = [−∞, ∞] such that each φ(x) is a closed interval, where the topology for USCCF(X, ) is inherited from the Fell hyperspace Cld*F(X × ) of all closed sets in X × .

Baire sets that are Borelian subspaces

The Borelian subspaces that are Baire sets were studied by Knowles & Rogers (1966). These sets are here called BB-sets and are characterized among all Borelian subspaces by the property of being separated from their complements under some continuous mapping into some separable metrizable space. The main properties of the BB-sets are developed by the methods of Frolík (1961). It is shown that every Borelian subspace of a space P is a Baire set in P if each open set of P is a Souslin set derived from the closed sets.