[論文レビュー] How many operators do there exist on a Banach space?

Th. Schlumprecht|ArXiv.org|Aug 7, 2002

Advanced Banach Space Theory参考文献 15被引用数 5

ひとこと要約

この論文は、無限次元バナッハ空間上の非コンパクトでスカラーでない有界線形作用素の存在を調査しており、特に、互いに一様に分離された項を持つ正規化された基本列の2つが、それらの閉線形包の間で有界線形作用素を生成できるかどうかに焦点を当てる。主な結果は、バナッハ空間に特定の構造的仮定が成り立つ場合、このような作用素が存在し、かつ厳密に特異的であることを示しており、作用素空間がコンパクト作用素やスカラー摂動を超えてどれほど豊かであるかという、バナッハ空間論における長年の未解決問題に対して肯定的な答えを与える。

ABSTRACT

We present partial results to the following question: Does every infinite dimensional Banach space have an infinite dimensional subspace on which one can define an operator which is not a compact perturbation of a scalar multiplication?

研究の動機と目的

• すべての無限次元バナッハ空間が、λId + コンパクト作用素の形でない有界線形作用素をもつかどうかを特定すること。
• スカラー＋コンパクト作用素の形でない非自明な作用素が、バナッハ空間の部分空間上に構成可能かどうかを調査すること。
• このような作用素が構成可能となる構造的条件、特にブロック基底同値性の性質が成り立たない空間において、特に分析すること。
• 超限的構成とブロック列の解析を用いて、厳密に特異的で非コンパクトな作用素の存在を確立すること。

提案手法

• 作用素のノルムを制御するため、(Gα)α<ω₁ と表される、有限集合の超限族を用いる。
• 特定の部分空間からの列の「分離度」を測る関数 a(·, αk) を適用し、構成を導く。
• 制御された大きさの摂動 y(j) を逐次的に加える再帰的手続きにより、半正規化され、弱い意味でゼロに収束する列 x̄ を構成する。
• Lemma 6.4 と Lemma 6.11 を用いて、構成された列が c₀ 型ノルムに関する下界と上界推定を満たすことを保証する。
• Lemma 6.13 を適用し、xₙ ↦ yₙ で定義される作用素が、ヘレディタリに c₀ 空間を通じて因数分解可能であることを示し、したがって厳密に特異的であることを示す。
• 上界推定 (71) と下界推定 (77) を組み合わせることで、写像が有界線形作用素に拡張可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての無限次元バナッハ空間は、恒等作用素のスカラー倍＋コンパクト作用素の形でない有界線形作用素をもつのか？
• RQ2 バナッハ空間の部分空間上に、λIn + コンパクト作用素の形でない非自明な作用素を構成可能か？
• RQ3 バナッハ空間にどのような構造的条件（例えば、ブロック基底同値性の欠如）が成り立つと、厳密に特異的で非コンパクトな作用素を構成可能か？
• RQ4 liminf‖xn − yn‖ > 0 を満たす2つの正規化された基本列 (xn) と (yn) の線形包の間で、有界線形作用素を定義可能か？
• RQ5 環境空間が c₀ を含まない場合、このような作用素が厳密に特異的であることを示せるか？

主な発見

• liminf‖xn − yn‖ > 0 を満たす2つの正規化された基本列 (xn) と (yn) の線形包の間で、有界線形作用素 T が存在する。
• 構成された作用素 T は、コンパクトでもなく、恒等作用素のスカラー倍でもないが、厳密に特異的である。
• 作用素はヘレディタリに c₀ 空間を通じて因数分解可能であり、環境空間が c₀ を含まない場合、その厳密特異性が保証される。
• この構成は、超限族 (Gα)α<ω₁ と関数 a(·, αk) を用いて、ブロック列のノルム推定を制御することに依存する。
• 下界推定 (77) により、作用素が特定の有限台付き列上で有界下界を持つことが保証され、上界推定 (71) により有界性が保証される。
• 最終的な対角列 x̄ は a( x̄, αk) ≥ (1/2)c³ᵏ を満たし、これは作用素の有界性を確立するために不可欠である。