Related papers: Numerably Contractible Spaces
It has been observed that the very important motion planning problem of robotics mathematically speaking boils down to the problem of finding a section to the path-space fibration, raising the notion of topological complexity, as introduced…
We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…
We study Mori fiber spaces over a two-dimensional base which satisfy the semistability assumption. As an application of our technique we give a new proof of the existence of semistable 3-fold flips.
Let $G$ be a reductive group and $X$ a smooth projective curve. We prove that, for $G$ classical and $\sigma$ an arbitrary $G$-local system on $X$, the space $\overline{\operatorname{Op}}^{gen}_{G,\sigma}$ of generic extended oper…
We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…
We study a topology on a space of functions, called sticking topology, with the property to be the weakest among the topologies preserving continuity. In suitable frameworks, this topology preserves borelianity, local integrability, right…
We introduce the concept of a topological J-group and determine for many important examples of topological groups if they are topological J-groups or not. Besides other results, we show that the underlying topological space of a pathwise…
This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…
We introduce and study the proper topological complexity of a given configuration space, a version of the classical invariant for which we require that the algorithm controlling the motion is able to avoid any possible choice of ``unsafe''…
We introduce the notion of strong embeddability for a metric space. This property lies between coarse embeddability and property A. A relative version of strong embeddability is developed in terms of a family of set maps on the metric…
We characterize the homotopically trivial non-contractible topological spaces with the minimum number of points.
In this paper we show that forcings which are strongly proper for stationarily many countable elementary submodels preserve each of the following properties of topological spaces: countably tight; Lindel\"of; Rothberger; Menger; and a…
The paper is devoted to one of the important notions of the shape theory: that of strong movability, which was primarily introduced by K. Borsuk for metrizable compacts. A strong movability criterion is proved for topological spaces, which…
We provide a general contractibility criterion for subsets of Riemannian metrics on the disc. For instance, this result applies to the space of metrics that have positive Gauss curvature and make the boundary circle convex (or geodesic).…
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…
We consider tractability of integration in reproducing kernel Hilbert spaces which are a tensor product of a Walsh space and a Korobov space. The main result provides necessary and sufficient conditions for weak, polynomial and strong…
We consider a two-point spatial lattice approximation to an open string moving in a flat background with B field. It gives a constrained dipole system under the influence of a vector potential. Solving and quantizing this system recover all…
In this article we studied the relationship between metric spaces and multiplicative metric spaces. Also, we pointed out some fixed and common fixed point results under some contractive conditions in multiplicative metric spaces can be…
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…
We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible manifolds by using techniques from homotopy theory. The extension…