1. Quasiorders for a Characterization of Iso-dense Spaces.
- Author
-
Richmond, Tom and Wajch, Eliza
- Abstract
A (generalized) topological space is called an iso-dense space if the set of all its isolated points is dense in the space. The main aim of the article is to show in ZF a new characterization of iso-dense spaces in terms of special quasiorders. For a non-empty family A of subsets of a set X, a quasiorder ≲ A on X determined by A is defined. Necessary and sufficient conditions for A are given to have the property that the topology consisting of all ≲ A -increasing sets coincides with the generalized topology on X consisting of the empty set and all supersets of non-empty members of A . The results obtained, applied to the quasiorder ≲ D determined by the family D of all dense sets of a given (generalized) topological space, lead to a new characterization of non-trivial iso-dense spaces. Independence results concerning resolvable spaces are also obtained. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF