有向集与网：从索引到收敛

形式陈述

有向集先规定“阶段怎样向后推进”。它由非空集合 $A$ 与自反、传递关系 $\preceq$ 组成，并满足

\forall \alpha,\beta\in A\quad \exists \gamma\in A\quad \alpha\preceq\gamma\ \land\ \beta\preceq\gamma.

共同后继条件意味着，分别满足两批有限要求的阶段总能继续合并。反复使用这一条件，任意有限多个索引也有共同后继。这里不要求任意两项可比，也不要求反对称；有向性关心的是进展能否兼容，而不是阶段能否排成一条线。

在这个索引结构上，取值于集合 $X$ 的网是函数

x:A\to X,\qquad \alpha\longmapsto x_\alpha.

因此，有向集是进度的类型，网是在每个进度上给出的对象。自然数按通常次序构成有向集，所以序列是网的特例；一般的网则可以使用不可数、分叉或由有限约束组成的索引。

固定 $\alpha_0\in A$ 后，尾部

A_{\succeq\alpha_0} =\{\alpha\in A:\alpha_0\preceq\alpha\}

包含所有已经越过 $\alpha_0$ 的阶段。性质“最终成立”意为它在某个尾部上处处成立。网的收敛、共尾映射和子网都围绕这些尾部定义，而不是围绕索引的名字或书写顺序定义。

直觉

序列像一条单线程时间轴：第 $0,1,2,\ldots$ 步依次推进。网更像一个不断扩充的任务清单。某个阶段已经处理坐标集合 $F$ ，另一个阶段处理 $G$ ；有向性只要求存在更后的阶段同时处理 $F\cup G$ 。它允许两条进展暂时不可比较，却保证有限要求最终能够汇合。

这一区分解释了为什么“有向集”和“网”不能完全合并。有向集本身已经可以用于域论、滤过对象和有限信息系统；只有再给每个索引指定一个点，才得到可讨论收敛的网。类似地，自然数是索引，数列才是取值函数。把两层写成一个对象，会让索引结构的用途被拓扑语境遮住。

网真正保留的是尾部行为。只要重新编号不遗漏任何尾部，逼近过程便没有改变；若重新编号不断回到早期阶段，即使挑出了无穷多项，也可能破坏原来的极限。这正是子网要求共尾性的原因。

例子与边界

给定集合 $I$ ，所有有限子集组成的族 $\mathcal P_{\mathrm{fin}}(I)$ 按包含关系有向，因为 $F\cup G$ 是 $F,G$ 的共同后继。若 $x_F$ 表示“已经处理完 $F$ 中全部坐标”的近似，那么随着 $F$ 扩大，每个固定坐标最终都会被纳入。 $I$ 不可数时，这种同时照顾任意有限坐标的进度通常无法由一条可数序列完整编码。

在拓扑空间中，点 $x$ 的邻域族可按反向包含定向：

U\preceq V \quad\Longleftrightarrow\quad V\subseteq U.

更小的邻域代表更精细、更晚的要求。若从每个邻域 $U$ 中选择一点 $x_U$ ，便得到逐步逼近 $x$ 的网。这里次序方向不可省略；改用普通包含后，“越来越晚”会变成“邻域越来越大”，收敛含义随之反转。

有向不等于全序。 $\{i\}$ 与 $\{j\}$ 在有限子集格中可能不可比，却有共同后继 $\{i,j\}$ 。反过来，两个永远无法汇合的分支不是有向集。还要区分“用有向集索引一个网”与“偏序内部的有向子集”：DCPO研究后者的上确界，并不需要额外的取值函数。

子网也不是任意删去一些项。自然数序列的子序列使用严格递增索引，因此自动不断进入原序列的尾部；一般网的子网必须以相应的共尾条件保证同一点。否则，反复挑选早期索引可以制造一个与原网无关的假极限。

推论与应用

在一般拓扑收敛中，网收敛到 $x$ 当且仅当它最终进入 $x$ 的每个邻域。由此可以刻画闭包与连续性： $x\in\overline E$ 当且仅当存在取值于 $E$ 的网收敛到 $x$ ；映射连续当且仅当它保持所有收敛网。序列在第一可数空间中往往已经足够，但在任意拓扑空间中只看序列会漏掉闭包点和紧致性现象。

滤子与网表达同一套“最终”思想。网的尾部生成滤子，滤子也能通过选择合适的索引构造网；二者在紧致性、积空间和收敛理论中可以相互转换。转换并非简单枚举，而要保留共尾关系。

这幅整体图景可沿两条路径继续：拓扑路径从网进入收敛、闭包与紧性；序论路径从有向集进入 DCPO、Scott 连续性与不动点。两条路径共享“有限要求能够汇合”的骨架，但一条研究点最终落入哪些邻域，另一条研究相容信息是否拥有上确界。

参考资料

John L. Kelley, General Topology, Springer, 1955, Chapter 2.
Stephen Willard, General Topology, Dover, 2004, Chapter 4.
James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000, supplementary discussion of nets.
G. Gierz et al., Continuous Lattices and Domains, Cambridge University Press, 2003, Chapter I.

形式陈述 ​

形式陈述