[论文解读] On weakly extremal structures in Banach spaces

Jarno Talponen|Institutional Repository University of Extremadura (University of Extremadura)|Jan 2, 2007

Advanced Banach Space Theory参考文献 8被引用 4

一句话总结

本文通过分析弱拓扑与严格凸性、光滑性等几何性质之间的相互作用，研究了巴拿赫空间中的弱极小结构。研究结果表明，在对偶空间为弱 Asplund 且范数达到泛函为余稠密集的巴拿赫空间中，G-光滑点在 ω-暴露点集合中不能孤立存在；在附加条件下，ω-暴露点在单位球面上是稠密的。

ABSTRACT

This paper deals with the interplay of the geometry of the norm and the weak topology in Banach spaces. Both dual and intrinsic connections between weak forms of rotundity and smoothness ared discussed. Weakly exposed points, weakly locally uniformly rotund spaces, smoothness, duality and the interplay of all the above are studied.

研究动机与目标

• 理解弱拓扑在巴拿赫空间中的几何作用，特别是其与极小结构的关系。
• 通过对偶空间中 G-光滑泛函刻画 ω-暴露点。
• 研究 ω-暴露点在单位球面上稠密的条件。
• 建立自反性与双对偶空间等价 ω-LUR 范数之间的联系。
• 阐明光滑性、凸性与对偶映射中拓扑性质之间的相互作用。

提出的方法

• 使用对偶映射 $ J: \mathbf{S}_\mathbf{X} \to \mathcal{P}(\mathbf{S}_{\mathbf{X}^*}) $ 将单位球面上的点与范数达到泛函联系起来。
• 在对偶空间中应用 G-光滑性的概念，以刻画 ω-暴露泛函。
• 利用 Baire 三歧性定理分析 G-光滑泛函与范数达到泛函集合的剩余性与余稠密性。
• 应用 S̆mulyan 引理，将 Asplund 空间中 F-光滑性与强暴露性联系起来。
• 通过相对开性与稠密性论证，分析 ω-暴露点集合的拓扑性质。
• 应用 τ-LUR 点的概念（τ = 弱拓扑）以研究弱收敛下的局部一致严格凸性。

实验结果

研究问题

• RQ1 在什么条件下，巴拿赫空间单位球面上的 ω-暴露点集合是稠密的？
• RQ2 在什么条件下，单位球面上的 G-光滑点在 ω-暴露点集合中不孤立？
• RQ3 对偶空间的弱 Asplund 性质如何影响 ω-暴露点的稠密性？
• RQ4 在何种情况下，巴拿赫空间在其双对偶空间中存在等价的 ω-LUR 范数？
• RQ5 对偶空间中的 G-光滑性与预对偶空间中点的 ω-暴露性之间存在何种关系？

主要发现

• 当且仅当其暴露泛函在 $ \mathbf{S}_{\mathbf{X}^*} $ 中为 G-光滑时，$ x \in \mathbf{S}_\mathbf{X} $ 才是 ω-暴露点，从而在光滑性与弱暴露性之间建立了对偶联系。
• 若 $ \mathbf{X}^* $ 为弱 Asplund 且 $ \mathrm{NA}(\mathbf{S}_{\mathbf{X}^*}) $ 为余稠密集，则 $ \mathbf{S}_\mathbf{X} $ 中的任何 G-光滑点在 $ \omega\text{-exp}(\mathbf{B}_\mathbf{X}) $ 中均不能是 ω-孤立的。
• 在附加条件 $ (\ast) $ 下，即 $ \{x \in \mathbf{S}_\mathbf{X} \mid J(x) \cap \mathcal{NG} \neq \emptyset \} $ 在 $ \mathbf{S}_\mathbf{X} $ 中稠密，有 $ \omega\text{-exp}(\mathbf{B}_\mathbf{X}) $ 在 $ \mathbf{S}_\mathbf{X} $ 中稠密。
• 若 $ \mathbf{X} $ 是可分的，则 $ \mathbf{S}_\mathbf{X} $ 中的 G-光滑点集合为 $ G_\delta $ 稠密集，且由 Bishop-Phelps 定理由范数达到泛函在 $ \mathbf{S}_{\mathbf{X}^*} $ 中稠密。
• 对于自反空间 $ \mathbf{X} $，ω-暴露点与强暴露点重合，且对偶映射在弱收敛下保持拓扑结构。
• 若存在 $ \mathbf{S}_{\mathbf{X}^*} $ 的非空相对开子集，与 G-光滑范数达到泛函集合不相交，但该集合为余稠密且稠密，则导致矛盾，从而证明了 G-光滑 ω-暴露点的非孤立性。