[论文解读] Spaces C(K) with an equivalent URED norm

Antonio Avilés, Stanimir Troyanski|arXiv (Cornell University)|Apr 30, 2020

Advanced Banach Space Theory被引用 1

一句话总结

本论文证明了：连续函数空间 $C(K)$ 具有等价的每个方向一致严格平滑（URED）范数，当且仅当紧致空间 $K$ 支持一个严格正测度。证明的核心在于提出了一种基于鞅的全新刻画方法，用于 $C(K)$ 中的 URED 范数等价性，该方法借助了凯利准则的一种变体，通过开覆盖的交集数来刻画严格正测度的存在性。主要贡献在于对具有 URED 范数等价性的 $C(K)$ 空间给出了完整刻画，解决了范数等价理论中长期悬而未决的问题。

ABSTRACT

We prove that a Banach space of continuous functions $C(K)$ has a renorming that is uniformly rotund in every direction (URED) if and only if the compact space $K$ supports a strictly positive measure

研究动机与目标

• 确定 $C(K)$ 具有等价 URED 范数的必要与充分条件。
• 解决关于哪些紧致空间 $K$ 使得 $C(K)$ 具有 URED 范数等价性的开放问题。
• 扩展并细化现有关于 $C(K)$ 空间中 $p$-UR 和 UR 范数等价性的结果。
• 基于交集数与鞅分析，提出严格正测度在紧致空间上的新内在刻画。

提出的方法

• 将 URED 范数等价性的鞅刻画方法适配到 $C(K)$ 的框架中，使用概率空间的划分以及取值于 $C(K)$ 的离散鞅。
• 引入开集族交集数 $\tilde{w}_n(G)$ 的新变体，用于刻画严格正测度不存在的条件。
• 基于函数范数增长特性，将 $C(K)$ 分解为子空间 $X_{m,t}$，其中使用了范数的 $L^2(\mu)$ 部分。
• 应用一个关键不等式，涉及 $l(G)$，即有限开集族上特征函数和的上确界，以控制鞅增量。
• 在集合 $H \subset C(K)$ 上使用同质性论证，将鞅 $a_k(H)$ 的范数与交集数 $\tilde{w}_n(G)$ 联系起来。
• 利用伽尔文与普里克里对凯利定理的变体，将 $\tilde{w}_n(G) = 0$ 与 $K$ 上不存在严格正测度联系起来。

实验结果

研究问题

• RQ1 在什么条件下 $C(K)$ 具有等价的 URED 范数？
• RQ2 在 $K$ 上存在严格正测度是否是 $C(K)$ 具有 URED 范数等价性的充要条件？
• RQ3 能否通过 $K$ 的开覆盖的组合不变量来刻画 $C(K)$ 中的 URED 性质？
• RQ4 在 $C(K)$ 中，鞅技术与紧致空间上严格正测度的存在性之间有何关系？
• RQ5 URED 范数等价性与 $C(K)$ 空间中较弱的 $p$-UR 性质之间存在何种关系？

主要发现

• 当且仅当 $K$ 支持一个严格正测度时，$C(K)$ 才具有 URED 范数等价性。
• 构造范数 $|||f||| = \sqrt{\|f\|_\infty^2 + \int_K f^2 d\mu}$ 是实现 URED 范数等价性的充分且必要条件。
• 证明表明，若 $C(K)$ 具有 URED 范数，则 $K$ 必须支持一个严格正测度，该结论通过反证法，结合 $a_k(H)$-范数与交集数得出。
• 关键技术步骤是证明：若对某族 $G$ 有 $\tilde{w}_n(G) = 0$，则对任意包含 $F_G$ 的同质集 $H$，有 $a(H) \leq 1$，这与 URED 假设下的 $a_k(H) > t > 1$ 条件矛盾。
• 该结果改进了瑞赫塔尔关于 $p$-UR 的刻画，表明在 $C(K)$ 空间中，URED 与 $p$-UR 范数等价性是等价的，尽管这一结论在一般巴拿赫空间中不成立。
• 本文确立了 $C(K)$ 恰好当且仅当 $K$ 允许严格正测度时，才具有 URED 范数等价性，从而填补了范数等价理论中长期存在的空白。