Baire theorem for ideals of sets

From MaRDI portal



Abstract: We study ideals mathcalI on mathbbN satisfying the following Baire-type property: if X is a complete metric space and XAcolonAinmathcalI is a family of nowhere dense subsets of X with XAsubsetXB whenever AsubsetB, then . We give several characterizations and determine the ideals having this property among certain classes like analytic ideals and P-ideals. We also discuss similar covering properties when considering families of compact and meager subsets of X.


For a topological space \(X\), an ideal \(\mathcal{I}\) on \(\mathbb{N}\) is called a Baire ideal for \(X\) if \(\bigcup_{A\in\mathcal{I}} X_A\neq X\) for every family \(\{ X_A:A\in\mathcal{I}\}\) of nowhere dense sets with \(X_A\subset X_B\) whenever \(A\subset B\). An ideal \(\mathcal{I}\) is called a Baire ideal if it is a Baire ideal for every complete metric space \(X\). In the paper several characterizations of Baire ideals are given. Also, Baire ideals in some classes of ideals are investigated (analytic ideals, P-ideals, ideals generated by AD families).











This page was built for publication: Baire theorem for ideals of sets

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