[论文解读] Spaces of continuous functions over Dugundji compacta

Тарас Банах, Kubis, Wieslaw|ArXiv.org|Oct 26, 2006

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

一句话总结

该论文证明，对于任意权为 $\aleph_1$ 的Dugundji紧空间 $K$，其上连续实值函数空间 $C(K)$ 是1-Plichko空间，即存在由范数为1的投影构成的恒等投影解析。因此，$K$ 上的概率测度空间 $P(K)$ 是Valdivia紧空间。该结果解决了Kalenda提出的问题，表明即使 $K$ 不属于类 $\mathcal{R}$，$C(K)$ 仍可以是1-Plichko空间，从而说明 $P(K)$ 为Valdivia紧空间并不蕴含 $K$ 是Valdivia紧空间。

ABSTRACT

We show that for every Dugundji compact $K$ of weight aleph one the Banach space $C(K)$ is 1-Plichko and the space $P(K)$ of probability measures on $K$ is Valdivia compact. Combining this result with the existence of a non-Valdivia compact group, we answer a question of Kalenda.

研究动机与目标

• 研究非可分Banach空间 $C(K)$ 在非度量紧空间 $K$ 下是否存在大量范数为1的投影。
• 确定Dugundji紧空间的拓扑性质是否蕴含 $C(K)$ 的结构性质，如1-Plichko性质。
• 回答Ondřej Kalenda提出的问题：$P(K)$ 为Valdivia紧空间是否意味着 $K$ 属于类 $\mathcal{R}$。
• 通过构造一个非Valdivia紧群的反例，证明即使 $K$ 不是Valdivia紧空间，$C(K)$ 也可以是1-Plichko空间。

提出的方法

• 利用Haydon定理，将权为 $\aleph_1$ 的Dugundji紧空间 $K$ 表示为具有开映射的可数度量紧空间 $K_\alpha$ 的连续逆极限。
• 利用度量紧空间之间开满射上存在正规平均算子的性质，构造 $C(K_{\alpha+1})$ 到 $C(K_\alpha)$ 上的范数为1的投影。
• 通过超限归纳法，在 $C(K)$ 上构造一个投影解析恒等系 $\{P_\alpha\}_{\alpha<\omega_1}$，并利用投影的正规性保证其构造的合理性。
• 应用对偶性：由于每个 $P_\alpha$ 是正规的，其共轭算子 $P_\alpha^*$ 在 $P(K)$ 上诱导出一个收缩映射，根据已知准则，这表明 $P(K)$ 是Valdivia紧空间。
• 利用正规算子在复合与逐点极限下封闭的性质，确保投影解析恒等系的定义良好且所有投影的范数均为1。

实验结果

研究问题

• RQ1 每个权为 $\aleph_1$ 的Dugundji紧空间 $K$ 是否都使得 $C(K)$ 成为1-Plichko空间？
• RQ2 当 $K$ 不属于类 $\mathcal{R}$ 时，$P(K)$ 是否仍可以是Valdivia紧空间？
• RQ3 是否存在一个Dugundji紧空间 $K$，使得 $C(K)$ 是1-Plichko空间但 $K$ 不是Valdivia紧空间？
• RQ4 若在映射 $p^{\alpha+1}_\alpha$ 上存在正规平均算子，是否意味着 $C(K_\alpha)$ 在 $C(K_{\alpha+1})$ 中是1-补子空间？
• RQ5 1-Plichko空间类是否在补子空间下稳定？Valdivia紧空间类是否在收缩映射下稳定？

主要发现

• 对于任意权为 $\aleph_1$ 的Dugundji紧空间 $K$，其空间 $C(K)$ 是1-Plichko空间，即存在由范数为1的投影构成的恒等投影解析。
• 此类 $K$ 上的概率测度空间 $P(K)$ 是Valdivia紧空间，其证明基于 $C(K)$ 上正规投影的对偶作用。
• 该论文提供了对Kalenda问题的反例：存在一个权为 $\aleph_1$ 的紧群 $K$，满足 $K \notin \mathcal{R}$，但 $P(K)$ 是Valdivia紧空间且 $C(K)$ 是1-Plichko空间。
• 该构造依赖于度量紧空间之间开满射上存在正规平均算子，这些算子在 $C(K)$ 上诱导出范数为1的投影。
• 当权为 $\aleph_2$ 时，该结果不成立，反例为 $K = \omega_2 + 1$，此时 $C(K)$ 不是Plichko空间。
• 该证明可推广至任意具有范数为1平均算子的度量紧空间逆极限，而不要求该算子是正规的。