有界线性算子空间中最佳逼近的强惟一性.pdfVIP

高校应 用 数学 学报A辑 App1．Math．J．ChineseUniv．Ser．A 2002．17(2)：l59—164 有界线性算子空间中最佳逼近 的强惟一性 何金 苏 ，李 冲 (1．浙江师范走学 数理信 息科学学院，浙江空华 321004 2 东南走学 应用数 学系，江 苏南京 210096) 摘 要 ：研 究了有界线性算子 空间 中最佳逼 近的强惟 一性 问题 ，给 出了线性和 非 线性 最佳 逼近 的强惟 一性 定 理 ． 关键词 ：最佳逼 近 ；强太 阳集 强惟一性 ；插 值 (严格插 值)子 空 问 中圈分类号 ：O174．41 文献标 识码 ：A 文章编 号 1000 4424(2002)02—0159—06 §1 引 言 设 x，y是赋范线性空间 ，G是 x 的子集 ， ∈X，gEG，若 lIz—g l— inflz— gl， E 0 则称 g 是 G对 的最佳逼近 ，G对 z的最佳逼近全体记为 P ()． 令 L(x．Y)，K (x．Y)分别表示 x到 y的有界线性算子和紧线性算子空间，赋予算子范 数 ．关于有界线性算子空间中的最佳逼近问题 已有大量文献进行研究 ．而强惟一性是最 佳逼近理论 的一个重要 问题 ，并与最佳逼 近算子连 续性及逼近算法 的收敛性有 密切 的联 系． 但关于算子空间中的强惟一性 的讨论不多 (仅在 K()中有所讨论 )．本文首先讨论一般 算子空 问中非线性逼近 的强惟一 问题 ．给 出了非线性算子逼近强惟一性 的一般结果 ，其次研 究实或复插值子空间的强惟一性 ，从而加强和推广 了已有 的有关结果 ． §2 非线性最佳逼近的强惟一性 设 x，y是赋范线性空间 ，S(x)表示 x 的单位球面 ．B(x )表示 x 的闭单位球 ，并在 B(x )上赋予弱 拓扑 ．令 extB( )为 B( )的所有端点全体 ．记 n = B (Y )× B (X 一 )， n 一 extB(Y ) × extB(X ’。)， 收稿 日期 基金项 日：国家 自然科学基金 ：江苏省 自然科学基金 (BK99001) 该文是第一作者在东南大学访问时完成的 160 高 校 应 用 数 学 学 报 A 辑 第 17卷第 2期 并在 n上赋予乘积拓扑 ，这样 n是紧 Hausdorff空间．下面的结果出 自文 ：1]． VT ∈L(x，Y)定义 gT( ．工一 )一Rest。T‘ ，V(y ，工一 )∈n，其 中丁 是 丁 的共轭 算子．若 7。∈ ( ．y)．则 在 上连续．对任一定义在 上 的有界函数 h，定义 h ( ， ‘)一 inf sup h(“，口)， V叫 一 ( ，2t‘。) ∈ n， 其 中 Ⅳ(训)是 一 ( ，5C一 )的所有开邻域全体．则V7∈，』(x，Y)，A ∈K (x，y)， 如上定 义 ，有 i) 在 n 上上半 连续 ； ii)VA ∈K (X ，y)，(g1 glt) ( ，2t一 )一g ( ，5C一 ) g．t( ，2t‘)； u sup (Fr g^)(… )= s p (gT— g^) (“， )； … }n ．．1∈ iv)ll丁 A l— llr A l— sup ( (“，口)一g^(“，))． 、 ∈Iin 进一步．令 (7，A)一lira