Related papers: Reconstruction of mapping spaces by inverse limits

Adapting a homotopy reconstruction theorem for general metric compacta, we show that every countable metric or ultrametric compact space can be topologically reconstructed as the inverse limit of a sequence of finite $T_0$ spaces which are…

The aim of this paper is to show how the homotopy type of compact metric spaces can be reconstructed by the inverse limit of an inverse sequence of finite approximations of the corresponding space. This recovering allows us to define…

Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a…

Given CW complexes X and Y, let map(X,Y) denote the space of continuous functions from X to Y with the compact open topology. The space map(X,Y) need not have the homotopy type of a CW complex. Here the results of an extensive investigation…

Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].

Let Y be an absolute neighborhood retract (ANR) for the class of metric spaces and let X be a Hausdorff space. Let map(X,Y) denote the space of continuous maps from X to Y with the compact open topology. It is shown that if X is a CW…

We describe the relation of $r$-similarity and finite-order invariants on the homotopy set $[S^1,Y]=\pi_1(Y)$.

Homotopic distance $\D$ as introduced in \cite{MVML} can be realized as a pseudometric on $\mathrm{Map}(X,Y)$. In this paper, we study the topology induced by the pseudometric $\D$. In particular, we consider the space…

A compact space X is I-favorable if, and only if X can be representing as a limit of $\sigma$-complete inverse system of compact metrizable spaces with skeletal bonding maps.

We describe the behaviour of the homotopy similarity relations and finite-order invariants under the function $[X,Y]\to[X,Z]$ induced by a map $Y\to Z$ strongly $r$-similar to the constant map.

Given pointed cellular spaces $X$ and $Y$, $X$ compact, and an integer $r\ge0$, we define a relation $\overset r\approx$ on $[X,Y]$ and argue for the conjecture that it always coincides with the $r$-similarity $\overset r\sim$.

A map $f:X\to Y$ to a simplicial complex $Y$ is called a $Y$-triangular homotopy equivalence if it has a homotopy inverse $g$ and homotopies $h_1:f\circ g\simeq \mathrm{id}_Y$, $h_2:g\circ f\simeq \mathrm{id}_X$ such that for all simplices…

The deck, $\mathcal{D}(X)$, of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$, where $[Y]$ denotes the homeomorphism class of $Y$. A space $X$ is (topologically) reconstructible if whenever…

For a topologically complete space $X$ and a family of closed covers $\mathcal A$ of $X$ satisfying a "local refinement condition" and a "completeness condition," we give a construction of an inverse system $\mathbf{ N}_{\mathcal A}$ of…

We consider the problem of homotopy-type reconstruction of compact subsets $X\subset\R^N$ that have the Alexandrov curvature bounded above ($\leq$ $\kappa$) in the intrinsic length metric. The reconstructed spaces are in the form of…

Let $M$ be a connected compact orientable surface, $f:M\to \mathbb{R}$ be a Morse function, and $h:M\to M$ be a diffeomorphism which preserves $f$ in the sense that $f\circ h = f$. We will show that if $h$ leaves invariant each regular…

For a real $r\geq 0,$ we consider the notion of $r$-homotopy equivalence in the category quasimetric spaces, which includes metric spaces and directed graphs. We show that for a finite quasimetric space $X$ there is a unique (up to…

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 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…

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…