非核等距映射與非核強(qiáng)保n 映射的性質(zhì)

摘 要：在賦范空間中推廣了等距映射和保1 映射的概念，定義了非核等距映射和非核保1 映射等概念；得到了與之相關(guān)的基本性質(zhì)，并且在強(qiáng)保n 性和保距映射之間建立了新的聯(lián)系，得到了映射是等距映射的兩個(gè)充分條件.

關(guān)鍵詞：非核等距映射；非核保1 映射；賦范向量空間；嚴(yán)格凸空間

中圖分類號(hào)：O177.3

DOI： 10.19504/j.cnki.issn1671-5365.2024.06.15

保持度量不變的映射 （簡(jiǎn)稱等距映射） 的研究，已經(jīng)有很長(zhǎng)的歷史了[1–4]. 它是泛函分析最本質(zhì)的內(nèi)容之一， 而且它的發(fā)展也是其他眾多學(xué)科的需要.為了推進(jìn)等距映射某些方面的研究，比如很重要的等距映射的擴(kuò)張問(wèn)題，人們很自然地提出了保1 映射和保n 映射的概念[5–8]. 另外，在廣義譜理論的研究中，用部分等距代替正交投影算子起了重要的作用[9-10]. 本文在這些概念的基礎(chǔ)上，提出了非核等距映射、非核保1 與非核保n 映射等概念， 它們具有更廣的適用范圍; 然后分別得到了非核保1 映射和非核等距映射的一個(gè)基本性質(zhì)， 以及在非核保n 性和等距性之間建立起聯(lián)系的兩個(gè)結(jié)論.

定義1 設(shè)E、F 是賦范空間，T 是E 到F 的映射，Ker （T ）是T 的核. 若對(duì)任意的x，y ∈ E＼Ker （T ）都有||Tx - Ty || = ||x - y ||，則稱T是非核等距的映射.

定義2 設(shè)E、F 是賦范空間，T 是E 到F 的映射. 若對(duì)任意的x，y ∈ E＼Ker （T ）， 當(dāng)x - y = 1時(shí)總有||Tx - Ty|| = 1， 則稱T是非核保1的. 若對(duì)任意的 x，y ∈ E＼Ker （T ）， ||x - y || = 1 當(dāng) 且 僅 當(dāng)||Tx - Ty || = 1， 則稱T是非核強(qiáng)保1的.

定義3 設(shè)E、F 是賦范空間，T 是E 到F 的映射. 若對(duì)任意的x，y ∈ E＼Ker （T ） 和任意正整數(shù)n，||x - y || = n當(dāng)且僅當(dāng)||Tx - Ty || = n， 則稱T是非核強(qiáng)保n 的.

本文需要用到以下的記號(hào)： -K （x，r ） = { z：|| z -x || ≤ r }， K （x，r ） = { z：||z - x || lt; r }， Cx （n，n + 1] =Cx （n，n + 1] = { z：n lt; ||z - x || ≤ n + 1 }.

引理1[11] 令X 是實(shí)的嚴(yán)格凸的賦范向量空間.令x，y ∈ X， 則X 中到a 和b 的距離均為1/2||a - b ||的唯一的向量是1/2 （a + b）.

參考文獻(xiàn)：

[1] GROSS H. On a special group of isometries of an infinite di?mensional vectorspace[J]. Math Ematische Annalen， 1963， 150（3）： 285-292. doi：10.1007/BF01396997.

[2] BELLENOT S F. Banach spaces with trivial isometries[J]. Is?rael Journal of Mathematics， 1986， 56（1）： 89-96. doi：10.1007/BF02776242.

[3] MARTíN M. The group of isometries of a Banach space andduality[J]. Journal of Functional Analysis， 2008， 255（10）：2966-2976. doi：10.1016/j.jfa.2008.06.004.

[4] LI L， CHEN D， MENG Q， et al. Surjective isometries onvector-valued differentiable function spaces [J]. Annals of Functional Analysis， 2017， 9（3）： 1-10. doi：10.1215/20088752-2017-0040.

[5] MA Y. The Aleksandrov problem for unit distance preservingmapping[J]. Acta Mathematica Scientia， 2000， 20（3）： 359-364.doi：10.1016/S0252-9602（17）30642-2.

[6] RASSIAS T M， ?EMRL P. On the Mazur-Ulam theorem andthe Aleksandrov problem for unit distance preserving mappings[J]. Proceedings of the American Mathematical Society， 1993， 118（3）： 919-925. doi：10.1090/S0002-9939-1993-1111437-6.

[7] 王日生. 關(guān)于保1 映射與等距映射[J]. 南開(kāi)大學(xué)學(xué)報(bào)（自然科學(xué)版）， 2000， 33（1）： 85-87.

[8] 靖楊萍. 保距性質(zhì)和等距映射[J]. 南開(kāi)大學(xué)學(xué)報(bào)（自然科學(xué)版）， 2020， 53（3）： 81-83.

[9] NAGY B. Partial isometries and a general spectral theorem[J].Advances in Operator Theory， 2018， 4（2）： 351-368. doi：10.15352/aot.1804-1355.

[10] HOPENWASSER A. The spectral theorem for bimodules inhigher rank graph C*-algebras[J]. Illinois Journal of Math?ematics， 2005， 49（3）： 993–1000. doi：10.1215/ijm/1258138232.

[11] BAKER J A. Isometries in Normed Spaces[J]. The AmericanMathematical Monthly. 1971， 78（6）： 655-658. doi： 10.1080/00029890.1971.11992823.

[12] MA Y. Isometries of the unite sphere[J]. Acta MathematicaScientia， 1992， 12（4）： 366-373. doi：10.1016/S0252-9602（18）30171-1.

[13] CHENG L， DONG Y. On a generalized Mazur-Ulam ques?tion： Extension of isometries between unit spheres of Banachspaces[J]. Journal of Mathematical Analysis and Applications，2011， 377（2）： 464-470. doi：10.1016/j.jmaa.2010.11.025.

[14] 李金妹. 關(guān)于嚴(yán)格凸空間與等距算子[J]. 湖南師范大學(xué)自然科學(xué)學(xué)報(bào)， 1994， 17（2）： 90-93.

【編校：許潔】

基金項(xiàng)目：四川省教育廳項(xiàng)目“非線性泛函分析中的隱中點(diǎn)問(wèn)題”（18ZB0659）