On Coarse Isometries and Linear Isometries between Banach Spaces

Abstract

Let $X,Y$ be two Banach spaces and $f:X\to Y$ be a standard coarse isometry. In this paper, we first show a sufficient and necessary condition for the coarse left-inverse operator of general Banach spaces to admit a linearly isometric right inverse. Furthermore, by using the well-known simultaneous extension operator, we obtain an asymptotical stability result when Y is a space of continuous functions. In addition, we also prove that every coarse left-inverse operator does admit a linear isometric right inverse without other assumptions when Y is a $L_p(1<p<\infty )$ space, or both X and Y are finite dimensional spaces of the same dimension. Making use of the results mentioned above, we generalize several results of isometric embeddings and give a stability result of coarse isometries between Banach spaces.

1. Introduction

In this paper, we study the relationship between the coarse isometry and linear isometry of Banach spaces by using the coarse left-inverse operators. Throughout this article, we consider X and Y as real Banach spaces. We first recall the definitions of coarse isometry and coarse left-inverse operator.

Definition 1.

Let $f:X\to Y$ be a mapping. Put

$${\epsilon }_f\left(s\right)=\underset{w_1,w_2\in X,\parallel w_1-w_2\parallel \le s}{sup}\left\{\right|\parallel f\left(w_1\right)-f\left(w_2\right)\parallel -\parallel w_1-w_2\parallel \left|\right\}\mathit{for}s\ge 0.$$

(1) f is said to be a coarse isometry if $\underset{s\to \infty }{lim}\frac{{\epsilon }_f\left(s\right)}{s}=0$;

(2) We say that f is an ε-isometry if $\epsilon \equiv \underset{s\to \infty }{lim}{\epsilon }_f\left(s\right)<\infty$;

(3) f is called an isometry if ${\epsilon }_f\left(s\right)=0$ for all $s\ge 0$;

(4) f is called standard if $f\left(0\right)=0$.

Definition 2.

Let $f:X\to Y$ be a standard mapping, $\alpha >0$, and let $T:Y_f\equiv \overline{\mathrm{span}}f\left(X\right)\to X$ be a bounded linear operator satisfying $\parallel T\parallel =1$ and

$$\parallel Tf\left(v\right)-v\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathit{for}\mathit{all}v\in X.$$

(1)

(1) T is called a coarse left-inverse operator of f if f is a coarse isometry;

(2) T is said to be an ε-left-inverse operator of f if f is an ε-isometry;

(3) We say that T is a Figiel operator of f if f is an isometry.

Isometry, $\epsilon$-Isometry and Linear Isometry  In 1932, Mzaur and Ulam [1] gave a remarkable result which says that every standard surjective isometry $f:X\to Y$ must be linear. Further, in 1968, Figiel [2] showed that every standard isometry $f:X\to Y$ can admit a Figiel operator.

In 2003, Godefroy and Kalton [3] obtained a result concerning isometry and linear isometry with the help of the Figiel operator. They proved that the Figiel operator T has a linearly isometric right inverse if X is separable. That is, there is a linear isometry $U:X\to Y$ satisfying $TUv=v$ for all $v\in X$. However, even if X is a non-separable Hilbert space, they can construct a Banach space Y and a nonlinear isometry $f:X\to Y$ such that no subspace of Y can be linearly isomorphic to X. This implies that there cannot exist an isometric right inverse for T that preserves linearity. In 2015, Zhou et al. [4] obtained a necessary and sufficient condition for the existence of linear isometric right inverses of the Figiel operator. For more details on isometry and linear isometry, see [5,6,7,8] and references therein.

In 1945, the concept of $\epsilon$-isometry was first introduced by Hyers and Ulam [9]. They posed the following question: given two Banach spaces $X,Y$ and a positive constant a, is it possible to find a surjective linear isometry $U:X\to Y$ that corresponds to every standard surjective $\epsilon$-isometry $f:X\to Y$, such that $\parallel f\left(x\right)-Ux\parallel <\alpha \epsilon ?$ After the fifty years’ efforts of many mathematicians (see, for example, [10,11,12]), Omladič and Šemrl [13] finally answered this question in the affirmative with the sharp estimate $\alpha =2$.

In 2013, Cheng, Dong and Zhang [14] derived a remarkable result called the weak stability formula, which is inspired by the Figiel theorem [2] and other important results on non-surjective $\epsilon$-isometries (see [15,16]). It has attracted considerable attention from many researchers (see [5,14,17,18,19,20,21]); for instance, by means of the invariant mean techniques and the weak stability formula, Cheng and Zhou [5] showed that, if Y is reflexive, then there exists a linear isometry $U:X\to Y$ for every standard $\epsilon$-isometry $f:X\to Y$. Further, by using the $\epsilon$-left-inverse operators, Zhou et al. [22] investigated the connection between the $\epsilon$-isometry and linear isometry of general Banach spaces.

Coarse Isometry and Linear Isometry  The large perturbation function, first studied by Lindenstrauss and Szankowski [23] in 1985, is defined as

$${\psi }_f\left(s\right)=\underset{w_1,w_2\in X,\parallel f\left(w_1\right)-f\left(w_2\right)\parallel \wedge \parallel w_1-w_2\parallel \le s}{sup}\left\{\right|\parallel f\left(w_1\right)-f\left(w_2\right)\parallel -\parallel w_1-w_2\parallel \left|\right\}\mathrm{for}s\ge 0,$$

and the following asymptotic stability result is obtained.

Theorem 1.

(Lindenstrauss and Szankowski) Let $f:X\to Y$ be a surjective standard coarse isometry. If

$${\int }_1^{\infty }\frac{{\psi }_f\left(s\right)}{s^2}ds<\infty ,$$

(2)

then there exists a linear surjective isometry $U:X\to Y$ such that

$$\parallel f\left(v\right)-Uv\parallel =o(\parallel v\parallel )\mathit{as}\parallel v\parallel \to \infty .$$

(3)

Meanwhile, they constructed two non-isometric uniformly convex spaces $X,Y$ and a coarse isometry $f:X\to Y$ with ${\int }_1^{\infty }\frac{{\psi }_f\left(s\right)}{s^2}ds=\infty$. This reveals that a coarse isometric embedding does not imply an isometric embedding when (2) is invalid. In addition, Benyamini and Lindenstrauss showed that conclusion (3) may fail when ${\int }_1^{\infty }\frac{{\psi }_f\left(s\right)}{s^2}ds=\infty$ even for coarse isometries of the Euclidean plane ${\mathbb{R}}^2$ onto itself (see [24], on page 367). Further, Dolinar [25] proved that Theorem 1 also holds if the condition ${\int }_1^{\infty }\frac{{\psi }_f\left(s\right)}{s^2}ds<\infty$ is substituted by a weaker condition

$${\int }_1^{\infty }\frac{{\epsilon }_f\left(s\right)}{s^2}ds<\infty .$$

(4)

This implies that, in order to establish the connection between coarse isometry and linear isometry, the integral convergence condition (4) is essential.

In 2019, Cheng et al. [26] first gave a stability result of non-surjective coarse isometries between uniformly convex spaces. Recently, Sun and Zhang [27] studied the relationship between weak stability and the stability of coarse isometries of $L_p(1<p<\infty )$ spaces. Further, they also proved that the surjective assumption in Theorem 1 can be removed when X and Y are both finite dimensional spaces with equal dimensions (see [28], on page 1496).

In this article, we mainly study the relationship between the coarse isometry and linear isometry of varieties of Banach spaces by using the coarse left-inverse operators. This paper has the following structure.

In Section 2, inspired by Zhou et al. [22], we prove that the existence of linearly isometric right inverses for coarse left-inverse operators is closely related to a continuous linear projection with respect to weak star topology under the integral convergence condition (4). Using this result, we generalize an isometry result which was established by Zhou et al. [4] and obtain a stability result of coarse isometries.

For a standard coarse isometry $f:X\to C\left(K\right)$, where K is a compact Hausdorff space, in Section 3, we show that, with condition (4), if $T^{*}\left(B_{X^{*}}\right)\cap \left(ext\left(B_{C{\left(K\right)}^{*}}\right){|}_{Y_f}\right)\ne \varnothing$, then there exist a non-empty closed subset $\tilde{K}$ contained in K and a linear isometry $g:X\to C\left(\tilde{K}\right)$ satisfying

$${\parallel f\left(v\right)|}_{\tilde{K}}-g\left(v\right)\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

In addition, if K is metrizable, we obtain that $E\circ g:X\to C\left(K\right)$ is a linear isometry and

$$\parallel E\left(f\left(v\right){|}_{\tilde{K}}\right)-E\left(g\left(v\right)\right)\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X,$$

where $E:C\left(\tilde{K}\right)\to C\left(K\right)$ is a simultaneous extension operator. These results generalize several known results in [29,30].

Let $(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ be a measure space. In Section 4, by means of the properties of a free ultrafilter on $\mathbb{N}$, we prove that for a standard coarse isometry $f:X\to Y$ where Y is the $L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )(1<p<\infty )$ space or $dimX=dimY<\infty$, every coarse left-inverse operator of f corresponds to a linearly isometric right inverse. The conditions about continuous linear projection with respect to weak star topology and (4) can be removed.

In this paper, all symbols are standard. $Y_f$ denotes $\overline{\mathrm{span}}f\left(X\right)$ and $X^{*}$ is the dual space of X; the letters $S_X$ and $B_X$ denote the unit sphere and the closed unit ball of X, respectively. The symbol $T^{*}$ represents the conjugate operator of a bounded linear operator T and $\mathcal{R}\left(T^{*}\right)$ denotes the range of $T^{*}$. In addition, we say that $R:X^{*}\to Y^{*}$ is $w^{*}$-to-$w^{*}$ continuous if R is continuous with respect to the weak star topology on $X^{*}$ and $Y^{*}$.

2. Right Inverse of General Banach Spaces

In the following, we give two lemmas.

Lemma 1.

Let $f:X\to Y$ be a standard coarse isometry and let T be a coarse left-inverse operator of f. Then, $T^{*}:X^{*}\to {Y_f}^{*}$ is a $w^{*}$-to-$w^{*}$ continuous linear isometry.

Proof. 

Given $z^{*}\in S_{X^{*}}$, we have $\parallel T^{*}{z}^{*}\parallel \le 1$ because of $\parallel T\parallel =\parallel T^{*}\parallel =1$. On the other hand, to each $\delta >0$ corresponds a point $x_0$ in $S_X$ so that $⟨z^{*},x_0⟩>1-\delta$. Due to (1), we obtain

$$\parallel T\frac{f\left(n{x}_0\right)}{n}-x_0\parallel \to 0\mathrm{as}n\to \infty .$$

Then,

$$|⟨T^{*}{z}^{*},\frac{f\left(n{x}_0\right)}{n}⟩-⟨z^{*},x_0⟩|=|⟨z^{*},T\frac{f\left(n{x}_0\right)}{n}-x_0⟩|\le \parallel T\frac{f\left(n{x}_0\right)}{n}-x_0\parallel \to 0.$$

So, there exists $M\in \mathbb{N}$ so that $|⟨T^{*}{z}^{*},\frac{f\left(n{x}_0\right)}{n}⟩|>1-\delta$ for all $n\ge M$. This implies $\parallel T^{*}{z}^{*}\parallel \ge 1-\delta$. In fact, if $\parallel T^{*}{z}^{*}\parallel <1-\delta$, then $|⟨T^{*}{z}^{*},v⟩|<1-\delta$ for each $v\in B_{Y_f}$. It follows that there exists $\alpha >0$ such that $|⟨T^{*}{z}^{*},(1+\alpha )v⟩|<1-\delta$ for each $v\in B_{Y_f}$. Since f is a standard coarse isometry, we have

$$|\parallel \frac{f\left(n{x}_0\right)}{n}\parallel -\parallel x_0\parallel |\le \frac{{\epsilon }_f(n\parallel x_0\parallel )}{n}\to 0\mathrm{as}n\to \infty .$$

(5)

This implies that $\frac{f\left(n_0{x}_0\right)}{n_0}\in B_{Y_f}(0,1+\alpha )$ for some $n_0>M$. Then, $|⟨T^{*}{z}^{*},\frac{f\left(n_0{x}_0\right)}{n_0}⟩|<1-\delta$; this is a contradiction. Since $\delta$ is arbitrary, we have $\parallel T^{*}{z}^{*}\parallel \ge 1$. Consequently, $\parallel T^{*}{z}^{*}\parallel =1=\parallel z^{*}\parallel$. This means that $T^{*}:X^{*}\to {Y_f}^{*}$ is a $w^{*}$-to-$w^{*}$ continuous linear isometry. □

The following lemma presents a stability result for functional equations, known as the Hyers–Ulam–Rassias stability, which was established by Gǎvruta [31]. For more information on this topic, see [32,33] and related references.

Lemma 2.

(Gǎvruta) Let G be an Abelian group, Y be a Banach space and let $\phi :G\times G\to [0,\infty )$ satisfying

$$\mathsf{\Phi }(w_1,w_2)=\sum _{k=0}^{\infty }\frac{\phi (2^k{w}_1,2^k{w}_2)}{2^{k+1}}<\infty \mathit{for}\mathit{all}{w}_1,w_2\in G.$$

(6)

If a function $h:G\to Y$ satisfies

$$\parallel h(w_1+w_2)-(h\left(w_1\right)+h\left(w_2\right))\parallel \le \phi (w_1,w_2)\mathit{for}\mathit{all}{w}_1,w_2\in G,$$

then there is a unique additive function $A:G\to Y$ so that

$$\parallel h\left(u\right)-Au\parallel \le \mathsf{\Phi }(u,u)\mathit{for}\mathit{all}u\in G,$$

where $Au=\underset{n\to \infty }{lim}\frac{h\left(2^{n}u\right)}{2^n}$.

The following results of coarse isometries are inspired by Zhou et al. [22] (Theorem 2.1).

Proposition 1.

Let $f:X\to Y$ be a standard coarse isometry and let T be a coarse left-inverse operator of f. If there is a linear isometry $U:X\to Y_f$ such that $TU=i{d}_X$, then $T^{*}{U}^{*}:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)\subseteq Y_f^{*}$ is a $w^{*}$-to-$w^{*}$ continuous linear projection and $\parallel T^{*}{U}^{*}\parallel =1$.

Proof. 

According to Lemma 1, $T^{*}:X^{*}\to {Y_f}^{*}$ is a $w^{*}$-to-$w^{*}$ continuous linear isometry. It follows that $T^{*}{U}^{*}:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)\subseteq Y_f^{*}$ is $w^{*}$-to-$w^{*}$ continuous with $\parallel T^{*}{U}^{*}\parallel =1$. Moreover,

$$\left(T^{*}{U}^{*}\right)\left(T^{*}{U}^{*}\right)=T^{*}{\left(TU\right)}^{*}{U}^{*}=T^{*}{\left(i{d}_X\right)}^{*}{U}^{*}=T^{*}{U}^{*}.$$

Thus, $T^{*}{U}^{*}$ is a linear projection. The proof is completed. □

Theorem 2.

Let $f:X\to Y$ be a standard coarse isometry and let T be a coarse left-inverse operator of f. If there is a $w^{*}$-to-$w^{*}$ continuous linear projection $P:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ with $\parallel P\parallel =1$ and

$${\int }_1^{\infty }\frac{{\epsilon }_f\left(s\right)}{s^2}ds<\infty ,$$

then there is a linear isometry $U:X\to Y$ such that $TU=i{d}_X$. Furthermore, if f is almost surjective, i.e.,

$$\underset{t\to \infty }{lim\; inf}d(ty,f\left(X\right))/\left|t\right|=0\mathit{for}\mathit{all}y\in S_Y,$$

(7)

then the above linear isometric mapping U is unique and $P=T^{*}{U}^{*}$. In addition, if $P_1,P_2:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ are two $w^{*}$-to-$w^{*}$ continuous linear projections with $\parallel P_1\parallel =\parallel P_2\parallel =1$ and $P_1\ne P_2$, then $U_{P_1}\ne U_{P_2}$.

Proof. Step I. 

First, we define the mapping $J:X\to Y_f$ with

$$⟨y^{*},Jv⟩=⟨P{y}^{*},f\left(v\right)⟩\mathrm{for}\mathrm{all}v\in X,y^{*}\in Y_f^{*}.$$

(8)

Indeed, since $P:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ is a $w^{*}$-to-$w^{*}$ continuous linear projection, $⟨P{y}^{*},f\left(v\right)⟩$ is $w^{*}$- continuous for each $v\in X$. This entails that $Jv:Y_f^{*}\to \mathbb{R}$ is $w^{*}$-continuous. Then, $Jv\in Y_f$.

On the one hand, by the definition of J, we have

$$\parallel Jv\parallel ={sup}_{y^{*}\in B_{Y_f}^{*}}|⟨y^{*},Jv⟩|={sup}_{y^{*}\in B_{Y_f}^{*}}|⟨P{y}^{*},f\left(v\right)⟩|\le \parallel f\left(v\right)\parallel \parallel P\parallel \le \parallel v\parallel +{\epsilon }_f(\parallel v\parallel ).$$

(9)

On the other hand, $T^{*}$ is a linear isometry by Lemma 1. Then, for each $z^{*}\in B_{X^{*}}$,

$$\parallel Jv\parallel =\underset{y^{*}\in B_{Y_f}^{*}}{sup}|⟨y^{*},Jv⟩|\ge |⟨T^{*}{z}^{*},Jv⟩|=|⟨P\left(T^{*}{z}^{*}\right),f\left(v\right)⟩|=|⟨T^{*}{z}^{*},f\left(v\right)⟩|=|⟨z^{*},Tf\left(v\right)⟩|.$$

It follows from $|⟨z^{*},Tf\left(v\right)-v⟩|\le \parallel Tf\left(v\right)-v\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )$ and the inequality above that

$$\parallel Jv\parallel \ge {sup}_{z^{*}\in B_X^{*}}|⟨z^{*},Tf\left(v\right)⟩|\ge {sup}_{z^{*}\in B_X^{*}}|⟨z^{*},v⟩|-\alpha {\epsilon }_f(\parallel v\parallel )=\parallel v\parallel -\alpha {\epsilon }_f(\parallel v\parallel ).$$

(10)

By comparing (9) with (10), we obtain

$$\parallel v\parallel -\alpha {\epsilon }_f(\parallel v\parallel )\le \parallel Jv\parallel \le \parallel v\parallel +{\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

(11)

Next, we prove that $J:X\to Y_f$ satisfies the following functional equation

$$\parallel J(w_1+w_2)-(J{w}_1+J{w}_2)\parallel \le 2\alpha ({\epsilon }_f(2\parallel w_1\parallel )+{\epsilon }_f(2\parallel w_2\parallel \left)\right)\mathrm{for}\mathrm{all}{w}_1,w_2\in X.$$

(12)

Given each $w_1,w_2\in X$, we can choose $\varphi \in S_{Y_f}^{*}$ such that

$$⟨\varphi ,J(w_1+w_2)-(J{w}_1+J{w}_2)⟩=\parallel J(w_1+w_2)-(J{w}_1+J{w}_2)\parallel .$$

Since $T^{*}:X^{*}\to \mathcal{R}\left(T^{*}\right)=P\left(Y_f^{*}\right)$ is a surjective linear isometry, there exists $\psi \in X^{*}$ such that $T^{*}\psi =P\varphi$ and $\parallel \psi \parallel =\parallel P\varphi \parallel \le \parallel P\parallel \parallel \varphi \parallel =1$. Because of (8), $\parallel Tf\left(u\right)-u\parallel \le \alpha {\epsilon }_f(\parallel u\parallel )$ and the increasing nature of ${\epsilon }_f\left(s\right)$, we have

$$\begin{array}{cc}\hfill ⟨\varphi ,J(w_1+w_2)-(J{w}_1+J{w}_2)⟩& =⟨P\varphi ,f(w_1+w_2)-(f\left(w_1\right)+f\left(w_2\right))⟩\hfill \\ \hfill & =⟨T^{*}\psi ,f(w_1+w_2)-(f\left(w_1\right)+f\left(w_2\right))⟩\hfill \\ \hfill & =⟨\psi ,Tf(w_1+w_2)-(Tf\left(w_1\right)+Tf\left(w_2\right))⟩\hfill \\ \hfill & =⟨\psi ,Tf(w_1+w_2)-(w_1+w_2)⟩-\hfill \\ \hfill & ⟨\psi ,(Tf\left(w_1\right)-w_1)-(Tf\left(w_2\right)-w_2)⟩\hfill \\ \hfill & \le \parallel Tf(w_1+w_2)-(w_1+w_2)\parallel +\parallel Tf\left(w_1\right)-w_1\parallel \hfill \\ \hfill & +\parallel Tf\left(w_2\right)-w_2\parallel \hfill \\ \hfill & \le \alpha {\epsilon }_f(\parallel w_1+w_2\parallel )+\alpha {\epsilon }_f(\parallel w_1\parallel )+\alpha {\epsilon }_f(\parallel w_2\parallel )\hfill \\ \hfill & \le \alpha max\{{\epsilon }_f(2\parallel w_1\parallel ),{\epsilon }_f(2\parallel w_2\parallel \left)\right\}+\alpha {\epsilon }_f(\parallel w_1\parallel )+\alpha {\epsilon }_f(\parallel w_2\parallel )\hfill \\ \hfill & \le 2\alpha ({\epsilon }_f(2\parallel w_1\parallel )+{\epsilon }_f(2\parallel w_2\parallel \left)\right).\hfill \end{array}$$

Thus, (12) holds.

Step II. We show that the limit

$$Uu=\underset{n\to \infty }{lim}\frac{J\left(2^{n}u\right)}{2^n}$$

exists for each $u\in X$ and that $U:X\to Y_f$ is a linear isometry with $TU=i{d}_X$.

Firstly, we prove that $\underset{n\to \infty }{lim}\frac{J\left(2^{n}u\right)}{2^n}$ exists for all $u\in X$. Let

$$\phi (w_1,w_2)=2\alpha ({\epsilon }_f(2\parallel w_1\parallel )+{\epsilon }_f(2\parallel w_2\parallel \left)\right)\mathrm{and}\mathsf{\Phi }(w_1,w_2)=\sum _{k=0}^{\infty }\frac{\phi (2^k{w}_1,2^k{w}_2)}{2^{k+1}}.$$

Since ${\int }_1^{\infty }\frac{{\epsilon }_f\left(s\right)}{s^2}ds<\infty$ and, for each nonzero element $u\in X$, there exists $n_0\in \mathbb{N}$ such that

$${\int }_1^{\infty }\frac{{\epsilon }_f\left(s\right)}{s^2}ds\ge \sum _{k=n_0}^{\infty }{\int }_{2^k\parallel u\parallel }^{2^{k+1}\parallel u\parallel }\frac{{\epsilon }_f\left(s\right)}{s^2}ds\ge \sum _{k=n_0}^{\infty }\frac{{\epsilon }_f(2^k\parallel u\parallel )}{2^{k+1}\parallel u\parallel }.$$

This implies

$$\sum _{k=0}^{\infty }\frac{{\epsilon }_f(2^k\parallel u\parallel )}{2^{k+1}}<\infty \mathrm{for}\mathrm{all}u\in X.$$

Therefore, $\mathsf{\Phi }(w_1,w_2)<\infty$ and $\mathsf{\Phi }(u,u)={\displaystyle \sum _{k=0}^{\infty }}\frac{\alpha {\epsilon }_f(2^{k+1}\parallel u\parallel )}{2^{k-1}}$ for each $u,w_1,w_2\in X$. Due to (12) and Lemma 2, there is an additive mapping $U:X\to Y_f$ satisfying

$$Uu=\underset{n\to \infty }{lim}\frac{J\left(2^{n}u\right)}{2^n}$$

and

$$\parallel Ju-Uu\parallel \le \mathsf{\Phi }(u,u)=\sum _{k=0}^{\infty }\frac{\alpha {\epsilon }_f(2^{k+1}\parallel u\parallel )}{2^{k-1}}\mathrm{for}\mathrm{all}u\in X.$$

(13)

In what follows, we will prove that U is a linear isometry and $TU=i{d}_X$. Note that, for each $w_1,w_2\in X$,

$$\parallel J{w}_1-J{w}_2\parallel ={sup}_{y^{*}\in B_{Y_f^{*}}}|⟨y^{*},J{w}_1-J{w}_2⟩|={sup}_{y^{*}\in B_{Y_f^{*}}}|⟨P{y}^{*},f\left(w_1\right)-f\left(w_2\right)⟩|\le \parallel f\left(w_1\right)-f\left(w_2\right)\parallel .$$

Then,

$$\begin{array}{cc}\hfill \parallel U{w}_1-U{w}_2\parallel & =\underset{n\to \infty }{lim}\parallel \frac{J\left(2^n{w}_1\right)-J\left(2^n{w}_2\right)}{2^n}\parallel \hfill \\ \hfill & \le \underset{n\to \infty }{lim}\parallel \frac{f\left(2^n{w}_1\right)-f\left(2^n{w}_2\right)}{2^n}\parallel \hfill \\ \hfill & \le \underset{n\to \infty }{lim}\frac{\parallel 2^n{w}_1-2^n{w}_2\parallel +{\epsilon }_f(2^n\parallel w_1-w_2\parallel )}{2^n}\hfill \\ \hfill & =\parallel w_1-w_2\parallel .\hfill \end{array}$$

This entails that U is a 1-Lipschitz mapping and then U is a continuous linear operator. From (11),

$$\parallel Uu\parallel =\underset{n\to \infty }{lim}\frac{\parallel J\left(2^{n}u\right)\parallel }{2^n}\ge \underset{n\to \infty }{lim}\frac{\parallel 2^{n}u\parallel -\alpha {\epsilon }_f(2^n\parallel u\parallel )}{2^n}=\parallel u\parallel \mathrm{for}\mathrm{each}u\in X.$$

Consequently, U is a linear isometry. Moreover, by means of the definition of T and J, we obtain that, for each $u\in X$,

$$\begin{array}{cc}\hfill \parallel TUu-u\parallel & =\underset{n\to \infty }{lim}\parallel T\frac{J\left(2^{n}u\right)}{2^n}-u\parallel \hfill \\ \hfill & =\underset{n\to \infty }{lim}\underset{z^{*}\in B_{X^{*}}}{sup}|⟨z^{*},T\frac{J\left(2^{n}u\right)}{2^n}-u⟩|\hfill \\ \hfill & =\underset{n\to \infty }{lim}\underset{z^{*}\in B_{X^{*}}}{sup}|⟨T^{*}{z}^{*},\frac{J\left(2^{n}u\right)}{2^n}⟩-⟨z^{*}u⟩|\hfill \\ \hfill & =\underset{n\to \infty }{lim}\underset{z^{*}\in B_{X^{*}}}{sup}|⟨P\left(T^{*}{z}^{*}\right),\frac{f\left(2^{n}u\right)}{2^n}⟩-⟨z^{*}u⟩|\hfill \\ \hfill & =\underset{n\to \infty }{lim}\underset{z^{*}\in B_{X^{*}}}{sup}|⟨T^{*}{z}^{*},\frac{f\left(2^{n}u\right)}{2^n}⟩-⟨z^{*}u⟩|\hfill \\ \hfill & =\underset{n\to \infty }{lim}\underset{z^{*}\in B_{X^{*}}}{sup}|⟨z^{*},T\frac{f\left(2^{n}u\right)}{2^n}⟩-⟨z^{*}u⟩|\hfill \\ \hfill & \le \underset{n\to \infty }{lim}\parallel T\frac{f\left(2^{n}u\right)}{2^n}-u\parallel \le \underset{n\to \infty }{lim}\frac{\alpha {\epsilon }_f(2^n\parallel u\parallel )}{2^n}=0.\hfill \end{array}$$

Then, $TU=i{d}_X$.

Step III. We prove that $P=T^{*}{U}^{*}$ under the almost surjective assumption condition (7). Given $y\in S_{Y_f}$, by (7), there exist $\left\{t_n\right\}\subset \mathbb{R}$ with $|t_n|\nearrow \infty$ and $\left\{v_n\right\}\subset X$ satisfying

$$\underset{n\to \infty }{lim}d(t_{n}y,f\left(v_n\right))/\left|t_n\right|=0.$$

It follows that $\underset{n\to \infty }{lim}\frac{f\left(v_n\right)}{t_n}=y$ and then

$$Y_f\equiv \overline{\mathrm{span}}f\left(X\right)=Y.$$

(14)

Since f is a coarse isometry and $\underset{n\to \infty }{lim}\parallel f\left(v_n\right)\parallel =\infty$, we have $\underset{n\to \infty }{lim}\parallel v_n\parallel =\infty$ and $\underset{n\to \infty }{lim}\frac{\parallel f\left(v_n\right)\parallel }{\parallel v_n\parallel }=1$. Note that, for each $y^{*}\in S_{Y_f^{*}}$ and $u\in X$,

$$\begin{array}{cc}\hfill |⟨(T^{*}{U}^{*}-P)y^{*},f\left(u\right)⟩|& =|⟨U^{*}{y}^{*},Tf\left(u\right)⟩-⟨P{y}^{*},f\left(u\right)⟩|\hfill \\ \hfill & \le |⟨U^{*}{y}^{*},Tf\left(u\right)-u⟩|+|⟨U^{*}{y}^{*},u⟩-⟨P{y}^{*},f\left(u\right)⟩|\hfill \\ \hfill & \le \parallel Tfu-u\parallel +|⟨y^{*},Uu⟩-⟨y^{*},Ju⟩|\hfill \\ \hfill & \le \alpha {\epsilon }_f(\parallel u\parallel )+\parallel Uu-Ju\parallel \hfill \\ \hfill & \le \alpha {\epsilon }_f(\parallel u\parallel )+\sum _{k=0}^{\infty }\frac{\alpha {\epsilon }_f(2^{k+1}\parallel u\parallel )}{2^{k-1}}.\hfill \end{array}$$

Since ${\int }_1^{\infty }\frac{{\epsilon }_f\left(s\right)}{s^2}ds<\infty ,$ the above inequality implies that

$$|⟨(T^{*}{U}^{*}-P)y^{*},\frac{f\left(v_n\right)}{\parallel v_n\parallel }⟩|\le \frac{\alpha {\epsilon }_f(\parallel v_n\parallel )}{\parallel v_n\parallel }+\sum _{k=0}^{\infty }\frac{\alpha {\epsilon }_f(2^{k+1}\parallel v_n\parallel )}{2^{k-1}\parallel v_n\parallel }\to 0\mathrm{as}n\to \infty .$$

Consequently,

$$\begin{array}{cc}\hfill |⟨(T^{*}{U}^{*}-P)y^{*},y⟩|& =\underset{n\to \infty }{lim}|⟨(T^{*}{U}^{*}-P)y^{*},\frac{f\left(v_n\right)}{t_n}⟩|\hfill \\ \hfill & =\underset{n\to \infty }{lim}\left(|⟨(T^{*}{U}^{*}-P)y^{*},\frac{f\left(v_n\right)}{\parallel v_n\parallel }⟩|·\frac{\parallel v_n\parallel }{\parallel f\left(v_n\right)\parallel }·\frac{\parallel f\left(v_n\right)\parallel }{|t_n|}\right)\hfill \\ \hfill & =0.\hfill \end{array}$$

Then, $T^{*}{U}^{*}{y}^{*}=P{y}^{*}$ for each $y^{*}\in S_{Y_f^{*}}$. Thus, $P=T^{*}{U}^{*}$.

Step IV. We first prove that the linear isometric mapping $U:X\to Y_f$ is unique. If not, there are two linear isometries $U_1,U_2:X\to Y_f$ with $U_1\ne U_2$ such that $T^{*}{U}_1^{*}=P=T^{*}{U}_2^{*}$. We can find $x\in X$ with $U_{1}x\ne U_{2}x$. Then, there exists $y^{*}\in Y_f^{*}$ such that $⟨y^{*},U_{1}x⟩\ne ⟨y^{*},U_{2}x⟩$. This implies $⟨U_1^{*}{y}^{*},x⟩\ne ⟨U_2^{*}{y}^{*},x⟩$ and then $T^{*}{U}_1^{*}{y}^{*}\ne T^{*}{U}_2^{*}{y}^{*}$ since $T^{*}$ is a linear isometry. This is contrary to $T^{*}{U}^{*}=P=T^{*}{V}^{*}$.

In addition, suppose that $P_1,P_2:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ are two $w^{*}$-to-$w^{*}$ continuous linear projections with $\parallel P_1\parallel =\parallel P_2\parallel =1$ and $P_1\ne P_2$, then $T^{*}{U}_{P_1}^{*}=P_1\ne P_2=T^{*}{U}_{P_2}^{*}$. This entails that $U_{P_1}^{*}\ne U_{P_2}^{*}$ and then $U_{P_1}\ne U_{P_2}$. □

In particular, if $f:X\to Y$ is an $\epsilon$-isometry for some $\epsilon \ge 0$, Theorem 2 also holds when we weaken the almost surjective condition (7) to $\overline{\mathrm{co}}[f\left(X\right)\cup -f\left(X\right)]=Y$. For the proof one can refer to Zhou et al. (see [22], on page 756). Furthermore, if ${\epsilon }_f\left(s\right)=0$ for all $s\ge 0$, f is a standard isometric mapping. We obtain the following result without the surjectivity condition (7).

Corollary 1.

[4] (Theorem 2.1) Suppose that $f:X\to Y$ is a standard isometry and that T is a Figiel operator of f.

(1) If $U:X\to Y_f$ is a linear isometry with $TU=i{d}_X$, then $T^{*}{U}^{*}:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ is a $w^{*}$-to-$w^{*}$ continuous linear projection and $\parallel T^{*}{U}^{*}\parallel =1$.

(2) If $P:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ is a $w^{*}$-to-$w^{*}$ continuous linear projection with $\parallel P\parallel =1$, then there exists a unique linear isometry $U:X\to Y_f$ such that

$$TU=i{d}_X\mathit{and}P=T^{*}{U}^{*}.$$

Furthermore, if $P_1,P_2:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ are two $w^{*}$-to-$w^{*}$ continuous linear projections with $\parallel P_1\parallel =\parallel P_2\parallel =1$ and $P_1\ne P_2$, then $U_{P_1}\ne U_{P_2}$.

Proof. 

(1) It can be proved by Proposition 1.

(2) By the proof of Theorem 2, we just need to verify $P=T^{*}{U}^{*}$ without the almost surjective assumption condition (7). For each $y^{*}\in S_{Y_f^{*}}$ and $v\in X$,

$$\begin{array}{cc}\hfill |⟨(T^{*}{U}^{*}-P)y^{*},f\left(v\right)⟩|& =|⟨U^{*}{y}^{*},Tf\left(v\right)⟩-⟨P{y}^{*},f\left(v\right)⟩|\hfill \\ \hfill & \le |⟨U^{*}{y}^{*},Tf\left(v\right)-v⟩|+|⟨U^{*}{y}^{*},v⟩-⟨P{y}^{*},f\left(v\right)⟩|\hfill \\ \hfill & \le \parallel Tf\left(v\right)-v\parallel +|⟨y^{*},Uv⟩-⟨y^{*},Jv⟩|\hfill \\ \hfill & \le \alpha {\epsilon }_f(\parallel v\parallel )+\parallel Uv-Jv\parallel \hfill \\ \hfill & \le \alpha {\epsilon }_f(\parallel v\parallel )+\sum _{k=0}^{\infty }\frac{\alpha {\epsilon }_f(2^{k+1}\parallel v\parallel )}{2^{k-1}}\hfill \\ \hfill & =0.\hfill \end{array}$$

This implies $|⟨(T^{*}{U}^{*}-P)y^{*},y⟩|=0$ for all $y\in Y_f$. Thus, $P=T^{*}{U}^{*}$. □

This section concludes with a stability result for coarse isometries using Theorem 2.

Theorem 3.

Let $f:X\to Y$ be a standard coarse isometry with (7) and let T be a coarse left-inverse operator of f. If

$${\int }_1^{\infty }\frac{{\epsilon }_f\left(s\right)}{s^2}ds<\infty ,$$

then there is a surjective linear isometry $U:X\to Y$ such that

$$\parallel f\left(v\right)-Uv\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathit{for}\mathit{all}v\in X.$$

Proof. 

Firstly, we prove that $T^{*}$ is surjective, i.e., $\mathcal{R}\left(T^{*}\right)=Y_f^{*}$. Otherwise, $\mathcal{R}\left(T^{*}\right)$ is a proper $w^{*}$-closed subspace of $Y_f^{*}$ by Lemma 1. We choose $\psi \in S_{Y_f^{*}}\setminus \mathcal{R}\left(T^{*}\right)$ and $y\in S_{Y_f}$ so that

$$⟨\varphi ,y⟩=0\mathrm{for}\mathrm{all}\varphi \in \mathcal{R}\left(T^{*}\right)\mathrm{and}⟨\psi ,y⟩>0.$$

Due to (7), there exist two sequences $\left\{v_n\right\}\subset X$ and $\left\{t_n\right\}\subset \mathbb{R}$ with $\underset{n\to \infty }{lim}\left|t_n\right|=\infty$ so that

$$\underset{n\to \infty }{lim}\frac{\parallel t_{n}y-f\left(v_n\right)\parallel }{|t_n|}=0.$$

This entails that $\underset{n\to \infty }{lim}\frac{\parallel f\left(v_n\right)\parallel }{|t_n|}=1$. For the sequence $\left\{v_n\right\}$ above, let $z_n^{*}\in S_{X^{*}}$ with $⟨z_n^{*},v_n⟩=\parallel v_n\parallel$ and let ${\varphi }_n=T^{*}{z}_n^{*}$. Then,

$$\begin{array}{cc}\hfill \alpha {\epsilon }_f(\parallel v_n\parallel )\ge & \parallel Tf\left(v_n\right)-v_n\parallel \ge ⟨z_n^{*},v_n⟩-⟨{\varphi }_n,f\left(v_n\right)⟩\hfill \\ \hfill \ge & \parallel v_n\parallel -⟨{\varphi }_n,f\left(v_n\right)-t_{n}y⟩-⟨{\varphi }_n,t_{n}y⟩\hfill \\ \hfill \ge & \parallel v_n\parallel -\parallel f\left(v_n\right)-t_{n}y\parallel .\hfill \end{array}$$

Since $\underset{n\to \infty }{lim}\frac{\parallel f\left(v_n\right)\parallel }{\parallel v_n\parallel }=1$, we have $\underset{n\to \infty }{lim}\frac{\parallel v_n\parallel }{|t_n|}=1$. Thus,

$$\frac{\alpha {\epsilon }_f(\parallel v_n\parallel )}{\parallel v_n\parallel }\ge 1-\frac{\parallel f\left(v_n\right)-t_{n}y\parallel }{\parallel v_n\parallel }.$$

Putting $n\to \infty$ in the inequality above,

$$0\ge 1-\underset{n\to \infty }{lim}\frac{\parallel f\left(v_n\right)-t_{n}y\parallel }{\parallel v_n\parallel }=1-\underset{n\to \infty }{lim}\frac{\parallel f\left(v_n\right)-t_{n}y\parallel }{|t_n|}=1.$$

This is a contradiction. Then, $Y_f^{*}=\mathcal{R}\left(T^{*}\right)$.

Let $P=i{d}_{Y_f^{*}}$. Note that $P:Y_f^{*}\to Y_f^{*}$ is a $w^{*}$-to-$w^{*}$ continuous linear projection with $\parallel P\parallel =1$. By Theorem 2 and (14), there is a linear isometry $U:X\to Y_f=Y$ such that

$$TU=i{d}_X\mathrm{and}i{d}_{Y^{*}}=P=T^{*}{U}^{*}.$$

This implies $U=T^{-1}$. Consequently, $U:X\to Y$ is surjective and

$$\parallel f\left(v\right)-Uv\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

□

3. Right Inverse of Spaces of Continuous Functions

In this section, K is a compact Hausdorff space and $C\left(K\right)$ represents the set of all continuous functions on K with real values, equipped with the supremum norm. For each $s\in K$, let ${\delta }_s$ be the point mass at t; then, $⟨{\delta }_s,\psi ⟩=\psi \left(s\right)$ for all $\psi \in C\left(K\right)$. We use $ext\left(B_X\right)$ to denote the sets of all extreme points of $B_X$. Note that $ext\left(B_{C{\left(K\right)}^{*}}\right)=\{\pm {\delta }_s:s\in K\}$. Given a topological subspace $\tilde{K}\subseteq K$ and $\psi \in C\left(K\right)$, the notion ${\psi |}_{\tilde{K}}$ denotes the restriction of $\psi$ to $\tilde{K}$.

First, we give a weaker condition than the existence of a continuous linear projection with respect to the weak star topology.

Proposition 2.

Suppose that $f:X\to C\left(K\right)$ is a standard coarse isometry and that T is a coarse left-inverse operator of f. If there is a $w^{*}$-to-$w^{*}$ continuous linear projection $P:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$, then $T^{*}\left(B_{X^{*}}\right)\cap \left(ext\left(B_{C{\left(K\right)}^{*}}\right){|}_{Y_f}\right)\ne \varnothing$.

Proof. 

Since $P:Y_f^{*}\to \mathcal{R}\left(T^{*}\right)$ is a $w^{*}$-to-$w^{*}$ continuous linear projection, there exists a $w^{*}$-closed subspace M of $Y_f^{*}$ such that $T^{*}\left(X^{*}\right)\oplus M=Y_f^{*}$. If $T^{*}\left(B_{X^{*}}\right)\cap \left(ext\left(B_{C{\left(K\right)}^{*}}\right){|}_{Y_f}\right)=\varnothing$, it follows from Lemma 1 that $\{\pm {\delta }_s{|}_{Y_f}\}\subset M$. This entails that $M=Y_f^{*}$ by the Krein–Milman theorem. Then, $T^{*}\left(X^{*}\right)=\left\{0\right\}$; this is a contradiction. □

Theorem 4.

Let $f:X\to C\left(K\right)$ be a standard coarse isometry and let T be a coarse left-inverse operator of f. If $T^{*}\left(B_{X^{*}}\right)\cap \left(ext\left(B_{C{\left(K\right)}^{*}}\right){|}_{Y_f}\right)\ne \varnothing$ and

$${\int }_1^{\infty }\frac{{\epsilon }_f\left(s\right)}{s^2}ds<\infty ,$$

then there is a non-empty closed subset $\tilde{K}\subset K$ and a linear isometry $g:X\to C\left(\tilde{K}\right)$ so that

$${\parallel f\left(v\right)|}_{\tilde{K}}-g\left(v\right)\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathit{for}\mathit{all}v\in X.$$

Proof. 

Since T is a coarse left-inverse operator,

$$\underset{x^{*}\in B_{X^{*}}}{sup}|⟨x^{*},v⟩-⟨T^{*}{x}^{*},f\left(v\right)⟩|=\underset{x^{*}\in B_{X^{*}}}{sup}|⟨x^{*},Tf\left(v\right)-v⟩|=\parallel Tf\left(v\right)-v\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )$$

for all $v\in X.$ Note that $T^{*}\left(B_{X^{*}}\right)\cap \left(ext\left(B_{C{\left(K\right)}^{*}}\right){|}_{Y_f}\right)\ne \varnothing$; there exist $z^{*}\in B_{X^{*}}$, $s\in K$ and $\lambda \in \{\pm 1\}$ such that $T^{*}\left(\lambda z^{*}\right)={\delta }_s{|}_{Y_f}$. It follows that

$$|⟨\lambda z^{*},v⟩-⟨{\delta }_s,f\left(v\right)⟩|\le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

(15)

Let

$$\begin{array}{cc}\hfill \tilde{K}=& \{t\in K:\exists z^{*}\in B_{X^{*}}\mathrm{and}\lambda \in \{\pm 1\}\mathrm{so}\mathrm{that}\hfill \\ \hfill & |⟨\lambda z^{*},v⟩-⟨{\delta }_t,f\left(v\right)⟩|\le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\forall v\in X\}.\hfill \end{array}$$

(16)

From the discussion above, we have $\tilde{K}\ne \varnothing$. Next, we prove that $\tilde{K}$ is closed. Indeed, for each net ${\left\{t_{\alpha }\right\}}_{\alpha \in \mathsf{\Lambda }}\subset \tilde{K}$ with $t_{\alpha }\to t_0\in K$, there exist a net ${\left\{z_{\alpha }^{*}\right\}}_{\alpha \in \mathsf{\Lambda }}\subset B_{X^{*}}$ and ${\lambda }_{\alpha }\in \{\pm 1\}$ such that

$$|⟨{\lambda }_{\alpha }{z}_{\alpha }^{*},v⟩-⟨{\delta }_{t_{\alpha }},f\left(v\right)⟩|\le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

Since $B_{X^{*}}$ is $w^{*}$-compact, there exist a subnet ${\left\{{\lambda }_{\beta }{z}_{\beta }^{*}\right\}}_{\beta \in {\mathsf{\Lambda }}^{\prime }}$ of ${\left\{{\lambda }_{\alpha }{z}_{\alpha }^{*}\right\}}_{\alpha \in \mathsf{\Lambda }}$ and $z_0^{*}\in B_{X^{*}}$ such that ${\lambda }_{\beta }{z}_{\beta }^{*}\stackrel{w^{*}}{⟶}{z}_0^{*}$. Therefore, for each $v\in X$,

$$|⟨z_0^{*},v⟩-⟨{\delta }_{t_0},f\left(v\right)⟩|\le \alpha {\epsilon }_f(\parallel v\parallel ).$$

Note that $z_0^{*}$ and $t_0$ are independent of x. This implies $t_0\in \tilde{K}$. Hence, $\tilde{K}\subset K$ is closed.

Given $s\in \tilde{K}$, there exist $z^{*}\in B_{X^{*}}$ and $\lambda \in \{\pm 1\}$ such that, for each $w_1,w_2\in X$,

$$\begin{array}{cc}& |⟨{\delta }_s,f(w_1+w_2)-(f\left(w_1\right)+f\left(w_2\right))⟩|\hfill \\ \le \hfill & |⟨{\delta }_s,f(w_1+w_2)⟩-⟨\lambda z^{*},w_1+w_2⟩|+|⟨{\delta }_s,f\left(w_1\right)⟩-⟨\lambda z^{*},w_1⟩|+|⟨{\delta }_s,f\left(w_2\right)⟩-⟨\lambda z^{*},w_2⟩|\hfill \\ \le \hfill & \alpha {\epsilon }_f(\parallel w_1+w_2\parallel )+\alpha {\epsilon }_f(\parallel w_1\parallel )+\alpha {\epsilon }_f(\parallel w_2\parallel )\hfill \\ \le \hfill & \alpha max\{{\epsilon }_f(2\parallel w_1\parallel ),{\epsilon }_f(2\parallel w_2\parallel \left)\right\}+\alpha {\epsilon }_f(\parallel w_1\parallel )+\alpha {\epsilon }_f(\parallel w_2\parallel )\hfill \\ \le \hfill & 2\alpha ({\epsilon }_f(2\parallel w_1\parallel )+{\epsilon }_f(2\parallel w_2\parallel \left)\right).\hfill \\ \hfill \end{array}$$

Thus,

$$\begin{array}{cc}\hfill & \parallel f(w_1+w_2){|}_{\tilde{K}}-(f\left(w_1\right){|}_{\tilde{K}}+f\left(w_2\right){|}_{\tilde{K}})\parallel \hfill \\ \hfill =& \underset{s\in \tilde{K}}{sup}\left|⟨{\delta }_s,f(w_1+w_2)-(f\left(w_1\right)+f\left(w_2\right))⟩\right|\hfill \\ \hfill \le & 2\alpha ({\epsilon }_f(2\parallel w_1\parallel )+{\epsilon }_f(2\parallel w_2\parallel \left)\right)\mathrm{for}\mathrm{all}{w}_1,w_2\in X.\hfill \end{array}$$

According to the proof of Step II in Theorem 2 and Lemma 2, we can conclude that the function $g:X\to C\left(\tilde{K}\right)$, defined as

$$g\left(v\right)=\underset{n\to \infty }{lim}\frac{f\left(2^{n}v\right){|}_{\tilde{K}}}{2^n},$$

(17)

is a continuous linear operator with $\parallel g\parallel \le 1$.

Now, we shall prove that $g:X\to C\left(\tilde{K}\right)$ is an isometric mapping. Let $v\in X$; there exists $z^{*}\in S_{X^{*}}$ such that $⟨z^{*},v⟩= \parallel v\parallel$. Due to (15), there exist $s\in \tilde{K}$ and $\lambda \in \{\pm 1\}$ such that

$$|⟨\lambda z^{*},v⟩-⟨{\delta }_s,f\left(v\right)⟩|\le \alpha {\epsilon }_f(\parallel v\parallel ).$$

This implies that

$$|⟨z^{*},v⟩-⟨\lambda {\delta }_s,\frac{f\left(2^{n}v\right)}{2^n}⟩|\le \frac{\alpha {\epsilon }_f(2^n\parallel v\parallel )}{2^n}.$$

Then, $|⟨z^{*},v⟩-⟨\lambda {\delta }_s,g\left(v\right)⟩|=0$. This implies that $\parallel g\left(v\right)\parallel \ge |⟨\lambda {\delta }_s,g\left(v\right)⟩|=|⟨z^{*},v⟩|=\parallel v\parallel$. Therefore, $g:X\to C\left(\tilde{K}\right)$ is a linear isometry.

Finally, we prove that

$${\parallel f\left(v\right)|}_{\tilde{K}}-g\left(v\right)\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

According to (16), for each $s\in \tilde{K}$, there exist $z^{*}\in B_{X^{*}}$ and $\lambda \in \{\pm 1\}$ such that

$$|⟨\lambda z^{*},v⟩-⟨{\delta }_s,f\left(v\right)⟩|\le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

(18)

Then,

$$\underset{n\to \infty }{lim}|⟨\lambda z^{*},v⟩-⟨{\delta }_s,\frac{f\left(2^{n}v\right)}{2^n}⟩|\le \underset{n\to \infty }{lim}\alpha \frac{{\epsilon }_f(\parallel 2^{n}v\parallel )}{2^n}=0\mathrm{for}\mathrm{all}v\in X.$$

This entails that

$$⟨\lambda z^{*},v⟩=\underset{n\to \infty }{lim}⟨{\delta }_s,\frac{f\left(2^{n}v\right)}{2^n}⟩=⟨{\delta }_s,g\left(v\right)⟩.$$

(19)

Combining (18) and (19), we have

$${\parallel f\left(v\right)|}_{\tilde{K}}-g\left(v\right)\parallel =\underset{s\in \tilde{K}}{sup}|⟨{\delta }_s,f\left(v\right)-g\left(v\right)⟩|\le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

□

If $f:X\to C\left(K\right)$ is an isometry, T is a Figiel operator of f. By Theorem 2.4 in reference [21], for each $z^{*}\in B_{X^{*}}$, there exist $s\in K$ and $\lambda \in \{\pm 1\}$ satisfying $⟨\lambda z^{*},v⟩=⟨{\delta }_s,f\left(v\right)⟩$ for all $v\in X$. This entails that all conditions of Theorem 4 are satisfied naturally when f is a standard isometry. At the same time, the linear isometry $g\left(v\right)=\underset{n\to \infty }{lim}\frac{f\left(2^{n}v\right){|}_{\tilde{K}}}{2^n}$ is actually the restriction of f to $\tilde{K}$, that is, ${g\left(v\right)=f\left(v\right)|}_{\tilde{K}}$. Then, we obtain the following result by Theorem 4.

Corollary 2.

[29] (Theorem 1.1) Let $f:X\to C\left(K\right)$ be a standard isometry. Then, there is a non-empty closed subset $\tilde{K}\subseteq K$ such that ${f|}_{\tilde{K}}:X\to C\left(\tilde{K}\right)$ is a linear isometry.

In the following, we recall the definition of simultaneous extension operators.

Definition 3.

Let $E:C\left(\tilde{K}\right)\to C\left(K\right)$ be a continuous linear operator, where $\tilde{K}\subseteq K$ is a non-empty closed subset. We say that E is a simultaneous extension operator if, for every $g\in C\left(\tilde{K}\right)$, $E\left(g\right)$ is an extension of g from $\tilde{K}$ to K.

Lemma 3.

[24] (Theorem 1.21) Let $K,\tilde{K}$ be as above and assume that $\tilde{K}$ is metrizable. Then, there exists a simultaneous extension operator $E:C\left(\tilde{K}\right)\to C\left(K\right)$ with $\parallel E\parallel =1$ and $E\left(1\right)=1$.

Note that the operator E in Lemma 3 is a linear isometry if $\tilde{K}$ is metrizable. But Lemma 3 is not necessarily true when $\tilde{K}$ is not metrizable, see [34,35]. Then, the following result is presented.

Theorem 5.

Let K be a compact metric space. Suppose that $X,f,T,\tilde{K},g$ are as in Theorem 4, and that E corresponds to Lemma 3. Then, $E\circ g:X\to C\left(K\right)$ is a linear isometry and

$$\parallel E\left(f\left(v\right){|}_{\tilde{K}}\right)-E\left(g\left(v\right)\right){\parallel =\parallel f\left(v\right)|}_{\tilde{K}}-g\left(v\right)\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathit{for}\mathit{all}v\in X.$$

From Theorem 5 and Corollary 2, the following result, established by Villa, can be derived.

Corollary 3.

[30] (Theorem 2) Assume that K is a compact metric space and that $f:X\to C\left(K\right)$ is a standard isometry. Then, there is a non-empty closed subset $\tilde{K}\subseteq K$ such that $E\circ \left(f{|}_{\tilde{K}}\right):X\to C\left(K\right)$ is a linear isometry.

4. Right Inverse of ${\mathit{L}}_{\mathit{p}}\mathbf{(}\mathsf{\Omega }\mathbf{,}\mathsf{\Sigma }\mathbf{,}\mathbf{\mu }\mathbf{)}\mathbf{(}\mathbf{1}\mathbf{<}\mathit{p}\mathbf{<}\mathbf{\infty }\mathbf{)}$ Spaces and Finite Dimensional Spaces

In this section, we will show that every coarse left-inverse operator has a linearly isometric right inverse without other additional conditions when target space Y is the $L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )$$(1<p<\infty )$ space or $dimX=dimY<\infty$, where $(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ is a measure space.

To begin with, we give the following lemma of $L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ spaces which was proved by Sun and Zhang (see [27], on pages 10–11).

Lemma 4.

[27] (Theorem 2.12) Let $(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ be a measure space. Assume that $f:X\to L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )(1<p<\infty )$ is a standard coarse isometry and that for each $z^{*}\in S_{X^{*}}$ there exists $\phi \in S_{Y^{*}}$ satisfying

$$|⟨z^{*},u⟩-⟨\phi ,f\left(u\right)⟩|=o(\parallel u\parallel )\mathit{as}\parallel u\parallel \to \infty .$$

(20)

Then, there exists a linear isometry $U:X\to L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ such that

$$\parallel f\left(u\right)-Uu\parallel =o(\parallel u\parallel )\mathit{as}\parallel u\parallel \to \infty .$$

By using Lemma 4 above, the following result can be shown.

Theorem 6.

Let $(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ be a measure space. Assume that $f:X\to L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )(1<p<\infty )$ is a standard coarse isometry and that T is a coarse left-inverse operator of f. Then, there exists a linear isometry $U:X\to L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ such that

$$TU=i{d}_X.$$

Proof. 

Since T is a coarse left-inverse operator of f,

$$\underset{z^{*}\in S_{X^{*}}}{sup}|⟨z^{*},Tf\left(v\right)-v⟩|=\parallel Tf\left(v\right)-v\parallel \le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

Then, for each $z^{*}\in S_{X^{*}}$,

$$|⟨T^{*}{z}^{*},f\left(v\right)⟩-⟨z^{*},v⟩|=|⟨z^{*},Tf\left(v\right)-v⟩|\le \alpha {\epsilon }_f(\parallel v\parallel )\mathrm{for}\mathrm{all}v\in X.$$

Put $\phi =T^{*}{z}^{*}$. Then, $\parallel \phi \parallel =\parallel z^{*}\parallel =1$ by Lemma 1 and then (20) holds. By Lemma 4, we obtain a linear isometry $U:X\to L_p(\mathsf{\Omega },\mathsf{\Sigma },\mu )$ with

$$Uv=\underset{r\to \infty }{lim}\frac{f\left(rv\right)}{r}\mathrm{for}\mathrm{all}v\in X.$$

Then,

$$\begin{array}{cc}\hfill \parallel TUv-v\parallel & =\underset{r\to \infty }{lim}\parallel T\frac{f\left(rv\right)}{r}-v\parallel \hfill \\ \hfill & =\underset{r\to \infty }{lim}\frac{\parallel Tf\left(rv\right)-rv\parallel }{\left|r\right|}\hfill \\ \hfill & \le \underset{r\to \infty }{lim}\frac{\alpha {\epsilon }_f(\parallel rv\parallel )}{\left|r\right|}=0\mathrm{for}\mathrm{all}v\in X.\hfill \end{array}$$

□

For the case of finite dimensional spaces, we first recall some definitions of free ultrafilters.

Definition 4.

Let Γ be a non-empty set and let $\mathcal{U}$ be a family of subsets of Γ.

(i) We say that $\mathcal{U}$ is a free ultrafilter on Γ if the following conditions are satisfied. (1) $\varnothing \notin \mathcal{U}$; (2) if $A,B\in \mathcal{U}$, then $A\cap B\in \mathcal{U}$; (3) if $B\subset A\subset \mathsf{\Gamma }$ and $B\in \mathcal{U}$, then $A\in \mathcal{U}$; (4) ${\bigcap }_{A\in \mathcal{U}}A=\varnothing$; (5) if $A\subset \mathsf{\Gamma }$, then either $A\in \mathcal{U}$ or $\mathsf{\Gamma }\setminus A\in \mathcal{U}$.

(ii) Given a topological space $\mathcal{D}$, we say a mapping $h:\mathsf{\Gamma }\to \mathcal{D}$ is $\mathcal{U}$-convergent to some $w\in \mathcal{D}$ and denote

$$\underset{\mathcal{U}}{lim}h=w,$$

if $h^{-1}\left(W\right)\in \mathcal{U}$ for every neighborhood W of w.

The following property is fundamental for free ultrafilters.

Proposition 3.

Let Γ, $\mathcal{U}$ and $\mathcal{D}$ be as in Definition 4. If the topological space $\mathcal{D}$ is compact, then every mapping $h:\mathsf{\Gamma }\to \mathcal{D}$ is $\mathcal{U}$-convergent.

For more details of free ultrafilters we refer to [36]. In what follows, we will be interested in $\mathsf{\Gamma }=\mathbb{N}$.

Theorem 7.

Let $f:X\to Y$ be a standard coarse isometry with $dimX=dimY=m<\infty$ and let $\mathcal{U}$ be a free ultrafilter on $\mathbb{N}$. Suppose that $T:Y_f\equiv \overline{\mathrm{span}}f\left(X\right)\to X$ is a linear operator satisfying $\parallel T\parallel =1$ and

$$\underset{\mathcal{U}}{lim}\parallel T\frac{f\left(n{e}_k\right)}{n}-e_k\parallel =0\mathit{for}\mathit{all}k\in \{1,2,\dots ,m\},$$

(21)

where ${\left\{e_k\right\}}_{k=1}^m$ is a basis. Then, there is a surjective linear isometry $U:X\to Y$ such that

$$TU=i{d}_X.$$

Proof. 

Given $v\in X$, since f is a standard coarse isometry, we obtain

$$\parallel \frac{f\left(nv\right)}{n}\parallel \le \frac{{\epsilon }_f\left(\right|n|\parallel v\parallel )}{\left|n\right|}+\parallel v\parallel \to \parallel v\parallel \mathrm{as}n\to \infty .$$

This implies $\left\{\frac{f\left(nv\right)}{n}\right\}$ is bounded and then $\left\{\frac{f\left(nv\right)}{n}\right\}$ is relatively compact. Thus, the mapping $U:X\to Y$ defined by

$$Uv=\underset{\mathcal{U}}{lim}\frac{f\left(nv\right)}{n}$$

(22)

is an isometry. Indeed, for each $v,w\in X$,

$$|\parallel Uv-Uw\parallel -\parallel v-w\parallel |=\underset{\mathcal{U}}{lim}\frac{|\parallel f(nv)-f(nw)\parallel -\parallel nv-nw\parallel |}{n}\le \underset{\mathcal{U}}{lim}\frac{{\epsilon }_f(n\parallel v-w\parallel )}{n}=0.$$

Since X is complete, $U\left(X\right)$ is a closed subspace of Y. According to the domain invariance theorem, $U\left(X\right)$ is also an open subspace of Y and then $U\left(X\right)=Y$. This means that U is a surjective standard isometry and then U is linear. Combining (21) and (22), we have

$$TU{e}_k=e_k\mathrm{for}\mathrm{all}k\in \{1,2,\dots ,m\}.$$

Then, $TU=i{d}_X$. The proof is completed. □

Remark 1.

Note that (21) is weaker than the condition that T is a coarse left-inverse operator of f.

Corollary 4.

Let $f:X\to Y$ be a standard coarse isometry with $dimX=dimY=m<\infty$ and let T be a coarse left-inverse operator of f. Then, there is a surjective linear isometry $U:X\to Y$ such that $TU=i{d}_X$.

5. Conclusions

Lindenstrauss and Szankowski [23] noted that a coarse isometry between infinite-dimensional uniformly convex spaces cannot result in a linear isometry without additional conditions. Therefore, when studying coarse isometric embeddings and linear isometric embeddings, an additional assumption is usually made. This paper explores the relationship between coarse isometries and linear isometries of various Banach spaces under the assumption of coarse left-inverse operators. Our conclusions generalize some well-known isometric results, for example, see Corollary 1 ([4] Theorem 2.1), Corollary 2 ([29] Theorem 1.1) and Corollary 3 ([30] Theorem 2).

As a future research direction, we suggest the following:

1. What is the class of coarse isometries that has a coarse left-inverse operator?

2. If $f:X\to Y$ is a coarse isometry, is there another condition that guarantees the existence of a linear isometry from X to Y?

3. If $f:X\to Y$ is an $\epsilon$-isometry, does there exist an isometry from X to Y?

4. We will extend our results to the case where Y is a Bochner space.