Games and hereditary Baireness in hyperspaces and spaces of probability measures

DOI10.1017/S1474748020000286MaRDI QIDQ5070561zbMATH OpenOpenAlexFDO

Authors Mikołaj Krupski

Publication date 13 April 2022

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.02013

zbMATH Keywords

filterhereditarily Baire spacehyperspaceMenger at infinity spaceMenger spacePorada gameProhorov spacespace of probability measuresstrong \(P\)-filterstrong Choquet gameVietoris topology

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Remainders in general topology (54D40) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Baire category, Baire spaces (54E52) Probability measures on topological spaces (60B05) Games involving topology, set theory, or logic (91A44)

Abstract: 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 $mathcalF$ and prove that it is equivalent to $K(mathcalF)$ 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.

Recommendations

• On hereditary Baireness of the Vietoris topology
• scientific article; zbMATH DE number 1179909
• The Wijsman hyperspace of a metric hereditarily Baire space is Baire
• Baire property of spaces of continuous functions
• On (strong) \(\alpha \)-favorability of the Wijsman hyperspace

Cites work

• P-filters and hereditary Baire function spaces
• A minicourse on topological games
• A non-discrete space X with C_p(X) Menger at infinity
• A note on consonance of \(G_\delta\) subsets
• Baire category in spaces of probability measures
• Baire category in spaces of probability measures, II
• Baire spaces and hyperspaces
• Baire spaces and Vietoris hyperspaces
• Baire spaces, Tychonoff powers and the Vietoris topology
• Canjar filters
• Combinatorics of open covers. I: Ramsey theory
• Compactness and Tightness in a Space of Measures with the Topology of Weak Convergence.
• Consonant spaces and topological games
• Espaces héréditairement de Baire
• Forcing with filters and complete combinatorics
• Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures
• scientific article; zbMATH DE number 3923657 (Why is no real title available?)
• scientific article; zbMATH DE number 4099607 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1959530 (Why is no real title available?)
• scientific article; zbMATH DE number 3994531 (Why is no real title available?)
• Jeu de Choquet
• Measure theory. Vol. I and II
• Menger remainders of topological groups
• Metric spaces in which Prohorov's theorem is not valid
• On games of Topsoe.
• On hereditarily Baire spaces, -fragmentability of mappings and Namioka property
• On some properties of Hurewicz, Menger, and Rothberger
• On strong P-points
• Remarks on a game of Choquet
• Scales, fields, and a problem of Hurewicz
• Some properties of compactifications
• When is a space Menger at infinity?

Cited in

(11)

• Filters, consonance and hereditary Baireness
• scientific article; zbMATH DE number 1179909 (Why is no real title available?)
• On (strong) -favorability of the Vietoris hyperspace
• Coideals as remainders of groups distinguishing between combinatorial covering properties
• Point-set games and functions with the hereditary small oscillation property
• Compactification of spaces of measures and pseudocompactness
• Linear homeomorphisms of function spaces and the position of a space in its compactification
• Spaces of countable type with hereditarily Baire Vietoris hyperspace
• Most of the minimization problems have a unique solution
• Some remarks on the projective properties of Menger and Hurewicz
• Small Hurewicz and Menger sets which have large continuous images

This page was built for publication: Games and hereditary Baireness in hyperspaces and spaces of probability measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5070561)