Максимальные сцепленные системы и ультрафильтры: основные представления и топологические свойства

Abstract

Questions connected with representation of the ultrafilter (UF) set for widely understood measurable space are investigated; this set is considered as a subspace of bitopological space of maximal linked systems (MLS) under equipment with topologies of Wallman and Stone types (measurable structure is defined as a π -system with “zero” and “unit”). Analogous representations connected with generalized variant of cohesion is considered also; in this variant, for corresponding set family, it is postulated the nonemptyness of intersection for finite subfamilies with power not exceeding given. Conditions of identification of UF and MLS (in the above-mentioned generalized sense) are investigated. Constructions reducing to bitopological spaces with points in the form of MLS and 𝑛-supercompactness property generalizing the “usual” supercompactness are considered. Finally, some characteristic properties of MLS and their corollaries connected with the MLS contraction to a smaller π -system are being studied. The case of algebras of sets is selected separately.