可算な順序構造でスコット位相の積とソーバー性を調べる
Scott topologies on meet-continuous domains
この論文をやさしく読む
ひとことで言うと
順序関係から作るスコット位相について、先に複数の構造を組み合わせても、先に位相を作ってから組み合わせても同じになる条件を調べる数学の研究です。空間を点で適切に捉えられるかに関係するソーバー性も扱います。
何に役立つ？
順序理論と位相の対応を使う領域理論で、積や閉集合を扱う際の条件を明確にする助けになります。無条件の一般化ではなく、どの追加仮定が結論を支えるかを整理しています。
この研究の面白いところ
無限個の因子の積について、最小元を持たない因子が有限個であることを必要十分条件として与えます。ソーバー性を共通上界の切片の閉性で表し、可算の場合は列による記述にも結び付けます。
どこまで分かった？
積の一致やソーバー性には、L-dcpo、有界完備性、共通上界条件など、それぞれ明示された前提があります。一般の可算な交わり連続領域での有限積とソーバー性は、要旨が明確に未解決として残しています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究では、可算な交わり連続領域におけるスコット積とソーバー性を調べる。ここでいう領域は、追加の連続性や最小元の存在を仮定しない、交わり連続な有向完備半順序集合（dcpo）を意味する。XuとJiの完備束テスト族定理を用いて、L-dcpoである領域、およびそれより弱い条件である、主イデアルがすべての非空部分集合の上限を持つ領域について、有限積の一致を証明する。 非空で可算な交わり連続L-dcpoの任意の族について、順序積上のスコット位相が各因子のスコット位相の積に等しいことと、最小元を持たない因子が有限個しかないことが同値であると証明する。また、有界完備性の下、および共通上界についての追加条件の下で、ソーバー性を示す。 自己との積で位相が一致することを仮定すると、ソーバー性は、既約なスコット閉集合に付随する共通上界切片がスコット閉であることによって特徴付けられる。可算の場合には、これと同値な列による定式化も得られる。二つの抽出補題は、交わり半束であるdcpoへ拡張できる。一般の可算な交わり連続領域についての有限積とソーバー性の問題は、本研究では未解決のままである。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study Scott products and sobriety of countable meet-continuous domains, meaning meet-continuous dcpos without any additional continuity or least-element assumption. Using the complete-lattice test-family theorem of Xu and Ji, we prove finite-product equality for those domains that are $L$-dcpos, and for the weaker class whose principal ideals have suprema of all nonempty subsets. For an arbitrary family of nonempty countable meet-continuous $L$-dcpos, we prove that the Scott topology on the order product equals the product of the factor Scott topologies if and only if only finitely many factors lack a least element. We also establish sobriety under bounded completeness and under additional common-upper-bound conditions. Assuming square-product equality, sobriety is characterized by Scott closedness of common-upper-bound sections associated with irreducible Scott-closed sets, with an equivalent sequential formulation in the countable case. Two extraction lemmas extend to meet-semilattice dcpos. The finite-product and sobriety questions for general countable meet-continuous domains remain unresolved here.
著者のコメント
12 pages, 1 figure
arXiv ID: 2609.21274 ／ 要約の誤りについて