infinite · ray · end · 拓扑圈空间

无限图：射线、末端与拓扑圈空间

把顶点集放成无限，图论的直觉会在几处悄悄失效：无限图未必有生成树的有限刻画，「走到尽头」也不再是一个顶点而是一个方向。本页只画得出有限片段——用渐隐与 $\dots$ 暗示其向无穷延伸——并围绕一个核心概念组织：ray（射线）、它们的等价类 end（末端），以及把图连同 ends 一起紧化后得到的拓扑空间 |G|。先把「无穷远处有几个方向」数对，后面的推广才站得住。

ray（射线）= 一条单向无限路 $v_0 v_1 v_2 \dots$ （各顶点互异、依次相邻）。它是无限图里「一直走下去」的最朴素载体。一条射线去掉前有限段后剩下的部分叫它的 tail（尾）——谈「最终落在哪」时，看的总是尾。

end（末端）的定义： 两条 ray 属于同一个 end，当且仅当——对任意有限顶点集 S，删去 S 后两条 ray 的尾最终落在同一个连通分支里。这关系是等价关系，它的等价类就叫图的 end。直观上，一个 end 就是图在无穷远处的一个「方向」——无论你切掉多大（但有限）的一块，沿这个方向出发的射线都绕得过去、仍归到一处。上面的「删去高亮顶点集」按钮做的正是这件事：看两条 ray 被切开后还连不连得通。

样本的 end 数，逐个数清：

单向无限路 = 1 个 end：只有一个走法，删去任何有限段后剩下唯一一条无限尾。
双向无限路 = 2 个 ends：删掉中间一点就裂成左右两条互不相连的无限尾，「向左」与「向右」是两个方向。
Z² 网格 = 1 个 end：删去任意有限块，其外部仍是一整片连通区域——任何两条向无穷远去的射线都能绕过缺口会合，只有一个方向。
完全二叉树 = 连续统 (continuum) 多个 ends：每条从根向下的无限路对应一个无穷 0/1 选择序列，不同序列给出不同 end，故 ends 与 {0,1}^ℕ 一一对应，基数为 ${2^ℵ_0}$ 。

紧化与拓扑圈空间： 把图 G 连同它全部 ends 添到一起，赋予合适的拓扑，得到 Freudenthal 紧化 |G|——ends 成了 |G| 里的「无穷远点」，每条 ray 在对应 end 处有了极限。在 |G| 中，一条 circle（圈） 不再限于穿过有限顶点的回路，而是 |G| 里的同胚像 $S^1$ ：它可以经过 ends（例如双向无限路加上它的两个 ends 就闭合成一个拓扑圈）。由此把有限图的圈空间 (cycle space) 推广为 拓扑圈空间，使生成树、Euler 回路这类本来只对有限图成立的定理在恰当意义下重新成立（Diestel 等的无限图理论）。这里只勾勒结论，不展开拓扑细节。