Related papers: Topological spaces induced by homotopic distance

We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the…

We show that both Lusternik-Schnirelmann category and topological complexity are particular cases of a more general notion, that we call homotopic distance between two maps. As a consequence, several properties of those invariants can be…

For a path-connected metric space $(X,d)$, the $n$-th homotopy group $\pi_n(X)$ inherits a natural pseudometric from the $n$-th iterated loop space with the uniform metric. This pseudometric gives $\pi_n(X)$ the structure of a topological…

A directed space is a topological space $X$ together with a subspace $\vec{P}(X)\subset X^I$ of \emph{directed} paths on $X$. A symmetry of a directed space should therefore respect both the topology of the underlying space and the topology…

We prove that the homotopic distance between two maps defined on a manifold is bounded above by the sum of their subspace distances on the critical submanifol of any Morse-Bott function. This generalizes the Lusternik-Schnirelmann theorem…

On a complete, connected, locally compact, non-compact geodesic space $(X,d)$, we assign each compact set a distance-like function. With the help of these functions, we obtain a pseudo-metric on the space of (non-empty) compact subsets of…

Extending the results of reconstruction of compact metric spaces by inverse limits, we show that if $(X, d), (Y, d)$ are compact metric spaces, then the mapping space $Y^X$ is homotopy equivalent to the inverse limit of an inverse system of…

In this paper, we investigate a discrete version of the homotopic distance between two $s$-Lipschitz maps for $s \geq 0$. This distance is defined by specifying a step length $r$ to which some homotopy relation corresponds. In spaces with a…

Given a metric pair $(X,A)$, i.e. a metric space $X$ and a distinguished closed set $A \subset X$, one may construct in a functorial way a pointed pseudometric space $\mathcal{D}_\infty(X,A)$ of persistence diagrams equipped with the…

We study notions of homotopy in the Newtonian space $N^{1,p}(X;Y)$ of Sobolev type maps between metric spaces. After studying the properties and relations of two different notions we prove a compactness result for sequences in homotopy…

Given two real algebraic varieties X and Y, we denote by R(X,Y) the set of all regular maps from X to Y. The set R(X,Y) is regarded as a topological subspace of the space C(X,Y) of all continuous maps from X to Y endowed with the…

For a probability measure space $(X,\mathscr{A},\mu)$, we define a pseudometric $\delta$ on the ring $\mathcal{M}(X,\mathscr{A})$ of real-valued measurable functions on $X$ as $\delta(f,g)=\mu(X\setminus Z(f-g))$ and denote the topological…

We show that a topometric space $X$ is topometrically isomorphic to a type space of some continuous first-order theory if and only if $X$ is compact and has an open metric (i.e., satisfies that $\{p : d(p,U) < \varepsilon\}$ is open for…

We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of…

When one considers the collection $\mathcal{H}(\mathbb{R}^n)$ of all compact subsets of $\mathbb{R}^n$ and equip it with a topology, many questions can be asked about the topological space one ends up with. This is an example of a…

We introduce two new algebraic invariants, the (co)homological distances between continuous maps, which provide computable lower bounds for the homotopic distance and strictly refine the classical cup-length estimates. We then define the…

We prove that the inclusion of map(X,Y) into map(K(X),K(Y)) is continuous, where K(X) is the space of non-empty compact subsets of X (also known as the hyperspace of compact subsets of X), and both spaces of maps are endowed with the…

We establish certain conditions which imply that a map $f:X\to Y$ of topological spaces is null homotopic when the induced integral cohomology homomorphism is trivial; one of them is: $H^*(X)$ and $\pi_*(Y)$ have no torsion and $H^*(Y)$ is…

We study the homomorphism induced in homology by a closed correspondence between topological spaces, using projections from the graph of the correspondence to its domain and codomain. We provide assumptions under which the homomorphism…

For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a…