Category bases (Q687861)

The authors study category bases by means of category decompositions and give proofs of some results on category bases including the Morgan- Schilling theorem. A family \(R\) of sets is said to be \(\kappa\)-saturated if it does not contain \(\kappa\) pairwise disjoint elements. Then \(\text{sat}(R)=\inf\{\kappa\): \(R\) is \(\kappa\)-saturated\}. A field \(F\) has the \(\kappa\)-cc subset property with respect to an ideal \(I\) of \(F\) if for each \(A\in F-I\) there is \(B\in F-I\) such that \(B\subseteq A\) and \(\text{sat}(\{D\in F-I: D\subseteq B\})\leq \kappa\). The authors characterize certain fields of sets generated by category bases and prove the Theorem: Let \(F\) be a \(\kappa\)-complete field on a set \(X\) and let \(I\) be a \(\kappa\)-complete ideal of \(F\) such that \(F\) has the \(\kappa\)-cc subset property with respect to \(I\), where \(\kappa>w\). Then there exists a category base \(c\subseteq F\) with \(M(C)=I\) and \(B(C)= F\) if and only if there exists a decomposition \(R\) of \(F-I\) with \(\text{sat}(\{D\in F-I: D\subseteq B)\leq \kappa\) for all \(B\in R\) (\(M(C)\) denotes the class of meager sets and \(B(C)\) the family of all Baire sets). The authors also show equivalence of category bases to topologies. Theorem: Let \((X,C)\) be a category base such that \(X\not\in M(C)\). Then \(C\) is equivalent to a topology on \(X\) if and only if there is a lower density on \(B(C)\) with respect to \(M(C)\).