Related papers: On $k_\mathbb{R}$-spaces and $s_\mathbb{R}$-spaces
Let $X$ be a sequence space and denote by $Z(X)$ the subset of $X$ formed by sequences having only a finite number of zero coordinates. We study algebraic properties of $Z(X)$ and show (among other results) that (for $p \in [1,\infty]$)…
We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega$ is a nonzero, non-atomic, and separable measure space, then every…
We prove that, under CH, any space with a regular $G_\delta$-diagonal and caliber $\omega_1$ is separable; a corollary of this result answers, under CH, a question of Buzyakova. For any Urysohn space $X$, we establish the inequality $|X|\le…
We study the Besov-Morrey spaces $ \mathcal{N}^{s}_{u,p,q}(\mathbb{R}^{d}) $ and show that under certain conditions on the parameters these spaces can be characterized in terms of higher-order differences. Furthermore we prove that some of…
A recent result of T.~Abrahamsen, P.~H\'ajek and S.~Troyanski states that a separable Banach space is almost square if and only if there exists $h\in S_{X^{****}}$ such that $\|x+h\|=\max\{\|x\|,1\}$ for all $x\in X$. The proof passes…
In this paper, we show that the metric space Q is a positively-curved space (PC-space) in the sense of Alexandrov. We also discuss some issues like metric tangent cone and exponential map of Q. Then we give a stratification of this metric…
Motivated by Kloeckner's result on the isometry group of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{R}^n\right)$, we describe the isometry group $\mathrm{Isom}\left(\mathcal{W}_p (E)\right)$ for all parameters $0 < p <…
The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space $\mathcal{W}_p(\mathcal{X})$, where $\mathcal{X}$ is a countable discrete metric space and…
For a compact space $K$ we denote by $C_w(K)$ ($C_p(K)$) the space of continuous real-valued functions on $K$ endowed with the weak (pointwise) topology. In this paper we address the following basic question which seems to be open: Suppose…
We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.
We prove that for every finite dimensional compact metric space $X$ there is an open continuous linear surjection from $C_p[0,1]$ onto $C_p(X)$. The proof makes use of embeddings introduced by Kolmogorov and Sternfeld in connection with…
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 separable rearrangement invariant space $X$ on $[0,1]$ of fundamental type we identify the set of all $p\in [1,\infty]$ such that $\ell^p$ is finitely represented in $X$ in such a way that the unit basis vectors of $\ell^p$ ($c_0$ if…
A metric space $X$ is quasisymmetrically co-Hopfian if every quasisymmetric embedding of $X$ into itself is onto. We construct the first examples of metric spaces homeomorphic to the universal Menger curve and higher dimensional…
If $X$ is compact metrizable and has finite fd-height then the unit interval, $I$, $\ell$-dominates $X$, in other words, there is a continuous linear map of $C_p(I)$ onto $C_p(X)$. If the unit interval $\ell$-dominates a space $X$ then $X$…
Let $f \colon X \rightarrow Y$ be a resolvable-measurable mapping of a metrizable space $X$ to a regular space $Y$. Then $f$ is piecewise continuous. Additionally, for a metrizable completely Baire space $X$, it is proved that $f$ is…
We show that the Hilbert space is coarsely embeddable into any $\ell_p$ for $1\le p<\infty$. In particular, this yields new characterizations of embeddability of separable metric spaces into the Hilbert space.
The aim of this paper is to present some results concerning the $\rho_*$-orthogonality in real normed spaces and its preservation by linear operators. Among other things, we prove that if $T\,: X \longrightarrow Y$ is a nonzero linear $(I,…
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…
The aim of this paper is to prove that the $p$-Wasserstein space $\mathcal{W}_p(X)$ is isometrically rigid for all $p\geq 1$ whenever $X$ is a countable graph metric space. As a consequence, we obtain that for every countable group $H$ and…