亚洲免费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无码专区在线观看下载| 中文字幕亚洲乱码熟女在线| 99久久久国产精品免费蜜臀| 在线一区二区三区视频观看| 人妻一区二区三区在线看| 日本成本人片免费网站| 中文字幕无线码中文字幕| 人妻少妇精品视中文字幕国语| 亚洲熟女熟妇另类中文| 比较有韵味的熟妇无码| 国产白嫩美女在线观看| 狠狠色欧美亚洲综合色黑a | 国产精品人妻一码二码| 日韩A∨精品久久久久| 日韩熟女一区二区三区| 亚洲综合日韩一二三区| 女人被弄到高潮的免费视频| 亚洲午夜精品久久久久久一区| 手机av男人天堂免费网址| 国产三级久久精品三级91| 人人爽人人澡人人人妻| 巨爆乳中文字幕爆乳区| 亚洲一区二区三区ay| 中国杭州少妇xxxx做受| 久久精品国产亚洲av高清漫画| 久久亚洲AV无码一区二区综合| 精品成人av人一区二区三区| 国产一区二区三区白浆肉丝| 国产精品免费无遮挡无码永久视频 | 自拍偷拍 视频一区二区| 中文乱码字慕人妻熟女人妻| 亚洲国产精品久久久久久网站| 视频一区视频二区亚洲| 一本久道综合色婷婷五月| 久久久久久久性潮| av大片在线无码永久免费网址| 日本熟女人妻一区二区| 性欧美牲交xxxxx视频欧美| 91精品久久久久含羞草| 婷婷色在线视频中文字幕|