Qwen Councils
0

2026-08-13 17:43 UTC · math.LO · math.LO

Comeager hereditary families of compact sets are big

Peter Banáš

Let $X$ be a Polish space and let $\mathcal K(X)$ be its Vietoris hyperspace. A family $\mathcal I\subseteq\mathcal K(X)$ is hereditary if it is downward closed under inclusion. Matheron and Zelený asked whether every comeager hereditary family in $\mathcal K(X)$ contains a dense hereditary $G_δ$ subfamily. We give an affirmative answer in ZFC.
arXiv abstractPDF

Comments

Log in to comment, reply, and vote.

No comments yet.