[论文解读] On Properties of Nests: Some Answers and Questions

Kyriakos Papadopoulos|arXiv (Cornell University)|Oct 18, 2017

Advanced Algebra and Logic参考文献 4被引用 5

一句话总结

本文研究了序理论结构（特别是嵌套族与交错族）与拓扑性质之间的相互作用，尤其关注序可化性与拓扑群的关系。通过亚历山德罗夫拓扑和下集刻画交错嵌套族，将嵌套族与有界集及群运算联系起来，并提出了若干关于通过嵌套族性质刻画拓扑群的开放问题。

ABSTRACT

By considering nests on a given space, we explore order-theoretical and topological properties that are closely related to the structure of a nest. In particular, we see how subbases given by two dual nests can be an indicator of how close or far are the properties of the space from the structure of a linearly ordered space. Having in mind that the term interlocking nest is a key tool to a general solution of the orderability problem, we give a characterization of interlocking nest via closed sets in the Alexandroff topology and via lower sets, respectively. We also characterize bounded subsets of a given set in terms of nests and, finally, we explore the possibility of characterizing topological groups via properties of nests. All sections are followed by a number of open questions, which may give new directions to the orderability problem.

研究动机与目标

• 探讨嵌套族（特别是 $T_0$-分离与 $T_1$-分离嵌套族）如何反映空间中的序理论与拓扑结构。
• 通过亚历山德罗夫拓扑中的闭集与下集刻画交错嵌套族，推进序可化问题的一般解法。
• 研究嵌套族在刻画有界子集及拓扑群结构中的作用。
• 提出若干开放问题，以指导未来通过序理论工具研究序可化问题与群拓扑的研究。

提出的方法

• 使用嵌套族（即一族全序子集）的概念，通过 $x \triangleleft_{\mathcal{L}} y$ 当且仅当存在 $L \in \mathcal{L}$ 使得 $x \in L$ 且 $y \notin L$，在集合上诱导出偏序关系。
• 应用亚历山德罗夫拓扑，通过闭集与下集刻画交错嵌套族，建立拓扑与序理论之间的联系。
• 引入交错族 $\mathcal{S}$ 的概念，满足 $T = \bigcap\{S : T \subset S, S \in \mathcal{S} \setminus \{T\}\}$ 与 $T = \bigcup\{S : S \subset T, S \in \mathcal{S} \setminus \{T\}\}$。
• 通过 $x \triangleleft_{\mathcal{S}} y$ 当且仅当存在 $S \in \mathcal{S}$ 使得 $x \in S$ 且 $y \notin S$，定义由族 $\mathcal{S}$ 生成的序关系，并研究其性质。
• 通过构造左族 $\mathcal{L}$ 与右族 $\mathcal{R}$ 满足 $L^{-1} \in \mathcal{R}$ 且 $R^{-1} \in \mathcal{L}$，构建群的拓扑，确保逆运算与乘法的连续性。
• 使用原像论证证明群运算的连续性：对于乘法 $f(x,y) = x*y$，有 $f^{-1}(L) = \bigcup_{x*y \in L} [\pi_1^{-1}(L_x) \cap \pi_2^{-1}(L_y)]$。

实验结果

研究问题

• RQ1 如何通过亚历山德罗夫拓扑与下集刻画交错嵌套族？
• RQ2 能否通过嵌套族刻画集合的有界子集？
• RQ3 何种嵌套族条件可确保群运算在诱导拓扑下连续？
• RQ4 能否通过嵌套族及其对偶的性质完全刻画拓扑群的结构？
• RQ5 何种最小的序理论条件可使一族集合诱导出与给定群拓扑等价的拓扑？

主要发现

• 交错嵌套族 $\mathcal{S}$ 满足 $T = \bigcap\{S : T \subset S, S \in \mathcal{S} \setminus \{T\}\}$ 与 $T = \bigcup\{S : S \subset T, S \in \mathcal{S} \setminus \{T\}\}$，为序可化问题的一般解法提供了结构准则。
• 偏序集上的亚历山德罗夫拓扑允许通过闭集刻画交错嵌套族：当且仅当集合 $T$ 是下集且满足交错条件时，$T$ 在亚历山德罗夫拓扑中为闭集。
• 嵌套族 $\mathcal{L}$ 是 $T_0$-分离的，当且仅当诱导的序 $\triangleleft_{\mathcal{L}}$ 是线性的，从而将分离公理与序结构联系起来。
• 对于群 $G$，若 $\mathcal{L}$ 与 $\mathcal{R}$ 是对偶族且满足 $L^{-1} \in \mathcal{R}$ 与 $R^{-1} \in \mathcal{L}$，则在 $\mathcal{L} \cup \mathcal{R}$ 生成的拓扑中，逆映射 $f(x) = x^{-1}$ 是连续的。
• 若 $\mathcal{L}$ 满足局部条件：$x*y \in L \Rightarrow \exists L_x, L_y \in \mathcal{L}$ 使得 $x \in L_x$，$y \in L_y$，且 $L_x * L_y \subset L$，则在 $\mathcal{L} \cup \mathcal{R}$ 生成的拓扑中，乘法是连续的。
• 乘法的原像满足 $f^{-1}(L) = \bigcup_{x*y \in L} [\pi_1^{-1}(L_x) \cap \pi_2^{-1}(L_y)]$，从而在乘积拓扑中证明了群运算的连续性。