亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        COARSE ISOMETRIES BETWEEN FINITE DIMENSIONAL BANACH SPACES?

        2021-10-28 05:44:14YuqiSUN孫玉奇WenZHANG張文

        Yuqi SUN(孫玉奇)Wen ZHANG(張文)

        School of Mathematical Science,Xiamen University,Xiamen 361005,China

        E-mail:sunyuqi00@163.com;wenzhang@xmu.edu.cn

        Abstract Assume that X and Y are real Banach spaces with the same finite dimension.In this paper we show that if a standard coarse isometry f:X→Y satis fies an integral convergence condition or weak stability on a basis,then there exists a surjective linear isometry U:X→Y such that‖f(x)?Ux‖=o(‖x‖)as‖x‖→∞.This is a generalization about the result of Lindenstrauss and Szankowski on the same finite dimensional Banach spaces without the assumption of surjectivity.As a consequence,we also obtain a stability result for ε-isometries which was established by Dilworth.

        Key words coarse isometry;linear isometry;fi nite dimensional Banach spaces

        1 Introduction

        Research on the properties of surjective coarse isometries between real Banach spaces started in 1985,when Lindenstrauss and Szankowski[1] first studied a large perturbation function for a surjective standard mapping f between real Banach spaces X and Y which was de fined by

        where a mapping f:X→Y is standard if f(0)=0.

        They obtained the following result about the asymptotical stability of f:

        Theorem 1.1(Lindenstrauss and Szankowski) Let f be a surjective standard map from a Banach space X onto a Banach space Y.If

        then there is a linear isometry U from X onto Y such that

        At the same time,they showed that condition(1.1)cannot be removed(for details on this one can refer to[2,p.367-370]).

        Remark 1.2Dolinar[3]proved that Theorem 1.1 also holds if ?f(t)is substituted by εf(t)in the integral convergence condition(1.1).Here

        Now let us recall the de finition of coarse isometry.

        De finition 1.3Let X,Y be real Banach spaces and let f:X→Y be a mapping,where εf(t)is de fined as in(1.2).f is called a coarse isometry if εf(t)=o(t)as t→∞.In particular,we say that f is an ε-isometry ifεf(t)=ε<∞.

        Remark 1.4Note that εf(t)≤?f(t)for each t≥0,so(1.1)implies that ?f(t)=o(t)when t→∞.Then every mapping f:X→Y satisfying(1.1)is a coarse isometry.

        As far as we know,when we study a coarse isometry f from a Banach space X to a Banach space Y,it is difficult to find a suitable condition guaranteeing the existencefor each x∈X,even if both X and Y are the real line R.Thus the representation of non-surjective coarse isometries has not been studied until 2019.Cheng et al.[4] first investigated the nonsurjective coarse isometry f:X→Y and obtained the following result,where Y is a uniformly convex Banach space of power type p:

        Theorem 1.5(see[4])Suppose that f:X→Y is a standard coarse isometry and that Y is uniformly convex with convexity of type p.If

        then there is a linear isometry U:X→Y such that

        In this paper,we study the properties of non-surjective coarse isometries between the same finite dimensional Banach spaces.In Section 2,inspired by the idea in[5],we prove that if every standard coarse isometry f:X→Y with dimX=dimY<∞satis fies the integral convergence condition

        then there exists a surjective linear isometry U:X→Y such that‖f(x)?Ux‖=o(‖x‖)as‖x‖→∞.Here the condition(1.3)is essential,but when the target spaces X,Y are the real line R,the condition(1.3)can be removed.

        In Section 3,we prove that if a standard coarse isometry f:X→Y is weakly stable on a basis of X,i.e.,for each x?∈SX?,there exists φ∈SY?such that

        where{ek}?X is a basis.Then there exists a surjective linear isometry U:X→Y such that‖f(x)?Ux‖=o(‖x‖)as‖x‖→∞.Furthermore,we prove that the weakly stable condition is weaker than(1.3)for coarse isometries between the same finite dimensional Banach spaces.As a consequence,we also obtain a stability result for ε-isometry which was established by Dilworth[3,Theorem 2].

        Throughout this paper,the letters X and Y are used to denote real Banach spaces,and X?and Y?are their dual spaces.For a real Banach space X,we denote by B(0,1)and°B(0,1)the closed unit ball and the open unit ball of X,respectively.Given a bounded linear operator T:X→Y,T?:Y?→X?is its dual operator.

        2 Coarse Isometries Under the Integral Convergence Condition

        To begin this section,we recall some related de finitions and results of paracompact spaces,which are taken from[2,p.416–417].

        Let Z be a Hausdorffspace.An open cover V is called locally finite if every x∈Z has a neighborhood W that intersects only finitely many sets in V.We say that an open cover V′is a re finement of V if every V′∈V′is contained in some V ∈V.The space is said to be paracompact if every open cover of Z admits a locally finite open re finement.A locally finite partition of unity on Z is a family{Fα:α∈A}of continuous functions from Z to[0,1]such that

        (i){{x∈Z:Fα(x)>0}:α∈A}form a locally finite open cover of Z;

        We say that the partition of unity{Fα}is subordinated to the cover V if,for each α∈A,{x∈Z:Fα(x)>0}is contained in some V∈V.

        Proposition 2.1(see[2]) Metrizable spaces are paracompact.

        Proposition 2.2(see[2]) Let Z be a paracompact space.Then for every open cover V of Z,there is a locally finite partition of unity subordinated to V.

        The following lemma is essentially inspired by[5,Lemma 2.8]:

        Lemma 2.3Let X,Y be Banach spaces and let f:X→Y be a standard coarse isometry.Then there exist a standard continuous coarse isometry g:X→Y and a constant M such that

        ProofLet{zγ:γ∈Γ}be a maximal set which satis fies the condition that‖zξ?zη‖≥1 if ξη.Let 0∈{zγ:γ∈Γ}.Then,for each x∈X,there is a γ∈Γ such that||x?zγ||<1.Note that{(zγ,1):γ∈Γ}is an open cover of X,hence there exists a locally finite partition of unity{Fα:α∈A}subordinated to{°B(zγ,1):γ∈Γ}.Then for each α∈A,we can choose a γα∈Γ such that{y∈X:Fα(y)>0}?°B(zγα,1).We de fine g:X→Y by

        Since,for each γ∈Γ with zγ0,0/∈°B(zγ,1)and for each α∈A with Fα(0)>0,0∈{y∈X:Fα(y)>0}?°B(0,1),g(0)=0.

        Then g is continuous.Moreover,if Fα(x)>0 for each x∈X,then‖x?‖<1.Consequently,

        Since f is a coarse isometry,εf(1)<∞.Letting M=1+εf(1),we obtain that‖f(x)?g(x)‖≤M for all x∈X and that εg(t)≤εf(t)+2M,so g is a coarse isometry.

        Lemma 2.4([5,Proposition 4.1]) Let X,Y be Banach spaces with dimX=dimY<∞and let f:X→Y be a continuous non-surjective map with‖f(x)‖=∞.Then,given M>0,there are points x,y∈X with‖x?y‖≥M and f(x)=f(y).

        Remark 2.5According to Lemma 2.4,we can show that every continuous coarse isometry f:X→Y satisfying the condition dimX=dimY<∞is surjective.Indeed,since f is a coarse isometry,

        This contradicts(2.1).

        The following result is a generalization of Theorem 1.1,where we choose the same finite dimensional Banach spaces(here we don’t need the assumption of surjectivity):

        Theorem 2.6Let X,Y be Banach spaces with dimX=dimY<∞and let f:X→Y be a standard coarse isometry.If Z

        then there exists a surjective linear isometry U:X→Y such that

        ProofAccording to Lemma 2.3 and Remark 2.5,there exist a constant M and a surjective standard continuous coarse isometry g:X→Y with εg(t)≤εf(t)+2M.Thendt<∞.By Remark 1.2([3,Proposition 1]),there exists a surjective linear isometry U:X→Y such that

        Thus

        The following example says that the condition(2.2)in Theorem 2.6 is essential:

        Example 2.7Let ?:(0,∞)→(0,∞)be a function de fined by ?(t)=for t>0.Then ? is monotone increasing,and satis fies

        Then by the argument of[2,p.367],there is no isometry U:R2→R2with‖f(x)?Ux‖=o(‖x‖)as‖x‖→∞and εf(t)≤?(t)for all t>0.However f is a coarse isometry.

        The next theorem shows that the integral convergence condition(2.2)can be removed when X=Y=R.

        Theorem 2.8Let f:R→R be a standard coarse isometry.Then there is a linear isometry U:R→R such that

        ProofFirst,since f is a coarse isometry,

        This is a contradiction.Moreover,we shall prove that

        Otherwise,we can find two sequences{xk}?B(0,1),{nk}?N and ε0>0 such that

        According to the compactness of B(0,1)in R,without loss of generality,we can assume that xk→x0for some x0∈B(0,1).Then

        This contradicts(2.7).

        Finally,we show that

        This is a contradiction.Thus(2.3)holds.

        Corollary 2.9([6,Theorem 2]) Let X,Y be Banach spaces with dimX=dimY<∞and let f:X→Y be a standard ε-isometry.Then there exists a surjective linear isometry U:X→Y such that

        ProofAccording to Theorem 2.6,there is a surjective linear isometry U:X→Y such that

        Then,by[7,Proposition 2],

        3 Weak Stability of Coarse Isometries

        We start this section by recalling the remarkable results for ε-isometries.In 2013,Cheng,Dong and Zhang[8]established the weak stability formula.

        Theorem 3.1(see[8])Let X,Y be Banach spaces.Suppose that f:X→Y is a standard ε-isometry.Then,for every x?∈X?,there exists φ∈Y?with‖x?‖=‖φ‖≡r such that

        This has played an important role in the study of stability properties of ε-isometries(see[8–13]).Furthermore,the weak stability formula was improved in[14]and[15].

        Theorem 3.2(see[14,15])Let X,Y be Banach spaces.Suppose that f:X→Y is a standard ε-isometry.Then,for every x?∈X?,there exists φ∈Y?with‖x?‖=‖φ‖≡r such that

        The next result is inspired by the weak stability formula for ε-isometries.

        We recall that for a non-empty set ?,a family U of subsets of ? is said to be a free ultra filter provided that

        (1)?/∈U,and∩{U∈U}=?;

        (2)U,V∈U=?U∩V∈U;

        (3)U∈U and U?V??=?V∈U;

        (4)A??=?either A∈U,or,?A∈U.

        Let U be a free ultra filter,and let K be a Hausdorffspace.A mapping g:?→K is said to be U-convergent to k∈K provided that for any neighborhood V of k,g?1(V)∈U.This means that limUg=k.We should note that every mapping g:?→K is U-convergent when K is compact.

        Theorem 3.3Let X,Y be Banach spaces with dimX=dimY=m<∞and let f:X→Y be a standard coarse isometry.If,for each x?∈SX?,there exists φ∈SY?such that

        where{ek}?X is a basis,then there exists a surjective linear isometry U:X→Y such that

        ProofLet U be a free ultra filter on N and let{rn}n∈N?R with rn→∞as n→∞.Since f is a coarse isometry with f(0)=0,for each x∈X,

        de fines an isometry mapping.According to Remark 2.5 and the Mazur-Ulam theorem[16],we obtain that U:X→Y is a surjective linear isometry,and then U?:Y?→X?is also a surjective linear isometry.

        It remains to prove that

        Then(3.3)holds,from the proof of(2.6)in Theorem 2.8.

        Now we give another proof of[6,Theorem 2]by the weak stability formula for ε-isometries.

        Corollary 3.4([6,Theorem 2]) Let X,Y be Banach spaces with dimX=dimY<∞and let f:X→Y be a standard ε-isometry.Then there exists a surjective linear isometry U:X→Y such that

        ProofUx=de fines a surjective linear isometry from X onto Y by Theorem 3.2 and Theorem 3.3,so U?:Y?→X?is also a surjective linear isometry.Thus,for each φ∈SY?,

        Given δ>0,for each x∈X there exists φ∈SY?such that

        Then‖f(x)?Ux‖<3ε+δ.The arbitrariness of δ entails

        Note that in[7,Proposition 2],it was proved that‖f(x)?Ux‖=o(‖x‖)as‖x‖→∞implies that‖f(x)?Ux‖≤2ε for all x∈X.The proof is completed.

        In the proposition and example to follow,we compare the integral convergence condition(2.2)with(3.2)between the same finite dimensional Banach spaces.

        Proposition 3.5Let X,Y be Banach spaces with dimX=dimY<∞and let f:X→Y be a standard coarse isometry satisfying

        Then(3.2)holds.

        ProofAccording to Theorem 2.6,there exists a surjective linear isometry U:X→Y given by

        Given x?∈SX?,there exists φ∈SY?such that U?φ=x?,so

        Thus(3.2)holds.

        However(3.2)cannot imply the integral convergence condition(2.2).

        Example 3.6Suppose that f:R→R is given by

        Then f is a standard coarse isometry and(3.2)holds,but

        ProofBecause,for t>0

        without loss of generality we can assume that y

        AcknowledgementsThe authors would like to thank the colleagues and graduate students in the Functional Analysis group of Xiamen University for their very helpful conversations and suggestions.

        人妻激情偷乱视频一区二区三区 | 无人区一码二码三码四码区 | 亚洲av大片在线免费观看| 中文字幕本久久精品一区| 国产真实乱对白精彩久久老熟妇女| 国产精品久久久久久久久KTV| 亚洲av综合色区在线观看| 高清不卡日本v二区在线| 亚洲精品色午夜无码专区日韩| 国产成人综合久久精品免费| 亚洲无线码一区在线观看| 精品女厕偷拍视频一区二区区| 国产精品videossex久久发布 | caoporen国产91在线| 在线免费观看亚洲毛片| 丁香花五月六月综合激情| 亚洲熟女一区二区三区| 免费毛片视频网站| 日韩性感av一区二区三区| 久久久久99精品成人片欧美| 99香蕉国产精品偷在线观看 | 国产女女做受ⅹxx高潮| 人妻无码中文专区久久AV| 久亚洲精品不子伦一区| 和黑人邻居中文字幕在线| 欧美日本亚洲国产一区二区| 亚洲一区精品一区在线观看| 丰满精品人妻一区二区| 亚洲爆乳精品无码一区二区| 久久波多野结衣av| 久久黄色精品内射胖女人| 色综合久久无码五十路人妻| av无码精品一区二区三区四区 | 口爆吞精美臀国产在线| 国产综合色在线精品| 国产成人www免费人成看片| 久久一区av蜜桃人妻| 与漂亮的女邻居少妇好爽| 人妻丰满熟妇av无码区hd| 久久中文字幕久久久久| 国产成人精品久久二区二区91 |