两类赋予w~＊-可分对偶的空间的BCP.pdfVIP

第 43卷 第 4期 数 学 研 究 ＼，n1．43 NO．4 2010年 12月 JournalofMathematicalStudy Dec．2O10 两类赋予W丰一可分对偶的空间的BCP 王 波 (厦门大学数学科学学院，福建 l／{I-I361005) 摘 要 在对偶W ．可分的情况下，证明了两类 Banach空间具有球覆盖性质，即：它们是 1)光滑 空间； 2)具有MIP的空间． 关键词 球覆盖； MIP；w ．暴露点；w 一可凹点 中图分类号 O174 文献标识码 A l 引 言 称一个Banach空间 具有球覆盖B，是指存在一族远离原点的开球 (或者 闭球)，它 们的并包含了单位球面Sx．称 具有球覆盖性质 (BCP)，若其具有可数多的球覆盖． 近些年来，空间的BCP研究引起了许多Banach空间几何学家的关注，BCP及其应用 在 1【—13】中得到广泛的研究．本文则证明了在对偶 W一可分的情况下，光滑空间及具有 MIP的空间都具有 BCP． 如无特别说明， 总是代表一个 Banach空间， 为其对偶．我们将 的闭单 位球及单位球面分别记为B ，Sx．以下给出本文用到的一些基本概念． 定义 1 称空间 具有 Mazur交性质 (MIP)：若 的每个有界闭凸集都是闭球的 交． 定义 2 CcX ，X EC称为 的W一可 凹点，若 v￡0，存在 的 W ．切片 S(X，C，)使得 ∈s(z，C，)及diamS(z，C，)E，其中S(X，C，)={ ∈C ：(，X) sup(Y，)一 }． ’∈C 定义 3 CcX ，则 ∈C称为C的W．暴露点，若存在 ∈X使得 (z X)(Y．)，Vy ∈C．Y ≠ 定义 4 称 为光滑空间，如果其范数 !1．1l在 Sx上是处处 Ggteaux可微 收稿日期：2010-09-12 394 数 学 研 究 2010年 2 赋予 一可分对偶的光滑空间 本节证 明了：赋予W．可分对偶 的光滑空间具有 BCP为证 明这个定理需要以下 引理： 引理 1。】设 是一个Banach空间，，是一个指标集且 ， =”，{Xi)ElcSx．则 {B(v。ri))∈，构成 的一个球覆盖 (其 中对任意 i∈，，Yi是 冗 Xi上的某点，且 Ilyill2ri) 当且仅当对次微分映射 01I．I的每个选择 ，{西(z) ，正分离 中的点，即对 中任 意的点x(／0)有 sup(C(xi)，X)0． 定理 1 若 空间 是光污空间，且 为 Ⅱ．可分，贝jX具有 BCP． 证明 因为 是 ．可分，则存在 { }至 CSx·正分离 中的点，即对 ∈X， 存在 i∈Af．使得 (Xi，z)0．令 Ai ，J={z∈Bx： ．_T)÷)．Vi，J三 ／． 则 SxC U 4i．J． i,jEA 现任意选定 ，J∈Ⅳ．因0不属于 4Ⅵ．则 由分离定理，存在 Y ∈Sx·及某 OL0，使 得 inf ，) o- 。∈ 再令 E={B ．上的W一暴露点 )，由Bishop—Phelps定理 1【4，Th3．20】知E在 ·上 稠密，故存在 Yi,j∈E，使得 (J，)0 ． 综上所述，Vx∈Sx，存在 ，JEAr，使得 ( z)0，即 {J}t，jEAf正分离了X中的 ． 结合引理 1知： 具有BCP． 3 赋予 一可分对偶的具有 MIP的空间 关于 MIP及 W．可凹点有以下两个引理 ： 引理 2(15】空间 具有 M．IP当且仅 当Bx．中的W-可凹