In [17], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In this chapter, we sketch some of the thematically related mathematical developments that followed. Specifically, we look at Stone duality for the Vietoris hyperspace and the Vietoris powerlocale, and at recent work com...

We show that a measurement μ on a continuous dcpo D extends to a measurement μ̄ on the convex powerdomain CD iff it is a Lebesgue measurement. In particular, kerμ must be metrizable in its relative Scott topology. Moreover, the space ker μ̄ in its relative Scott topology is homeomorphic to the Vietoris hyperspace of kerμ, i.e., the space of nonempty compact subsets of kerμ in its Vietoris topolog...

I am interested in computational topology and geometry, combinatorial topology, and topology applied to data analysis and to sensor networks. My current research: §1. Advances the theory of Vietoris–Rips simplicial complexes. Given a set of points X sampled from a metric space M , what information can one recover about M? One approach is to build a Vietoris–Rips simplicial complex, which depend...

Hyperspace theory has its beginnings in the early years of XX century with the work of Felix Hausdorff (1868-1942) and Leopold Vietoris (1891-2002). Given a topological space X, the hyperspace 2X of all nonempty closed subsets of X is equipped with the Vietoris topology, also called the exponential topology, see [37, p. 160] or the finite topology, see [48, p. 153], introduced in 1922 by Vietor...

We study the infimum of the Hausdorff and Vietoris topologies on the hyperspace of a metric space. We show that this topology coincides with the supremum of the upper Hausdorff and lower Vietoris topologies if and only if the underlying metric space is either totally bounded or is a UC space.

• The conditions are investigated under which the upper Vietoris topology coincides with Scott on K ( X ) . For a well-filtered space having first-countable Smyth power space, and coincide. T 0 in set of minimal elements any compact saturated subset, its is first-countable. Alexandroff double circle, first-countable, not , let be poset all non-empty sets reverse inclusion order. said to have pr...