Related papers: Approaching metric domains
Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robustness requires the space to be a metric space. Robust…
We address the problem of the continuum limit for a system of Hausdorff lattices (namely lattices of isolated points) approximating a topological space $M$. The correct framework is that of projective systems. The projective limit is a…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…
Finite topological spaces became much more essential in topology, with the development of computer science. The task of this paper is to study and investigate some properties of such spaces with the existence of an ordered relation between…
Inspired by some Lorentzian versions of the notion of metric and length space introduced by Kunzinger and S\"amman, and more recently, by M\"uller, and Minguzzi and S\"uhr, we revisit the notion of Lorentzian metric space in order to later…
We classify the metric spaces that can be approximated by finite homogeneous ones.
We study geometric and topological properties of locally compact, geodesically complete spaces with an upper curvature bound. We control the size of singular subsets, discuss homotopical and measure-theoretic stratifications and regularity…
We study $G_\delta$ subspaces of continuous dcpos, which we call domain-complete spaces, and $G_\delta$ subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those include all locally compact sober spaces-in…
A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…
Inspired by the concept of hyperconvexity and its relation to curvature, we translate geometric properties of a metric space encoded by the curvature inequalities into the persistent homology induced by the \v{C}ech filtration of that…
In this work, a metric is presented on the set of boundedly-compact pointed metric spaces that generates the Gromov-Hausdorff topology. A similar metric is defined for measured metric spaces that generates the Gromov-Hausdorff-Prokhorov…
We introduce the geodesic complexity of a metric space, inspired by the topological complexity of a topological space. Both of them are numerical invariants, but, while the TC only depends on the homotopy type, the GC is an invariant under…
We introduce the notion of metric semilattice on the metric space and prove the criterion of $\R$-tree as connected geodesic metric space $X$ admitting the partial order, such that $X$ is semilinear metric semilattice. Also we state the…
In Persistent Homology and Topology, filtrations are usually given by introducing an ordered collection of sets or a continuous function from a topological space to $\R^n$. A natural question arises, whether these approaches are equivalent…
Approximate lattices are aperiodic generalisations of lattices of locally compact groups that were first studied in seminal work of Yves Meyer. They are defined as those uniformly discrete approximate subgroups (symmetric subsets stable…
With a frame $L$ as the truth value table, we study the topological representations for frame-valued domains. We introduce the notions of locally super-compact $L$-topological space and strong locally super-compact $L$-topological space.…
We study lattices in non-positively curved metric spaces. Borel density is established in that setting as well as a form of Mostow rigidity. A converse to the flat torus theorem is provided. Geometric arithmeticity results are obtained…
We investigate CAT(0) metric spaces whose associated Tits boundary is compact. Prominent examples of such spaces are of course the euclidean ones. However there exist non trivial geodesically complete CAT(0) spaces with compact Tits…
A generalization of Scott's information systems~\cite{sco82} is presented that captures exactly all continuous domains. The global consistency predicate in Scott's definition is relativized. Now, for every atomic statement, there is a…
Thurston introduced in his seminal work an asymmetric metric on Teichm\"uller space by the ratio of simple closed curve length. In this paper, we generalize the idea and define an asymmetric metric on the space of unit-area flat metrics…