[论文解读] On convex combinations of slices of the unit ball in Banach spaces

R. Haller, Paavo Kuuseok+1 more|arXiv (Cornell University)|Mar 8, 2017

Rings, Modules, and Algebras参考文献 8被引用 4

一句话总结

本文证明了在巴拿赫空间中，关于切片凸组合的三个性质——相对弱开性、非空弱内部和与单位球面相交——彼此不同且不等价。作者证明了两个巴拿赫空间的 1-和不具有性质 (P1)，但若两个分量均具有 (P1)，则满足 (P2)；并证明 $C[0,1]$ 满足 (P3) 但不满足 (P2)，从而确立了严格层次关系 $ ext{(P1)} \Rightarrow \text{(P2)} \Rightarrow \text{(P3)}$，且所有蕴含关系均为严格成立。

ABSTRACT

We prove that the following three properties for a Banach space are all different from each other: every finite convex combination of slices of the unit ball is (1) relatively weakly open, (2) has nonempty interior in relative weak topology of the unit ball, and (3) intersects the unit sphere. In particular, the $1$-sum of two Banach spaces does not have property (1), but it has property (2) if both the spaces have property (1); the Banach space $C[0,1]$ does not have property (2), although it has property (3).

研究动机与目标

• 研究巴拿赫空间单位球中切片凸组合的三个不同性质之间的关系：相对弱开性、非空弱内部和与单位球面相交。
• 确定这些性质在蕴含关系上是否等价或构成严格层次。
• 分析这些性质在具有绝对范数的直和（特别是 1-和）下的行为。
• 通过证明 $C[0,1]$ 满足性质 (P3) 但不满足 (P2)，从而证明蕴含关系 $\text{(P2)} \Rightarrow \text{(P3)}$ 的严格性。
• 证明两个巴拿赫空间的 $1$-和即使两个分量均满足 (P1)，也仍不具有 (P1)，从而证明 $\text{(P1)} \Rightarrow \text{(P2)}$ 的严格性。

提出的方法

• 作者为巴拿赫空间定义了三个性质 (P1)、(P2) 和 (P3)：(P1) 每个切片的凸组合是相对弱开的；(P2) 每个此类组合在相对弱拓扑下具有非空内部；(P3) 每个此类组合与单位球面相交。
• 他们利用布甘的引理（即每个非空相对弱开集都包含一个切片的凸组合）来对比其逆命题。
• 论文通过在 $\mathbb{R}^2$ 上使用绝对正规化范数（特别是 $\ell^1$-范数），分析了这些性质在 $\ell^1$-和（即 1-和）下的稳定性。
• 一个关键技术工具是利用 $X^*$ 和 $Y^*$ 中的泛函在 $X \oplus_N Y$ 中构造特定切片，并证明当 $N \neq \ell^\infty$ 时，其凸组合不是相对弱开的。
• 对于 $C[0,1]$，作者使用涉及博雷尔测度正则性、哈恩分解和蒂茨延延拓定理的测度论论证，构造了一个函数 $u$，使其属于某个切片的凸组合，但不属于某个特定的两切片半和，从而违反了 (P2)。
• 证明 $C[0,1]$ 中 (P2) 失效的关键在于构造一个函数 $u$，使得对所有 $j$ 有 $|\nu_j(u - z)| < \gamma$，但 $\mu(B^u_0) > 2\varepsilon$，从而说明 $u$ 不属于两切片的半和，与 (P2) 矛盾。

实验结果

研究问题

• RQ1 在巴拿赫空间单位球中，切片凸组合的三个性质——相对弱开性、非空弱内部和与单位球面相交——是否等价？
• RQ2 若两个分量均具有 (P1)，则两个巴拿赫空间的 1-和是否保持性质 (P1)？
• RQ3 $C[0,1]$ 是否具有性质 (P2)，即所有切片凸组合是否都具有非空弱内部？
• RQ4 能否通过显式反例证明蕴含关系 $\text{(P1)} \Rightarrow \text{(P2)} \Rightarrow \text{(P3)}$ 的严格性？
• RQ5 选择绝对正规化范数（如 $\ell^1$、$\ell^\infty$）在直和下对这些性质的稳定性有何作用？

主要发现

• 两个巴拿赫空间的 1-和即使两个分量均具有 (P1)，也不具有性质 (P1)，表明 (P1) 在 $\ell^1$-和下不保持。
• 若两个分量均具有 (P1)，则两个巴拿赫空间的 1-和具有性质 (P2)，表明当分量满足 (P1) 时，(P2) 在 $\ell^1$-和下是保持的。
• 巴拿赫空间 $C[0,1]$ 满足性质 (P3)，即每个切片凸组合都与单位球面相交。
• 巴拿赫空间 $C[0,1]$ 不具有性质 (P2)，即存在切片凸组合在相对弱拓扑下具有空内部。
• 在 $C[0,1]$ 中构造一个函数 $u$，使其属于切片凸组合但不属于两切片的半和，表明此类组合的弱内部可能为空。
• 本文通过为每一步提供反例，确立了严格层次关系：$\text{(P1)} \Rightarrow \text{(P2)} \Rightarrow \text{(P3)}$，且所有蕴含关系均为严格成立。