[论文解读] Remarks on Gurarii spaces

Joanna Garbulińska, Kubi\'s, Wies{\l}aw|arXiv (Cornell University)|Nov 24, 2011

Advanced Banach Space Theory被引用 4

一句话总结

本文研究了Gurariï空间及其非可分与强型变体，通过可分子空间的骨架刻画非可分Gurariï空间，并构造了一个具有投影化恒等分解的非可分Gurariï空间。证明了不存在强Gurariï空间是弱Lindelöf确定的，并表明通过推送构造生成的Gurariï空间中，c₀的每个副本都是可补的。

ABSTRACT

We present selected known results and some of their improvements, involving Gurarii spaces. A Banach space is Gurarii if it has certain natural extension property for almost isometric embeddings of finite-dimensional spaces. Deleting the word "almost", we get the notion of a strong Gurarii space. There exists a unique (up to isometry) separable Gurarii space, however strong Gurarii spaces cannot be separable. The structure of the class of non-separable Gurarii spaces seems to be not very well understood. We discuss some of their properties and state some open questions. In particular, we characterize non-separable Gurarii spaces in terms of skeletons of separable subspaces, we construct a non-separable Gurarii space with a projectional resolution of the identity and we show that no strong Gurarii space can be weakly Lindel\"of determined.

研究动机与目标

• 本文旨在澄清非可分Gurariï空间的结构及其与可分子空间的关系。
• 研究强Gurariï空间的存在性与性质，特别是其与弱Lindelöf确定结构的不相容性。
• 作者试图理解c₀在Gurariï空间中的作用及其在推送构造下的可补性质。
• 探讨严格严格化重范数化与一致同构性对普遍位置空间的影响。
• 本文解决了一些关于普遍位置、同构性以及具有融合性质的非欧几里得有限维空间类存在的开放问题。

提出的方法

• 作者使用推送构造作为关键技术，从有限维Banach空间生成Gurariï空间。
• 通过可分子空间的骨架对非可分Gurariï空间进行刻画，提供了一项结构性准则。
• 投影化恒等分解（PRI）的证明依赖于构造一个具有相容投影的可分子空间的超限序列。
• 通过[1]中的论证，确立了在推送构造空间中c₀的可补性，表明此类空间包含1-可补的c₀副本。
• 论文应用力迫与绝对性论证，证明任何关于可分空间的普遍位置空间都不能允许严格严格化重范数化。
• 采用Fraïssé-Jónsson极限与普遍位置理论，将Gurariï性质推广至更大的Banach空间类。

实验结果

研究问题

• RQ1 能否构造一个具有投影化恒等分解的非可分Gurariï空间？
• RQ2 强Gurariï空间是否可能是弱Lindelöf确定的？
• RQ3 当通过推送迭代构造时，每个Gurariï空间是否都包含c₀的可补副本？
• RQ4 一个关于可分空间的普遍位置Banach空间能否允许严格严格化重范数化？
• RQ5 是否存在一个有限维Banach空间类K，具有融合性质，不在Banach-Mazur空间中稠密，且不全由欧几里得空间构成，从而生成一个非希尔伯特空间、近乎同构的空间？

主要发现

• 存在一个具有投影化恒等分解的非可分Gurariï空间，表明此类空间可以具有丰富的几何结构。
• 不存在强Gurariï空间是弱Lindelöf确定的，表明存在根本性的结构限制。
• 在通过推送迭代构造的Gurariï空间中，c₀的每个副本都是可补的，这一性质与密度无关。
• 非可分Gurariï空间的类可通过存在满足特定扩展性质的可分子空间骨架来刻画。
• 存在可分Gurariï空间允许严格严格化重范数化，表明此类几何性质并非被排除。
• 本文证明，关于可分空间的普遍位置空间不能允许严格严格化重范数化，通过力迫与绝对性论证确立了该结论为独立于集合论假设的定理。