[论文解读] 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 作为 adFrm 的范畴，并证明它是从 PreTop 通过 O^{ad} 与 pt^{ad} 的对偶框架的目标。
• 证明 O^{ad} 将通常的 O 函子扩展为与 pt^{ad} 的伴随关系，形成 O^{ad} dashv pt^{ad}。
• 给出对每个前序空间 X 的 canonical 构造 O^{ad}X，验证其构成一个有效的 ad-框架。
• 确立每个 ad-框架通过 pt^{ad} 产生一个前序拓扑空间，并在对立方向上给出相应的函子构造。

实验结果

研究问题

• RQ1 如何在不限制紧致性或特定子范畴的条件下对前序拓扑空间进行对偶化？
• RQ2 为了同时捕捉拓扑与序，合适的框架/本地化的富化应为何种形式？
• RQ3 是否能够表述并证明 PreTop 与一个 suitably enriched frame-like 结构（ad-frames）之间的伴随关系，从而推广 Stone 对偶性？
• RQ4 在对偶范畴中，开集、序、以及相互作用律（tot、con、sup、sub）如何转化为态射与点？

主要发现

• 引入 ad-框架，将框架与完全分配格成对结合，并设置交互关系 tot、con、sup、sub 的结构。
• 定义 PreTop 与 adFrm 之间的伴随 O^{ad} dashv pt^{ad}，以在有序背景下映射 Stone 对偶性。
• 表明对任意前序空间 X，经典构造 O^{ad}X 能产出一个有效的 ad-框架，ad-框架的 pt^{ad} 也是一个前序拓扑空间。
• 证明 O^{ad} dashv pt^{ad} 伴随的幂等性，与传统对偶性对齐，并允许类似 sobrification 的构造（ad-sobrification）。
• 演示对偶性提升了先前普通拓扑空间与局部化结构之间的伴随关系，使之能够处理包含序的情形而不依赖点的约束。