28 research outputs found
Dyadic Subbases and Representations of Topological Spaces
We explain topological properties of the embedding-based approach to
computability on topological spaces. With this approach, he considered
a special kind of embedding of a topological space into Plotkin\u27s
, which is the set of infinite sequences of .
We show that such an embedding can also be characterized by a dyadic
subbase, which is a countable subbase such that are regular open
and and are exteriors of each other. We survey properties
of dyadic subbases which are related to efficiency properties of the
representation corresponding to the embedding
Domain Representations Induced by Dyadic Subbases
We study domain representations induced by dyadic subbases and show that a
proper dyadic subbase S of a second-countable regular space X induces an
embedding of X in the set of minimal limit elements of a subdomain D of
. In particular, if X is compact, then X is a retract of
the set of limit elements of D
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 page
04351 Abstracts Collection -- Spatial Representation: Discrete vs. Continuous Computational Models
From 22.08.04 to 27.08.04, the Dagstuhl Seminar 04351
``Spatial Representation: Discrete vs. Continuous Computational Models\u27\u27
was held in the International Conference and Research Center (IBFI),
Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
Lawson topology of the space of formal balls and the hyperbolic topology
AbstractLet (X,d) be a metric space and BX=X×R denote the partially ordered set of (generalized) formal balls in X. We investigate the topological structures of BX, in particular the relations between the Lawson topology and the product topology. We show that the Lawson topology coincides with the product topology if (X,d) is a totally bounded metric space, and show examples of spaces for which the two topologies do not coincide in the spaces of their formal balls. Then, we introduce a hyperbolic topology, which is a topology defined on a metric space other than the metric topology. We show that the hyperbolic topology and the metric topology coincide on X if and only if the Lawson topology and the product topology coincide on BX