Related papers: Vietoris-type Topologies on Hyperspaces
Let X be a Tychonoff space and MC(X) be the space of convex minimal usco maps with values in R, the space of real numbers. Such set-valued maps are important in the study of subdifferentials of convex functions. Using the strong Choquet…
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this…
A standard approach to model reduction of large-scale higher-order linear dynamical systems is to rewrite the system as an equivalent first-order system and then employ Krylov-subspace techniques for model reduction of first-order systems.…
We introduce the notions of multi-suprema and multi-infima for vector spaces equipped with a collection of wedges, generalizing the notions of suprema and infima in ordered vector spaces. Multi-lattices are vector spaces closed under…
For $X$ a metric space and $r>0$ a scale parameter, the Vietoris-Rips complex $VR_<(X;r)$ (resp. $VR_\leq(X;r)$) has $X$ as its vertex set, and a finite subset $\sigma\subseteq X$ as a simplex whenever the diameter of $\sigma$ is less than…
In this paper, we introduce the concept of quasi-point-separable topological vector spaces, which has the following important properties: 1.In general, the conditions for a topological vector space to be quasi-point-separable is not very…
The symbol $\mathcal{S}(X)$ denotes the hyperspace of finite unions of convergent sequences in a Hausdorff space $X$. This hyperspace is endowed with the Vietoris topology. First of all, we give a characterization of convergent sequence in…
This paper presents explicit assumptions for the existence of interleaving homotopy equivalences of both Vietoris-Rips and Lesnick complexes associated to an inclusion of data sets. Consequences of these assumptions are investigated on the…
We show that the category of coalgebras for the compact Vietoris endofunctor $\mathbb{V}$ on the category Top of topological spaces and continuous mappings is isomorphic to the category of all modally saturated Kripke structures. Extending…
We introduce a hypertopology, induced by an inframetric up to full quantum isometry, on the class of pointed proper quantum metric spaces, which are separable, possibly non-unital, C*-algebras endowed with an analogue of the Lipschitz…
We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at scale $3$. We represent the vertices in the hypercube graph $Q_m$ as the collection of all subsets of $[m]=\{1, 2, \ldots, m\}$ and equip $Q_m$ with the metric…
We extend classical tools from rational homotopy theory to topological data analysis by introducing persistent Sullivan minimal models of persistent topological spaces. Our main result establishes that the interleaving distance between such…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
We study algebraic and topological properties of subsemigroups of the hyperspace exp(G) of non-empty compact subsets of a topological group G endowed with the Vietoris topology and the natural semigroup operation. On this base we prove that…
This survey gives a short and comprehensive introduction to a class of finite-dimensional integrable systems known as hypersemitoric systems, recently introduced by Hohloch and Palmer in connection with the solution of the problem how to…
We introduce a new approach to Topological Data Analysis (TDA) based on Finsler metrics and we also generalize the classical concepts of Vietoris-Rips and Cech complexes within this framework. In particular, we propose a class of…
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…
We propose a new class of hypertopologies, called here weak$^{\ast }$ hypertopologies, on the dual space $\mathcal{X}^{\ast }$ of a real or complex topological vector space $\mathcal{X}$. The most well-studied and well-known hypertopology…
We study a family of invariants of compact metric spaces that combines the Curvature Sets defined by Gromov in the 1980s with Vietoris-Rips Persistent Homology. For given integers $k\geq 0$ and $n\geq 1$ we consider the dimension $k$…
We explore the connections between selection games on Hausdorff spaces and their corresponding Vietoris space of compact subsets. These considerations offer a similar relationship as the well-known relationship between $\omega$-covers of…