No label defined (Q4229110)

Given a topological space \((X,{\mathcal T})\) and an ideal \({\mathcal I}\subseteq{\mathcal P}(X)\), a set \(A\subseteq X\) is said to be \({\mathcal I}\)-dense in \((X,{\mathcal T})\) if \(\emptyset\neq U\in{\mathcal T}\Rightarrow U\cap A\not\in{\mathcal I}\); and \((X,{\mathcal T})\) is \({\mathcal I}\)-resolvable if some two disjoint subsets of \(X\) are \({\mathcal I}\)-dense. In the degenerate case \({\mathcal I}=\{\emptyset\}\), the space \((X,{\mathcal T})\) is \({\mathcal I}\)-resolvable if and only if it is resolvable in the sense introduced by E. Hewitt in 1943, i.e., if it admits complementary dense subsets. The present authors generalize certain familiar theorems concerning resolvability to \({\mathcal I}\)-resolvability for general \({\mathcal I}\), and in addition they achieve some new results for specific ideals \({\mathcal I}\), focussing in particular on the ideal \({\mathcal I}={\mathcal N}\) of nowhere dense sets and the ideal \({\mathcal I}={\mathcal M}\) of meager sets. They show, for example: If \((X,{\mathcal T})\) is \({\mathcal M}\)-resolvable, then \(X\) is a Baire space and the witnessing disjoint dense subsets may be chosen to be Baire subspaces; and, the density topology on the real line is both resolvable and \({\mathcal M}\)-resolvable. There are additional results about maximal resolvable topologies and about \({\mathcal I}\)-resolvability when \({\mathcal I}\) is the ideal of bounded sets in the sense of P. Lambrinos (1973) or the ideal of \(L\)-bounded or parabounded sets in the sense of T. R. Hamlett and D. Janković (1994). For the entire collection see [Zbl 0907.00034].