空间L~p（Γ,Σ,μ）（1〈p〈∞）和Banach空间E的单位球面之间等距算子的延拓.pdfVIP

第 32卷第 2期 云南师范大学学报 Vo1．32No．2 2012年 3月 JournalofYunnanNormalUniversity Mar．2012 · 特约稿 · 空间LP(r，∑，)1【POO)和Banach空间E 的单位球面之间等距算子的延拓 陈绍雄， 黄中杰 (云南师范大学 数学学院，云南 昆明650092) 摘 要： 文章得到以下结果 (它改进了文献 [16][18]中的一些结果)：设E是一个赋范空91，Vo是单位 球面S(L(r，∑，))N~-~{NNs(E)内的等距映射。如果Vo满足下列两个条件： (i)对于任意的自然数 ，实数 ∈ [一1，1]及 XA ∈ (n ，1 k ，有 { ， (ii)对于任意的fl，f2∈S(L(工1，∑，))和实数 ，∈[一1，1]，有 ll (，)+ (f2)ll一 1 I (／’)+ (f2)∈Vo[s( (r， ，)]， 那么 可延拓为全空间L(r，∑，)上的等距线性算子。 关键词：Tingley问题；等距延拓；等距映射 中图分类号： O177．2 文献标识码 ： A 文章编号： 1007—9793(2012)02--0008—08 1 引言 1987年，Tingley在文献[1]中提出下面的等距延拓问题(我们称为Tingley问题)： 设 S(E)，S(F)是赋范空间E和F的单位球面，。为S(E)到 s(F)的满等距映射，问 。是否为某 线性 (或仿射)映射在S(E)上的限制? 该问题至今还没有解决，不过多年以来，许多数学工作者对这个问题进行了研究，得到了许多有意 义的结果，它们部分的回答了Tingley问题，这方面的文献很多，其中文献 [2]一[7]等具有一定的典型 性 。2003年，定光桂教授在文献I-2]中首次讨论了两种不同类型空间之间的满等距算子，并获得肯定回 答，而且定光桂教授最先考虑非满等距映射的延拓问题。在文献Es]中他得到了关于内积空间的肯定结 果。另外，刘锐在文献E4]中指出，在一定条件下，两个Banach空间的单位球面之间的1-Lipschitz映射 都可等距延拓为全空间上的实线性算子。该结论推广了文献 [2]，E3]，[8]，I-9]中的主要结果。关于不 同类型空间之间的相关研究还有其他结果，例如：可参看文献 [10]一E14]。 2009年，定光桂教授在他的综述文章(见文献[15])中提出了一个问题：Tingley问题在 z空间与一 般赋范空间E之间的情形是否成立?我们没有解决这个问题，但在文献E16]中，我们附加了一个条件 * 收稿 日期 ：2011—1O一2O 基金项 目：云南省社会发展科技计划基础研究面上项 目(2009CD042)． 作者简介 ：陈绍雄 (1974一)，男，云南昭通人，博士，副教授，硕士生导师，主要从事非线性分析研究． 第2期 陈绍雄，等：空间L(r，∑，)(1乡oo)和Banach空间E的单位球面之间等距算子的延拓．9． 后，使得该问题有一个肯定的答案。而在本文中，我们继续把该结果推广到Lp(1 co)的情形。 我们总用E表示赋范空间，用s(E)表示E的单位球面，R表示实数集，设(厂，∑，)为一个测度空 间，L (r， ，)表示如下： r，∑，)一{厂：F--*Rl(fr1lfJ)Oo} 其中，1 Oo。 我们使用符号s(r，∑，)~ Lp(F，∑，)中所有简单函数构成的集合。则s(r，∑，)关于Lp 范数在L(厂，∑，1／)中稠密。另外，用 (r，∑，)表示L(r，∑，)中所有特征函数构成的集合。再 用 (r)表示 (r，∑，)中的一个极大线性无关组。则s(r，∑，)=span{Z(F)}。当 为计数测度 时，空间L(r，∑，)就是下面的空间 z(r)一{一()一∑z 1．z：r一尺I，