关于Serre《树》中从代表树构造商图（定理4证明，第27页）的构造等价性疑问

嘿，我完全懂你的困惑——Serre在《树》里的这个构造初看确实有点绕，咱一步步拆解为什么把每个$gT$收缩成一个顶点得到的就是$X/G$：

首先先明确两个构造的核心定义，避免混淆：

• 标准的$X/G$：把$X$中所有在$G$作用下属于同一轨道的顶点、边都粘合在一起，最终的顶点是原顶点的轨道类$[v]$，边是原边的轨道类$[e]$。
• 收缩$gT$的构造：这里的$T$是Serre定义的代表树（也叫基本域树），它满足两个关键性质：$X = \bigcup_{g\in G} gT$（$G$平移$T$能覆盖整个$X$），且对任意$g\neq h$，$gT$和$hT$的交集要么是空集，要么是一个顶点（不同平移后的树只在顶点处相交）。

接下来从顶点和边两个层面验证等价性：

1. 顶点集合的一一对应 #

对于收缩构造得到的图$Y$，每个顶点对应一个$gT$的收缩点。现在看这个收缩点和$X/G$的顶点的关系：

• 因为$T$是代表树，$T$中的每个顶点$u$恰好是其所在$G$-轨道的唯一代表（也就是说，每个轨道$Gu = {gu \mid g\in G}$里，只有$u$属于$T$）。
• 每个$gT$里的顶点都是$gu$（$u\in T$），它们的轨道都是$Gu$，对应$X/G$里的顶点$[u]$。
• 反过来，$X/G$里的每个顶点$[u]$，正好对应所有$gT$中包含$gu$的那个收缩点——两者是完全一一对应的。

2. 边集合的一一对应 #

再看边的情况：

• 在收缩构造的图$Y$中，两个收缩点（对应$gT$和$hT$）之间有边，当且仅当原树$X$中存在一条边，一端在$gT$里，另一端在$hT$里（因为只有这样的边在收缩后不会被缩成点，会保留为$Y$的边）。
• 在标准商$X/G$中，对应的两个顶点$[gu]$和$[hv]$（$u,v\in T$）之间有边，当且仅当原树$X$中存在一条边连接$gu'$和$hv'$（$u',v'\in T$）——这和上面收缩构造中边的存在条件完全一致。
• 而且这些边的轨道对应也是唯一的，不会出现重复或遗漏。

举个简单例子帮你理解 #

比如取$X$为无限整数直线（顶点是$\mathbb{Z}$，边连接相邻整数），$G$是整数加法群的子群$2\mathbb{Z}$，作用是平移2个单位。取代表树$T$为顶点${0}$和边$(0,1)$，那么$gT$就是${2k}$和边$(2k,2k+1)$（$k\in\mathbb{Z}$）。把每个$gT$收缩成一个点后，得到的是两个顶点，中间连一条边——这正好就是$X/G$，因为原树中偶数顶点构成一个轨道，奇数顶点构成另一个轨道，商图就是两个顶点连一条边。

总结一下：这两个构造等价的核心是，代表树的平移$gT$正好是$X$的一个“轨道划分”——每个$gT$包含且仅包含每个轨道的一个代表的平移，收缩这些区域到单点，就和直接按轨道粘合的效果完全一样。

备注：内容来源于stack exchange，提问作者Integer Indexed