Ideal Banach category theorems (Q1288323): Difference between revisions

The Banach category theorem, which is true in any space \(X\), has the following three versions. \(B_1\): A subset \(A\) of \(X\) is meager whenever each nonempty open set contains a nonempty open set that intersects \(A\) in a meager set. \(B_2\): For each subset \(A\) of \(X\), the set of points of \(A\) having a neighborhood that intersects \(A\) in a meager set is itself a meager set. \(B_3\): The union of any family of open meager subsets of \(X\) is meager. In this paper a comparison is made of \(B_1\), \(B_2\), and \(B_3\) when the \(\sigma\)-ideal of meager subsets of \(X\) is replaced by an arbitrary ideal of subsets of \(X\). In particular, it is shown that \(B_1\) implies \(B_2\) implies \(B_3\), and that neither implication reverses in general, even for \(\sigma\)-ideals. An ideal satisfies \(B_1\) if and only if it satisfies \(B_2\) and contains the ideal of nowhere dense sets. In addition, an investigation is made into the behavior of the unique smallest ideal containing a given ideal and satisfying \(B_i\), for \(i=1,2,3\) (called the \(B_i\)-extension of the given ideal). Among other things, examples are given showing that the \(B_3\)-extension operator is not as well behaved as the \(B_1\)- and \(B_2\)-extension operators; for example, it does not distribute over finite joins of ideals, whereas the other two do.