环面

环面（torus）是与两个圆的乘积 $S^{1} \times S^{1}$ 同胚的拓扑曲面，通常记为 $T^{2}$ 。三维空间中常见的“甜甜圈表面”是它的一种几何实现。环面指二维表面；表面所围住的三维区域叫作实心环面，两者的维数、路径性质和所讨论的测量量不同。

环面同时连接几何与拓扑：几何问题关心某种具体模型中的长度、面积、曲率；拓扑问题关心连续变形下保持的整体结构。两个对象可以同胚，却不具有相同的距离或面积。因此，“环面长什么样”需要与“给环面配了什么几何结构”分开回答。

两个独立的周期：从角度到粘边

圆周上的位置可以用一个角度描述，角度增加一个整周后回到原点。若一个状态同时包含两个独立角度，那么把第一个角度加一个整周、把第二个角度加一个整周，都不会改变状态。这样的状态空间就是两个圆的乘积，而不是一个圆周：指定其中一个角度还不足以确定一个点。

把每个角度缩放到单位长度后，可把环面写为 $T^{2} = ℝ^{2} / ℤ^{2} .$ 这里的商符号表示等价关系： $(x, y)$ 与 $(x + m, y + n)$ 表示同一个点，其中 $m, n$ 是整数。它不是普通数值除法。选取单位正方形作为基本区域，就必须把左边与右边的对应点、下边与上边的对应点识别起来；四个角最后都代表同一个点。

正方形两对相对边分别使用同向箭头标识，说明按对应方向粘合得到环面 — 相对边上的箭头表示同名点的识别方向。粘边后，纸面上的边不是环面的边界。

先粘左右边可以想象成圆筒，再把圆筒两端粘起来得到环面。这个过程是帮助理解商空间的模型，不必要求一张真实纸在不拉伸的前提下完成最后一步。实物材料是否可无应变弯曲属于几何与力学问题，商空间的定义只规定哪些点被当作同一点以及哪些集合是开集。

在粘边后的任何点附近，包括原先画在边上和角上的点附近，都能找到与平面小圆盘同胚的邻域。边上的两个半邻域拼成完整邻域，角上的四块邻域同样拼成一个圆盘。这解释了环面为什么是没有边界的二维曲面；正方形图中出现了边，不等于最终对象保留了这些边。商空间的准确语言可接着阅读拓扑空间与连续映射。

空间圆环面：参数方程与无自交条件

在三维欧氏空间中，把半径为 $r$ 的圆绕同平面内一条轴旋转，圆心到旋转轴的距离为 $R$ 。当 $R > r > 0$ 时，得到通常的无自交圆环面。一个参数表示是 $\begin{matrix} x & = (R + r \cos v) \cos u, \\ y & = (R + r \cos v) \sin u, \\ z & = r \sin v, \end{matrix} 0 \leq u, v < 2 π .$ 角度 $u$ 控制绕中央孔的方向，角度 $v$ 控制沿管截面的方向。两个角度都具有周期，因而参数自然来自 $S^{1} \times S^{1}$ 。角度区间采用半开写法仅为避免重复记录接缝，不表示接缝处发生断裂。

大半径为三小半径为一的圆环面三维网格，两组网格分别展示两个周期方向 — 圆环面是抽象环面的一种嵌入。外侧纬圈更长、内侧纬圈更短，这一长度差属于具体几何结构。

条件 $R > r$ 确保 $R + r \cos v > 0$ 。这既避免旋转截面穿过旋转轴，也保证两个参数方向的导向量始终独立。若 $R = r$ ，表面在轴上出现奇点；若 $R < r$ ，旋转图形发生自交。它们可以被称作不同类型的旋转环状曲面，但不能不加说明地继续视为此处的光滑嵌入环面。

给出参数方程后，还应确认它是否遗漏点或把不同点过度识别。对于 $R > r$ ，空间点的方位角确定 $u$ ，其到旋转轴的距离与高度又确定 $v$ ，唯一性仅差两个整周。因此这个模型的点识别恰好符合两周期结构，而非产生额外的自交。

面积和体积：两种对象、两种积分

对参数映射分别沿 $u, v$ 求导，两切向量互相垂直，长度分别是 $R + r \cos v$ 与 $r$ 。小参数矩形在曲面上形成近似平行四边形，所以面积元为 $d A = r (R + r \cos v) d u d v .$ 在两个整周上积分，含余弦的项平均为零，得到 $A = \int_{0}^{2 π} \int_{0}^{2 π} r (R + r \cos v) d v d u = 4 π^{2} R r .$ 面积恰好等于大圆周长与小圆周长的乘积，但这是积分推导后的结果；不同纬圈实际有不同长度，不能把曲面本身当作未经改变距离的平面长方形。

实心环面的体积可以直接用圆盘截面的柱坐标积分计算。用 $s$ 表示距截面圆心的径向距离，有 $0 \leq s \leq r$ ，体积元为 $s (R + s \cos v) d s d v d u$ 。于是 $V = \int_{0}^{2 π} \int_{0}^{2 π} \int_{0}^{r} s (R + s \cos v) d s d v d u = 2 π^{2} R r^{2} .$ 也可用帕普斯形心定理：截面圆盘面积乘以形心走过的圆周长度。旋转轴不能穿过截面内部，是这个直观算法的必要条件；当前的 $R > r$ 正好满足它。

例如 $R = 3, r = 1$ 时，表面积为 $12 π^{2}$ ，实心部分体积为 $6 π^{2}$ 。若把所有长度都放大两倍，面积变为原来的四倍，体积变为原来的八倍。若只把管半径增加一倍而固定大半径，则必须重新检查仍有 $R > r$ ，不能只机械代入公式而忽略嵌入条件。

两个绕行方向为何不能缩成一点

固定一个基点。沿中央孔方向走一整周得到一个闭合路径，沿管截面方向走一整周得到另一个闭合路径。它们虽然都回到出发点，却不能在环面表面内连续收缩成常值路径；收缩时允许曲线形变，但所有中间曲线都必须留在表面上。

在覆盖平面 $ℝ^{2}$ 中，可以把基点提升为原点。环面上的闭合路径提升后可能从 $(0, 0)$ 走到某个整数点 $(m, n)$ 。终点的两个整数记录两个基本方向的绕行次数。连续变形无法让整数终点连续跳到另一个整数点，所以绕行数保持不变。若终点是原点，提升路径在平面中可收缩，再投影回环面便得到收缩。这给出分类的核心理由。

闭合路径首尾相接对应整数对相加，因此环面的基本群为 $π_{1} (T^{2}) ≅ ℤ \times ℤ .$ 这是一条带指定基点的路径分类结论，而不是说环面只有两条闭合曲线。一般闭合路径可以弯折、自交，也可以绕两个方向任意整数次；群记录的是连续变形后的等价类别。更完整的覆盖空间论证见 Hatcher 的第一章。教材入口

实心环面的情形不同。绕管截面的圆周可在内部圆盘中收缩，但绕中央孔的路径仍不能收缩。填入内部改变了允许变形的空间，因此不能把表面与实体的路径结论混为一谈。“里面有没有材料”在此不是视觉细节，而是改变了数学对象。

数粘合后的顶点：欧拉示性数

正方形粘边模型提供一个胞腔分解：四个角合为一个顶点，两对边合为两条边，内部是一张二维胞腔。于是 $χ (T^{2}) = V - E + F = 1 - 2 + 1 = 0.$ 这里数的是识别后的胞腔，不是纸上尚未粘合的正方形零件。将表面进一步细分，不会改变这个交错和；例如在一条边上插入一个顶点，顶点数与边数各增加一，差保持不变。

球面的欧拉示性数是二，所以球面与环面不可能同胚。这个不变量比“看起来有一个孔”更准确：形状可以弯曲，图可以从不同视角绘制，而计数结果在合法细分及拓扑等价下保持。另一方面，不变量相同并不总能证明两个空间同胚；用它排除等价与用它完整分类是不同强度的结论。

对连通、紧致、可定向、无边界曲面，曲面分类定理给出 $χ = 2 - 2 g$ ，其中 $g$ 是亏格。环面的亏格为一。这里的一组假设不能随意删除：有边界的曲面、不可定向曲面和非紧曲面的分类形式不同。环面只是分类体系中的一个基本对象，而不是所有“有孔物体”的总称。

平坦环面与嵌入环面：同胚不等于等距

把平面上边长为 $L_{x}, L_{y}$ 的矩形相对边按平移粘合，并把局部欧氏长度一同继承下来，得到平坦环面。在这个模型中，从右边离开会从左边进入，从上边离开会从下边进入，越过接缝无需支付额外距离。它是周期边界条件的几何表达。

例如边长都为一，点 $P = (0.95, 0.40)$ 与 $Q = (0.05, 0.40)$ 的纸面横向距离为零点九，但环面最短距离是零点一，因为可以跨越左右接缝。一般距离由整数平移中最短的一条给出： $d (P, Q) = min_{m, n \in ℤ} \sqrt{(x_{Q} - x_{P} + m L_{x})^{2} + (y_{Q} - y_{P} + n L_{y})^{2}} .$ 这条公式解释了周期模拟中为何不能直接使用未修正的坐标差，也说明一个存储在矩形中的位置并不等于一个带墙的矩形空间。

空间圆环面与平坦环面同胚，但通常并不等距。前者的面积元随管角变化，外侧和内侧的局部曲率不同；后者继承局部平面度量，处处平坦。通过弯曲纸面理解粘边只是在说明拓扑识别，不能据此声称在普通三维空间中得到的光滑圆环面仍保留所有平面距离。

在平坦环面的覆盖平面中，直线投影形成测地线。方向比例为有理数时会周期性闭合，例如方向 $(2, 1)$ 绕两个基本方向后返回；方向斜率无理时轨迹不会闭合，并在环面上稠密。这里的稠密结论是线性流的性质，不应直接套到空间圆环面的任意测地线上，因为改变度量会改变测地线方程。

局部弯曲与整体绕行是不同层次的信息

对上述圆环面，一组单位法向量可取为 $N = (\cos v \cos u, \cos v \sin u, \sin v)$ 。把参数一阶、二阶变化投影到法向，可以计算高斯曲率 $K (u, v) = \frac{\cos v}{r (R + r \cos v)} .$ 它在外侧为正，在内侧为负，在管的最高与最低圆周处为零。外侧像局部碗面，内侧像局部鞍面；它们出现在同一个无自交曲面上。曲率的正负属于小邻域中的度量信息，绕一个基本方向不能收缩则属于整体拓扑信息，两者不应互相替代。

把曲率乘以面积元后，分母消去，得到 $K d A = \cos v d u d v$ 。遍历整张曲面，正曲率与负曲率的带符号贡献相抵，故总积分为零。这个计算与紧致可定向曲面上高斯—博内定理的结论 $\int K d A = 2 π χ$ 相符，因为环面欧拉示性数为零。这里给出的是这一具体模型的独立核算与定理的联系，并非借一个例子证明全部高斯—博内定理。Durham University：圆环面曲率核算

路径分类也需要区别“绕了几次”和“是否是一条没有自交的简单曲线”。在平坦环面上，方向整数对 $(m, n)$ 若有共同因子，直线路径可能只是把同一条闭合曲线重复走多遍；若两个数互素，则相应直线投影的一次周期给出一条本原闭合曲线。例如 $(2, 2)$ 与 $(1, 1)$ 的轨迹点集可以相同，但前者作为带参数路径走了两遍，其基本群元素不同。

这一区别在描述周期系统时也有实际意义：同一条状态轨迹与沿轨迹运行一次所需的时间不是同一个量。改变速度不一定改变路径的拓扑类别，重复次数却会改变绕行数。若再研究轨迹上的结或嵌入三维空间的方式，还会引入额外结构，不能仅凭抽象环面的两个整数把所有空间细节都分类完毕。

因此，环面的不同公式各有明确任务：参数映射定位空间点，度量计算长度，曲率描述局部弯曲，基本群分类闭合路径，欧拉示性数提供整体不变量。把这些公式放到各自问题旁边，能看出它们如何互相联系，又在哪些地方不能替代对方。

历史与知识位置

旋转曲面和周期运动的研究有各自的历史，抽象环面则属于现代拓扑语言。十九世纪拓扑学逐步从几何位置关系与分析中的连续性发展出来；庞加莱在 1895 年的《Analysis situs》中引入基本群并发展同调观点，为区分曲面的整体结构提供了系统工具。把环面归给一个唯一“发现者”，会混淆一个可见几何模型与后来用于分析它的理论。MacTutor：Topology history

学习路径可从集合和连续映射理解点识别，再用群整理路径的复合，用积分计算具体嵌入中的面积。参数公式、商空间与基本群不是三套互不相关的术语：它们分别回答“怎样放进空间”“哪些点应被识别”“哪些闭合绕行可以相互变形”。掌握这三个问题的区别，比记住甜甜圈的外观更接近环面的数学内容。

English overview

A torus is a topological surface homeomorphic to the product of two circles. The familiar doughnut-shaped surface is one embedding in three-dimensional Euclidean space. It must be distinguished from the solid torus enclosed by that surface: allowing paths to pass through the interior changes their possible contractions.

The quotient of the plane by integer translations gives an abstract model. A square is a fundamental region whose opposite edges are identified. After identification, the apparent edges and corners are ordinary surface points, so the torus has no boundary. Two independent periodic coordinates also explain the product-of-circles description.

For an embedded circular torus, the major radius must exceed the tube radius. Surface area follows by integrating the parameter area element, while enclosed volume is a different integral. Topologically, a loop lifts to a path in the covering plane with an integer displacement. These displacements classify based loops up to homotopy and give a fundamental group isomorphic to the product of two integer groups. A one-vertex, two-edge, one-face decomposition gives Euler characteristic zero. A flat torus and a circular torus have the same topology but different metrics, so distances, curvature, and geodesics cannot be transferred without checking the chosen geometric structure.

编者评注（AI 辅助）

本条目保留了两幅图，因为粘边图与空间图承担不同任务：前者定义点的识别，后者展示一种具体嵌入。本站认为环面入门最需要澄清的是表面与实体、拓扑与度量这两组区别。面积推导、路径绕数和周期最短距离分别检验这两组区别是否真正被理解。这样的教学安排有意避免把“甜甜圈有一个孔”当作全部解释，也不要求初学者立即掌握完整的曲面分类证明。

参考资料与知识联系

Allen Hatcher，Algebraic Topology，Cambridge University Press，2002，第一章及第二章的曲面胞腔例子。核对基本群与胞腔结构。
J. J. O'Connor、E. F. Robertson，A history of Topology，MacTutor，University of St Andrews。核对现代拓扑学与 1895 年庞加莱工作的背景。
Norbert Peyerimhoff，Riemannian Geometry，习题解答 6，Durham University：圆环面的高斯曲率与总曲率计算。
前置：拓扑空间、连续映射；相关：群、积分、欧氏几何、数学建模。