10.23638/LMCS-13(1:18)2017
https://lmcs.episciences.org/3198
Tsukamoto, Yasuyuki
Yasuyuki
Tsukamoto
Existence of strongly proper dyadic subbases
We consider a topological space with its subbase which induces a coding for
each point. Every second-countable Hausdorff space has a subbase that is the
union of countably many pairs of disjoint open subsets. A dyadic subbase is
such a subbase with a fixed enumeration. If a dyadic subbase is given, then we
obtain a domain representation of the given space. The properness and the
strong properness of dyadic subbases have been studied, and it is known that
every strongly proper dyadic subbase induces an admissible domain
representation regardless of its enumeration. We show that every locally
compact separable metric space has a strongly proper dyadic subbase.
Comment: 11 pages
episciences.org
Mathematics - General Topology
I.1.1
F.3.2
F.4.1
arXiv.org - Non-exclusive license to distribute
2017-03-30
2017-03-30
2017-03-30
eng
journal article
arXiv:1703.05212
10.48550/arXiv.1703.05212
1860-5974
https://lmcs.episciences.org/3198/pdf
VoR
application/pdf
Logical Methods in Computer Science
Volume 13, Issue 1
Researchers
Students