[論文レビュー] Stone Duality for Preordered Topological Spaces

Jean Goubault-Larrecq|arXiv (Cornell University)|Jan 19, 2026

Fuzzy and Soft Set Theory被引用数 0

ひとこと要約

この論文は、ad-フレームと PreTop と adFrm の間の随伴を導入することにより、前順序付き位相空間のStone型双対性を拡張し、コンパクト性に依存せずに順序設定を取り扱えるような Stone 双対性を導入する。

ABSTRACT

A preordered topological space is a topological space with a preordering. We exhibit a Stone-like duality for preordered topological spaces, Inspired by a similar duality for bitopological spaces, due to Jung-Moshier and Jakl, and by a duality for preordered sets due to Bonsangue, Jacobs and Kok.

研究の動機と目的

• Stone 双対性を拡張した前順序付き位相空間の双対性を、コンパクト性や点を含む特定の部分圏に制限せずに正規化する。
• Alexandroff 空間、ビット位相双対性、順序ローカルの考えを統一的な随伴系に融合する。
• 点ベースの制約を避けた、点なし（ローカル型）の具体的実装を提供する。

提案手法

• ad-フレームを、全体性と整合性を捉える二つのフレームとそれらの相互作用を表す二つの関係を含む四重項として定義する。
• adFrm として ad-フレームのカテゴリを構成し、PreTop から O^{ad} と pt^{ad} による随伴関係の対象として示す。
• O^{ad} が通常の O 関数を随伴とする形に拡張され、pt^{ad} との O^{ad} dashv pt^{ad} を形成することを示す。
• 任意の前順序空間 X に対して O^{ad}X が有効な ad-フレームを構成する canonical なインスタンスを提供し、ad-フレームの pt^{ad} が前順序付き位相空間であることを検証する。
• すべての ad-フレームが pt^{ad} によって前順序付き位相空間を生み出すこと、そして反対方向にも対応する函手的構造が存在することを確立する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト性や特定の部分圏に制限せず、前順序付き位相空間をどのように dualize できるか？
• RQ2 トップロジーと順序の両方を同時に捉えるためのフレーム/ロケールの適切な濃縮は何か？
• RQ3 Stone 双対性を一般化する、適切に濃縮されたフレーム様構造（ad-フレーム）と PreTop の間に随伴を定式化・証明できるか？
• RQ4 開放性、順序、相互作用律（tot, con, sup, sub）が、双対カテゴリーの射と点へどう翻訳されるか？

主な発見

• ad-フレームを、完全分配格子と相互作用関係 tot, con, sup, sub を含む構造的なペアとして導入する。
• PreTop と adFrm 間の随伴 O^{ad} dashv pt^{ad} を定義し、stones 双対性を前順序設定に対応させている。
• 前順序空間 X に対する標準構成 O^{ad}X が有効な ad-フレームを与え、ad-フレームの pt^{ad} が前順序付き位相空間となることを示す。
• O^{ad} dashv pt^{ad} の冪等性を証明し、従来の双対性と整合する sobrification 的構成（ad-sobrification）を可能にする。
• この双対性は、古い随伴が点ベース制約なしで順序を扱えるよう、位相空間とロケール間の双対性を拡張していることを示す。