[論文レビュー] On the undefinability of Tsirelson's space and its descendants

Peter G. Casazza, José Iovino|arXiv (Cornell University)|Dec 6, 2018

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

ひとこと要約

この論文は、ツィレルソン空間が $√l_p$ や $c_0$ のような古典的バナッハ数列空間から明示的に構成できないことを確立している。さらに、$√l_p$ や $c_0$ を含むクラスから明示的に定義可能な任意のバナッハ空間は、自身が $√l_p$ や $c_0$ を含まなければならないことを示しており、非古典的バナッハ空間を古典的空間から定義する際の根本的な論理的障壁を示している。

ABSTRACT

We prove that Tsirelson's space cannot be defined explicitly from the classical Banach sequence spaces. We also prove that any Banach space that is explicitly definable from a class of spaces that contain $\ell_p$ or $c_0$ must contain $\ell_p$ or $c_0$ as well.

研究の動機と目的

• ツィレルソン空間が $√l_p$ や $c_0$ のような古典的バナッハ数列空間から明示的に構成可能かどうかを調査すること。
• 既知の古典的クラスからバナッハ空間を構築する際の論理的および定義的制約を特定すること。
• 明示的定義可能性と $√l_p$ や $c_0$ の存在との間の一般的原則を確立すること。

提案手法

• バナッハ空間論の枠組み内でモデル理論的および定義可能性の議論を用いる。
• 与えられたバナッハ空間のクラスからの明示的構成の論理的構造を分析する。
• $√l_p$ や $c_0$ を含むバナッハ空間のクラスの性質を用いて、明示的定義可能性に関しての閉包性を導出する。
• ある空間がこのようなクラスから明示的に定義可能であるならば、$√l_p$ や $c_0$ を含むことになることを確立する。
• これらの結果をツィレルソン空間に適用し、それが古典的数列空間から定義不能であることを示す。
• ツィレルソン空間が $√l_p$ や $c_0$ のいかなる同型写像の像も含まないという事実を活用し、明示的定義可能性のための必要条件を満たさないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ツィレルソン空間は、古典的バナッハ数列空間 $√l_p$ や $c_0$ から明示的に定義可能か？
• RQ2 既知のクラスから明示的定義によってバナッハ空間を構築する際の論理的制約は何か？
• RQ3 $√l_p$ や $c_0$ を含むクラスから明示的定義可能であることは、結果として得られる空間が $√l_p$ や $c_0$ を含むことを必然的に意味するか？
• RQ4 定義可能性の観点から、古典的空間と非古典的空間の間には根本的な違いがあるか？
• RQ5 ツィレルソン空間に $√l_p$ や $c_0$ が存在しないことは、その定義的性質にどのような意味を持つのか？

主な発見

• ツィレルソン空間は、古典的バナッハ数列空間 $√l_p$ や $c_0$ から明示的に定義できない。
• $√l_p$ や $c_0$ を含むクラスから明示的に定義可能な任意のバナッハ空間は、自身が $√l_p$ や $c_0$ を部分空間として含む必要がある。
• この結果は、ツィレルソン型の空間を古典的数列空間のみを用いて構築する際の論理的障壁を確立している。
• 証明は、ツィレルソン空間が $√l_p$ や $c_0$ のいかなる同型写像の像も含まないという事実に依拠しており、これにより明示的定義可能性が阻害される。
• 本論文は一般原則を提示する：$√l_p$ や $c_0$ を含むクラスから明示的に定義可能であるならば、結果として得られる空間に $√l_p$ や $c_0$ が存在する必要がある。
• この結果は、古典的空間と非古典的空間の間における定義的複雑性の根本的差異を浮き彫りにしている。