纽结理论用哪些不变量来区分不同的纽结？
What invariants does knot theory use to distinguish different knots?
纽结理论研究三维空间中闭合曲线的嵌人方式，用琼斯多项式等多项式不变量区分不同纽结。这些不变量在同痕变换下保持不变，却能在不同纽结间产生差异。亚当斯与罗尔夫森的著作是这一领域的标准入门。
Knot theory studies embeddings of closed curves in 3-space and distinguishes knots using polynomial invariants such as the Jones polynomial. These invariants stay unchanged under ambient isotopy yet differ between distinct knots. Adams and Rolfsen are standard introductions to the field.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-03
来源 · Source
Adams《The Knot Book》；Rolfsen《Knots and Links》
Adams, The Knot Book; Rolfsen, Knots and Links
独立核验依据 · Independent verification: 核验依据 1 OPENLIBRARY 标识 /works/OL6036639W：Knots and links（首版 1976
#纽结理论 #琼斯多项式 #不变量
庞加莱猜想说的是什么，佩雷尔曼的工作为何具有里程碑意义？
What does the Poincaré conjecture say, and why is Perelman's work a milestone?
庞加莱猜想断言每个单连通的三维闭流形都同胚于三维球面，是拓扑学百年悬案。佩雷尔曼在2002至2003年用里奇流结合熵公式给出证明，解决了千禧年大奖难题。米尔诺的综述与佩雷尔曼的论文共同确立了这一结果。
The Poincaré conjecture states that every simply connected closed 3-manifold is homeomorphic to the 3-sphere, a century-old problem in topology. Perelman proved it in 2002-2003 using Ricci flow with an entropy formula, resolving a Millennium Prize problem. Milnor's survey and Perelman's papers established the result.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-03
来源 · Source
Perelman《The entropy formula for the Ricci flow》（2002-2003，arXiv）；Milnor《The Poincaré Conjecture》
Perelman, The entropy formula for the Ricci flow (2002-2003, arXiv); Milnor, The Poincaré Conjecture
独立核验依据 · Independent verification: 核验依据 1 ARCHIVE 标识 B-001-004-577-ALL：The entropy formula for the
#庞加莱猜想 #三维流形 #里奇流
欧拉公式 V-E+F=2 只对多面体成立吗？曲面有“洞”时会发生什么？
Does V-E+F=2 hold only for polyhedra, and what happens to it when a surface has holes?
把曲面三角剖分后再数顶点、棱、面，V-E+F 得到的是曲面本身的性质，与剖分方式无关，这个数叫欧拉示性数 χ。光滑曲面也有它的版本：球面 χ=2，环面（甜甜圈）χ=0，有两个洞的曲面 χ=-2。一般规律是 χ=2-2g，g 是曲面上的“洞”数（亏格）。所以亏格把“有几个洞”变成可以计算的整数，V-E+F 也因此从初等几何定理升格为拓扑学的核心公式。
After triangulating a surface and counting vertices, edges, and faces, the value V-E+F is independent of how you triangulate — it is a property of the surface itself, the Euler characteristic χ. Smooth surfaces follow suit: the sphere has χ=2, the torus (donut) χ=0, and a two-holed surface χ=-2. In general χ=2-2g, where g is the genus, the number of holes. Thus holes become computable integers, and V-E+F grows from an elementary theorem into the central formula of topology.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-03
来源 · Source
《什么是数学》(柯朗)（拓扑章：亏格）
What Is Mathematics? (Courant), topology (genus)
#欧拉示性数 #亏格 #环面
基本群（π1）是什么？
What is the fundamental group π1?
基本群记录一个空间里“能缩成一点”的闭环与不能的闭环。圆的基本群是非平凡的（绕一圈回不来），而球面的基本群是平凡的。
The fundamental group records loops up to continuous shrinking; a circle's π1 is nontrivial, a sphere's is trivial.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #基本群
四色定理的证明为什么用了电脑？数学家为什么最初不愿意接受它？
Why did the proof of the four-color theorem use a computer, and why were mathematicians initially reluctant to accept it?
四色问题的难点在于：必须证明“任何”地图都可约——即每种含待证构型的局部都能用更小地图替代。Appel 和 Haken 1976 年把问题化简到约 1900 个不可避免的可约构型（后降至 1482 个），每个都由程序逐项检查。这是数学史上第一个无法人工逐步验证的证明，很多数学家质疑“程序对每个构型的判断是否可信”。后来 Gonthier 2005 年用 Coq 证明器给出了机器可校验的完整证明，争议才算彻底平息。
The difficulty is proving that every map is reducible — any local configuration containing the configuration to prove can be replaced by a smaller map. In 1976 Appel and Haken reduced the problem to roughly 1,900 unavoidable configurations (later trimmed to 1,482), each checked by computer. It was the first proof in mathematics that no human could verify step by step, and many doubted whether the program's per-configuration checks were trustworthy. Only in 2005 did Gonthier supply a fully machine-checkable proof in the Coq system, ending the controversy.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#四色定理 #计算机证明 #可约性
什么是透镜空间（lens spaces），为什么有的两两同调同伦等价却并不同胚？
What are lens spaces, and why can two of them be homology- and homotopy-equivalent yet not homeomorphic?
透镜空间 L(p,q) 由把实心三维球的两半沿边界按 q 倍旋转粘合而成，是三维流形中最简单的无穷族。1960 年，J. 米尔诺构造出一对同调、同伦群都相同的透镜空间，却证明它们不同胚（可用 Reidemeister 挠率区分），成为“同伦等价推不出同胚”的经典反例。
A lens space L(p,q) is built by gluing the two hemispheres of a solid 3-ball along their boundary by a q-fold rotation; it is the simplest infinite family of 3-manifolds. In 1960 J. Milnor exhibited a pair of lens spaces with identical homology and homotopy groups yet not homeomorphic (distinguishable by Reidemeister torsion), a classic counterexample that homotopy equivalence need not imply homeomorphism.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
Hatcher, A., 《代数拓扑》, Cambridge University Press
Hatcher, A., 'Algebraic Topology', Cambridge University Press
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#透镜空间 #同伦等价 #同胚 #三维流形
压缩映射定理（巴拿赫不动点定理）有什么用？
What is the contraction mapping (Banach fixed point) theorem good for?
在完备度量空间中，若映射 f 满足 d(f(x),f(y))≤q·d(x,y)（q<1），则存在唯一不动点 f(x)=x，而且从任意起点迭代都会以指数速度收敛到它。它是应用最广的存在性定理之一：常微分方程初值问题的皮卡迭代、数值迭代格式，甚至分形图形的迭代生成，都建立在这一定理上。
In a complete metric space, if f satisfies d(f(x),f(y))≤q·d(x,y) with q<1, then f has a unique fixed point f(x)=x, and iteration from any starting point converges to it at exponential speed. It is one of the most widely used existence theorems: Picard iteration for ODE initial value problems, numerical iterative schemes, and even the iterative generation of fractal images all rest on it.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-02
来源 · Source
E. Kreyszig《Introductory Functional Analysis with Applications（泛函分析导论及应用）》，John Wiley & Sons，1978 年
E. Kreyszig, Introductory Functional Analysis with Applications, John Wiley & Sons, 1978
独立核验依据 · Independent verification: 核验依据 1 OPENLIBRARY 标识 /works/OL1400343W：Introductory functional
#压缩映射 #不动点定理 #皮卡迭代
什么是四色定理？
What is the four color theorem?
四色定理指出，任何平面地图都可以用至多四种颜色给相邻区域上色而不产生冲突。它于 1976 年首次借助计算机完成证明，是数学史上里程碑式的计算机辅助证明。
The four color theorem states that any map on a plane can be colored with at most four colors so that no two adjacent regions share a color. It was first proved in 1976 with the help of computers, a landmark computer-assisted proof in mathematics.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#四色定理 #地图 #染色
同伦（homotopy）是什么？
What is a homotopy?
同伦描述两个连续映射能否通过连续变形互相转化，是拓扑中判断“形状可连续改变”的精确概念。基本群正是用环路同伦类来定义的。
A homotopy says two continuous maps can be continuously deformed into each other, the precise notion of 'shape change' in topology. The fundamental group is built from homotopy classes of loops.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #同伦 #变形
什么是欧拉示性数？
What is the Euler characteristic?
欧拉示性数 χ = V−E+F 是拓扑不变量：球面为2、环面（甜甜圈）为0，可用来区分不同拓扑形状。
The Euler characteristic χ=V−E+F is a topological invariant: 2 for a sphere, 0 for a torus.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #不变量
纽结理论研究的「结」为什么和分子生物学有关？
Why is knot theory—the study of 'knots'—relevant to molecular biology?
纽结理论研究三维空间中闭合曲线能否不剪断就解开成圆圈的拓扑性质，用「不变量」（如琼斯多项式）来区分不同纽结。DNA 在细胞内会自我缠绕形成真实的纽结，拓扑异构酶需要切开再重新连接来解开它们。因此纽结理论为理解 DNA 包装、病毒衣壳与酶机制提供了数学工具。
Knot theory studies whether a closed curve in 3D can be untangled into a circle without cutting, using invariants like the Jones polynomial to tell knots apart. DNA inside cells really tangles into knots, and topoisomerases must cut and rejoin it to untangle. Thus knot theory provides mathematical tools for DNA packing, viral capsids, and enzyme mechanisms.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：著录含书名，但缺版次 / 出版社 / 年份中的一部分，需编辑补全后才能做独立比对。
美国数学学会（AMS）；村杉邦男《纽结理论及其应用》（Birkhäuser, 1996）
American Mathematical Society (AMS); Kunio Murasugi, Knot Theory and Its Applications (Birkhäuser, 1996)
#纽结理论 #琼斯多项式 #DNA #拓扑不变量
为什么说咖啡杯和甜甜圈在拓扑上相同？
Why are a coffee mug and a doughnut considered the same in topology?
在拓扑学中，只要能通过连续变形互相转化而不撕裂或粘连，两个物体就被视为“同胚”。咖啡杯的把手和甜甜圈的圈都只有一个“洞”，因此它们在拓扑上等价。
In topology, two objects are considered equivalent (homeomorphic) if one can be transformed into the other by continuous deformation without tearing or gluing. A coffee mug's handle and a doughnut's ring each have exactly one hole, so they are topologically equivalent.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#同胚 #甜甜圈 #拓扑
庞加莱猜想是什么？谁证明了它？
What is the Poincaré conjecture, and who proved it?
庞加莱猜想（1904）认为：任何单连通的、紧致的、无边界的三维流形都同胚于三维球面。它可以通俗理解为「任何没有洞的三维形状都可连续变形为球体」。格里戈里·佩雷尔曼在 2002–2003 年用里奇流方法给出证明，并因此拒绝领取 2006 年菲尔兹奖与 100 万美元千禧年奖金。
The Poincaré conjecture (1904) holds that any simply connected, compact, boundaryless 3-dimensional manifold is homeomorphic to the 3-sphere—roughly, any hole-free 3D shape can be continuously deformed into a ball. Grigori Perelman proved it in 2002–2003 using Ricci flow, and declined both the 2006 Fields Medal and the million-dollar Millennium Prize.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#庞加莱猜想 #三维流形 #佩雷尔曼 #里奇流
什么是流形？
What is a manifold?
流形是局部“像欧几里得空间”的空间，如球面、环面整体弯曲，但每一点附近都近似平面。它是广义相对论与微分几何的基本舞台。
A manifold looks locally like Euclidean space—spheres and tori are globally curved but flat nearby; the stage of general relativity and differential geometry.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #流形
若尔当曲线定理是什么？
What is the Jordan curve theorem?
它说平面上一条约当闭曲线（不自交的闭合简单曲线）必然把平面分成“内部”和“外部”两个区域。看似显然，严格证明却需要拓扑工具。
A simple closed curve in the plane divides it into an inside and an outside. Obvious yet requiring topology to prove rigorously.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #平面 #连通
什么是纤维丛？
What is a fiber bundle?
纤维丛是把一族“纤维”（如每点处的切空间）平滑地粘到一个底空间上的结构，例如圆柱可看作圆上的线段丛。它是规范场论与拓扑的桥梁。
A fiber bundle glues a copy of a 'fiber' (e.g. a tangent space) smoothly over each point of a base (a cylinder is a line bundle over a circle); key in gauge theory.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
Hatcher, A., 《代数拓扑》, Cambridge University Press
Hatcher, A., 'Algebraic Topology', Cambridge University Press
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#拓扑 #纤维丛
斯梅尔马蹄（Smale horseshoe）怎样用一个简单的映射就产生了混沌？
How does Smale's horseshoe produce chaos from a simple map?
斯梅尔在 1967 年构造的“马蹄”映射：把方块拉伸、折叠成马蹄形再放回，使每次迭代都把区域不断细分并自我相似地叠套。其迭代点中既存在无穷多周期轨道，又对初值极度敏感（轨道指数分离），从而成为“混沌”最经典的几何模型之一。
Smale's 1967 'horseshoe' map stretches a square, folds it into a horseshoe, and replaces it, so each iteration refines and self-similarly overlaps regions. The resulting orbits include infinitely many periodic ones yet are exquisitely sensitive to initial conditions (exponential separation), making it a canonical geometric model of chaos.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：著录含书名，但缺版次 / 出版社 / 年份中的一部分，需编辑补全后才能做独立比对。
Smale, S., 《可微动力系统》, Bulletin of the AMS 73(6), 1967
Smale, S., 'Differentiable dynamical systems', Bulletin of the AMS 73(6), 1967
#斯梅尔马蹄 #混沌 #动力系统 #敏感依赖
莫比乌斯带和克莱因瓶为什么被称为“不可定向”曲面？
Why are the Möbius strip and Klein bottle called non-orientable surfaces?
在莫比乌斯带上画一个带方向的小箭头，沿带子绕一圈回来，箭头方向正好反转，无法给整条带子一致地定义“左侧”，这就是不可定向。克莱因瓶是它的闭曲面版本：把两个莫比乌斯带沿边界粘起来就得到克莱因瓶，它在三维空间中必然自交，只能在四维空间中无自交地嵌入。两者都是闭曲面分类中非定向一族的代表。
Draw a small oriented arrow on a Möbius strip and slide it once around the loop; the arrow returns reversed, so no consistent “left side” exists for the whole strip—that is non-orientability. The Klein bottle is the closed-surface analogue: glue two Möbius strips along their edges. It must self-intersect in 3D space and embeds without self-intersection only in 4D. Both represent the non-orientable family in the classification of closed surfaces.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#莫比乌斯带 #克莱因瓶 #不可定向曲面
同调与贝蒂数（Betti numbers）是什么？
What are homology and Betti numbers?
同调用代数方法数出空间中“洞”的维数，贝蒂数 b_k 表示 k 维洞的个数。例如环面有 b_0=1、b_1=2、b_2=1。
Homology counts 'holes' by dimension; the k-th Betti number b_k counts k-dimensional holes (a torus has b_0=1,b_1=2,b_2=1).
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #同调
闭曲面的分类定理是什么？
What is the classification theorem of surfaces?
它表明每个闭合可定向曲面都同胚于若干环面粘合而成，由亏格唯一决定；非可定向的则由投影平面等决定。这给二维拓扑一个完整清单。
Every closed orientable surface is homeomorphic to a sphere with g handles, determined by genus; non-orientable ones by projective planes. It gives a complete 2D topological catalog.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #曲面 #分类
点集拓扑把紧致性定义为“每个开覆盖都有有限子覆盖”，这个看似抽象的定义为何如此有力？
Point-set topology defines compactness as “every open cover admits a finite subcover.” Why is this seemingly abstract definition so powerful?
它把无穷问题压成有限问题。开覆盖给出局部信息——一族盖住全空间的邻域；有限子覆盖断言有限个已够用，于是涉及无穷多点的命题可退化为有限步推理。由此两大支柱：紧空间上的连续实值函数必取得最大、最小值（极值定理）；连续像保持紧性，进而到 Hausdorff 空间的连续双射必为同胚。有界闭区间 [a,b] 正是原型。
It compresses infinite problems into finite ones. An open cover supplies local data — neighborhoods jointly blanketing the space — while the finite subcover asserts that finitely many already suffice, so statements about infinitely many points often reduce to finite reasoning. Two pillars follow: a continuous real-valued function on a compact space attains its maximum and minimum (the extreme value theorem), and continuous images of compact sets remain compact, whence a continuous bijection from a compact space onto a Hausdorff space is automatically a homeomorphism. The closed bounded interval [a,b] of analysis is the prototype.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
J. R. Munkres《Topology》（第2版），Prentice Hall，2000，§26–§27
J. R. Munkres, Topology, 2nd ed., Prentice Hall, 2000, §§26–27
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#点集拓扑 #紧致性 #开覆盖
持续同调为什么要让尺度参数从零开始不断增大,并记录每个拓扑特征的出生与死亡区间?
Why does persistent homology grow a scale parameter continuously from zero and record the birth and death intervals of topological features?
因为数据并没有唯一天然的空间尺度:把样本看成小球并增大半径时,连通块不断合并,环形的洞先出现又被填满,任何单一阈值下看到的拓扑都有偶然性。让参数连续扫描并记下每个同调类从出生到死亡的区间后,寿命长的区间代表跨尺度依然稳定的真实结构,例如数据中确实存在的环,短命的则多为噪声。这样形状就变成了可比较的条形码或持久图,已用于分子构型与图像形状分析。
Data has no single natural spatial scale: growing balls around the samples merges connected components while loops open and later close again, so the topology seen through any one threshold is accidental. Sweeping the parameter continuously and logging the interval from birth to death of every homology class separates signal from noise — long-lived intervals mark structures stable across scales, such as a genuine loop in the data, while short-lived ones are mostly artifacts. Shape thereby becomes a comparable barcode or persistence diagram, already used for molecular conformations and image shape analysis.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-04
来源 · Source
Edelsbrunner, Letscher & Zomorodian,《Topological Persistence and Simplification》,Discrete & Computational Geometry,2002 (DOI: 10.1007/s00454-002-2885-2)
Edelsbrunner, Letscher & Zomorodian, 'Topological Persistence and Simplification', Discrete & Computational Geometry, 2002, DOI: 10.1007/s00454-002-2885-2
独立核验依据 · Independent verification: 核验依据 1 Crossref DOI 10.1007/s00454-002-2885-2
#拓扑数据分析 #持续同调 #条形码
什么是拓扑学？
What is topology?
拓扑学研究图形在连续拉伸、弯曲（不撕裂、不粘连）下保持不变的性质。幽默说法是“甜甜圈和咖啡杯是同一种形状”。
Topology studies properties preserved under continuous stretching/bending (no cutting), jokingly treating a donut and mug as the same.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #基础
为什么无论怎样搅动咖啡，杯子里总有一个点保持原位？
Why does some point in a cup of coffee stay put no matter how you stir it?
布劳威尔不动点定理说：把一个圆盘（或实心球）连续地映到自身，必有一点被映回原处。搅动咖啡时，液面上每个点的移动构成这样一个连续映射，所以总有一点不动。这个结论看似常识，严格证明却需要代数拓扑的工具；它也是经济学一般均衡、博弈论中许多存在性证明的核心。
Brouwer's fixed point theorem states that any continuous map of a disk (or solid ball) into itself has a fixed point. Stirring coffee defines such a continuous map of the surface to itself, so some point must return to its original position. Obvious as it sounds, a rigorous proof needs algebraic topology; it is the engine behind existence proofs in general equilibrium economics and game theory.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#不动点定理 #布劳威尔 #连续映射
什么是怪球面？
What is an exotic sphere?
怪球面是与普通球面同胚、却不可微同胚（无法光滑地扭成普通球面）的七维流形。米尔诺在1956年发现它们，颠覆了人们对高维空间的想象。
Exotic spheres are manifolds homeomorphic but not diffeomorphic to the standard sphere (first in dimension 7, found by Milnor in 1956), reshaping high-dimensional topology.
难度 进阶 · 适合 高中(15-18)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：本题原挂出处与答案内容不符，已撤回；具体书目待补，暂不展示来源。
本题原挂出处与答案内容不符，已撤回；具体书目待补。
Previous citation withdrawn as unsupported for this answer; a specific source is pending.
#拓扑 #怪球面
给一张地图的国家涂色，让相邻国家颜色不同，四种颜色真的总够吗？
When coloring countries so that neighboring ones differ, are four colors really always enough?
是的，四色定理保证：任何平面地图都能用四种颜色涂好，使相邻区域颜色不同。问题是 1852 年提出的，证明却极为困难——数学家花了 124 年，直到 1976 年 Appel 和 Haken 借助计算机检查了大量可能情形才算彻底证明。它是第一个公认的计算机辅助证明。
Yes — the four-color theorem guarantees that any planar map can be colored with four colors so neighboring regions differ. Posed in 1852, it resisted proof for 124 years, until Appel and Haken finally proved it in 1976 with a computer that checked an enormous number of cases. It was the first widely accepted computer-assisted proof.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-10-03
来源 · Source
《什么是数学》(柯朗)（拓扑章：四色问题）
What Is Mathematics? (Courant), topology (four-color problem)
#四色定理 #地图着色 #计算机证明
克莱因瓶是什么？为什么它不能在三维空间中「不穿模」地做出来？
What is a Klein bottle, and why can't it be made in 3D without intersecting itself?
克莱因瓶是一种没有内外之分、没有边界的闭合曲面，可看作把莫比乌斯带的两「边」粘合而成。它作为四维对象没有自交，但在我们生活的三维空间里只能以「瓶子穿过自身壁面」的方式勉强表示。它由费利克斯·克莱因在 1882 年提出，是单侧、不可定向曲面的经典例子。
The Klein bottle is a closed surface with no inside/outside distinction and no boundary, viewed as gluing the two 'edges' of a Möbius strip. In four dimensions it has no self-intersection, but in our 3D space it can only be depicted by the bottle passing through its own wall. Proposed by Felix Klein in 1882, it is the classic example of a non-orientable, closed surface.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#克莱因瓶 #不可定向 #单侧曲面 #拓扑
为什么‘打结的绳子’在拓扑里可能根本没打结？
Why might a 'knotted rope' be topologically not knotted at all?
若绳子两端未固定或首尾可相接，许多看似的结能通过连续移动解开；拓扑区分的是闭曲线能否变回圆。判断真正打结需要不变量。
If the rope ends are free or can join, many apparent knots undo by continuous moves; topology distinguishes whether a closed curve can become a circle. Real knots need invariants to confirm.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #纽结
什么是同胚（homeomorphism）？
What is a homeomorphism?
同胚是两个形状之间的连续可逆变形（不撕裂、不粘连）。若两图形同胚，拓扑学认为它们是“同一个”形状。
A homeomorphism is a continuous invertible deformation between shapes; topologically homeomorphic shapes are considered the same.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #等价
曲面的亏格（genus）是什么？
What is the genus of a surface?
亏格直观地是曲面上的“洞数”：球面亏格0，环面亏格1，双孔甜甜圈亏格2。它是最重要的拓扑不变量之一。
Genus is roughly the number of holes: a sphere has genus 0, a torus 1, a two-holed torus 2. It is among the most important topological invariants.
难度 进阶 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #亏格 #不变量
拓扑空间是什么？
What is a topological space?
拓扑空间由一个集合与一组满足特定公理的“开集”构成，用来定义连续、邻近等概念而不依赖距离。它是现代拓扑学的起点。
A topological space is a set with a collection of 'open sets' obeying axioms, defining continuity and nearness without distances. It is the starting point of modern topology.
难度 进阶 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #开集 #连续
纽结理论是什么？
What is knot theory?
纽结理论研究三维空间中闭合绳圈能否不切断而解开，并用不变量（如琼斯多项式）区分不同纽结。它在DNA拓扑与量子场论中都有应用。
Knot theory studies whether a closed loop in 3D can be untangled without cutting, using invariants like the Jones polynomial. It applies to DNA topology and quantum field theory.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #纽结 #不变量
拓扑学中的“紧致”为什么重要？
Why does compactness matter in topology?
在实数空间中紧致等价于“有界且闭”，但紧致性是更本质的拓扑概念，用“任意开覆盖都有有限子覆盖”定义，可以搬到比实数更一般的空间。紧致空间上的连续函数必有最大值和最小值（极值定理），这保证了最优化和微分方程研究中大量关键论证能够成立。
In Euclidean space compactness is equivalent to “closed and bounded”, but compactness is a deeper topological notion—defined by “every open cover has a finite subcover”—that transfers to spaces far beyond the real line. Continuous functions on compact spaces always attain maxima and minima (extreme value theorem), underpinning essential arguments in optimization and differential equations.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#紧致性 #海涅-博雷尔定理 #极值定理
为什么‘维数’在拓扑里可以很反直觉？
Why can 'dimension' be counterintuitive in topology?
拓扑维数不靠坐标而靠邻域结构定义；有些分形集的整数维与外观不符，而佩亚诺曲线能用一条线填满二维方块，挑战‘线是一维’的直觉。
Topological dimension comes from neighborhood structure, not coordinates; some fractal sets have integer dimensions at odds with looks, and Peano curves fill a 2D square with one line, challenging 'a line is 1D'.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #维数
什么是莫比乌斯带？
What is a Möbius strip?
莫比乌斯带是把纸条一端扭转180°再粘合成的曲面，它只有一条边和一个面，是单侧曲面的例子。
A Möbius strip is made by giving one end of a strip a half-turn (180°) and joining the ends; it has one side and one edge—a one-sided surface.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #曲面
拓扑学里的“连通”是什么意思？
What does "connected" mean in topology?
连通性指一个空间“不能分成两个不相交的非空开集的并”，直观上就是它无法被拦腰切成两块互不接触的“开”的部分。实数轴上的区间是连通的，而删掉一个点后的实数集不再连通。介值定理之所以成立，正是因为它依赖区间的这种连通性。
Connectedness means a space cannot be split into the union of two disjoint nonempty open sets—intuitively, it cannot be cut into two separated open pieces. Intervals on the real line are connected, while the real line with one point removed is not. The Intermediate Value Theorem holds precisely because it relies on this connectedness.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-10-03
来源 · Source
《什么是数学》(柯朗)（拓扑章）
What Is Mathematics? (Courant), chapter on topology
#连通性 #拓扑性质 #介值定理
为什么拓扑学家开玩笑说甜甜圈和咖啡杯是同一种东西？
Why do topologists joke that a donut and a coffee cup are the same thing?
因为拓扑学研究的是“能揉捏、拉伸却不断裂、不粘连”之后仍然不变的性质。甜甜圈有一个洞，咖啡杯的把手也是一个洞；只要变形得足够温柔，一个就能变成另一个。而甜甜圈变不成没有洞的苹果。一个物体有多少个“洞”，是拓扑学最核心的量之一。
Topology studies properties that survive gentle stretching and bending without tearing or gluing. A donut has one hole and a cup's handle makes one hole, so with patient deformation one becomes the other. A donut can never become a solid apple, which has no hole. Counting holes is one of the central invariants of topology.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-10-03
来源 · Source
《什么是数学》(柯朗)（拓扑章）
What Is Mathematics? (Courant), topology
#拓扑 #同胚 #洞
度量空间比我们熟悉的平面几何更一般吗？
Is a metric space more general than the geometry we know?
度量空间把“距离”抽象成一个满足四条公理的函数：非负性、零距离当且仅当两点相同、对称性、三角不等式。欧氏平面当然是例子，但还有出租车度量、离散度量以及函数空间等。许多分析定理只依赖这四条性质，所以可以在度量空间中统一地证明，这正是它的威力所在。
A metric space abstracts “distance” into a function satisfying four axioms: non-negativity, zero if and only if the points coincide, symmetry, and the triangle inequality. The Euclidean plane is one example, but so are the taxicab metric, the discrete metric, and function spaces. Since many analytic theorems rely only on these four axioms, they can be proved uniformly in metric spaces—that is the source of its power.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#度量空间 #距离 #三角不等式
布劳威尔不动点定理的内容是什么，它有哪些反直觉的推论？
What does Brouwer's fixed-point theorem state, and what counterintuitive consequences follow?
布劳威尔不动点定理说，从闭圆盘（或更一般的凸紧集）到自身的连续映射必存在不动点。它意味着搅拌咖啡时总有一点最终回到原位，也支撑经济学均衡存在性的证明。布劳威尔在1911年的论文与芒克斯的拓扑教材给出了严格叙述。
Brouwer's fixed-point theorem says a continuous map from a closed disk, or more generally a convex compact set, to itself must have a fixed point. It implies that stirring a cup of coffee always leaves some point returning to its start and underpins existence proofs of economic equilibria. Brouwer's 1911 paper and Munkres's topology text state it rigorously.
难度 进阶 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
Brouwer《Über Abbildungen》（1911）；Munkres《Topology》
Brouwer, Über Abbildungen (1911); Munkres, Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#布劳威尔不动点 #连续映射 #拓扑
克莱因瓶为什么在三维里‘穿自己’？
Why does a Klein bottle 'pass through itself' in 3D?
克莱因瓶没有内外之分、只有一个面，但在三维空间里没法不自我相交地实现，只能‘穿过去’画出来；在四维中可无交实现。
A Klein bottle has no inside/outside and a single surface, but in 3D it cannot be realized without self-intersection, so drawings show it passing through itself; in 4D it can be done without crossing.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #不可定向
在点集拓扑中，为什么实数轴上的连通子集恰好就是各种区间？
In point-set topology, why are the connected subsets of the real line exactly the intervals?
区间显然连通：任取两点，夹在其间的所有点仍在集合内，故无法拆成两个不相交的非空相对开集。反之，若子集 S 缺少某点 c 且两侧都有点，则 S∩(-∞,c) 与 S∩(c,+∞) 构成分离，S 不连通。于是连通集必须填满任意两点间的整段——这正是区间的本质特征，也是把介值型论证推广到一般空间的基础。
Intervals are plainly connected: between any two of their points everything in between still lies in the set, so no partition into two disjoint nonempty relatively open pieces exists. Conversely, if a subset S misses some point c while keeping points on both sides, then S∩(-∞,c) and S∩(c,+∞) form a separation, so S is disconnected. A connected set must fill the whole stretch between any two of its points - exactly the hallmark of an interval - and this underlies intermediate-value arguments in general spaces.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
J. R. Munkres，《Topology》（拓扑学），第2版，Prentice Hall，2000，§24 连通空间
James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000, Section 24, Connected Spaces
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#点集拓扑 #连通性 #区间
拓扑学里，咖啡杯和甜甜圈为什么‘一样’？
In topology, why are a coffee mug and a donut 'the same'?
拓扑只关心连续变形（拉伸、弯曲）而不关心距离。咖啡杯可连续捏成环面，和甜甜圈同属‘带一个洞’的曲面，拓扑上等价。
Topology cares only about continuous deformation (stretch, bend), not distances. A mug can be continuously molded into a torus, both being 'one-hole' surfaces, so they are topologically equivalent.
难度 入门 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #同胚
为什么甜甜圈和带把的杯子是“同一种”形状？
Why are a donut and a handled mug the “same” shape?
在拓扑学里只看“连续变形”，甜甜圈（环面）和带一个把手的杯子都能慢慢变成对方，所以被视为同一类形状。
In topology, a donut (torus) and a one-handled mug can be deformed into each other, so they're the same type.
难度 入门 · 适合 小学高段(9-12)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #连续变形
什么是维度？
What is dimension?
维度描述一个空间或物体自由运动的方向数，点是 0 维、线是 1 维、平面是 2 维、立体是 3 维。更高维度虽然难以直观想象，但在数学和物理中很有用。
Dimension describes the number of independent directions in which one can move in a space or object: a point is 0D, a line is 1D, a plane is 2D, and a solid is 3D. Higher dimensions, though hard to picture, are useful in mathematics and physics.
难度 入门 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#维度 #空间 #几何
什么是闭环（圆圈）？
What is a closed loop?
闭环是首尾相连、没有端点的一条线，像画一个圆圈。在拓扑里，能不能把闭环不断缩小成一点，能区分不同形状。
A closed loop is a line with no ends, like a circle; whether it can shrink to a point tells shapes apart topologically.
难度 入门 · 适合 小学低段(6-8)
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #直观
莫比乌斯带为什么只有‘一面’？
Why does a Möbius strip have only 'one side'?
把纸条拧半圈再粘起来，沿表面一直画会回到起点而经过整条带子，找不到正反的分界。它只有一个面、一条边。
Twist a strip half a turn and glue it; drawing along the surface returns to start having covered the whole band, with no front/back boundary. It has one side and one edge.
难度 入门 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-08-23 · 2 条独立证据
来源 · Source
Courant & Robbins,《What Is Mathematics?》Oxford University Press,1996 第二版;中译《什么是数学》
R. Courant and H. Robbins, What Is Mathematics?, Oxford University Press, 1996; Chinese ed.
独立核验依据 · Independent verification: 核验依据 2 OPENLIBRARY 标识 /works/OL811195W：What is mathematics?（按标题
#拓扑 #单侧