等距线性延拓问题.pdf

定光桂：等距线性延拓问题 题是一个 25年还没有得到解决的非常困难 的问题．关于该问题，定教授和他的学生们取得了最为领 先和最为深刻的结果．很少有人愿意付 出如此长的时间和辛苦，也 由此可见到他 (们1的坚韧不拔的精 神．”fOdell教授任教于美国Texas大学Austin分校，很多著名Banach空间专著中都专 门把 Odell定 理当做一节来讲述，例如 Springer出版的Diestel的著作 《SequencesandseriesinBanachpaces}}．非 常不幸的是他在 2013年 1月 9日因心脏病突发而去世．1 算子空间理论的奠基人阮忠进教授说到：等“距延拓问题的重要性在于，如果该结论成立的话，一 个映射在单位球面上的局部几何性质将决定它在整个空间中的性质．定光桂教授建立了一支在Banach 空间理论前沿很强和很活跃的中国研究学术队伍，这是很特别和重要的突出贡献．”(阮忠进教授现任 教于美国Illinois大学Urbana-Champaign分校，许多算子空间和算子系统的教材中都把著名的Ruan’S Theorem作为讲述的基础-1 著名泛函分析学者Muhly教授 (曾为 ((ProcAMS}}编委1说到：这“些研究成果对于理解 Banach 空间几何结构有着重要的作用，同时可应用于最优化问题及其他一些工程 问题，计量经济学的选择问 题及其他一些商业和金融 问题的研究．” 由此可见，等“距延拓”是一个很困难、同时又是一个越来越重要的问题．我们希望本文可 以鼓励 更多的数学工作者参与到该问题的研究中来． 二十几年来，对于上述等距线性延拓问题，虽然出现了许多创造性的工作成果，但是对一般抽象的 赋范空间而言，即使是在 2维的空间中至今都还没有明确的答案． 迄今为止，我们只是利用特殊的性质和方法在一些经典的赋范空间中解决了该问题．这个富于挑 战性的问题仍然有很多工作需要我们去做．它也要求我们对赋范空间的几何、分析和代数性质有很好 的理解．因此，在对此问题所做的研究中，即使你没有做出什么创新的成果，你也必定会对所研究空间 的各种特性 (特别是范数特性和空间几何特性)有很好的掌握，因此也是有意义的． 2 初始的结果 对于这个问题，我们只考虑 “实”赋范空问，因为这个问题在复的赋范空间中显然是不成立的．例 如，当X：Y=C时，令 x)= (当 =1时)，则得到上述结论．同样地，对于上述问题，我们常 常只考虑 满“”的等距算子．因为对于两单位球面上 非“满”的等距算子，它们不能被等距线性延拓的 例子是不难得到的，可见下面反例． 反例 2．1 设 v0为从 (即2维的 o。型空间)单位球面 s( )到单位球面 s(e ) “内”的 等距算子，定义如下： [(1，∈2)]=(，∈2，sin∈)，V(，∈2)∈s( )，那么，vo虽然可以等距延拓为从 全空间 、到 、“内”的算子 (取值形式不变)，但其显然不是一个线性算子． 在文献 [21中，张伦构造出了一个非常好的反例．从此例中我们可以看出相应的 “非满”等距算子， 即使延拓为全空间上定义的等距算子，也是不可能的．该例子如下： 例 2．2 构造从 s1(f )到 s1(2 )的算子 如下， (1，∈2，∈2)， (一1，2，∈2)， (∈1，1一 ∈1，1)， (∈1，1，1+ 1)， (∈1，∈2，≤2)， 2 中国科学：数学 第 45卷 第 1期 则 Vo为从 S1(f )到S1(f )的等距算子，但它不能延拓为整个空间f 上的线性算子或等距算子． 在上述 Tingley文献 1『1中，他仅得到了如下结果：如果 E和 F均是有限维的赋范空间，则对其 单位球面间任何 满“”的等距算子 ，均有 (一X)=一vo()，V ∈s(E)，也即 是一个 奇“算子”． 对于上述结论，我们在文献 3『]中则给出下面十分有用的结果． 定理 2．1 假设 E 是 严“格凸”的赋范空间，F是任意赋范空间．如果 是一个从单位球面 S(E)到 S(F)“内