Baire theorem for ideals of sets (Q313492): Difference between revisions

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).