Issues of the structure of spaces of ultrafilters and maximal linked systems are studied. We consider a widely understood measurable space (a π-system with zero and one) defined as follows: we fix a nonempty family of subsets of a given set closed under finite intersections and containing the set itself (“one”) and the empty set (“zero”). Ultrafilters (maximal filters) and maximal linked systems are constructed on this space. Each of the obtained spaces is equipped with a pair of comparable topologies. The resulting bitopological spaces turn out to be consistent in the following sense: each space of ultrafilters is a subspace of the corresponding space of maximal linked systems. Moreover, the space of maximal linked systems with a Wallman-type topology is supercompact and, in particular, compact. Possible variants of a π-system are lattices, semialgebras and algebras of sets, topologies, and families of closed sets of topological spaces.
Read full abstract