[論文レビュー] Estimates for covering numbers in Schauder's theorem about adjoints of compact operators

Michael Ćwikel, Eliahu Levy|ArXiv.org|Oct 23, 2008

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

ひとこと要約

本稿は、バナッハ空間間の有界線形作用素の随伴作用素の像における被覆数の新しい定量的推定を確立し、元の作用素の像またはその重要な部分集合の被覆数と関連付ける。主な貢献は、コンパクト作用素の随伴作用素に関するシュールダーの定理の最良可能な定量的バージョンであり、アゼラ＝アスcoliおよびシュールダーの定理を一般化した抽象的コンパクト性結果を経由して得られる。

ABSTRACT

Let T:X --> Y be a bounded linear map between Banach spaces X and Y. Let S:Y' --> X' be its adjoint. Let B(X) and B(Y') be the closed unit balls of X and Y' respectively. We obtain apparently new estimates for the covering numbers of the set S(B(Y')). These are expressed in terms of the covering numbers of T(B(X)), or, more generally, in terms of the covering numbers of a "significant" subset of T(B(X)). The latter more general estimates are best possible. These estimates follow from our new quantitative version of an abstract compactness result which generalizes classical theorems of Arzela-Ascoli and of Schauder. Analogous estimates also hold for the covering numbers of T(B(X)), in terms of the covering numbers of S(B(Y')) or in terms of a suitable "significant" subset of S(B(Y')).

研究の動機と目的

• バナッハ空間における作用素の随伴作用素の像の被覆数に対する定量的推定を提供すること。
• アゼラ＝アスcoliおよびシュールダーの古典的結果を、定量的制御を伴う統一された抽象的枠組みに一般化すること。
• 被覆数を作用素の像の重要な部分集合と関連付けることによって、最良の推定を確立すること。
• 作用素とその随伴作用素の被覆数の双対性を、次元に依存しない境界で拡張すること。

提案手法

• 著者らは、固定されたスライス上で一様有界性を満たす関数 h:A×B→ℂ を用いた一般化された半距離枠組みを導入する。
• 集合 A および B にそれぞれ、h の差の上界を用いて半距離 d_A および d_B を定義する。
• 被覆数 N_E(ρ) は、直径 ≤ρ である閉集合を用いて定義され、メトリックエントロピーを精密に制御可能となる。
• 重要なステップとして、(A,d_A) の全有界性が (B,d_B) の全有界性と同値であることを証明し、抽象的コンパクト性結果の核を形成する。
• この同値性をバナッハ空間作用素に適用し、T(ℬ_X) および T*(ℬ_Y*) の被覆数を双対性を介して関連付ける。
• 証明は、半ノルムの凸性および連続性を活用して被覆数の境界を導出し、線分上の区間被覆の議論で特に重要な役割を果たす。

実験結果

リサーチクエスチョン

• RQ1 作用素の像の被覆数を用いて、随伴作用素の像の被覆数を推定できるか？
• RQ2 作用素とその随伴作用素の被覆数を関連付ける最良の定量的境界は何か？
• RQ3 古典的シュールダーの定理（コンパクト作用素の随伴作用素に関するもの）を、明示的かつ最適な推定で強化できるか？
• RQ4 作用素の像の「重要な部分集合」のみを用いて被覆数を推定できるか？
• RQ5 空間の次元に明示的な依存を持たせずに、このような推定を導出できるか？

主な発見

• 本稿は、被覆数 N_{T^*(ℬ_{Y^*})}(ρ) が、N_{T(ℬ_X)}(ρ) および T(ℬ_X) の重要な部分集合の関数として上界で抑えられることを確立し、その境界が最良であることを示している。
• 任意の ε > 0 に対して、双対枠組みにおける集合 A の被覆数 N_A(ε) は、N_B(ε) ≤ C·N_B(ε) を満たす普遍定数 C が存在し、線分上の区間被覆による等号条件が導かれる。
• 定理4の推定では、A が絶対的凸であれば、N_A(ε) ≤ n·ε が成り立ち、n は有限 ε-ネットの被覆数である。これにより、集合の直径および構造を用いた被覆数の鋭い境界が得られる。
• 著者らは、特定の例において、すべての ρ < 1 に対して N_B(ρ) = ∞ であることを示し、境界がタイトであり、追加の仮定なしには改善できないことを示している。
• 同じ例において、N_B^Δ(ρ) = ∞ がすべての ρ < 1/2 に対して成り立つことを証明し、双対設定における被覆数推定の鋭さを確認している。
• 結果は次元に依存せず、エマニュエル・ミルマンによる最近の推定とは異なり、次元要因を含まない。