Related papers: Isometric shifts and metric spaces

Two separated realcompact measurable spaces $(X,\mathcal{A})$ and $(Y,\mathcal{B})$ are shown to be isomorphic if and only if the rings $\mathcal{M}(X,\mathcal{A})$ and $\mathcal{M}(Y,\mathcal{B})$ of all real valued measurable functions…

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is…

In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the…

A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…

A space is functionally countable if every real-valued continuous function has countable image. A stronger property recently defined by Tkachuk is exponentially separability. We start by studying these properties in GO spaces, where we…

The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.

We define the notions of unilateral metric derivatives and ``metric derived numbers'' in analogy with Dini derivatives (also referred to as ``derived numbers'') and establish their basic properties. We also prove that the set of points…

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

Let $\mathbb F$ be a finite field and let $\mathcal A$ and $\mathcal B$ be vector spaces of $\mathbb F$-valued continuous functions defined on locally compact spaces $X$ and $Y$, respectively. We look at the representation of linear…

We characterize conformally removable sets in the plane with the aid of the recent developments in the theory of metric surfaces. We prove that a compact set in the plane is $S$-removable if and only if there exists a quasiconformal map…

It is known that the space of boundedly finite integer-valued measures on a complete separable metric space becomes itself a complete separable metric space when endowed with the weak-hash metric. It is also known that convergence under…

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…

Isometries of metric spaces $(X,d)$ preserve all level sets of $d$. We formulate and prove cases of a conjecture asserting if $X$ is a complete Riemannian manifold, then a function $f:X \rightarrow X$ preserving at least one level set…

In this manuscript, we claim that the newly introduced $\mathcal{F}$-metric spaces are Hausdorff and also first countable. Moreover, we assert that every separable $\mathcal{F}$-metric space is second countable. Additionally, we acquire…

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…

We provide examples of nonseparable spaces $X$ for which C(X) admits an isometric shift of type I, which solves in the negative a problem proposed by Gutek {\em et al.} (J. Funct. Anal. {\bf 101} (1991), 97-119). We also give two…

Metrizable spaces are studied in which every closed set is an $\alpha$-limit set for some continuous map and some point. It is shown that this property is enjoyed by every space containing sufficiently many arcs (formalized in the notion of…

We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable…

We define scoring metrics on separable metric spaces and show that they are always no coarser than the metrics from which they spring.

A Hilbert space operator $S\in\B$ is left $m$-invertible by $T\in\B$ if $$\sum_{j=0}^m{(-1)^{m-j}\left(\begin{array}{clcr}m\\j\end{array}\right)T^jS^j}=0,$$ $S$ is $m$-isometric if…