We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GN

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > General Topology

Title: Quasiorders for a characterization of iso-dense spaces

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 $\mathbf{ZF}$ a new characterization of iso-dense spaces in terms of special quasiorders. For a non-empty family $\mathcal{A}$ of subsets of a set $X$, a quasiorder $\lesssim_{\mathcal{A}}$ on $X$ determined by $\mathcal{A}$ is defined. Necessary and sufficient conditions for $\mathcal{A}$ are given to have the property that the topology consisting of all $\lesssim_{\mathcal{A}}$-increasing sets coincides with the generalized topology on $X$ consisting of the empty set and all supersets of non-empty members of $\mathcal{A}$. The results obtained, applied to the quasiorder $\lesssim_{\mathcal{D}}$ determined by the family $\mathcal{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.
Subjects: General Topology (math.GN); Logic (math.LO)
MSC classes: 54A05, 54A10, 54F05, 54F30, 54G12, 06A75, 06F30, 54A35, 03E35
Cite as: arXiv:2404.06623 [math.GN]
  (or arXiv:2404.06623v1 [math.GN] for this version)

Submission history

From: Eliza Wajch [view email]
[v1] Tue, 9 Apr 2024 21:16:19 GMT (15kb)

Link back to: arXiv, form interface, contact.