朋友聚会，有人从可乐杯里抽出吸管，盯着它看了几秒，突然冒出一句：“你们说，一根吸管，到底有几个洞？”
全场安静了三秒。然后炸了锅。
“两个啊，一头一尾，明摆着的事。” “一个。你把吸管拉直，不就是一根中空的管子？一个洞贯通到底。” “等等——如果吸管只有一个洞，那甜甜圈有几个洞？” “甜甜圈当然是……呃。”
五分钟之内，没人再关心可乐还凉不凉。
这不是笔者编造的段子。过去二十年，这同一个问题反复出现在网络论坛、大学食堂、家庭餐桌和 Hacker News 热帖里。最近一次引爆讨论，是 xkcd 作者 Randall Munroe 画了一幅名为”Holes”的漫画——不过 Munroe 画的是地球上的深渊：科拉超深钻孔、姆波内格金矿、贝加尔湖沉积层。他画的是物理意义上的”洞”，千米级的，往下延伸的那种。漫画在 HN 上拿了 200 多分，评论区却出奇地安静——大概因为面对 12 公里深的钻孔，没人有底气抬杠。
但”吸管有几个洞”不一样。每个人都用过吸管。每个人都有资格发表意见。 这才是它成为永不过时的互联网圣战的原因。
拓扑学家：一个洞，没有商量的余地
如果你把这个问题扔给一个代数拓扑学的研究生，他会叹口气，放下咖啡杯，然后给你上一堂速成课。
第一步：把吸管抽象为一个曲面。吸管的形状——数学家称之为”圆柱面”——可以写成 S¹ × [0,1]。这是一个圆在一条线段上扫过的轨迹。
第二步：连续变形。拓扑学允许你拉伸、压缩、弯曲，但不许撕裂或粘合。把吸管往短了压——它变成圆环。把圆环往细了缩——它变成一个圆 S¹。这个过程在数学上叫”形变收缩”（deformation retraction），它告诉你吸管和圆是”同伦等价”的。
第三步：圆的同伦群 π₁(S¹) = Z。这是一个生成元为 1 的自由群。通俗地说，穿过吸管内部的那个环，无法被连续收缩到一个点。 这就是”洞”的拓扑定义：一个不能被消去的非平凡环。
同样的结论可以通过多种工具抵达。Betti 数：b₁ = 1（一个一维洞）。亏格（genus）：1。奇异同调 H₁(X; Z) = Z，生成元正是贯穿吸管的核心圈。正如一位 HN 用户所写：“A straw is a lanky donut.”（吸管就是一根瘦高个甜甜圈。）
一篇发表在 maxine.science 上的戏仿学术论文甚至把能用的代数拓扑工具全用了一遍——从奇异同调、de Rham 上同调、群同调，到复 K-理论和配边理论——每一项不变量的计算都指向同一个数字：1。两个端口是”边界”，不是”拓扑洞”。它们共同围成一个圆柱，在代数拓扑的语言里叫”共界”（coboundary），不算两个独立的洞。
这就是拓扑学的正式答案：一根吸管只有一个洞。
直觉派：你管这叫一个洞？明明有两个孔
但如果拓扑学家的答案是对的，为什么大部分普通人看了一眼吸管就脱口而出”两个”？
因为日常语言里的”洞”，和拓扑学里的”hole”，根本不是一个概念。
日常直觉中，一个”洞”是一个可以穿过的开口。吸管有两个开口，一头一个。你把水从这头吸进去，从那头流出来——这是两个物理上可区分的端口。如果有人把吸管的一头堵住，你不会说”洞还在，只是被堵了”；你会说”堵住了一头”。因为在你心里，本来就有两个。
HN 用户 lisper 总结得精准：“A straw has one sock-like hole and, locally, two ground-like holes, one at each end.”（吸管有一个袜子式的洞，以及两个局部的、地面式的洞，每端一个。）袜子式洞——贯穿的、拓扑的。地面式洞——有边界的、日常的。两种”洞”的语义，被同一个英语单词一锅烩了。
还有一派更极端：零个洞。理由？吸管本质上是把一片塑料卷起来粘住——原始材料是一个平面，平面没有洞，所以吸管也没有洞。这听起来像诡辩，但当你面对一根实际被生产出来的吸管——透明塑料，看得见那条纵向接缝——这个论点会微妙地变得有说服力。
更有趣的是 Y 型吸管的变体。一位 HN 用户 drenvuk 抛出灵魂提问：“一根 Y 型分叉吸管有几个洞？一个、两个还是三个？“按拓扑学，答案是两个。S¹ ∨ S¹（两个圆的楔和）的基本群是自由群 F₂，Betti 数 b₁ = 2。但这完全不符合普通人的直觉——普通人会盯着那个分叉处发愣。
分歧的根源在框架，不在事实
到这里，问题已经从”吸管有几个洞”变成了”你说的’洞’到底是什么意思”。
这在技术领域里反复出现。程序员争论一个哈希表是不是”真正的”字典。法学家争论一艘船在换了所有木板之后还是不是原来的船。语言学家争论一个 emoji 算不算一个”词”。每个争论都跟吸管问题同构：歧义在定义，不在事实。
但这不是抬杠。恰恰相反——这正是数学的价值所在。数学不负责告诉你”正确答案”，它负责告诉你：如果你接受这套定义，你的推理会通向哪里。
拓扑学选择用”是否可以被连续变形消除”作为洞的判据。这个选择本身是一百五十年来，从欧拉的七桥问题到庞加莱的同调论，无数数学家反复推敲出来的。它好用——它能区分甜甜圈和咖啡杯的同一性（两者亏格都是 1），也能区分球面和甜甜圈的差异性（前者亏格 0，后者亏格 1）。但它从来没有承诺要和日常语言保持一致。
普通人直觉里的”洞”更接近”连通域边界的开口”。这个定义同样自洽——它在建筑学、流体力学、日常交流中都运作良好。它只是和拓扑学的定义恰好冲突了。
一个好问题的标志
HN 上有一个评论让笔者印象深刻。用户 gjm11 写道：
“I think I count holes, when in a rigorous sort of mood, by counting independent homotopy/homology classes of 1-dimensional loops in the complement of the object, so a straw has one hole, the surface of a ring doughnut has two, and e.g. a sock in good condition has none. But meaning is contextual…”
翻译过来大意是：严谨的时候，我用同伦类来数洞；不严谨的时候，我完全不介意谈论”地上的洞”——即使它根本不是拓扑意义上的洞。意义随语境而变。
这才是真正的成熟。知道你手里的这把尺子量什么、量不了什么，比坚持”这把尺子是对的”要难得多，也有用得多。
收束
所以吸管到底有几个洞？
如果你用的是拓扑学的尺子——一个。
如果你用的是日常语言的尺子——两个。
如果你是一根吸管的生产线质检员——零个，你只看见一条塑料接缝。
这篇文章不是来宣布”正确答案”的。笔者没有那个能力，也没有人真的有。能做的，只是把几把尺子摆到桌面上，让读者自己认领。
至于下次朋友聚会再有人拿起吸管问这个问题——笔者的建议是：先问他「你说的洞，用的是谁的定义」。
参考链接：
本文的拓扑学论述参考了 maxine.science 上的戏仿论文《On the Number of Holes in a Common Drinking Straw — A Multi-Theoretic Census》（arXiv:2605.31831），该文使用同伦群、奇异同调、de Rham 上同调、群同调、复/实 K-理论、配边理论和稳定同伦论等多种工具，严格证明了吸管拓扑等价于圆 S¹。HN 讨论中引述的观点来自用户 panic、lisper、dan-robertson、jameshart、gjm11、drenvuk、frou_dh 等人。本文在概念解释部分存在不可避免的简化，数学背景的读者请直接参阅原始文献。