[論文レビュー] Tightness of Banach spaces and Baire category

Valentin Ferenczi, Gilles Godefroy|arXiv (Cornell University)|Nov 28, 2011

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

ひとこと要約

本稿は、基底をもつバナッハ空間のブロック部分空間のなすポーランド空間上で、線形同型および双埋め込み関係について、バナッハ・カテゴリの二分法を確立する。トポロジー的道具（0-1法則、残渣的集合の議論など）を用いて、これらの関係がいずれかが極小または余極小であることを示し、バナッハ空間理論における「タイトさ」と「最小性」を結びつける。主な貢献は、同型類がブロック部分空間空間において極めてまれか、一般に成立するかの構造的二分法を明らかにしたことである。

ABSTRACT

We prove several dichotomies on linear embeddings between Banach spaces. Given an arbitrary Banach space X with a basis, we show that the relations of isomorphism and bi-embedding are meager or co-meager on the Polish set of block-subspaces of X. We relate this result with tightness and minimality of Banach spaces. Examples and open questions are provided.

研究の動機と目的

• 基底をもつバナッハ空間のブロック部分空間上での同型および双埋め込み関係のバナッハ・カテゴリ的性質を調査すること。
• トポロジー的一般性（極小／余極小）とバナッハ空間における構造的性質（タイトさ、最小性）との関係を明確にすること。
• 特に非ヒルバート型の設定において、ブロック部分空間空間における同型類がまれ（極小）か、一般的（余極小）かを特定すること。
• これらの二分法が、部分空間上での同型関係の複雑性、特にエルゴード性および非同型な非可算族の存在に関連してどのような意味を持つのかを検討すること。

提案手法

• 著者たちは、バナッハ空間 $ X $ のブロック部分空間のなすポーランド空間 $ b(X) $ を分析する。この空間は、$ Q_0^\omega $ からの位相を引き継ぎ、$ Q_0 $ は正規化された有理数ベクトルの集合である。
• 彼らは、基本的な開集合上で推移的に作用するホメオモルフィズム群 $ G $ を用いて、Baire性を持つ $ G $-不変集合が極小または余極小であることを示すために、第一のトポロジー的 0-1 法則（補題 2.1）を適用する。
• 証明では、残渣的集合の特徴づけ（補題 2.3）を用い、区間 $ I_n $ と部分集合 $ a_n $ を用いて、無限に多くの $ I_n $ で $ a_n $ と一致する列が集合に属することを保証する。
• 重要な構成として、$ b(T^*) $ のブロック列を $ \omega $ の部分集合へ写像する $ \phi((z_n)) = \bigcup_n \min(\text{supp}\, z_n) $ が導入され、同型型を保存する。この写像により、$ 2^\omega $ からの極小性が $ b(T^*) $ へと移行可能となる。
• 著者たちは、$ b(T^*)^2 $ における同型関係 $ \text{Is} $ が極小であることを、$ 2^\omega $ からの極小集合を引き上げることで示す。連続性と Baire 性の逆像保存性を用いる。
• 彼らは、$ \text{Is} $ が極小であっても、双埋め込み関係 $ \text{Be} $ が余極小（場合によっては $ b(X)^2 $ に等しい）である可能性があることを示し、同型と双埋め込みがカテゴリの観点で異なる振る舞いを示す可能性があることを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 基底をもつバナッハ空間のブロック部分空間上での同型関係は、$ b(X) $ のポーランド位相において極小か余極小か？
• RQ2 双埋め込み関係 $ \text{Be} $ は同様の 0-1 法則を満たすか？ また、同型関係とカテゴリの観点でどのように関係するか？
• RQ3 バナッハ空間 $ X $ が最小的（すなわち、すべてのブロック部分空間に埋め込める）であるが、$ b(X) $ 上での同型関係が極小であることは可能か？
• RQ4 バナッハ空間のタイトさと、そのブロック部分空間空間における同型類のカテゴリの関係は何か？
• RQ5 同型関係 $ \text{Is} $ が $ b(X)^2 $ で極小であることは、非同型な部分空間の連続体が存在することを示唆するか？ また、これはエルゴード性を意味するか？

主な発見

• 任意の基底をもつバナッハ空間 $ X $ に対して、$ b(X)^2 $ 上での同型関係 $ \text{Is} $ は極小または余極小であり、同型に関するトポロジー的 0-1 法を確立する。
• 双埋め込み関係 $ \text{Be} $ が余極小であることは、埋め込み関係 $ \text{Emb} $ が余極小であることと同値であり、$ \text{Is} $ が極小であっても $ \text{Be} $ が余極小であることは可能である。
• ツィレルソンに類似した空間 $ T^* $ において、同型関係 $ \text{Is} $ は $ b(T^*)^2 $ で極小であるが、$ T^* $ はタイトで強力な $ E_0 $-反鎖をもつ。
• $ b(T^*) $ は、$ 2^\omega $ へと写像する連続的かつ同型型を保存する写像 $ \phi $ をもつ。また、$ \phi $ による $ \simeq $-類の逆像が極小であることから、$ b(T^*) $ 内のすべての $ \text{Is} $-類が極小であることがわかる。
• この結果により、$ \text{Is} $ が $ b(X)^2 $ で極小であることは、$ \text{Is} $ への $ E_0 $-還元が可能であることを意味し、$ X $ がエルゴード的であることを示し、非同型な部分空間の連続体が存在することを示唆する。
• 本稿では、$ \ell_p $（$ 2 < p < \infty $、$ p \neq 2 $）が $ SB(\ell_p)^2 $ 上で Borel 同型関係をもつかどうかは未解決のまま残されているが、著者らは否定的解答を予想している。