Banach空间中广义正交与度量投影.pdfVIP

维普资讯 总 39卷 第 2期 数 学 研 究 Vo1．39 No．2 2006年 6月 JournalofMathematicalStudy Jun．2006 Banach空间中广义正交与度量投影 吴永生 王建华。 (1．铜陵学院基础教育系，安徽 铜陵 244000~2．安徽师范大学数学系 ，安徽 芜湖 241000) 摘 要 本文利用广义正交 (“上”)这一工具，给出了在不 自反的Banach空问中多值算子尸为 集值度量投影 尸工的充要条件是 (i)尸-1(O)=L上‘)，(ii)Vz∈X，VY∈L．P(x+ y)=尸(工)+ y。 我们的结果推广了文[2]的在 自反空问中且P为单值度量投影的相应结论 ；还得到了LtJ．，为线性子 空间的充要条件是Pc为有界线性算子；进而得到了L广义正交拓扑可补的充要条件是P 为有界线 性算子，丰富了文 [1，9]的结论． 关键词：Banach空间；广义正交；广义正交可补；度量投影 中图分类号 O 175．14 文献标识码 A 1 引 言 Banach空间中集值分析是非线性分析的重要组成部分，内容十分丰富，近年来研究非常 活跃．度量投影是集值分析的一个重要 内容，也是一个经久不衰的研究题 目，它在最优化、计算 数学、方程论、控制论、概率论 中均有重要应用．关于度量投影的连续性，近年来NeveserkoN． V．，OshamE．V．，王建华、方习年、王玉文都进行过研究 ，得到了出色的结果，而JainP．K．， Ahavad，Khalid则讨论了Banach空间中最佳逼近 (单值度量投影)及分解问题．另外，在度量 投影的应用方面，王玉文在文[2]中给出了一个单值算子是单值度量投影的判据． 鉴于集值分析的研究活跃性及内容丰富性，在本文中，利用JamesR．C．在赋范线性空间 中引入广义正交的概念 。将王玉文在文[2]中的结果加以改进 。一方面去掉 自反性弱化了空间 特征；另一方面将单值映射推广到集值映照的情形 ，使其结果更具一般意义，并使结论变得更 为简洁．同时利用度量投影给出了广义正交补锥 成为线性子空间的一个充要条件 (文[1] 中 的 (上一般不是线性子空间)，并得到广义正交拓扑可补的一个充要条件，丰富了文[1，9] 的结果． 2 定义与引理 定义 1 设 为Banach空 ， c ，集值映射 P： — L定义为 z— P(z)一 ( ∈L：0z—Yll—d(x，L)}， 收稿 日期 ：20o5一O1—1O 基金项 目：安徽省教育厅科研项 目(2oo6kJ171C)；铜陵学院科研项 目 维普资讯 第 2期 吴永生等 ：Banach空间中广义正交与义量投影 记为 ，称为从 x到L上的度量投影，这里d(x，L)一infIIz一2lI． 注 1 对 Vz∈X，若P (z)≠ ，称 L为逼近集 ；对Vz∈X，若P (z)至多为单点集， 称 L为半 Chebyshev集 ；逼近的半Chebyshev集 ，称为 Chebyshev集． 当 为单值时，又称为最佳逼近算子．并且知道 ， 为 自反空间当且仅 当 中每个闭凸集 c均为逼近集 ：X为严格 凸空间当且仅当X中每个闭凸集C均为半 Chebyshev集 ；X线性同胚 于Hilbert空间当且仅 当 中每个闭子空间拓扑可补． 定义 2] 设 为赋范线性空间，“上”表示 中的广义正交性 ，定义为 (1)X，Y∈X，Xj-Y指d(x，span(y))一 IIXII， (2)A，BcX，A_上-B指Vz∈A，d(x，B)一 IIzlI． 注2 这里span(3)·是由{Y}张成的一维子空间，在 Banach空间中，上述广义正交一般是 不对称的，而在 Hitbert空间中与通常的正交概念一致． 定义 3[1