Related papers: One-step Closure, Ideal Convergence and Monotone D…
We study the topology of singularities of $c$-optimal semicouplings in unequal dimension. Our main results describe homotopy-reductions from a source space $(X,\sigma)$ onto the singularities $Z_j$, $j\geq 0$ of $c$-optimal semicouplings…
The main aim of the paper is to give a full classification (up to isometry) of all metric spaces X with the following two properties: X contains a compact set with non-empty interior; and for any three distinct points a, b and c of X there…
We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular…
An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…
In a metric space, such as the real numbers with their standard metric, a set A is open if and only if no sequence with terms outside of A has a limit inside A. Moreover, a metric space is compact if and only if every sequence has a…
The state spaces of machines admit the structure of time. A homotopy theory respecting this additional structure can detect machine behavior unseen by classical homotopy theory. In an attempt to bootstrap classical tools into the world of…
In this paper,the concepts of generalized ideal inf-limit and generalized ideal final lower bound limit are introduced in the directed complete poset,and their relations with Scott topology and Lawson topology are studied. The main results…
Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\le\omega_1$. It is also proved that…
Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for topological models, namely Topo-bisimilarity, to closure…
We prove a structure theorem for closed topological manifolds of cohomogeneity one; this result corrects an oversight in the literature. We complete the equivariant classification of closed, simply connected cohomogeneity one topological…
In this paper, we introduce a generalized notion of monotone property and prove some results regarding existence and uniqueness of multi-tupled fixed points for nonlinear contraction mappings satisfying monotone property in ordered complete…
We study three different topologies on the moduli space $\mathscr{H}^{\rm loc}_m$ of equivariant isometry classes of $m$-dimensional locally homogeneous Riemannian spaces. As an application, we provide the first examples of locally…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
The purpose of this paper is to propose and analyze a multi-step iterative algorithm to solve a convex optimization problem and a fixed point problem posed on a Hadamard space. The convergence properties of the proposed algorithm are…
We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$-spaces instead of restricting to posets. In this paper, we respond to this calling by…
In the directed setting, the spaces of directed paths between fixed initial and terminal points are the defining feature for distinguishing different directed spaces. The simplest case is when the space of directed paths is homotopy…
This paper examines a stochastic deconvolution problem on compact symmetric spaces which is referred to as decompounding. This involves estimating the step distributions of a random walk, where in addition the number of steps between…
A discrete temporal constraint satisfaction problem is a constraint satisfaction problem (CSP) whose constraint language consists of relations that are first-order definable over $(\Bbb Z,<)$. Our main result says that every distance CSP is…
Throughout this paper, we comprehensively study instantons with every kind of continuous conformal symmetry. Examples of these objects are hard to come by due to non-linear constraints. However, by applying previous work on moduli spaces,…