[論文レビュー] On weak*-basic sequences in duals and biduals of spaces C(X) and Quojections

Jerzy Ka̧kol, Manuel Lopez-Pellicer+1 more|arXiv (Cornell University)|Jan 27, 2026

Advanced Banach Space Theory被引用数 0

ひとこと要約

論文は C_k(X×Y) および C_k(X) の双対空間および双対空間の弱*-基本列の存在を確立し、コジューション性（quojections）の双対空間にもそのような列が含まれることを示し、コンパクト場合には具体的な構成を示す。

ABSTRACT

We show that for infinite Tychonoff spaces X and Y the weak*-dual of Ck(X x Y) contains a basic sequence; moreover, the weak*-bidual of Ck(X) contains such a sequence as well. When X and Y are infinite compact spaces, we single out a concrete sequence (μn) of finitely supported signed measures on X x Y with quantitative small-rectangle estimates, and we prove that every subsequence of (μn) admits a further subsequence which is strongly normal and forms a weak*-basic sequence in the dual C(X x Y)* of the Banach space C(X x Y). We also study the weak*-basic sequence problem for Frechet locally convex spaces in the class of quojections, and prove that for every quojection E the bidual E** admits a weak*-basic sequence, while a long-standing open problem asks whether the dual of every infinite-dimensional Banach space admits a basic sequence in the weak*-topology. Several examples and open questions are included, in particular for spaces C(X) and for inductive limits of Frechet spaces.

研究の動機と目的

• 弱*-基本列を lcs 系の separable-quotient 問題に結びつけて研究の動機づけを行う。
• 無限的な Tychonoff 空間 X と Y に対して、C_k(X×Y) の弱*-双対空間が弱*-基本列を含むことを示す。
• 一般条件の下で C_k(X) の弱*-双対が弱*-基本列を含むことを示す。
• finitely supported の署名付き測度を用いたコンパクトケースでの定量的推定を含む具体的構成を提供する。
• quojections のクラスへ結果を拡張し、それらの双対空間が弱*-基本列を含むことを証明する。

提案手法

• quotients と弱*-基本列を結ぶ Śliwa–Wójtowicz 型の特徴付けを用いる。
• 定理 1 を適用して、R^N, c0, あるいは (c0)_p に同型な商とから弱*-基本列を導く。
• コンパクト場合には X×Y 上の有限支配の符号付き測度の具体的数列 (μ_n) を用い、小さな長方形の推定を用いた構成（Kałkol–Śliwa の構成）を採用する。
• 部分列を強く正規な列に洗練させ、既知の強く正規な列に関する結果（定理 9）を用いて弱*-基本部分列を抽出する。
• quojections を Banach 空間の厳密な逐次極限として扱い、それらの弱*-双対を通じて基本列を得る（命題 24 と定理 6）。
• 式が誘導極限と LF-space の意味で弱*-基本列の存在に関連する含意を論じる。

実験結果

リサーチクエスチョン

• RQ1 無限の Tychonoff 空間 X および Y に対して C_k(X×Y) の双対は弱*-基本列を含むか。
• RQ2 無限 X に対して C_k(X) の弱*-双対は弱*-基本列を含むか。
• RQ3 X の条件（筒状性、無限のディスクリート C*-埋め込み部分集合など）は C_k(X)^* が弱*-基本列を持つことにどう影響するか。
• RQ4 コンパクトの場合に明示的な測度列が強く正規な部分列を生み、それが C(X×Y)^* で弱*-基本となるか。
• RQ5 すべての quojections は双対を持ち、LF-space や誘導極限に対してどのような意味を持つか。

主な発見

• C_k(X×Y) の弱*-双対は X, Y が無限の Tychonoff 空間で弱*-基本列を含む。
• C_k(X) の弱*-双対は X が無限であれば弱*-基本列を含む。
• C_k(X) がバレルドである場合、その双対は弱*-基本列を持つ。
• X に無限の C*-埋め込み離散部分集合が含まれる場合、C_k(X) の双対は弱*-基本列を含む。
• コンパクトな X, Y の場合、X×Y 上の有限支配の符号付き測度の具体的列 μ_n は、任意の部分列が強く正規な部分列を持ち、それが C(X×Y)^* で弱*-基本となることを示す。