可分な無限次元商を持たない連続関数空間の構成
A consistent failure of separable quotients for pointwise function spaces
この論文をやさしく読む
ひとことで言うと
連続関数を集めた空間から、扱いやすい可分な無限次元の商空間を取り出せない例を、追加の集合論的仮定の下で作る研究です。
何に役立つ？
関数空間の商がいつ可分・距離化可能になるかを理解する基礎的成果です。存在しない例の構成と、二つの存在条件の同値性を示します。
この研究の面白いところ
コンパクトな距離化可能空間を段階的につないだ逆極限で、必要な性質を持つKを構成します。射影のファイバーを変え、測度列の極限を調整する点が要旨で説明されています。
どこまで分かった？
反例の構成はJensenのダイヤモンド原理を仮定しています。その仮定を外して同じ結論を証明したという結果ではありません。要旨は構成の概略を述べ、詳細な証明は含みません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Jensenのダイヤモンド原理を仮定し、C_p(K)が無限次元のハウスドルフ可分線形商を持たない、無限コンパクト零次元空間Kを構成する。Kは可分で孤立点を持たず、重みがℵ₁、濃度が2^ℵ₁であり、Efimov空間である。 Kは、可算順序数を添字とするコンパクト距離化可能空間の逆極限として構成する。非自明な各後続段階では、射影は選んだ閉集合の上で2点のファイバーを持ち、それ以外では1点のファイバーを持つ。この操作により、選択した有限台を持つ測度の列の弱スター極限が変化する。 さらに、コンパクトなXについて、C_p(X)に無限次元の可分商が存在することと、無限次元の距離化可能な商が存在することが同値であると証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Assuming Jensen's diamond principle, we construct an infinite compact zero-dimensional space $K$ such that $C_p(K)$ has no infinite-dimensional Hausdorff separable linear quotient. The space $K$ is separable and crowded, has weight $\aleph_1$ and cardinality $2^{\aleph_1}$, and is an Efimov space. We construct $K$ as an inverse limit of compact metrisable spaces indexed by the countable ordinals. At each nontrivial successor step, the projection has two-point fibres over a chosen closed set and singleton fibres elsewhere; this changes the weak-star limit of a selected sequence of finitely supported measures. We also prove that, for compact $X$, the existence of an infinite-dimensional separable quotient of $C_p(X)$ is equivalent to the existence of an infinite-dimensional metrisable quotient.
arXiv ID: 2609.19351 ／ 要約の誤りについて