連続dcpoでScott位相とIsbell位相が一致する条件を拡張
Scott--Isbell Coincidence for Continuous Dcpos beyond Bicompleteness
この論文をやさしく読む
ひとことで言うと
関数空間に入る二種類の位相が一致する条件について、従来必要とされた双完備性の仮定を外した数学的結果。
何に役立つ？
考えられる用途は、順序理論や位相空間論で関数空間の位相を比較する定理を、より広い連続dcpoに適用すること。
この研究の面白いところ
対象の空間Xの種類ごとに異なる三つの分類を、同じく双完備性なしへ拡張した。
どこまで分かった？
抽象的な位相と順序についての証明。要旨に具体的な計算応用や実験は記されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
LawsonとMisloveは1990年、「Open Problems in Topology」の問題535として、次を問うた。コアコンパクト空間Xと、Scott位相を備えた有向完備半順序集合（dcpo）Pについて、関数空間C(X,P)上のIsbell位相とScott位相が一致するのは、Pがどのような条件を満たす場合か。これまで、空でない双完備な連続dcpo Pについて、すべてのコアコンパクト空間Xで両位相が一致する必要十分条件はPの有界完備性、すべてのコンパクトなコアコンパクト空間Xについては条件付き有界完備性、すべてのRW空間XについてはPが底元を持つ連続L領域であること、と証明されていた。本研究は、Jia、Jung、Liの禁制レトラクト定理と、下方整列鎖のべき、および適切なAlexandrov試験空間についての分離定理を組み合わせ、これら三つの分類すべてから双完備性の仮定を取り除く。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Lawson and Mislove posed the following problem in 1990 as Problem~535 in \emph{Open Problems in Topology}: for a core-compact space \(X\) and a dcpo \(P\) equipped with its Scott topology, under what conditions on \(P\) do the Isbell and Scott topologies on \(C(X,P)\) agree?It was proved that, for a nonempty bicomplete continuous dcpo \(P\), the Isbell and Scott topologies on \(C(X,P)\) coincide for every core-compact space \(X\) if and only if \(P\) is bounded complete; for every compact core-compact space \(X\) if and only if \(P\) is conditionally bounded complete; and for every RW-space \(X\) if and only if \(P\) is a pointed continuous \(L\)-domain.We remove the bicompleteness assumption from all three classifications by combining the forbidden-retract theorem of Jia, Jung and Li with a separation theorem for powers of downward well-ordered chains and suitable Alexandrov test spaces.
arXiv ID: 2609.28123 ／ 要約の誤りについて